#spritelygoblins — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #spritelygoblins, aggregated by home.social.
-
"I keep bouncing off the #Scheme language"
https://www.sicpers.info/2026/05/i-keep-bouncing-off-the-scheme-language/
( #Lisp )
with interesting discussion in the HN thread - https://news.ycombinator.com/item?id=48233398
'Scheme was invented as a consequence of Sussman & Steele’s discovery that lexical closures in the lambda calculus had essentially an identical implementation to a fully elaborated version of Hewitt’s actor model.
I do wonder what a language with the same “taste” and minimalism as Scheme but embracing the actor model would look like. Erlang?
Even better if someone could figure out how to harmonize them in the same language: “There are exactly two ways to do it, and they’re interchangeable.”'
to which a reply referencing @spritely #SpritelyGoblins:
'> I do wonder what a language with the same “taste” and minimalism as Scheme but embracing the #ActorModel would look like.
There is Spritely Goblins: https://spritely.institute/goblins/ '
(and a third reply:
'A 98-page PDF on language design for distributed objects in a capability security model? Made my day, thanks!')
-
"I keep bouncing off the #Scheme language"
https://www.sicpers.info/2026/05/i-keep-bouncing-off-the-scheme-language/
( #Lisp )
with interesting discussion in the HN thread - https://news.ycombinator.com/item?id=48233398
'Scheme was invented as a consequence of Sussman & Steele’s discovery that lexical closures in the lambda calculus had essentially an identical implementation to a fully elaborated version of Hewitt’s actor model.
I do wonder what a language with the same “taste” and minimalism as Scheme but embracing the actor model would look like. Erlang?
Even better if someone could figure out how to harmonize them in the same language: “There are exactly two ways to do it, and they’re interchangeable.”'
to which a reply referencing @spritely #SpritelyGoblins:
'> I do wonder what a language with the same “taste” and minimalism as Scheme but embracing the #ActorModel would look like.
There is Spritely Goblins: https://spritely.institute/goblins/ '
(and a third reply:
'A 98-page PDF on language design for distributed objects in a capability security model? Made my day, thanks!')
-
"I keep bouncing off the #Scheme language"
https://www.sicpers.info/2026/05/i-keep-bouncing-off-the-scheme-language/
( #Lisp )
with interesting discussion in the HN thread - https://news.ycombinator.com/item?id=48233398
'Scheme was invented as a consequence of Sussman & Steele’s discovery that lexical closures in the lambda calculus had essentially an identical implementation to a fully elaborated version of Hewitt’s actor model.
I do wonder what a language with the same “taste” and minimalism as Scheme but embracing the actor model would look like. Erlang?
Even better if someone could figure out how to harmonize them in the same language: “There are exactly two ways to do it, and they’re interchangeable.”'
to which a reply referencing @spritely #SpritelyGoblins:
'> I do wonder what a language with the same “taste” and minimalism as Scheme but embracing the #ActorModel would look like.
There is Spritely Goblins: https://spritely.institute/goblins/ '
(and a third reply:
'A 98-page PDF on language design for distributed objects in a capability security model? Made my day, thanks!')
-
"I keep bouncing off the #Scheme language"
https://www.sicpers.info/2026/05/i-keep-bouncing-off-the-scheme-language/
( #Lisp )
with interesting discussion in the HN thread - https://news.ycombinator.com/item?id=48233398
'Scheme was invented as a consequence of Sussman & Steele’s discovery that lexical closures in the lambda calculus had essentially an identical implementation to a fully elaborated version of Hewitt’s actor model.
I do wonder what a language with the same “taste” and minimalism as Scheme but embracing the actor model would look like. Erlang?
Even better if someone could figure out how to harmonize them in the same language: “There are exactly two ways to do it, and they’re interchangeable.”'
to which a reply referencing @spritely #SpritelyGoblins:
'> I do wonder what a language with the same “taste” and minimalism as Scheme but embracing the #ActorModel would look like.
There is Spritely Goblins: https://spritely.institute/goblins/ '
(and a third reply:
'A 98-page PDF on language design for distributed objects in a capability security model? Made my day, thanks!')
-
"I keep bouncing off the #Scheme language"
https://www.sicpers.info/2026/05/i-keep-bouncing-off-the-scheme-language/
( #Lisp )
with interesting discussion in the HN thread - https://news.ycombinator.com/item?id=48233398
'Scheme was invented as a consequence of Sussman & Steele’s discovery that lexical closures in the lambda calculus had essentially an identical implementation to a fully elaborated version of Hewitt’s actor model.
I do wonder what a language with the same “taste” and minimalism as Scheme but embracing the actor model would look like. Erlang?
Even better if someone could figure out how to harmonize them in the same language: “There are exactly two ways to do it, and they’re interchangeable.”'
to which a reply referencing @spritely #SpritelyGoblins:
'> I do wonder what a language with the same “taste” and minimalism as Scheme but embracing the #ActorModel would look like.
There is Spritely Goblins: https://spritely.institute/goblins/ '
(and a third reply:
'A 98-page PDF on language design for distributed objects in a capability security model? Made my day, thanks!')
-
when I'm working with #SpritelyGoblins and I get an error I like to pretend the goblins are on strike and I have to heed their demands, and then it's always satisfying when things are resolved and the goblins can go home happy
-
It's a 2023 blog post, but I'm just now learning about this exciting effort to port GNU #Shepherd to #SpritelyGoblins, turning the init system of #Guix into a distributed systems daemon, which could provide functionality along the lines of Kubernetes. How cool! https://spritely.institute/news/spritely-nlnet-grants-december-2023.html
-
@[email protected] I think to some extent #spritelygoblins has had to do something with this since I believe the idea of reversibility is baked in fresh and hot, right into it.
-
would #anyone like to work on the #lisp spring #gamejam together? starts in 10 days
https://itch.io/jam/spring-lisp-game-jam-2024i have been futsing about with scheme controlling graphics libraries for simple primitives, and would love a chance to expand out into something cool to test some things, for a demo or the spark of something
probably going to have to do with #asciiart in some capacity, given the time constraint... it would be so cool to do something #spritely #spritelygoblins #hoot #wasm related ;) :D
if you're an 'ideas person' or anything, hang out & backseat, i can stream for about another month or so before i have to pack up and have very uncertain internet connectivity...
#gamdev #programming #tags #im uising #mastodon website #twitch
-
Enabling, sustaining and coordinating more creative and forward-thinking tech development would be a necessity for the Free Fediverse. The ActivityPub protocol itself is in the process of being enclosed by Zuckerberg and his assets right now.
Fortunately there are alternative possibilities, not least among them the next-generation Spritely Goblins protocol of another AP co-author, @cwebber . More on Spritely Goblins here:
https://spritely.institute/goblins/
Supporting this effort, and combining the efforts of the numerous Masto forks into a definitive Free Fedi microblogging replacement, could be the way to build our ark and render our resolve tangible.
16/20
#FreeFediverse #FediPact #DefederateMeta #Meta #Facebook #Threads #Prefiguration #DualPower #Fedifam #Communalism #SpritelyGoblins
-
In ~1hr, 000UTC
#lisp y #oldComputerChallenge #gopher show.
Gopher news:
@logout is updating the bongusta phlog aggregator !
Old computers:
Phlogs ( @gemlog s, wlogs) on https:/occ.deadnet.se
I have been excited to read gopher://booji.mutated.net 's Sun Sparc Ultra 10 so far!
In #fediverse / #lisp news, @jackdaniel the #EmbeddableCommonLisp current developer on (optimize size)ing #ecl
What I want to see now is
#ecl packages exposed to @cwebber #SpritelyGoblins #Guile #scheme as #c & #wasm -
#lisp y #oldComputerChallenge #gopher show.
Gopher news:
logout is updating bongusta phlog aggregator for this year!
Old computers:
Phlogs ( @gemlog s, wlogs) on https:/occ.deadnet.se
I have been excited to read gopher://booji.mutated.net 's Sun Sparc Ultra 10 so far!In #fediverse / #lisp news, @jackdaniel the #EmbeddableCommonLisp current developer weighed in on (optimize size)ing #ecl .
What I want to see now is
#ecl packages exposed to @cwebber #SpritelyGoblins #Guile #scheme as #c & #wasm -
#lisp y #oldComputerChallenge #gopher show.
Gopher news:
logout is updating bongusta phlog aggregator for this year!
Old computers:
Phlogs ( @gemlog s, wlogs) on https:/occ.deadnet.se
I have been excited to read gopher://booji.mutated.net 's Sun Sparc Ultra 10 so far!In #fediverse / #lisp news, @jackdaniel the #EmbeddableCommonLisp current developer weighed in on (optimize size)ing #ecl .
What I want to see now is
#ecl packages exposed to @cwebber #SpritelyGoblins #Guile #scheme as #c & #wasm -
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
https://www.spritely.institute/static/papers/spritely-core.html
-
@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) -
@emily i forgot about apparmor. never heard of UAC: "User Account Control"?
I think it's partly a UI problem insofar as communicating to end users what capabilities a given program needs, what even is a program (seriously: not all users will understand), what are the implications of not just one capability but certain subsets of capabilities, when do you even need to tell users about the capabilities vs ensuring they're secure on delivery...but I've quickly gotten into whole-system design because a lot of this, just trying to make the interface nice, you end up "putting lipstick on a pig", right?
I think that's part of what motivates "object capabilities" a la #spritelygoblins. I haven't taken the time to grok what they've actually achieved there and whether it solves any of those putative interface problems though
-
Well, hello: Robin Templeton has joined @spritelyinst!!
If you've been anywhere near the #Emacs community for the past decade, you've probably heard about the #GuileEmacs project: Templeton was the chief developer behind that.
With @wingo, @dthompson, @tsyesika and now Robin Templeton on board, the Spritely Institute is assembling quite a Dream Team.