Long-form arguments on programming languages, correctness, and the parts of software engineering that resist automation.
// AI code generation is really a specification problem — and a spectrum of tests, types, and formal methods that narrow the guess.
→// Invariant inference, execution oracles, and the limits of pure AI audits: how a "poor man's neurosymbolic" loop forces LLMs to write down their assumptions, then fuzzes the assumptions themselves.
draft// As AI compresses the time from disclosure to working exploit, the patch-window math every security team relies on stops holding.
draft