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

Why HN readers recommended it

HN repeatedly recommends it as an amazing talk that derives the essence of Lisp and shows miniKanren-style program synthesis.

This is a summary from the source dataset, not an endorsement by Hacker News or the video creator.

Video & recommendation details

Creator / channel

PapersWeLove

Topic

lisp metacircular interpreters

Format

talk

Level

intermediate

HN recommenders in dataset

11

HN mentions in dataset

17

Recommendation years in dataset

2017–2026

These counts and years describe the included Hacker News records; they are not YouTube views or the video’s publication date.

From the original HN conversations

Excerpts from the recorded comments. Follow each source for the full comment and surrounding discussion.

• (define eval-expr (lambda (expr env) (pmatch expr [`,x (guard (symbol? x)) (env x)] [`(lambda (,x) ,body) (lambda (arg) (eval-expr body (lambda (y) (if (eq? x y) arg (env y)))))] [`(,rator ,rand) ((eval-expr rator env) (eval-expr rand env))]))) There's an amazing talk about it: [VIDEO]

• If you haven't watched it - check out William Byrd on "The Most Beautiful Program Ever Written" [VIDEO] It's the above and deriving it. It is fascinating to think of it as the essence of a language in 13 lines.

• One of my all time favorite YouTube videos is a lecture by William Byrd. I find myself still coming back to this video, it was so fascinating to me as an undergrad. [VIDEO]