#计算机
无类型 λ 演算
最经典的类型论例子：无类型 λ 演算的规则、使用和合流性。
LISP 模式：图灵完备及元编程
关于最早的 LISP 的核心想法，它如何实现图灵完备及元编程，及在此基础上的扩展和现状。
迷宫生成算法：固定大小迷宫与无限迷宫
固定大小迷宫的随机化 Prim 算法及其 C++ 示例；无限迷宫的递归分割算法及其 Javascript 示例。
#密码学
密码学希望保护信息安全，防御被动攻击（如监听）与主动攻击（如中断、篡改、伪造）。其安全防护措施包括保密业务，认证业务，完整性业务，不可否认业务与访问控制。
一些古典密码约定和解谜的对象属于“谜题”，不在本标签的范围。一些与数学关联较浅的隐写术也不属于此标签。…