https://www.brysgo.com/tags/formal-methods/Recent content in Formal-Methods on BRYSGOHugoen-usMon, 10 Aug 2026 14:06:12 +0000https://www.brysgo.com/post/2026-08-10-the-proof-is-not-the-point-anymore/Mon, 10 Aug 2026 14:06:12 +0000https://www.brysgo.com/post/2026-08-10-the-proof-is-not-the-point-anymore/<h2 id="the-proof-is-not-the-point-anymore">The Proof Is Not the Point Anymore</h2> <p>I&rsquo;ve started noticing that the code I write matters less than the spec I can&rsquo;t quite state. I&rsquo;ll sit down to build something, and the actual coding—the part that used to take hours and require real craft—now takes minutes with an agent doing the typing. What takes the hours now is figuring out, precisely enough that a machine could check it, what I actually meant. The bottleneck moved. It didn&rsquo;t disappear.</p>