算法与计算机科学justine.lol编辑精选
用 400 字节实现 Lambda 演算
Lambda Calculus in 400 Bytes
2022 — 2025，它一次次回到首页
黑点是上首页（≥ 50 分）的那次投稿，空心点是没冲上去的投稿，点越大分数越高。
导读
Justine Tunney 用 400 字节实现了二进制 Lambda 演算（BLC）的解释器，文章介绍了 Lambda 演算的基础、二进制编码方案以及如何在极小的空间内完成求值。作者还展示了用这种编码编写程序（如列表、数字运算）的技巧。
为什么经久不衰：它把 Lambda 演算、信息论和极小编程结合在一起，篇幅短但内容密度极高，多年后仍是学习 BLC 的经典入门材料。
HN 评论精选
文章内容密度极高，足以支撑一门完整课程。
我感觉你可以仅凭这一个网页开设一整个学期的大学课程，而且会是非常值得花一学期去学的东西。
simonw查看英文原文
I feel like you could build a semester-long university course out of this single web page, and it would be a really valuable way to spend that semester.
作者是 SectorLisp、Blinkenlights 等多个优秀项目的作者，实力惊人。
我本来想提一下相关的 SectorLisp 项目，结果发现它正是同一位天才写的，还有 Blinkenlights 也给我带来过许多小时的乐趣。太厉害了！
ravi-delia查看英文原文
I was about to mention SectorLisp as a somewhat related project when I noticed that it was written by the very same genius, not to mention Blinkenlights, which has provided many hours of delight. Incredible!
推荐 John Tromp 的 BLC 官方介绍作为补充阅读。
对 BLC 感兴趣的人可以看看另一个我觉得很有帮助的入门介绍：https://tromp.github.io/cl/Binary_lambda_calculus.html
uncomputation查看英文原文
Anyone interested in BLC can find another introduction which I found personally helpful here: https://tromp.github.io/cl/Binary_lambda_calculus.html
作者的工作延续了 Tromp 的方向，对其他 Lambda 演算爱好者也有启发。
虽然我远没能深入理解你的文章，但我喜欢你探索 Lambda 演算新方式的方式，主要应该是沿袭了 John Tromp 的工作。我自己也在用自制的语言探索任意大小二进制数的 Lambda 演算，很有趣。你的工作很鼓舞人心，谢谢。
martyalain查看英文原文
Even if I'am far from understand your paper in deep, I like the way you explore new ways in lambda-calculus, mainly I think following John Tromp's works. I'm exploring lambda-calculus with binary numbers of any size using a home-made language, http://lambdaway.free.fr/lambdawalks, in this wiki page, http://lambdaway.free.fr/lambdawalks/?view=oops6, and it's funny. Your work is inspiring. Thank you.
历次讨论
同类还值得读
位运算技巧集
Bit Twiddling Hacks
斯坦福页面上的经典位运算技巧合集，收录了 popcount、前导/尾随零、位反转、交换、舍入等大量技巧，并附有解释和性能讨论。
算法与计算机科学上首页 8 次 · 2011–2024graphics.stanford.edu编辑精选如何不按平均评分排序
How Not To Sort By Average Rating
经典文章解释了为什么按平均评分排序不可靠：只有少量评价的条目（比如仅一条五星）会轻易排到最前，而评价数量的差异被忽略。
算法与计算机科学上首页 7 次 · 2009–2024evanmiller.org编辑精选数据结构可视化
Data Structure Visualizations
旧金山大学 David Galles 教授制作的数据结构与算法交互式可视化网站，涵盖 B 树、红黑树、排序、图算法等，可逐步操作观察其运行过程。
算法与计算机科学上首页 6 次 · 2011–2021cs.usfca.edu编辑精选1996 年以来的计算机科学最佳论文奖
Best Paper Awards in Computer Science since 1996
Jeff Huang 维护的一个汇总页面，收录了自 1996 年以来计算机科学各主要会议的“最佳论文奖”获奖名单，并按年份和会议整理，方便读者一站式浏览历届获奖论文。
算法与计算机科学上首页 6 次 · 2010–2018jeffhuang.com编辑精选算法（Jeff Erickson）
Algorithms, by Jeff Erickson
伊利诺伊大学 Jeff Erickson 教授的算法课教材，免费在线开放。
算法与计算机科学上首页 5 次 · 2018–2022jeffe.cs.illinois.edu编辑精选