Thread

1. 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.

         1. suddenlybananas · 1789740984 · 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. user43928 · 1789741768 · focus · HN ↗

               While that might not be the largest academic footprint, I don&#x27;t think you could dispute him being an expert or being &#x27;somewhat well known&#x27;.

               1. suddenlybananas · 1789741914 · focus · HN ↗

                  He seems to have a big following on AI-hype twitter, I&#x27;ll grant you that.

                  It is interesting however, how you weren&#x27;t familiar with him at all [1] 20 minutes before describing him as a well-known expert.

                  [1] <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=49753179#49754358">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=49753179#49754358

                  1. user43928 · 1789742667 · focus · HN ↗

                     What&#x27;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.

                     1. ffsm8 · 1789749241 · focus · HN ↗

                        There 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&#x27;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.

Unofficial Hacker News client; not affiliated with Y Combinator.