Armaël Guéneau applied CFML framework (https://gitlab.inria.fr/charguer/cfml2) to formally verify the code in Coq https://twitter.com/dimenix/status/1108041551270289409
We've prepared a zine version of our essay, "Against the Logic of the Guillotine"—
"For radicals, fetishizing the guillotine is just like fetishizing the state: it means celebrating an instrument of murder that will always be used chiefly against us."
If a human being acted like this, you would be well advised to get as far away from them as possible. But we've all kind of been trained to accept this behavior from a computer, and we absolutely shouldn't. Humans made it be this way, and they did it for a reason
I hesitate to claim software can be abusive, but we don't take seriously how much of modern design apes abuse patterns. When Twitter keeps reverting you back to the algorithmic view, often without telling you, the implicit hope is that you won't notice, or get fed up and leave it
me: *goes into cardiac arrest*
Matching wallpapers for you and your other half 💕
Ça sonne comme un retour de flamme. #greve11janvier
The first beta for OCaml 4.10.0 is out.
Cortège de @UnionCoLib@twitter.com à la manif en soutien aux luttes antifascistes et feministes de la gauche kurde.
For @JewishCurrents@twitter.com, I wrote a guide to giving yourself an abortion (illustrated by @Lubchansky@twitter.com). I'm really proud of it! https://jewishcurrents.org/how-to-give-yourself-an-abortion/
ok no but i mean the only persons i saw make out in there were lesbians
lesbian night-club! lesbian night-club! #36c3
OCaml CI girl at OCamllabs · Admin of lesbiab.space · Anarchist Communist · Programming Languages Theory (PP: modified art from chomado)
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!