Viewing a single comment thread. View all comments

yldedly t1_isecsiy wrote

Reply to comment by evanthebouncy in [P] a minimalist guide to program synthesis by evanthebouncy

>I think my work "communicating natural programs to humans and machines" will entertain you for hours. Give it a go.

I will, looks super interesting. I'm so jealous of you guys at MIT working on all this fascinating stuff :D

>It's my belief that we should program computers using natural utterances such as language, demonstration, doodles, ect. These "programs" are fundamentally probablistic and admits multiple interpretations/executions.

That's an ambitious vision. I can totally see how that's the way to go if we want "human compatible" AI, in Stuart Russell's sense where AI is learning what the human wants to achieve, by observing their behavior (including language, demonstrations, etc).

1

evanthebouncy OP t1_iseg25n wrote

Yaya thanks! My belief is that for most part, people know exactly what they want from computers, and can articulate it well enough so that a developer (with knowledge of computers) can implement it successfully. In this process the first person need not code at all, in the traditional sense.

All we need is the technology to replace the dev with AI haha

1

evanthebouncy OP t1_isq1rru wrote

Yo.

Foundation Posteriors for Approximate Probabilistic Inference

Read this on arxiv

1