this post was submitted on 09 Aug 2025
40 points (100.0% liked)
technology
23914 readers
315 users here now
On the road to fully automated luxury gay space communism.
Spreading Linux propaganda since 2020
- Ways to run Microsoft/Adobe and more on Linux
- The Ultimate FOSS Guide For Android
- Great libre software on Windows
- Hey you, the lib still using Chrome. Read this post!
Rules:
- 1. Obviously abide by the sitewide code of conduct. Bigotry will be met with an immediate ban
- 2. This community is about technology. Offtopic is permitted as long as it is kept in the comment sections
- 3. Although this is not /c/libre, FOSS related posting is tolerated, and even welcome in the case of effort posts
- 4. We believe technology should be liberating. As such, avoid promoting proprietary and/or bourgeois technology
- 5. Explanatory posts to correct the potential mistakes a comrade made in a post of their own are allowed, as long as they remain respectful
- 6. No crypto (Bitcoin, NFT, etc.) speculation, unless it is purely informative and not too cringe
- 7. Absolutely no tech bro shit. If you have a good opinion of Silicon Valley billionaires please manifest yourself so we can ban you.
founded 5 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
I expect that we'll see tooling and languages adapt overtime and we'll be developing code differently.
For example, programming languages might start shifting in the direction of contracts. You specify the signature for the function and the agents figures out how to meet the spec. You could also specify parameters like computational complexity and memory usage. It would be akin to genetic algorithm approach where the agent could converge on a solution over time.
If that’s the direction things will be moving in, then current skills could be akin to being able to write assembly by hand. Useful in some niche situations, but not necessary vast majority of the time.
The way code is structured will likely shift towards small composable components. As long as the code meets the spec, it doesn't necessarily matter what quality of the functions is internally. You can treat them as black boxes as long as they’re doing what’s expected. This is how we work with libraries right now. Nobody audits all the code in a library they include, you just look at the signatures and call the API level functions.
Incidentally, I’m noticing that functional style seems to work really well with LLMs. Having an assembly line of pure functions naturally breaks up a problem into small building blocks that you can reason about in isolation. It’s kind of like putting Lego blocks together. The advantage over approaches like microservies here is that you don’t have to deal with the complexity of orchestration and communication between the services.
But in all of these cases we trust that someone wrote the code - that someone actually put in the effort to make sure shit wasn't fucked. Library's are black boxes, but someone made that - someone made the compilation tools, someone wrote LLVM, someone wrote these things and understands on a more fundamental level how they work! At every level of abstraction, someone did due diligence to ensure that the processes that they wrote worked. And LLMs are trained on the fruits of our labor as programmers! No line of LLM code could exist if not for someone writing it. If programmers no longer produce anything really new, because they no longer understand how to, it would just be feeding back into itself, creating output based on LLM output. Utter simulacra that will just collapse because of its poisoned dataset. Just a level of abstraction completely divorced from the real labor that the information age was built on. It seems to me like the information layer around which technocratic societies have reconstructed themselves is dissolving on a fundamental level from these tools. So I just fail to see how using the lie machine is a good thing for programming, even with program verification and referential transparency. They can't even do math right. I've seen the future where programmers are reduced to writing training data for LLMs and being program verifiers and it is fucking grim, in my opinion.
We know very different programmers lol
git commit -m "Works on my machine!"
It's like the entire reason containerization was such a big deal