Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

This has nothing to do with LLM's. An 'oracle' is a hypothetical construct that is used in proofs. As the article outlines, useful in complexity theory.


I think you misunderstood GP's very concise point. Allow me to expand.

A developer is a Turing Machine that produces low quality code -- and there is a hierarchy of developers (with the mythical 10X on top) that produce a time hierarchy of time classes depending on how fast they are. Depending on the complexity class you're in, the TM may not be able to produce for example a regex, they might be able to do it in exponential time, and the 10X is able to do it in linear time (linear in the number of characters and bugs). LLMs act as oracle that can produce a regex by just asking (an O(1) operation) so that changes the whole time class hierarchy of developers.

So it's the same as in complexity theory, introducing LLM oracles creates analog of the existing complexity hierarchies. This is of particular interest for investors looking to reduce developer cost.


Watching GP and parent discuss oracles.. and missing an actual oracle is so HN.. we use imperfect LLM oracles as sounding boards while we theorize about perfect ones.

Oh, the age we live in - of this new math.

LLMs are math that isn't exact, except when it is more exact, and not always when you need it to be. LLM math can't be too accurate or warm or the math doesn't work as well. Like an O(1) operation that randomly decides to run in O(n!).

Humans, technically are just higher maintenance Turing Machines who incrementally write less buggy code.

LLMs get trained on our obi wan buggy odysseys to help them spit out mindbending new ways of regex-ing something and leap to solutions, and chase shiny new things, however it originated.

This shows us we must not only communicate with LLM oracles and perfect Oracles using natural language programming, but to also use the force, just maybe don't trust it to parse HTML. Maybe it knows why it's so hard with to not be able to "ace" any SWE interview to land a high paying job and keep it for more than 12 months.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: