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.
Because this shitty blogs' author just called someone "vibe-coding a language with no knowledge about the field" who is literally working in that very field for a decade, long predating LLMs, with numerous high-profile works.
You are on the wrong side of this whole discussion, there is only one people here who needs calling out and it's not Bend's author.
golol · · focus · HN ↗
dimgl · · focus · HN ↗
gf000 · · focus · HN ↗
You are on the wrong side of this whole discussion, there is only one people here who needs calling out and it's not Bend's author.