Hacker News new | ask | show | jobs
by qiine 346 days ago
sorry but again...

https://i.pinimg.com/736x/03/af/06/03af0602a8caa51507717edd6...

2 comments

It is weirdly easy to create a language that expresses specifications that is more complex and difficult to understand than the code which implements it. E.g. Z notation.
This is deeply incorrect. Code is not and never will be a requirements specification.