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