Mastodawn

'Legibility is ruining you' https://jimmyhmiller.com/legibility-is-ruining-you amazing response by @jimmyhmiller to 'Seeing like a software company' https://www.seangoedecke.com/seeing-like-a-software-company/

Legibility is Ruining You

Legible processes are impossible to escape. But that doesn't mean we need to embrace them.

Show thread

CF Bolz-Tereick 1d ago

I'm also reminded of Brecht

Show thread

CF Bolz-Tereick 1d ago

I'm also thinking about the connections to 'Being Glue' https://www.noidea.dog/glue
And, coming at it from the other end, 'The Tyranny of Structurelessness' https://www.jofreeman.com/joreen/tyranny.htm

Being Glue — No Idea Blog

Slides and notes for the Being Glue talk.

No Idea Blog

Show thread

CF Bolz-Tereick 1d ago

Last year there was also the excellent post 'The tech interview is a legible, reasonably well-designed process' https://herecomesthemoon.net/2025/06/legible-well-designed-processes/

The tech interview is a legible, reasonably well-designed process.

Basically a review of ‘Seeing Like a State’. And some other thoughts.

MOND←TECH MAGAZINE

CF Bolz-Tereick 1d ago

Legibility is Ruining You

Legible processes are impossible to escape. But that doesn't mean we need to embrace them.

CF Bolz-Tereick Mar 25

David R. MacIver Mar 24

So like I mentioned I joined Antithesis a little while back. When I did, I pitched them on a crazy idea. Antithesis... Hypothesis... Hegel!

A remarkably short number of months later, Hegel. Hegel is a property-based testing protocol and family of client libraries which makes it easy to do Hypothesis-grade PBT everywhere.

Today: Rust. Tomorrow: The world! (Muahaha)

https://antithesis.com/blog/2026/hegel/

Hypothesis, Antithesis, synthesis

Introducing Hegel, our new family of property-based testing libraries.

Show thread

CF Bolz-Tereick Mar 24

Sandra Hüller is as usual totally amazing.

CF Bolz-Tereick Mar 24

Project Hail Mary is so good! Hadn't been to the cinema in ages, and it was totally worth it 🚀

CF Bolz-Tereick Mar 21

Show thread

Adrian Sampson Mar 21

we did go and write a short paper about our very funky generic compiler driver framework, fud2 https://capra.cs.cornell.edu/latte26/paper/latte26-final30.pdf

CF Bolz-Tereick Jan 29

Alice Averlong🏳️‍⚧️Jan 29

I just spent 5 minutes trying to figure out why my NES emulator was lagging. I thought it might be an OpenGL issue, something to do with the sound core, and I tried a different NES emulator core entirely!

in the end the only thing that fixed it was going into speed and changing it from "50%" back to "100%"!