Get the latest tech news

Specifications Don't Exist (2025)

This article is a companion piece to What Works (and Doesn't) Selling Formal Methods. It began life as part of a talk I gave in late 2024.

None

Related news:

Show HN: Specific (YC F25) – Build backends with specifications instead of code

Another Pixel 10 series leak just hauled in info on the specifications that matter

NVMe 2.1 Specifications Published With New Capabilities