HackerTube 中文?

William Byrd on "The Most Beautiful Program Ever Written" [PWL NYC]

PapersWeLoveYouTube ↗

Further reading 1

What can a language express, and what can it guarantee? →Factorial can be written without naming the function. That trick raises a harder question: if every program must terminate, can unrestricted recursion be allowed? Take that distinction into slides, libraries and language extensions.This video helps answer · Can presentation slides perform general computation?

Caption notes

Build a small Scheme interpreter and express its semantics as miniKanren relations. Running a relation backward can search for programs that satisfy examples.

Original passages · 6
you only need these three lines that's turn complete actually
William Byrd on "The Most Beautiful Program Ever Written" [PWL NYC] · ▶ 44:35–44:43
the environment is going to contain somehow associations between variables and values
William Byrd on "The Most Beautiful Program Ever Written" [PWL NYC] · ▶ 44:12–44:24
even code or some mixture thereof we can put variables anywhere we want
William Byrd on "The Most Beautiful Program Ever Written" [PWL NYC] · ▶ 75:01–75:12
the partially specified code you've written is actually incompatible with one of your tests
William Byrd on "The Most Beautiful Program Ever Written" [PWL NYC] · ▶ 83:51–83:59
program synthesis so we have the ability
William Byrd on "The Most Beautiful Program Ever Written" [PWL NYC] · ▶ 74:31–74:39
there's no direction to that equal sign
William Byrd on "The Most Beautiful Program Ever Written" [PWL NYC] · ▶ 73:28–73:34

Hacker News comments

View original on HN ↗