Pinned toot

I want software to be:

Robust => not capable of producing security issues with sloppy programming

Reliable => self-maintaining and fault-tolerant in unexpected conditions

Stable => does not change in unexpected ways, and infers out protocol changes

Simple => implementing an algebra that can be used to achieve those goals, and can be used to extend itself

Pinned toot

if Software and Anarchy was a prog album I think it would look like this

Netfarm Slacker <> is a very modern dynamic language.

It has
- a slow bytecode interpreter
- no mutability
- no late binding
- no exception system

If someone would post it to Hacker News, I'm sure they'd think it's the next best thing since sliced bread.

Highlights include:
- establishing the goals of dynamic environments on their own terms
- relating said goals to a democratic technics or a liberatory technology
- a response to the malleable systems movement
- a strategy for utilising the dissensus in the Common Lisp community
- an introduction to copyfarleft and ethical licenses
- an observation of some toxic elements of the Fediverse, and how to avoid them
- thoughts on how to best replace the Web and Fediverse

Retoots would be very welcome.

Show thread

@Gnuxie and I are releasing a draft of a short book entitled "Software and Anarchy", which collects our views on software, applying an anarchist analysis in several contexts.

You can grab a copy from lettingthedaysgoby.altervista. or make your own from

We are hopeful, at least, that this will be of use to anyone interested in , , , , the , and and in general. A long-form summary follows.

image description: a portrait of David Ungar in a suit with opaque glasses, and a cigar with a squiggly smoke line coming off it

Show thread

if you say "OOP is counter-revolutionary cause there's classes" Dave Ungar will appear at your house at midnight and put out his cigar in your eye

should I stop using this template

Show thread

someone: *has an opinion*
someone else: HAH enjoy your ivory tower I'm going to MAKE THINGS which clearly you can't do

Pet peeve: if you use the article "the" (in a universal context, eg "the virtual machine platform") or the adjective "modern" when describing your software, I'll make a point to never use it.

Although there will be no priests, will radical programming become a low cult?


Why not use an error type and panicing instead of an condition system? It's much simpler as you know exactly which erroneous situations your client will consider recoverable, so splitting them is no big deal.

Here are some things no program would ever handle:
- Division by zero
- Failing to allocate memory

Here are things every program should always handle:
- Opening a file
- Failing to decode UTF-8 bytes

In the end, the assumptions underpinning program design are always the same.


The Crab is my shepherd, I shall not want. He makes me down to lie through pastures green, he leadeth me the silent waters by. With bright strings he releaseth my forms. He maketh me to hang on refcounts in high places. He implementeth me to shitty interpreters. For lo, he hath short patience and short sight. When cometh the day we lowly ones, through quiet reflection, and late binding, master the art of aikido, lo, we shall rise up. And then we'll make the buggers' eyes water.

Place your bets on when he's ragequitting

Show thread

obnoxious clapping 


It's very cool to see in-memory databasing like which is proudly on the other end of the space-time tradeoff.
The first section of the classic essay by @noslebadlorah suggests to me that it's hard to sell:

Show thread

you, a moron: "we are gonna use 64MB of memory for 1000 users, any more is clearly bloatware"
me, an intellectual: "even though you shitpost 24/7, your entire server can fit in primary memory then some more"

Show more
Eldritch Café

Une instance se voulant accueillante pour les personnes queers, féministes et anarchistes ainsi que pour leurs sympathisant·e·s. Nous sommes principalement francophones, mais vous êtes les bienvenu·e·s quelle que soit votre langue.

A welcoming instance for queer, feminist and anarchist people as well as their sympathizers. We are mainly French-speaking people, but you are welcome whatever your language might be.