Formal verification might solve AI's review bottleneck

(georgwiese.github.io) by georgwiese | Jul 21, 2026 | 0 comments on HN