Urbit: an operating function
Posted: Fri Sep 25, 2015 1:54 pm
http://urbit.org/preview/~2015.9.25
http://urbit.org/preview/~2015.9.25/mat ... whitepaper
Someone is agreeing with my assertion that the Internet and computing has gone the wrong way. Still working through the whitepaper, its a bit of an odd read, but its interesting enough that I'm still reading.
http://urbit.org/preview/~2015.9.25/mat ... whitepaper
Someone is agreeing with my assertion that the Internet and computing has gone the wrong way. Still working through the whitepaper, its a bit of an odd read, but its interesting enough that I'm still reading.
Definition
An operating function (OF) is a logical computer whose state is a fixed function of its input history:
where T is the state, V is the fixed function, I is the list of input events from first to last.Code: Select all
V(I) => T
Intuitively, what the computer knows is a function of what it's heard. If the V function is identical on every computer for all time forever, all computers which hear the same events will learn the same state from them.
Is this function a protocol, an OS, or a database? All three. Like an OS, V specifies the semantics of a computer. Like a protocol, V specifies the semantics of its input stream. And like a database, V interprets a store of persistent state.