#可运行
多面体对称性：正多面体与更低对称性
关于 R^3 上的旋转与多面体：包括正多面体及其凹版本，半正多面体及其对偶，正多边形面组成的凸多面体。
基于 Lua 的模拟环境
封面图为《末日时在做什么？有没有空？可以来拯救吗？》的角色珂朵莉持有的圣剑「瑟尼欧里斯」，在设定中由 41 个形如“感冒发烧时睡觉不会做噩梦”、“在喝茶时不会被茶烫到舌头”的护符组成，异稟是“将对手化为死者”。本文的想法也类似于此。…
概率论的解释：《概率论沉思录》笔记
概率论原理的直观推导与应用。回答：概率论对现实的描述何以可能指导现实活动？概率论能多大程度地描述现实？建立正确的直觉。
无类型 λ 演算
最经典的类型论例子：无类型 λ 演算的规则、使用和合流性。
猫猫棋：一个棋子可变的游戏设计
一个以三种不同毛色的猫为棋子的原创棋类游戏，规则较简单。