It is nice he thinks ActivityPub is the Internet of the future, calling it "the post-platform" world in which journalists, individuals, organizations all run their own ActivityPub services rather than create accounts on platforms like Ex-Twitter or Facebook. But his perspective is still limited to a world where all applications run on the HTTP protocol with DNS identifying services. He talks about the "Post On (your) Own (host), Syndicate Everywhere" (POSSE) model, and how organizations and individuals can deploy Mastodon instances on their own servers. They also interviewed @pluralistic (Cory Doctorow) which was nice.
They really should have interviewed the @spritelyinst folks to see the real Internet of the future, in which HTTP is replaced with the Object Capability Network (OCapN). But to be fair, this tech is still pretty new and maybe not yet to the point where tech journalists at The Verge would be interested in doing articles about it.
I am finally reading @cwebber 's whitepaper on #SpritelyInstitute and #SpritelyGoblins and wow what a breath of fresh air. There is so much to love here, but the Goblin/object-centric design is really interesting, especially in the context of social systems which are typically actor-centric. Can I also say how refreshing it is to read a document where the authors clearly care about the people reading it understanding what's going on? "We use this dialect of Lisp because it is more familiar to people unfamiliar with LISP, and if you want to understand more about it we have written an appendix for that."
This is also one of the rare cases where the naming universe escapes typical programmer dreariness and really works - a Goblin is a self contained object with capabilities, i can imagine those little guys running around the internet on their own. A Goblin is spawned from a Vat which serves as its context, etc.
only like a 5th through but i really like what i'm reading
@mousebot but here, I'll give it a shot based on vibes
Plato: #Agda (the Idea of the Good, proto-Maoist non-conformists)
Aristotle: #C (arch reactionary)
Duns Scotus: #ASM (simple brittle concepts but with plenty of haecceity)
Spinoza: #CommonLisp (OG that everyone thinks is fresh bcs its dynamic)
Descartes: #MLIR (ghost in the machine)
Kant: #CPP (critique of Pure C)
Hegel: #Genera (the absolute Idea as self-reflective system)
Nietzsche: #Scratch (the primacy of appearances)
Marx/Lenin: #ML (self-explanatory)
Freud: #GDB (not phil, but rather the original debugger for all the problems of phil)
Heidegger: #forth (the anti-technology technologist's lang of choice)
Wittgenstein: #Prolog (all there is are the facts)
Stalin: #Haskell (forces you to do things "correctly" even when its neither the best option for the situation nor the most performant; the extreme ML)
Lacan: #rr (meta-debugging, non-linear retroactive causality of the signifier, on top of gdb)
Deleuze: #MaxMSP (thinks programming should be art, thinks art is about infinite flows, elaboration of Nietzsche)
Federici: #SpritelyGoblins (super witchey)
Derrida: #AWK (theres nothing outside the text)
Malabou: #Python (everything is neurobiological including language itself)
Badiou: #Scheme (the generic is the Idea of the Good)
Butler: #Rust (the new generation of Kantians doing things right, performatively)