Hacker News new | ask | show | jobs
Specs Should Be Equations, Not Essays (fromanengineersight.substack.com)
12 points by ben8t 120 days ago
2 comments

Specs for who though? For other engineers that could work, but specs are the interface between business and engineering when agreeing on work.

I doubt that my PM is going to like equations.

Have you seen Z notation? See also TLS+.
Yes I've been exploring both while writing about the idea. Not sure yet how complex we need the spec. to be in the end - but definitely more to explore on the area