News for hackers. Stuff that matters.

A comment on The Case for Formal Methods.

Re:The Case for Formal Methods by paperplatoon on Tuesday April 16, 2019 @03:57AM (#19671902)
this guy needs to formally verify his explanations. they are pretty weasly and convoluted. not sure anything of value in this
[ Parent | on HN ]
Re:The Case for Formal Methods by dang on Tuesday April 16, 2019 @04:06AM (#19671940)
"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

[ Parent | on HN ]