6 ms·

Can someone give a synopsis of Urbit? Every time Urbit comes up, I skim their website but get pretty lost in marketing-speak. I see a lot of "control your data"

by wille92 10y ago

Can someone give a synopsis of Urbit? Every time Urbit comes up, I skim their website but get pretty lost in marketing-speak. I see a lot of "control your data", "digital freedom", and "general purpose computing" without any short, to the point explanation of what the heck it's all about.

Avshalom 10y ago
It's just an application server. It's a VM, it connects to other VMs, they run programs, sometimes locally, sometimes remotely, sometimes distributed. This is all apparently very novel.
- mahyarm 10y ago
  So something like sandstorm with an autoscaler?
  - api 10y ago
    That's like saying a snowmobile is a horse on skis. This is more like a total re-implementation of computing based on a functional model and a re-implementation of networking based on a feudal/federated shared/distributed/content-addressable model.
    - Avshalom 10y ago
      Meh, it's a new VM and a dumb network topology. I don't know sandstorm so I'm not sure which of these you think is the horse in this analogy.
- semi-extrinsic 10y ago
  Also, it's been under development for the better part of a decade.
- vertex-four 10y ago
  The novel bits are: * Everything on the VM is purely functional, and inputs essentially cause transactions which can fail/succeed - the result being that it's supposedly easier to implement certain types of network protocols, specifically the ones that Ames implements * A somewhat decent revision-controlled filesystem with push/pull/merge, static typing of files, and a built-in build system of sorts And last but not least... * Feudalism built into the core p2p protocol as an explicit design decision
kefka 10y ago
Animats has a great way to describe it ( https://news.ycombinator.com/item?id=11820643 https://news.ycombinator.com/item?id=11820643) It has the cult-like approach of Xanadu - use new terminology, tie it to an economic model, and re-invent everything. Also, there seems to be a cult leader. Jargon: noun (data), nock (interpreter), mint (compiler), span (type), twig (expression), gate (function), mold (constructor), core (object), mark (protocol). It's Newspeak for programmers. The overall concept seems to be a federated social system, like Diaspora. Everybody has a online presence which they own. But you can take your ball and go home, moving your online presence somewhere else, and it still gets found by others. Somehow. (That's a hard problem at scale.) There's a claim that nobody can create vast numbers of identities for spam purposes because there are only 2^32 possible human identities. (That number should have been at least as big as the population of the planet. 2^36, maybe.) Apparently you have to buy address space, which is a profit center for somebody. There's a download, which gets you their "OS" (which runs on top of another OS), an interpreter for their Hoon language and access to their chat environment. Not sure what to think of this, but someone put in a lot of work.
- derefr 10y ago
  Re: the jargon, there's a technical reason for it. Urbit atoms—which are the Nock runtime's only non-product "type"—are a lot of things, but they're basically a union-type between a bit-string and a bignum (i.e. a way to talk about a set of packed bits and an arbitrary-length number interchangeably.) Bignums themselves are somewhat expensive data structures to pass around, so runtimes that use them usually don't use them for everything; instead, they have an Integer type that has Bignum (data-structure on the stack, or pointer to data structure on the heap) and Fixnum (regular integer machine-register) implementations, and write a glue layer to treat the two interchangeably. So, you've got a runtime where your only "type" is an integer, but it breaks down into "cheap integers" and "expensive integers." Now, in most dynamic-language runtimes (i.e. runtimes where type-tagging and pattern-matching doesn't all happen at compile-time), you want a type that "represents itself" to use for type-tagging, dictionary keys, function references, etc. This is usually a Symbol or Interned String (or Atom!) type, with the runtime keeping a symbol table mapping fixnums ('cheap integers') to strings (which are effectively, in Nock, 'expensive integers'). You need this table, because dynamic language functions manipulate/build/pass around/compare a lot of symbols, and the interpreter would be really slow if you were passing and comparing 'expensive integers' by value. But Nock can't really keep a symbol-table, because every "atom" ID embedded in a Nock program is a universal ID, a handle any other Nock runtime might be passed and attempt to manipulate. (And you can't even use a global symbol-table that uses hashing—i.e. a DHT—because Nock doesn't differentiate the "Symbol" atoms from any other atoms, so you'd have to treat every atom the same and hash them all—and, even pretending that's cheap, you're eventually going to get collisions that way.) The only symbol table that works in a globally-distributed system is one that maps bitstrings to themselves. And that's as good as no symbol table at all. So what do you do when you can't make your strings ('expensive integers') into interned strings ('cheap integers')? Just use the cheap integers from the start! In Nock, this means that all the runtime-defined symbols—all the atoms in the language and the stdlib—are bitstrings that are short enough to be encoded directly as fixnums. Since Nock has the requirement of running on 32-bit machines, that means 32-bit bitstrings: four-ASCII-character strings. Thus most of the jargon. Do note, it's not required to use four-letter names for "symbols" you manipulate in the Nock runtime; but doing otherwise means passing around 'expensive' handles instead of 'cheap' ones. --- I find Urbit's solution here interesting—but they probably chose it for purity's sake. I would like to contrast it to the implementation in Erlang's BEAM runtime (which also, coincidentally, has 'atoms', but where these are simply its particular symbol type): • an atom table is kept by each "node", with no need for the atoms in each node to have identical mappings; • atom IDs are mapped back to their original bitstrings when serializing any data structure including them, even if just for internal persistence; • each distributed-RPC connection between nodes is stateful, keeping its own atom table (kept synchronized on both sides by additional messages) as a cache to speed up communication between nodes. This can be seen to be similar to a streaming compression algorithm's Huffman tree cache, but it's interesting to look at it as the connection being its own virtual 'node' that has this particular atom table, which both nodes are then modelling and translating to/from.
