https://hackerpaper.kaipfister.de/p/1507.00723/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=12980269urn:hackerpapers:mention:1507.00723:12980269Thu, 17 Nov 2016 18:56:43 GMT<p>Re meyer The neat thing is his method was adopted commercially with years of success despite never showing up on Hacker News, etc. It combined efficiency, OOP, basic safety, and concurrency safety (SCOOP). Most talk about adoption of formal specs in theory but he got it done in practice with DbC in industry. Now, tools like SPARK, Ada 2012, and Perfect Developer are using it. You can do it in C, C# and Java, too. Btw, in case you missed it, his Theory of Programs defines most aspects of programming in an elegant, precise way using set theory: https://arxiv.org/pdf/1507.00723v3 Re dependent…</p><p><a href="https://hackerpaper.kaipfister.de/p/1507.00723/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.PL