News for hackers. Stuff that matters.
Re:OpenAI Withdraws 3 Math Papers by thayne on Thursday October 08, 2026 @10:52AM (#50006524)
Those abstractions are deterministic. LLMs are not.
Re:OpenAI Withdraws 3 Math Papers by isidor3 on Thursday October 08, 2026 @12:06PM (#50007565)
Garbage collection and what the JIT decides to do often isn't.
Re:OpenAI Withdraws 3 Math Papers by jplusequalt on Thursday October 08, 2026 @12:23PM (#50007823)
I think the more salient point is that going from writing assembler to C still required you to understand a lot about your machine, algorithms, how to debug issues, and in general it demanded problem solving skills.

LLMs eat away at all of these requirements.

Re:OpenAI Withdraws 3 Math Papers by lanstin on Thursday October 08, 2026 @02:53PM (#50010300)
Making things work demands problem solving skills. LLM or not. Perhaps one returns from the thoughtful debugging walk around the block knowing what question to pose to the LLM rather than what function to add logging to, but whatever. Everything is flux, this too shall end.
Re:OpenAI Withdraws 3 Math Papers by isidor3 on Thursday October 08, 2026 @12:51PM (#50008286)
Perhaps, but as far as I've seen they don't make the requirement go away. They do make many types of development far more accessible, as an extension of how SQL or Excel make development far more accessible. Sure, people make messes with the tools available, and sometimes the tools can handle it and still give you something useful, many times it takes someone actually knowing what they're doing to clean it up though.
Re:OpenAI Withdraws 3 Math Papers by tintor on Thursday October 08, 2026 @11:37AM (#50007133)
Human’s aren’t deterministic either.
Re:OpenAI Withdraws 3 Math Papers by recursive on Thursday October 08, 2026 @12:03PM (#50007511)
We don't keep snapshots of humans in source control.
Re:OpenAI Withdraws 3 Math Papers by latentsea on Thursday October 08, 2026 @02:20PM (#50009775)
One time this codebase I worked on had an ASCII art image of one of the devs in it buried in a comment at the bottom of some random file. YMMV.
Re:OpenAI Withdraws 3 Math Papers by convolvatron on Thursday October 08, 2026 @11:14AM (#50006823)
more importantly those abstractions were designed to try to make it easier to reason about what was going on for the author, build additional internal abstractions and to allow a reader to follow along and gain an understand of the structure. unless we believe that we can completely punt on having agency over the codebase, then llm code is only as valuable as it is readable.
Re:OpenAI Withdraws 3 Math Papers by brainwad on Thursday October 08, 2026 @11:40AM (#50007175)
The dream is that we keep agency, but also give up on reading code, by doing away with code as our level of abstraction and instead having humans edit human-readable spec files (including, say, depicting UIs directly with visual mocks). Like "no code" platforms, but for everything.
Re:OpenAI Withdraws 3 Math Papers by thayne on Thursday October 08, 2026 @12:04PM (#50007534)
If by "human readable" you mean written in natural language, then those spec files will have ambiguities and imprecisions. If you make the spec precise and unambiguous enough, then it essentially just becomes a program written in code.
Re:OpenAI Withdraws 3 Math Papers by jplusequalt on Thursday October 08, 2026 @12:25PM (#50007858)
>The dream is that we keep agency, but also give up on reading code, by doing away with code as our level of abstraction and instead having humans edit human-readable spec files (including, say, depicting UIs directly with visual mocks). Like "no code" platforms, but for everything.

Human language is famously terrible at being unambiguous.

Re:OpenAI Withdraws 3 Math Papers by brainwad on Thursday October 08, 2026 @01:57PM (#50009391)
That's ok if you and the AI are on the same page. And it is possible to write more rigorous natural language, e.g. laws are written in human languages, and yet judges and lawyers agree on how to interpret most of them and there's a defined arbitration process to resolve any new ambiguities.
Re:OpenAI Withdraws 3 Math Papers by thayne on Thursday October 08, 2026 @04:49PM (#50012060)
> if you and the AI are on the same page

But that's the thing, you and the AI might be "on the same page" for one prompt, and then you aren't for the next.

> and yet judges and lawyers agree on how to interpret most of them

Um, no? Lawyers and judges frequently disagree on how laws should be interpreted. And it is often not written in a way that a layperson can easily understand.

> defined arbitration process to resolve any new ambiguities.

That is famously slow and expensive, and can resul in something very different from what the lawmakers originally intended.