AI agents are only as good as the proof-checkers, compilers, type systems, and linters given to them.

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.

On the topicDo static types make software better?under our view: Types pay for themselves, mostly through the tools that can be built on them

What Guillermo Rauch actually said

Do you hold this korrent?Do you also believe this?

Shared subject first, then similar wording. They may agree or disagree.