this post was submitted on 16 Oct 2026
630 points (95.4% liked)
Linux
68248 readers
595 users here now
From Wikipedia, the free encyclopedia
Linux is a family of open source Unix-like operating systems based on the Linux kernel, an operating system kernel first released on September 17, 1991 by Linus Torvalds. Linux is typically packaged in a Linux distribution (or distro for short).
Distributions include the Linux kernel and supporting system software and libraries, many of which are provided by the GNU Project. Many Linux distributions use the word "Linux" in their name, but the Free Software Foundation uses the name GNU/Linux to emphasize the importance of GNU software, causing some controversy.
Rules
- Posts must be relevant to operating systems running the Linux kernel. GNU/Linux or otherwise.
- No misinformation
- No NSFW content
- No hate speech, bigotry, etc
Related Communities
Community icon by Alpár-Etele Méder, licensed under CC BY 3.0
founded 7 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
But your analogy also breaks down because once an AI has written the code it’s very much concrete, right? The AI may choose to modify that concreteness into something differently concrete, but it’s not like you are in any doubt about what the AI comes out with (if you bother to check it, which you should).
I use to write asset systems during the AAA gaming part of my career and the elusive “[my] perfect file format” always eluded me.
Over the years I spent many a showers and long drives thinking about what the “perfect file format” needs and what kind of architecture would support this. I started formulating these into long text files and over time things crystallised into “yes this would work”.
I never had the time to write the code fully. A couple of false starts, coupled with “I should do this in rust even though I’ve been in C++ my whole life” meant it lingered and lingered.
The architecture felt right though.
Enter AI; feeding the spec text files to an AI made me resolve a couple of “ah, yes, but in practice this bit of information isn’t available yet” gotchas but the code worked. I worked in architectural layers, carefully checking input, internals and output of each before proceeding to higher layers. And tests and tests, that’s you would never have bothered to write yourself, kept each layer verifiable, even out in the far corners of reasonable.
It worked and it was real affirmation to see 20 years of pontification made real.
But then I started profiling it. And hot damn, an LLM knows nothing about cache, file systems nor does it think about ways memory allocators and virtual memory systems work.
There was 200-300% speed ups to gain from hand tuning it and iterating with a proper profiler.
And all of this happened at code level, with real concrete code.
So yeah, an AI can be a wonderful tool. And the code it produces and iterates on is concrete. It’s not like the AI starts from scratch every time you have a thought. So the very, very first pass is not deterministic. But the thing you deliver forwards very much is.
I agree with you here (and also cool project/idea). What I'm trying to get at with my analogy is that, if you understand a programme's source code, you understand and are able to predict its behaviour in a meaningful way (although of course you lose some amount of knowledge of what the processor exactly does with which registers etc). When you only know the prompt used to generate a programme, you can't do that. That's why you have to manually check the code an LLM writes, but not the assembly generated by a compiler.