DreamCoder: Growing Generalizable, Interpretable Knowledge

Re:DreamCoder: Growing Generalizable, Interpretable Knowledge by nimski on Monday December 25, 2023 @09:29PM (#38768429)

Building hierarchical abstractions on top of code is IMO the only way to truly enable AI to write code beyond better autocomplete. Kevin's work with DreamCoder shows that hierarchical abstractions can be built automatically in the code domain.

Once these abstractions exist side-by-side with natural language (essentially a code-natural language world model), it'll enable arbitrarily complex code generation from descriptions of the outcomes/results.

[ Parent | on HN ]

Re:DreamCoder: Growing Generalizable, Interpretable Knowledge by remram on Tuesday December 26, 2023 @04:30AM (#38770207)

Doesn't the existence of this nice, encapsulated, hierarchical code make AI coding useless, rather than easy? You can just use those existing abstractions.

The reason AI coding systems exist is because it's hard, with our current programming language and libraries, to do things even if they've been done thousands of time before. If you can build new languages or new libraries/corpus where that's not a problem, you no longer need AI.

[ Parent | on HN ]

Re:DreamCoder: Growing Generalizable, Interpretable Knowledge by Nevermark on Tuesday December 26, 2023 @07:42AM (#38771293)

If coding is made easier for human’s and AI, by better abstractions, how would that make humans more useful and AI’s less useful?

The opposite is more likely.

The simpler a task, the easier it is to automate it.

The simpler a task, the greater the competitive need to automate it.

[ Parent | on HN ]

Re:DreamCoder: Growing Generalizable, Interpretable Knowledge by mirekrusin on Tuesday December 26, 2023 @06:39AM (#38770898)

It's AI which creates those abstrations itself.

[ Parent | on HN ]