Cheap code means formal verification is reasonable now

(antfly.io) by dovin | May 21, 2026 | 0 comments on HN