Top posts

Every blog post that took off on Hacker News, ranked by the votes of its best submission. 6,949 posts.

Systems & Performance
Any year
6081

Why Specifications Don't Compose

Recently my friend Lars Hupel and I had a discussion on why formal methods don’t compose well. You can read the conversation here. We focused mostly on composing formally-verified code. I want to talk a little more about the difficulties in composing specifications. This is half because it’s difficult for interesting…