The local maxima we need to reach the next global maximum (opens in new tab)

Half-way through 2026, I’m finally getting around to posting some predictions for the year. Really, ideas about how software development can fix the house to deal with coding agents generating lots of code: Design with pacing, stable/unstable layers – ala Shearing layers Correctness by design/assertion – ala “Making Impossible States Impossible” Formal verification (finally) – figure out if we can do better than compilers and unit tests to know if what we asked for resembles what we received ...