Thread

Bend 2 and the Vibe-Coding Trap

327 points · 235 comments · LiamPowell

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. dimgl · 1789738528 · focus · HN ↗
  Why is it mean? The author is above critique?
  1. user43928 · 1789740697 · focus · HN ↗
    No, 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 · 1789740984 · focus · HN ↗
    <a href="https://scholar.google.com/citations?user=ZLnQcAsAAAAJ&hl=en" rel="nofollow">https://scholar.google.com/citations?user=ZLnQcAsAAAAJ&hl=en This is not the google scholar of a well-known expert, I'm sorry.
    user43928 · 1789741768 · focus · HN ↗
    While 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 · 1789741914 · focus · HN ↗
    He 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] <a href="https://news.ycombinator.com/item?id=49753179#49754358">https://news.ycombinator.com/item?id=49753179#49754358
    golol · 1789742632 · focus · HN ↗
    Has nothing to do with AI-hype. Anyone who is interested in Lambda calculus should find his work intriguing.

Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.