William Byrd on "The Most Beautiful Program Ever Written" [PWL NYC]
11 人推荐 · 跨 12 个月 · 2017–2026
![William Byrd on "The Most Beautiful Program Ever Written" [PWL NYC]](https://i.ytimg.com/vi/OyfBQmvr2Hc/hq2.jpg)
中文导读
William Byrd 在 Papers We Love 纽约站分享了他心中“有史以来最美的程序”——用 Lisp 编写的 Lisp 元循环解释器（metacircular interpreter）。后半段更现场演示了关系式编程（relational programming）和程序自动合成的神奇威力。
为什么 HN 推它
HN 深度推崇的计算机科学宝藏演讲，不仅讲透了 Lisp 极简本源，更展示了 miniKanren 式逻辑推导与程序自动合成的魔力。
「Byrd 博士这场分享实在太炸裂了，怎么推荐都不为过。」HN 网友原话：I can't recommend the talk Dr Byrd did on this enough
英文原摘要（HackerTube / Claude 整理）
William Byrd presents at Papers We Love NYC on what he calls the most beautiful program ever written, a Lisp interpreter written in Lisp. He walks through the metacircular interpreter and related ideas, and demos relational programming and program synthesis near the end.
HN repeatedly recommends it as an amazing talk that derives the essence of Lisp and shows miniKanren-style program synthesis.
HN 上的提及
It (Barliman) is demoed near the end of this video
Lisp interpreter built from linked-list structures.
More tangential but also cool: this talk[1] by William Byrd
I watched a fascinating presentation
people tell me it's good