News for hackers. Stuff that matters.

A comment on The Case for Formal Methods. Parent comment

Re:The Case for Formal Methods by h_r on Tuesday April 16, 2019 @03:57AM (#19671899)
Just like almost every podcast ever. It's a transcript of a podcast and so not surprising.
[ Parent | on HN ]
Re:The Case for Formal Methods by SilasX on Tuesday April 16, 2019 @12:30PM (#19675047)
I'm just thankful they posted a legit transcript of the podcast at all! I don't like having to listen to them.
[ Parent | on HN ]