RetroFed Forums
Your home away from modern life.
Linus Torvalds "Did What I Preach", Used AI To Make Code Decipherable & Uncovered More Bugs
Post Reply
AuthorMessage
Dan Simmons lemmy.linuxuserspace.show monetaryabyss@lemmy.linuxuserspace.show
Joined: 2023-06-13
Quote

63   Original
Denys Nykula piefed.social nykula@piefed.social
Joined: 2026-02-04
#2 · Quote Reply

Linus might win minor code benefits in the short term, but significantly damage the appeal of his project to young passionate idealistic individuals. There will be less non-corporate interest in the kernel from the next generation of developers, leaving the remaining old school leaning on "AI" ever more.

-3
Jakeroxs sh.itjust.works Jakeroxs@sh.itjust.works
Joined: 2023-07-03
#3 · Quote Reply

Linus might win minor code benefits in the short term, but significantly damage the appeal of his project to young passionate idealistic individuals. There will be less non-corporate interest in the kernel from the next generation of developers, leaving the remaining old school leaning on "AI" ever more.

Most of the people complaining about AI aren't young passionate idealistic individuals

16
warmaster lemmy.world warmaster@lemmy.world
Joined: 2023-06-16
#4 · Quote Reply

Most of the people complaining about AI aren't young passionate idealistic individuals

Programming is math with more steps. The world's best mathematician published a paper called Math 2.0 where he states that AI models are better at solving math problems than humans, however they suck at explaining how they got there, so that's where he states humans should focus on... the path, not the destination.

I think the same applies to programming. But what do I know, I'm neither.

5
deadcream sopuli.xyz deadcream@sopuli.xyz
Joined: 2024-01-19
#5 · Quote Reply

Programming is math with more steps. The world's best mathematician published a paper called Math 2.0 where he states that AI models are better at solving math problems than humans, however they suck at explaining how they got there, so that's where he states humans should focus on... the path, not the destination. I think the same applies to programming. But what do I know, I'm neither.

CPUs do math. 99% of programming has nothing to do with math.

3
Denys Nykula piefed.social nykula@piefed.social
Joined: 2026-02-04
#6 · Quote Reply

CPUs do math. 99% of programming has nothing to do with math.

I'd say "explaining how they got there" is math. Formal science in general is like, explain a problem so well that your worst enemy can't help but agree with you. In programming, you have two such worst enemies: first the computer, and then the maintainer. Problem solving isn't easy, but once you explain your problem well, you already have a big part of the solution. The definitions and the tests. Your solution can't be reliable enough for others to build on top of it unless you have a good explanation - every part of the solution has to be useful on its own. In the statement that someone or something is better at solving problems but is bad at explaining the solutions, I see something deeply unscientific.

If somebody sends a working patch but the explanation is insufficient for the maintainers to understand it, it's simply a bad patch, and the process of working with its programmer to build common knowledge about the problem and have the programmer refactor the patch until both they and every maintainer (including future generations of maintainers) understand enough of it, is how projects stay alive. I'm not convinced using LLMs as a lossy and noisy substitute for both the refactoring tools and the knowledge-building process is a good idea.

2
Post Reply
Back to top