11 ms·
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 gen
by golol 13d ago
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.
- dimgl 13d agoWhy is it mean? The author is above critique?
- suby 13d agoI found the post offputting because he is insinuating a few things about the author which are clearly untrue (eg, unfamiliar with the formal verification landscape) and he's using this untrue speculation as evidence of the dangers of vibe coding. Even the edit where he says swap it out with a hypothetical person who fits the description - it's still leaving in the untrue claims about the author. It doesn't seem unreasonable to think it mean if I were to make up speculative negative assumptions about you which undermined something you've been working hard on for a long period of time. I know nothing about the author, I'm just watching this whole spectacle unfold.
- user43928 13d agoNo, but the author seems to be above being critiqued for supposedly not even knowing of the existence of the field. Considering that he is a somewhat well known expert in the field who has been doing full time research on it for a decade.
- suddenlybananas 13d agohttps://scholar.google.com/citations?user=ZLnQcAsAAAAJ&hl=en https://scholar.google.com/citations?user=ZLnQcAsAAAAJ&hl=en This is not the google scholar of a well-known expert, I'm sorry.
- vatsachak 13d agoMuh academic ivory tower
- user43928 13d agoWhile that might not be the largest academic footprint, I don't think you could dispute him being an expert or being 'somewhat well known'.
- suddenlybananas 13d agoHe seems to have a big following on AI-hype twitter, I'll grant you that. It is interesting however, how you weren't familiar with him at all [1] 20 minutes before describing him as a well-known expert. [1] https://news.ycombinator.com/item?id=49753179#49754358 https://news.ycombinator.com/item?id=49753179#49754358
- golol 13d agoHas nothing to do with AI-hype. Anyone who is interested in Lambda calculus should find his work intriguing.
- user43928 13d agoWhat's interesting about it? I looked it up, and he seems to have worked on research in that area for a decade. The author of the blog post could have checked the same before making the claims.
- ffsm8 13d agoThere are countless people with essentially no domain knowledge to speak of after working on the domain for a decade. I have no idea how the original authors competency is, I know nothing about them. There is however a strong correlation between people being influencers and kinda mediocre at what they're an influencer in - which is frankly understandable, because a large part of their skillset is usually more towards attracting an audience and making the topic interesting. Usually the true domain experts rarely interface with the public beyond their professional capacity.
- N_Lens 13d agoIt’s a poorly researched article just looking for cheapshots.
- golol 13d agoIt is mean for the last point I mentioned: Taelin is very transpparent about his work which makes it easy to attack him. And what for? This post is not even a proper criticism of Bend 2, it is just trying to paint some story that Taelim is a vinecoder who does not know what he is doing, based on no evidence. If he was not transparent it would not even be known that LLMs have been used.
- gf000 13d agoBecause 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.
- suddenlybananas 13d agoGod forbid someone criticise Victor Taelin!
- IceDane 13d agoIt's Victor Taelin?! Ye gods! Why is everybody treating this person like some celebrity. Am I weird for having never heard about this guy?
- LightMachine 13d agoI don't know either :( I'm not a celebrity and I don't like celebrities
- LowIqHn 13d ago[dead]
- gf000 13d agoNo. 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..
- N_Lens 13d agoMudslinging isn’t appreciated, well thought out and articulated criticisms are.