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.
→// Every breakthrough technology starts as a faster version of the old thing. The true paradigm shift comes when you abandon the old constraints entirely. Are we there yet with AI and software?
→// Agentic orchestration layers are turning software maintenance from a brittle, depreciating asset into a fluid, self-optimizing substrate — replacing the engines of a commercial airliner mid-flight.
→// As agentic code generation explodes, we are hitting a complexity ceiling — the mandate of this epoch is to abandon procedural scripting for intent-driven, formally verified systems and construct the architectures we dismissed as science fiction.
draft// As AI compresses the time from disclosure to working exploit, the patch-window math every security team relies on stops holding.
draft// Multi-agent loops can build compilers and browsers from specs — but without formal verification, the artifacts are hollow. When auditors fuzzed CCC and FastRender, the complexity ceiling came crashing down.
draft// When autonomous agents can discover and weaponize zero-day vulnerabilities for pennies, reactive patching collapses. The only survivable architecture enforces structural runtime invariants — making it physically impossible for a vulnerability to execute a destructive action.
draft