The article links to "You can just choose how many bugs you want now" https://nolanlawson.com/2026/08/16/you-can-just-choose-how-m...

So going on a tangent: an additional mechanism you have that becomes feasible with LLM assistance today is proving your code correct.