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)
-
-
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
We've found bugs in our standard interpreter by comparing its results to one written in Java, for example.
-
-
Replying to @urbit @evan_van_ness and
For a theoretical examination of these questions, see https://dwheeler.com/trusting-trust/ (which is of course a response to the classic https://www.archive.ece.cmu.edu/~ganger/712.fall02/papers/p761-thompson.pdf …).
1 reply 1 retweet 4 likes -
Replying to @urbit @evan_van_ness and
As for preventing the hosting provider from inspecting secrets, this is normally secured against legally with the terms of service.
1 reply 1 retweet 2 likes - 5 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.