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. IceDane · 1789740461 · focus · HN ↗

         It's Victor Taelin?! Ye gods!

         Why is everybody treating this person like some celebrity. Am I weird for having never heard about this guy?

         1. LightMachine · 1789743746 · focus · HN ↗

            I don't know either :(

            I'm not a celebrity and I don't like celebrities

            1. LowIqHn · 1789744098 · focus · HN ↗

               [dead]

Unofficial Hacker News client; not affiliated with Y Combinator.