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. suddenlybananas · 1789738920 · focus · HN ↗

      God forbid someone criticise Victor Taelin!

      1. N_Lens · 1789741258 · focus · HN ↗

         Mudslinging isn’t appreciated, well thought out and articulated criticisms are.

Unofficial Hacker News client; not affiliated with Y Combinator.