‹ BackHN Continuity

Thread

Bend 2 and the Vibe-Coding Trap

327 points · 235 comments · LiamPowell

  1. golol · · 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 · · focus · HN ↗
      Why is it mean? The author is above critique?
      1. user43928 · · 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.

        1. suddenlybananas · · focus · HN ↗
          <a href="https:&#x2F;&#x2F;scholar.google.com&#x2F;citations?user=ZLnQcAsAAAAJ&amp;hl=en" rel="nofollow">https:&#x2F;&#x2F;scholar.google.com&#x2F;citations?user=ZLnQcAsAAAAJ&amp;hl=en This is not the google scholar of a well-known expert, I&#x27;m sorry.
          1. vatsachak · · focus · HN ↗
            Muh academic ivory tower
Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.