The Coming Need for Formal Specification

(benjamincongdon.me) by todsacerdoti | Dec 13, 2025 | 50 comments on HN