Remix.run Logo
▲ streetfighter64 2 hours ago

I'm not a huge AI hype man, but I think you'll just have to accept it. It's a new useful tool, of course people are excited to apply it to everything.

Like it or not, programming will become largely LLMs. And the comment you're replying to is actually making a pretty good case for where the use of LLMs is good: generating code to be formally verified.

▲lifeisloving 35 minutes ago | parent [-]

Something something halting problem. I never said don't use the tool!! I use the tool too! I just dont want to talk/read about it all the time.

Programming will never be dead.

1. Because the situation you describe is fantasy.

2. Even if it is a reality and all software can be verified (it cant), I will still be programming and so will millions of others because its fun, programming and sex are really damn close to things I cant live without. Not everyone got into engineering for the money. I legitimately love this activity, it is my actual passion. I would rather be poor than give it up.

Its like im being told everyday all day, non stop that the thing I love is not worth loving.

▲SV_BubbleTime 29 minutes ago | parent [-]

I guess that’s something you need to work through that you’re just so sick of reading about the single biggest evolution in technology since the internet :(

Maybe tech isn’t for you if you don’t like trying to stay on top of it.

▲lifeisloving 11 minutes ago | parent [-]

Huh...

Anyways, I probably know more about llms than you, I probably use them more than you. I just dont want to turn every conversation into a discussion about them.

I would argue the smartphone is 1000x more impactful than LLMs, along with many other inventions since the internet. I'm not really sure what contribution llms have had that are actually THAT impactful for peoples lives. Its possibly (but unlikely) a net negative, time will tell. Most people using them are not getting smarter, thats concerning. Most are just making more money for their bosses who are itching to replace them with an llm.