逻辑与证明

• 逻辑引擎动手试试经典推理规则
• 真值表为任意逻辑表达式列出全部取值
• 三段论检验器用韦恩图看结论是否成立

概率与数

• 抛硬币在多次抛掷中看概率浮现
• 级数测试测试级数收敛性
• 活了多久用不同单位计算你活了多久

机器内部

• 浮点数揭秘数字背后的IEEE 754位模式
• 整数探索器补码的位、取值范围与溢出
• 散列冲突实验室观察字符串在散列桶中冲突
• 分词器对比训练一个小分词器，比较中英文的词元数

生成与模拟

• 马尔可夫链用马尔可夫链生成新文本
• 密码生成器可调节的随机密码
• 元胞自动机运行一维初等规则
• 迷宫生成器看完美迷宫自己生成，然后求解