Remix.run Logo
golol 3 hours ago

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.

dimgl 3 hours ago | parent | next [-]

Why is it mean? The author is above critique?

user43928 2 hours ago | parent | next [-]

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 2 hours ago | parent [-]

https://scholar.google.com/citations?user=ZLnQcAsAAAAJ&hl=en This is not the google scholar of a well-known expert, I'm sorry.

user43928 2 hours ago | parent | next [-]

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 2 hours ago | parent [-]

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] https://news.ycombinator.com/item?id=49753179#49754358

gf000 an hour ago | parent | next [-]

Someone can be a well-known expert in a tiny niche field, and one may be completely unaware of them, or even the whole field.

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.

user43928 an hour ago | parent | prev | next [-]

What'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.

golol an hour ago | parent | prev [-]

Has nothing to do with AI-hype. Anyone who is interested in Lambda calculus should find his work intriguing.

nullbio 2 hours ago | parent | prev | next [-]

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.

suddenlybananas an hour ago | parent [-]

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!

nullbio an hour ago | parent [-]

You have a very strange definition of expert. Most people do not have a Wikipedia page, and most experts do not have a Wikipedia page.

vatsachak an hour ago | parent | prev [-]

Muh academic ivory tower

golol an hour ago | parent | prev | next [-]

It is mean for the last point I mentioned: Taelin is very transpparent about his work which makes it easy to attack him. And what for? This post is not even a proper criticism of Bend 2, it is just trying to paint some story that Taelim is a vinecoder who does not know what he is doing, based on no evidence. If he was not transparent it would not even be known that LLMs have been used.

suby 2 hours ago | parent | prev | next [-]

I found the post offputting because he is insinuating a few things about the author which are clearly untrue (eg, unfamiliar with the formal verification landscape) and he's using this untrue speculation as evidence of the dangers of vibe coding. Even the edit where he says swap it out with a hypothetical person who fits the description - it's still leaving in the untrue claims about the author.

It doesn't seem unreasonable to think it mean if I were to make up speculative negative assumptions about you which undermined something you've been working hard on for a long period of time.

I know nothing about the author, I'm just watching this whole spectacle unfold.

N_Lens 2 hours ago | parent | prev | next [-]

It’s a poorly researched article just looking for cheapshots.

gf000 an hour ago | parent | prev [-]

Because this shitty blogs' author just called someone "vibe-coding a language with no knowledge about the field" who is literally working in that very field for a decade, long predating LLMs, with numerous high-profile works.

You are on the wrong side of this whole discussion, there is only one people here who needs calling out and it's not Bend's author.

suddenlybananas 2 hours ago | parent | prev [-]

God forbid someone criticise Victor Taelin!

N_Lens 2 hours ago | parent | next [-]

Mudslinging isn’t appreciated, well thought out and articulated criticisms are.

IceDane 2 hours ago | parent | prev [-]

It's Victor Taelin?! Ye gods!

Why is everybody treating this person like some celebrity. Am I weird for having never heard about this guy?

gf000 an hour ago | parent | next [-]

No.

It would be weird to stand in line for throwing shit at someone you don't know anything about, and believing that the first guy throwing shit has an actual reason to do so.

It turns out everyone in that line is wrong..

LightMachine an hour ago | parent | prev [-]

I don't know either :(

I'm not a celebrity and I don't like celebrities

LowIqHn an hour ago | parent [-]

[dead]