A korrentour readingWhat is a korrent?
AI agents are only as good as the proof-checkers, compilers, type systems, and linters given to them.
Drawn from what Guillermo Rauch said
What these subjects mean
AI agents Agents beyond the editor: software that acts on your behalf, and what independence it should be given.
compilers Programs that turn programs into programs: what a compiler can name, assembly, and building one that serves an editor.