@vitaut Formatting goes rogue!

@vitaut It would impress me if an AI agent used a debugger. Do they ever? That would feel more like genuine artificial intelligence. I guess that documentation on how to use a debugger is in the training data, but actually using one requires reasoning which they don't have.

@vitaut What's doing that? Checking the size of types introduced so you know their size without having to check.

@vitaut Cats do that when they're stressed.

@vitaut Are they punching punch cards?

@vitaut But all my tests *are* code.

@monsieuricon I don't understand why there's so much scraping traffic. I assume it's AI bots which are mostly revisiting pages which have already been scraped, but why?

@vitaut Right, so these are three conditions of correctness which you want to prove your algorithms satisfy? And you've done it for yy for two of them, but not zmij?

@vitaut Is this a whole proof, or only the new functions you need for your proof?

@vitaut My favourite project, DuckDB, uses fmt

@vitaut Indeed. Why not simply write correct code in the first place⁉️

Software developer and data engineer for the Tree of Life genome assembly pipeline at the Wellcome Sanger Institute. The Darwin Tree of Life project is sequencing all "complex" organisms (plants, animals, fungi and protists) in Britain and Ireland, roughly 70,000 species. >3000 done! DuckDB stan. Likes cooking and photography. Identifies as a cyclist.