cronjobber 10y ago
http://ngnghm.github.io/blog/2016/06/11/chapter-10-houyhnhnms-vs-martians/ http://ngnghm.github.io/blog/2016/06/11/chapter-10-houyhnhnm...
niftich 10y ago
It's... uhh... art as software? Software as art? But joking aside, about a month ago this well-articulated writeup was posted on their site: https://urbit.org/posts/overview/ https://urbit.org/posts/overview/ There was an HN thread on it: https://news.ycombinator.com/item?id=11817721 https://news.ycombinator.com/item?id=11817721 The gist is it's some sort of distributed datastore network vaguely similar to IPFS [1], Freenet [2], but instead operates at a different level of abstraction from files. It ships with several other components, like an OS and a programming language, to flesh out that ecosystem. [1] https://ipfs.io/#why https://ipfs.io/#why [2] https://freenetproject.org/ https://freenetproject.org/
1918398112 10y ago
In one of the threads about the recent Ephemerum/DAO debacle someone explained everything in terms of Pokemons. The comment also applies here. The real reason is probably to generate some buzz for Bitcoin, because some of the valley nouveau riche like to gamble and have long positions.
- ikeboy 10y ago
  https://news.ycombinator.com/item?id=11921608 https://news.ycombinator.com/item?id=11921608
Ruud-v-A 10y ago
I find the original blog posts [1] a really interesting read. Nowadays Urbit is indeed full of buzzwords, “your personal cloud computer” and the like. But initially, Urbit was this [2]: > Urbit is a new programming and execution environment designed from scratch. Any resemblance to existing languages or operating systems is coincidental, cosmetic, or inevitable. It was based on this idea: suppose that a different civilization (Martians specifically) had invented computing long before humans. Then by now they would have perfected it. What would their system look like? Urbit is an attempt to rethink computing without the bias of human research and our current intuition. At the heart of Urbit is Nock, a “functional assembly language”. Zero is intentionally used to denote “true” to defy programmer intuition. [1]: https://moronlab.blogspot.com/2010/01/urbit-functional-programming-from.html https://moronlab.blogspot.com/2010/01/urbit-functional-progr... [2]: https://github.com/cgyarvin/urbit/blob/master/doc/book/0-intro.markdown https://github.com/cgyarvin/urbit/blob/master/doc/book/0-int...
- Animats 10y ago
  Zero is intentionally used to denote “true” to defy programmer intuition. OK, that was just perverse. Except check out the latest iteration of point of sale credit card terminal keypads. "0" is Yes and "X" is no.
  - astrange 10y ago
    That's normal in Asia. (They swap everything in the UI when porting Playstation games over here.)
    - pygy_ 10y ago
      Indeed, ine may want to earch for "batsu and maru".
  - pmahoney 10y ago
    For unix processes, exit status zero is conventionally considered success and non-zero is failure.
  - 10y ago
