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.
<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.
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'.
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'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.
<a href="https://scholar.google.com/citations?view_op=search_authors&hl=en&mauthors=Linus+Torvalds&btnG=" rel="nofollow">https://scholar.google.com/citations?view_op=search_authors&... Is this?
Or perhaps a Google Scholar means jack shit? Since when is that the official measure of an expert.
What has Victor Taelin made which is any way comparable to Linus Torvalds? I'm not saying it's impossible to be a well-known expert with a shitty google scholar. I'm just not seeing any evidence at all in Taelin's case. He doesn't even have a wikipedia page!
golol · · focus · HN ↗
dimgl · · focus · HN ↗
user43928 · · focus · HN ↗
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 · · focus · HN ↗
user43928 · · focus · HN ↗
suddenlybananas · · focus · HN ↗
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 · · focus · HN ↗
user43928 · · focus · HN ↗
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 · · focus · HN ↗
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.
gf000 · · focus · HN ↗
You are splitting hairs for no reason, while standing on the wrong side of this discussion.
Feel free to criticize the project on its actual content.
nullbio · · focus · HN ↗
Or perhaps a Google Scholar means jack shit? Since when is that the official measure of an expert.
suddenlybananas · · focus · HN ↗
nullbio · · focus · HN ↗
vatsachak · · focus · HN ↗
baq · · focus · HN ↗