beta

2swap explores lambda calculus using John Tromp's lambda diagrams, with animated beta-reductions, asking what PLUS times PLUS gives. It touches on Church encodings and the equivalence of Turing machines and lambda calculus.

SalC1 explains how the seed behind the Minecraft title screen panorama was found, using community effort and the Minecraft@Home project. It covers the search through Beta 1.7.3 world seeds.