News for hackers. Stuff that matters.

paperplatoon

paperplatoon on Hacker News

Re:The Case for Formal Methods 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