Hacker News new | ask | show | jobs
by MWil 64 days ago
the author seems unaware of the SAT/SMT solver/analysis ecosystem
3 comments
dang 64 days ago
"Please don't post shallow dismissals, especially of other people's work. A good critical comment teaches us something."

https://news.ycombinator.com/newsguidelines.html

link
sanxiyn 64 days ago
Why do you think so? I didn't get such impression.
link
jaen 63 days ago
No. Did you even read the article? It talks about the "specification gap", which is the difference between the formalized semantics and the intended semantics.

Every formal method has that problem (including the mentioned trivial ones like SAT and SMT).

link