一个 Hacker News 的讨论围绕着 lambda 演算 beta 规约的动画可视化（cruzgodar.com）。虽然它因清晰度而受到赞扬，但评论员指出 lambda 演算 (LC) 规约的局限性，特别是其非局部的“跳跃”性质。 一个替代模型，**交互网 (IN)**，被提出作为一种更具物理直觉且可能可并行化的解决方案。然而，将 LC 转换为 IN 并不总是语义保持的，需要更复杂的方法，如“牛角包和括号”来保持准确性。 讨论还强调了 Victor Taelin 及其项目 Higher Order Co. 的工作，启发了 lambda 演算计算的可视化——甚至演示了如何在系统中计算 Col' 等函数。Justine 的 lambda 演算示例（包括 brainf#*k 解释器）以及“2swap”等进一步的可视化也被分享，展示了对理解这些计算模型的持续兴趣。