guelo 10y ago
My understanding is that the founder has some elitist ideas about separating and isolating the supposedly smarter people from everyone else. The opaqueness and complexity is a feature designed to keep out the riff raff.
- state 10y ago
  Where "riff raff" is bots and spammers.
  - api 10y ago
    Interesting take: technical obscurantism as a kind of "captcha." I'm jumping through the hoops of "Debianizing" something now, and I have to say the Debian project uses similar techniques to limit participation to the committed. The Debian packaging guidelines are very arcane and the docs are kind of scattered and the whole "experience" seems (probably unintentionally) built to keep casual "spam" out of the repo. Not necessarily a bad thing.
    - state 10y ago
      Oh, I misunderstood. Urbit just seems hard because it's weird. Having watched people learn the system, there are real advantages. Honestly writing documentation is just hard and we need to do a better job of it. We don't want to keep anyone out.
- psykotic 10y ago
  The earliest Moldbug screeds I came across, nearly ten years ago, were accusations of elitism towards academic computer science, and he's continued espousing that view ever since, interleaved with his other political writings. An early iteration of the Urbit website was one long anti-elitist screed against the functional programming community. A core axiom of Moldbug's philosophy is that the mathematicalization of computing is an elitist conspiracy. As an example, he thinks that the lambda calculus is intrinsically mathematical, hence elitist, whereas his own concatenative language is non-mathematical, hence non-elitist, by conforming to human nature. It's bizarre to say the least given that his proposed language has an obvious relationship to combinator calculi like SKI calculus, and you'll have to look long and hard to find anyone who thinks the SKI calculus is more intuitive than the lambda calculus.
smitherfield 10y ago
It's a functional (as in functional programming — immutable data, no side effects and so on) server/OS and (peer-to-peer, I think?) networking protocol, written in a dialect of APL[1] I call EOPL[0]. So far I believe there isn't any software on it besides a chat app, but the rather ambitious goal appears to be to eventually replace Unix and the TCP/IP stack. [1] /s [0] Extra-Obfuscated Perl-Lisp
ForHackernews 10y ago
> fwiw, the clearest explanation of the point of urbit is this 5-minute talk by yarvin from 2013. (how he will actually get from point a to point asdfghjkl666 is another matter of course.) https://youtu.be/6S8JFoT6BEM https://youtu.be/6S8JFoT6BEM http://reddragdiva.tumblr.com/post/141832812938/argumate-all-moldbug-criticism-should-be http://reddragdiva.tumblr.com/post/141832812938/argumate-all...
primodemus 10y ago
http://axisofeval.blogspot.com/2015/07/what-i-learned-about-urbit-so-far.html?showComment=1437494795877#c71943271372764002 http://axisofeval.blogspot.com/2015/07/what-i-learned-about-...
sremani 10y ago
I found this popehat article from 2013 very useful for understanding Urbit (its Pro-Urbit). https://popehat.com/2013/12/06/nock-hoon-etc-for-non-vulcans-why-urbit-matters/ https://popehat.com/2013/12/06/nock-hoon-etc-for-non-vulcans...
- deleted 10y ago
  [deleted]
