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.
It would be weird to stand in line for throwing shit at someone you don't know anything about, and believing that the first guy throwing shit has an actual reason to do so.
golol · · focus · HN ↗
suddenlybananas · · focus · HN ↗
IceDane · · focus · HN ↗
Why is everybody treating this person like some celebrity. Am I weird for having never heard about this guy?
LightMachine · · focus · HN ↗
I'm not a celebrity and I don't like celebrities
LowIqHn · · focus · HN ↗
[dead]
gf000 · · focus · HN ↗
It would be weird to stand in line for throwing shit at someone you don't know anything about, and believing that the first guy throwing shit has an actual reason to do so.
It turns out everyone in that line is wrong..