The Case for Formal Methods

Re:The Case for Formal Methods by Animats on Tuesday April 16, 2019 @03:11AM (#19671706)

But first, a word from our sponsor.

("SK: Before I bring you Hillel, a quick message from our sponsor." That's actually in the article.)

[ Parent | on HN ]

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 ]

Re:The Case for Formal Methods by jarmitage on Tuesday April 16, 2019 @04:11AM (#19671960)

And you had to point this out why?

[ Parent | on HN ]