- tptacek 10y ago
  FWIW, I would not assume that a Clark post means Popehat is "pro-Urbit" (to whatever extent it matters to you that a law blog might be "pro-Urbit").
  - sremani 10y ago
    May be its my lack of tact and precision, what I meant by pro-urbit, in this case was that the article was positive about urbit.

by wille92 10y ago

Avshalom 10y ago

It's just an application server. It's a VM, it connects to other VMs, they run programs, sometimes locally, sometimes remotely, sometimes distributed. This is all apparently very novel.

mahyarm 10y ago
So something like sandstorm with an autoscaler?
- api 10y ago
  That's like saying a snowmobile is a horse on skis. This is more like a total re-implementation of computing based on a functional model and a re-implementation of networking based on a feudal/federated shared/distributed/content-addressable model.
  - Avshalom 10y ago
    Meh, it's a new VM and a dumb network topology. I don't know sandstorm so I'm not sure which of these you think is the horse in this analogy.
semi-extrinsic 10y ago
Also, it's been under development for the better part of a decade.
vertex-four 10y ago
The novel bits are: * Everything on the VM is purely functional, and inputs essentially cause transactions which can fail/succeed - the result being that it's supposedly easier to implement certain types of network protocols, specifically the ones that Ames implements * A somewhat decent revision-controlled filesystem with push/pull/merge, static typing of files, and a built-in build system of sorts And last but not least... * Feudalism built into the core p2p protocol as an explicit design decision

kefka 10y ago

Animats has a great way to describe it ( https://news.ycombinator.com/item?id=11820643 https://news.ycombinator.com/item?id=11820643) It has the cult-like approach of Xanadu - use new terminology, tie it to an economic model, and re-invent everything. Also, there seems to be a cult leader. Jargon: noun (data), nock (interpreter), mint (compiler), span (type), twig (expression), gate (function), mold (constructor), core (object), mark (protocol). It's Newspeak for programmers. The overall concept seems to be a federated social system, like Diaspora. Everybody has a online presence which they own. But you can take your ball and go home, moving your online presence somewhere else, and it still gets found by others. Somehow. (That's a hard problem at scale.) There's a claim that nobody can create vast numbers of identities for spam purposes because there are only 2^32 possible human identities. (That number should have been at least as big as the population of the planet. 2^36, maybe.) Apparently you have to buy address space, which is a profit center for somebody. There's a download, which gets you their "OS" (which runs on top of another OS), an interpreter for their Hoon language and access to their chat environment. Not sure what to think of this, but someone put in a lot of work.

derefr 10y ago
Re: the jargon, there's a technical reason for it. Urbit atoms—which are the Nock runtime's only non-product "type"—are a lot of things, but they're basically a union-type between a bit-string and a bignum (i.e. a way to talk about a set of packed bits and an arbitrary-length number interchangeably.) Bignums themselves are somewhat expensive data structures to pass around, so runtimes that use them usually don't use them for everything; instead, they have an Integer type that has Bignum (data-structure on the stack, or pointer to data structure on the heap) and Fixnum (regular integer machine-register) implementations, and write a glue layer to treat the two interchangeably. So, you've got a runtime where your only "type" is an integer, but it breaks down into "cheap integers" and "expensive integers." Now, in most dynamic-language runtimes (i.e. runtimes where type-tagging and pattern-matching doesn't all happen at compile-time), you want a type that "represents itself" to use for type-tagging, dictionary keys, function references, etc. This is usually a Symbol or Interned String (or Atom!) type, with the runtime keeping a symbol table mapping fixnums ('cheap integers') to strings (which are effectively, in Nock, 'expensive integers'). You need this table, because dynamic language functions manipulate/build/pass around/compare a lot of symbols, and the interpreter would be really slow if you were passing and comparing 'expensive integers' by value. But Nock can't really keep a symbol-table, because every "atom" ID embedded in a Nock program is a universal ID, a handle any other Nock runtime might be passed and attempt to manipulate. (And you can't even use a global symbol-table that uses hashing—i.e. a DHT—because Nock doesn't differentiate the "Symbol" atoms from any other atoms, so you'd have to treat every atom the same and hash them all—and, even pretending that's cheap, you're eventually going to get collisions that way.) The only symbol table that works in a globally-distributed system is one that maps bitstrings to themselves. And that's as good as no symbol table at all. So what do you do when you can't make your strings ('expensive integers') into interned strings ('cheap integers')? Just use the cheap integers from the start! In Nock, this means that all the runtime-defined symbols—all the atoms in the language and the stdlib—are bitstrings that are short enough to be encoded directly as fixnums. Since Nock has the requirement of running on 32-bit machines, that means 32-bit bitstrings: four-ASCII-character strings. Thus most of the jargon. Do note, it's not required to use four-letter names for "symbols" you manipulate in the Nock runtime; but doing otherwise means passing around 'expensive' handles instead of 'cheap' ones. --- I find Urbit's solution here interesting—but they probably chose it for purity's sake. I would like to contrast it to the implementation in Erlang's BEAM runtime (which also, coincidentally, has 'atoms', but where these are simply its particular symbol type): • an atom table is kept by each "node", with no need for the atoms in each node to have identical mappings; • atom IDs are mapped back to their original bitstrings when serializing any data structure including them, even if just for internal persistence; • each distributed-RPC connection between nodes is stateful, keeping its own atom table (kept synchronized on both sides by additional messages) as a cache to speed up communication between nodes. This can be seen to be similar to a streaming compression algorithm's Huffman tree cache, but it's interesting to look at it as the connection being its own virtual 'node' that has this particular atom table, which both nodes are then modelling and translating to/from.

