前段时间观看了 Numberphile 的视频 2081681993819799846994786333448627702865224538845305484256394568209274196127380153785256484516 (etc) 。这个视频讲解了围棋中的组合数学，并且提到了 John Tromp 这个人。他计算了 19×19 围棋棋盘上所有可能的局势数量，见他的介绍页面 Number of legal Go positions 以及论文 Combinatorics of Go。
这些天加入了 Code Golf Stack Exchange 站，又接触到了一些深奥编程语言，其中一个就是 Binary Lambda Calculus（esolangs.org 页面）。深入探究了一下，发现这款语言竟也是 John Tromp 的作品，是在 2004 年发明的。语言的主页是这里。
话说自从从 Topology2333 学长的博客这里学会了 De Bruijn index 之后，我真的在其他一些地方见到了它的应用，包括这里的 Binary Lambda Calculus 语言。还是很不错的。