Thread

1. golol · 1789737865 · focus · HN ↗

   I find this to be a mean and misguided post. To suggest that Victor Taelin does not know about formal methods. As I understand, he is trying to do something genuinely new and interesting. And he is transparent about his work, which he then gets hounded for. A shame.

   1. dimgl · 1789738528 · focus · HN ↗

      Why is it mean? The author is above critique?

      1. N_Lens · 1789741199 · focus · HN ↗

         It’s a poorly researched article just looking for cheapshots.

Unofficial Hacker News client; not affiliated with Y Combinator.