David Gerard (@davidgerard@circumstances.run)
circumstances.run
Urbit announced its summer acceleration program. Being made of smarmy edgelords, they called it "u/acc". I mentioned this and someone asked wtf is an Urbit. So!! Urbit is the OS founded by Curtis Yarvin, aka the creator of neoreaction Mencius Moldbug. Urbit is a new paradigm for computation that combines functional programming with what happens when libertarian anarcho-capitalism goes so right-wing reactionary that it openly turns into Hans-Hermann Hoppe’s vision of neo-feudalism. And that sentence needs a Wikipedia article per jargon word. Think "what if networked Lisp machines, but for Nazis." Urbit isn’t useful for anything. The apps don’t work, and the ones that do work bypass the language that the functional programming vision of the system is supposedly based on. I would call Urbit "TempleOS on the blockchain", but that makes it sound too interesting. Urbit outdoes bitcoin for the degree to which it combines "interesting" in the sense of "what the hell even is this" and "I'm not even mad, that's amazing" with utter unfeasibility and utter uselessness. This is what gives Urbit what little life it has: it's technically technically-interesting, but utterly unusable. Other functional programmers think it's trash. The only FPs who take it seriously are also techfash. So Urbit has no technical merits to succeed on, and only its political cult. So it leans *hard* into that cult. Urbit's only function is as an identifier to fellow fash. Which it's serving admirably. Only one kind of person has an Urbit. If you see a string of the format "~abcdef-ghijkl" in someone's bio (tilde, six letters, hyphen, six letters), they're that kind of person. If you really want to understand "yes, but *why* Urbit?" "why the *fuck* Urbit?" then the answer is still Elizabeth Sandifer's book Neoreaction a Basilisk. I believe the approved method is to libgen it and *also* buy the paperback. As we all know, the use case for social media is to get laid. So I wonder if there's pent-up neoreactionary passion just waiting to be unleashed on Urbit. I expect the incel forums there are a delight. ==== EDIT: "e/acc" is short for "effective accelerationism", a condensed version of Nick Land's bad "Dark Enlightenment" ideas. This became trendy with neoreactionaries, who tagged themselves with "e/acc". It's a reasonably reliable way of spotting incredibly blockable little shits. It's dumb enough there's a KnowYourMeme on it: https://knowyourmeme.com/memes/cultures/eacc-effective-accelerationism so Urbit is riffing on the meme.
  • self@awful.systemsMEnglish
    1·
    1 year ago

    this is awesome! it fits well with a lot of the (mental) notes I made tracing Urbit history as part of a deconstruction of the earlier inroads technofascism made into the wider tech world. some loose notes to expand on a couple topics:

    • very little of Urbit is actually original. the language itself (called hoon if I remember correctly) is a lambda-calculus-heavy ML with a Lisp-style type system and runtime, with all the names changed to blur the line between Yarvin’s bad ideas and the ideas from computer science that Yarvin implemented poorly
    • notably, hoon inherits the computational inefficiency of lambda calculus but none of the safety of ML or the usability of Lisp. the resulting language is an awful cacophony
    • these sources were most likely used not because Yarvin is any good at functional programming, but because Urbit was a partially successful attempt to insert yarvin’s ideas into the conversation on places like hacker news, where paul graham primed a bunch of folks to accept both Lisp and right-wing libertarianism as the same bundle of ideas
    • the few unique parts of Urbit are interesting only in that they seem to be early attempts at things we’ve seen done by other techfash projects. for example, Urbit claims to be decentralized, but hoon programs are permanently linked to code controlled by the Urbit foundation (most likely still owned by Yarvin even though they claim otherwise), which compliant Urbit implementations must pull from the network (also controlled by the foundation). this allows programs to be effectively broken on the whim of whoever controls their access to their upstream dependencies, effectively making whoever controls the foundational Urbit libraries the rulers of Urbit’s neo-feudal network — and it’s built so that swapping out those dependencies is as hard as possible. I haven’t checked the implementation to see if it prevents changing the meaning of downstream programs yet (because hoon code is brain rot — see the example linked above)
    • I need to dig through Reddit and find the AMA, but yarvin claims that Urbit is the first and only functional language that can pull functions and dependencies from the network. this is false and he probably knows it — Eelco Dolstra’s foundational paper on the Nix package manager was published (this is from memory, probably not accurate) about a year and a half before Yarvin’s first blog post on Urbit, and there are enough similarities between the two that I don’t know if I want to call this a coincidence

    last time I brought this up on r/SneerClub, some weird fascist found the post and made the mistake of linking Yarvin’s original blog posts, which are kind of hilarious. I’ll dig them up and link them here when I can

    • Steve@awful.systemsEnglish
      1·
      1 year ago

      where paul graham primed a bunch of folks to accept both Lisp and right-wing libertarianism as the same bundle of ideas

      PG gets off way too lightly as a mere annoying vc most of the time. There is plenty of sneer project potential in each of his pointed, dumbly confident “essays”

    • self@awful.systemsMEnglish
      1·
      1 year ago

      the links I mentioned:

      • yarvin’s Reddit AMA warning: high level of smarmy fascists. I can’t find the post where he claims Urbit is the only networked functional language so it might be elsewhere
      • the original Urbit spec, lots to sneer at here as yarvin decides Urbit is best described as how neo-feudal martians would write software
      • @dgerard@awful.systems linked this in the masto thread but it’s too important not to link: one of Yarvin’s later tech specs with less obfuscation, which literally calls the network address space digital feudalism

      e: holy shit I revisited that last link

      The $2^64 question is thus: who are the dukes?

      My answer is simple. The dukes are the developers of Urbit. They created it - they get to own it. This is standard Lockean libertarian homesteading theory. Lend a hand - earn a slice. Thus Urbit, unlike most open-source projects, offers a rational motivation for contribution.

      this is the most mask off description of the fake decentralization crypto projects build on (and Urbit might have invented, unless we can dig up prior art) I’ve ever seen

      • self@awful.systemsMEnglish
        1·
        1 year ago

        I decided to head the acasualrobotgod off at the pass and torture myself by reading through the early Urbit spec in full (whose content is completely different from the one @gerikson@awful.systems posted), and I found something interesting; the info I gave above about Urbit taking ideas from Nix isn’t quite accurate. the reality is much worse.

        so yarvin’s specs are meandering as fuck of course, but eventually they get to some kind of point. in short, Urbit’s main computational function consists of two other functions.

        • urbit-infer knows how to pull code from the network, cryptographically verify its integrity, and transform (build) it. this is Nix’s fetchurl and half of Nix’s derivation function.
        • urbit-render takes the output of urbit-infer and stores it in a unique path in Urbit’s pathspace. this is the other half of derivation.
        • the Urbit pathspace is a set of paths on a storage device with the invariant that every path must uniquely represent an output of urbit-infer, and that the existence of a path guarantees that its contents are the output of urbit-render for that path’s instance of urbit-infer. this is just Nix’s core data structure, the Nix store, copied wholesale into Urbit but with a much stupider uniqueness algorithm

        now note that Nix is actually a lot older than I indicated before. it was first released in 2003, and Eelco Dolstra’s first paper on it was published in 2004, 6 years before Yarvin’s first posts about Urbit. that 2004 paper featured details on derivation, fetchurl, and the Nix store, all of which exist almost unchanged in modern Nix

        a lot of the differences between Urbit and Nix (like pathspace forks) seem to be attempts to work around implementing the trickier parts of the Nix evaluation model

        given the big similarities in functionality and structure between the Urbit computational function and Nix’s core functions and data structure, the wide span of time during which Yarvin could have read the Nix paper (and Dolstra published about Nix several more times between 2004 and 2010), and Nix’s obscurity until around 2015, I’m willing to upgrade my suspicion to an accusation:

        Urbit’s core functionality is a shitty, plagiarized version of Nix, but intentionally crippled to keep Yarvin in control

        this has got to be my last Urbit deep dive for a while, but I figured it couldn’t hurt to write up some notes here in case Urbit starts marketing hard again

  • TinyTimmyTokyo@awful.systemsEnglish
    1·
    1 year ago

    “TempleOS on the blockchain”

    Ok that’s some quality sneer. A bit obscure and esoteric, but otherwise perfect for those who know anything about Temple OS.