cronjobber 10y ago

http://ngnghm.github.io/blog/2016/06/11/chapter-10-houyhnhnms-vs-martians/ http://ngnghm.github.io/blog/2016/06/11/chapter-10-houyhnhnm...

niftich 10y ago

It's... uhh... art as software? Software as art? But joking aside, about a month ago this well-articulated writeup was posted on their site: https://urbit.org/posts/overview/ https://urbit.org/posts/overview/ There was an HN thread on it: https://news.ycombinator.com/item?id=11817721 https://news.ycombinator.com/item?id=11817721 The gist is it's some sort of distributed datastore network vaguely similar to IPFS [1], Freenet [2], but instead operates at a different level of abstraction from files. It ships with several other components, like an OS and a programming language, to flesh out that ecosystem. [1] https://ipfs.io/#why https://ipfs.io/#why [2] https://freenetproject.org/ https://freenetproject.org/

1918398112 10y ago

In one of the threads about the recent Ephemerum/DAO debacle someone explained everything in terms of Pokemons. The comment also applies here. The real reason is probably to generate some buzz for Bitcoin, because some of the valley nouveau riche like to gamble and have long positions.

ikeboy 10y ago
https://news.ycombinator.com/item?id=11921608 https://news.ycombinator.com/item?id=11921608

Ruud-v-A 10y ago

I find the original blog posts [1] a really interesting read. Nowadays Urbit is indeed full of buzzwords, “your personal cloud computer” and the like. But initially, Urbit was this [2]: > Urbit is a new programming and execution environment designed from scratch. Any resemblance to existing languages or operating systems is coincidental, cosmetic, or inevitable. It was based on this idea: suppose that a different civilization (Martians specifically) had invented computing long before humans. Then by now they would have perfected it. What would their system look like? Urbit is an attempt to rethink computing without the bias of human research and our current intuition. At the heart of Urbit is Nock, a “functional assembly language”. Zero is intentionally used to denote “true” to defy programmer intuition. [1]: https://moronlab.blogspot.com/2010/01/urbit-functional-programming-from.html https://moronlab.blogspot.com/2010/01/urbit-functional-progr... [2]: https://github.com/cgyarvin/urbit/blob/master/doc/book/0-intro.markdown https://github.com/cgyarvin/urbit/blob/master/doc/book/0-int...

