1. 9
  1. 5

    Andreas Rossberg is a researcher and engineer at DFINITY who leads the development of Motoko, a new programming language for DFINITY’s Internet Computer

    DFINITY is an alternative to Ethereum for those wondering. Also DFINITY’s ran an ICO - all investors will be first to receive tokens. And there are million dollar investors. This is weird that stackoverflow is shadow advertising like this.

    1. 8

      There’s something serious and saddening about seeing folks so strongly drenched in actor- and object-capability theories get soaked up by cryptocurrency startups. It feels like a massive co-option of basic but powerful insights about how people communicate; indeed, about how arbitrary intelligent agents communicate.

      But also it is the case that the political beliefs of many folks in the community are very libertarian and aligned with what cryptocurrency hawks are selling. It is interesting how “agoric” has its two meanings, relating to things which are massive and give off a sense of frightening scale, and things which are markets for buying and selling; I was attracted to object-capability theory because I wanted to study large federated systems, but for many others, it is attractive because markets become standard negotiating tables for all purposes.

      1. 2

        And that submarine advertising has now shown up here.

        1. 1

          From what I understood tokens are created in two cases by what they call the Network Nervous System:

          1. Usage of nodes in datacenters
          2. Neurons that vote in the Network Nervous System (an open governance system) And they are exchanged with canister (something - like container for WebAssembly) owners. Then canister owners exchange those tokens (called gas) for cycles and use them to host their services (computation and memory storage).

          Is that right? They market this as a decentralized system but to me it seems centralized. I see the current state of the internet decentralized enough, the only thing that from my point of view should be decentralized would be user data that should be stored on the user’s device.

          opinion: I find all the naming of components and the motoko syntax unattractive, on the other side we have hyper in http.

          1. 2

            disclaimer: I work for DFINITY Foundation as an engineer. The decentralization we talk about is about providing services/ownership. In order to run any kind of service, one has to get have their own data center, or rent space from Amazon, GCP, Azure, and others, while exposing themselves to the risk of losing their business if any of these big players decides to pull the plug for any reason (has happened in the past). Thus, the goal of DFINITY is to provide the fully decentralized platform where one could securely and safely run their services – DFINITY alone can’t kick anyone out, the majority of the network would have to decide to do so. The network mentioned here are datacenters that join the DFINITY network, they don’t belong to the foundation. The decentralization you’re asking about is something championed by Urbit.

        2. 1

          a decentralized cloud computing platform that we conceive as a seamless software universe in which developers can deploy applications and services directly on the Internet

          Not to be pedantic, but I think this is deploying “directly” to an application-layer protocol on top of TCP, not really the internetwork layer.

          1. 3

            we’re building the Internet Computer

            Some expressions like this I find quite irritating. I get they’re building some higher level abstraction that is very distributed and blockchain and all that jazz, but it’s not going to be “the Internet Computer” for anyone like me. Some of us didn’t quite get on the k8s train and find Rust a refreshing step away from emulations and VMs it reads like a horror story.

          2. 1

            It was weird reading this announcement on the Stack Overflow blog, here’s the (I assume) official page of the language: https://sdk.dfinity.org/docs/language-guide/motoko.html

            The language itself sounds interesting, it reminds me of Pony if it had distribution (a la Erlang) built-in and of Orleans, distributing actors across machines with transparent networking.

            The persistence section is interesting too, although from the description it seems that the language is deeply tied to the dfinity platform, or at least the runtime will need to be modified to support automatic persistence on different platforms.