There is a name/address system (Azimuth) . A P2P network (is this a DHT or something else?) Then pure functional “actors” that take in an (event log or addressed message I’m not sure) and output (event log or addressed message I’m not sure). These actors are hosted locally.
-
-
So kind of like If you wrote a bot that reads SSCB feeds and outputs new feeds but written from scratch in a entirely new functional language?
1 reply 0 retweets 1 like -
Replying to @MuteDialog @urbit
it's a bit more complex than "hyped up RSS feed" but 'yes', in the sense that you've described a distributed network. Curtis and the team at urbit re-invented how computers should work, which has profound effects on how the code on them runs (i.e. better in many ways)
1 reply 0 retweets 4 likes -
Replying to @mattgcondon @urbit
So these urbit computers which process the logs where do they run?
1 reply 0 retweets 2 likes -
Replying to @MuteDialog @urbit
On a normal, traditional computer: your laptop, a RaspberryPi, a VPS on AWS, or maybe your phone (but probably not your phone any time soon).
1 reply 0 retweets 3 likes -
Replying to @mattgcondon @urbit
But the trust model is you need to trust your hosting environment there isn’t some crazy immutable input + pure function thing that means you can trustlessly delegate hosting?
1 reply 0 retweets 1 like -
Replying to @MuteDialog @urbit
they haven't solved secure multiparty computation, unfortunately; users run their own server, trusting the environment it runs in (mine is on my laptop, but yours could be on AWS if you want uptime guarantees)
1 reply 0 retweets 3 likes -
Replying to @mattgcondon @urbit
Ok thanks, think it is a bit clearer for me after this discussion. Thanks for your help.
0 replies 0 retweets 2 likes -
Urbit doesn't have a way to prevent, say, AWS from running Nock incorrectly, but the determinism does make it auditable: I could download my event log, replay it locally, and verify that it results in the exact same current state as what AWS got.
1 reply 1 retweet 9 likes
-
-
Replying to @urbit @evan_van_ness and
Having an auditable computer essentially allows you to decrease the size of the trusted computing base, since you can compare results of interpreters written in different ways.
1 reply 2 retweets 9 likes -
Replying to @urbit @evan_van_ness and
We've found bugs in our standard interpreter by comparing its results to one written in Java, for example.
1 reply 1 retweet 3 likes - 7 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.