Animats 10y ago
Zero is intentionally used to denote “true” to defy programmer intuition. OK, that was just perverse. Except check out the latest iteration of point of sale credit card terminal keypads. "0" is Yes and "X" is no.
- astrange 10y ago
  That's normal in Asia. (They swap everything in the UI when porting Playstation games over here.)
  - pygy_ 10y ago
    Indeed, ine may want to earch for "batsu and maru".
- pmahoney 10y ago
  For unix processes, exit status zero is conventionally considered success and non-zero is failure.
- 10y ago

guelo 10y ago

My understanding is that the founder has some elitist ideas about separating and isolating the supposedly smarter people from everyone else. The opaqueness and complexity is a feature designed to keep out the riff raff.

state 10y ago
Where "riff raff" is bots and spammers.
- api 10y ago
  Interesting take: technical obscurantism as a kind of "captcha." I'm jumping through the hoops of "Debianizing" something now, and I have to say the Debian project uses similar techniques to limit participation to the committed. The Debian packaging guidelines are very arcane and the docs are kind of scattered and the whole "experience" seems (probably unintentionally) built to keep casual "spam" out of the repo. Not necessarily a bad thing.
  - state 10y ago
    Oh, I misunderstood. Urbit just seems hard because it's weird. Having watched people learn the system, there are real advantages. Honestly writing documentation is just hard and we need to do a better job of it. We don't want to keep anyone out.
psykotic 10y ago
The earliest Moldbug screeds I came across, nearly ten years ago, were accusations of elitism towards academic computer science, and he's continued espousing that view ever since, interleaved with his other political writings. An early iteration of the Urbit website was one long anti-elitist screed against the functional programming community. A core axiom of Moldbug's philosophy is that the mathematicalization of computing is an elitist conspiracy. As an example, he thinks that the lambda calculus is intrinsically mathematical, hence elitist, whereas his own concatenative language is non-mathematical, hence non-elitist, by conforming to human nature. It's bizarre to say the least given that his proposed language has an obvious relationship to combinator calculi like SKI calculus, and you'll have to look long and hard to find anyone who thinks the SKI calculus is more intuitive than the lambda calculus.

smitherfield 10y ago

It's a functional (as in functional programming — immutable data, no side effects and so on) server/OS and (peer-to-peer, I think?) networking protocol, written in a dialect of APL[1] I call EOPL[0]. So far I believe there isn't any software on it besides a chat app, but the rather ambitious goal appears to be to eventually replace Unix and the TCP/IP stack. [1] /s [0] Extra-Obfuscated Perl-Lisp

ForHackernews 10y ago

> fwiw, the clearest explanation of the point of urbit is this 5-minute talk by yarvin from 2013. (how he will actually get from point a to point asdfghjkl666 is another matter of course.) https://youtu.be/6S8JFoT6BEM https://youtu.be/6S8JFoT6BEM http://reddragdiva.tumblr.com/post/141832812938/argumate-all-moldbug-criticism-should-be http://reddragdiva.tumblr.com/post/141832812938/argumate-all...

primodemus 10y ago

http://axisofeval.blogspot.com/2015/07/what-i-learned-about-urbit-so-far.html?showComment=1437494795877#c71943271372764002 http://axisofeval.blogspot.com/2015/07/what-i-learned-about-...

sremani 10y ago

I found this popehat article from 2013 very useful for understanding Urbit (its Pro-Urbit). https://popehat.com/2013/12/06/nock-hoon-etc-for-non-vulcans-why-urbit-matters/ https://popehat.com/2013/12/06/nock-hoon-etc-for-non-vulcans...

deleted 10y ago
[deleted]
tptacek 10y ago
FWIW, I would not assume that a Clark post means Popehat is "pro-Urbit" (to whatever extent it matters to you that a law blog might be "pro-Urbit").
- sremani 10y ago
  May be its my lack of tact and precision, what I meant by pro-urbit, in this case was that the article was positive about urbit.