Skip to main content
For AI agents: a documentation index is available at /llms.txt — markdown versions of all pages are available by appending index.md to any URL path.

Coding-Agents

Knuth changed his mind. Your workflow should too.

·4 mins
Donald Knuth praising Claude’s “automatic deduction” is a cue for practitioners: stop treating coding agents like autocomplete and start using them as adversarial collaborators paired with tight verification loops.

Synthesized, Not Engineered

·7 mins
A research team replaced a database query engine with an LLM that writes bespoke C++ for every query. It beat DuckDB. The implications go well beyond databases.