将基本粒子从“点”转变为“弦”。卡拉比-丘流形带来的额外维度紧致化,以及整合引力与量子论的终极理论的现状。
写时复制(CoW)、基于Merkle树校验和的自我修复、快照与RAID-Z。战胜数据损坏的存储技术。
从物质波理论到电磁透镜设计,以及由球面像差校正技术开创的、能够将“单个原子”可视化的超高分辨率世界。
狄拉克方程预言的负能量解。正电子的发现、正反物质的产生与湮灭,以及“为何只有物质留存下来”的宇宙学。
曼德博集合、海岸线悖论,以及介于一维与二维之间的分数维度。几何学与测度论揭示的自然秩序。
从鹦鹉螺号到弗吉尼亚级。压水反应堆(PWR)的热工水力设计、蒸汽轮机与减速齿轮、自然循环与隐身静音的极限工程。
贝肯斯坦熵、霍金辐射引起的蒸发,以及围绕信息丧失的超弦理论与全息原理的激烈碰撞。
氦液化与稀释制冷法、失超保护电路。支撑中央新干线磁悬浮、MRI、巨型加速器的超导磁体极限工程。
从《亲属关系的基本结构》到《神话学》。与萨特存在主义的决裂,二元对立与交换的逻辑,刻印在人类无意识中的普遍秩序。
逻辑学证明与计算机程序的完全一致。从直觉主义逻辑、简单类型拉姆达演算到System F、依赖类型,以及同伦类型论(HoTT)开拓的无Bug世界的完整解析。
“幽灵般的超距作用”与EPR悖论。证明局域实在论破产的贝尔不等式与阿斯佩实验,通往诺贝尔奖的轨迹。
赫伯特·O·亚德利与MI-8。华盛顿海军裁军条约中日本外务省密码的破译,史汀生“绅士不读他人的信件”导致的关闭,以及对NSA的传承。
玻尔如何回应“上帝不掷骰子”?波粒互补、观测仪器与对象的不可分割性,20世纪科学思想的最大转折点。
从机械控制到电传多重计算机控制。波音与空客设计哲学的冲突,传感器融合与自动降落技术。
ANSI标准的谎言与真相。从脏读到写偏斜,通过PostgreSQL与MySQL(InnoDB)的实现差异来看MVCC的极致。
阿兰·图灵晚年的最高杰作。全面解析从反应扩散方程中涌现的动物条纹与几何斑图的惊人机制,涵盖线性稳定性分析、Python数值模拟,直至最新分子生物学验证。
围绕平面地图着色问题的数学史。从肯普的伪证明到阿佩尔与哈肯的史上首次计算机证明,再到数学“美”的重新定义。
从《星之声》的个人制作到《你的名字。》《铃芽之旅》。对照片写实主义的重新诠释、镜头特效与环境光的色彩设计、世界系与震灾的叙事学。
甘利俊一创立的世界级理论。将概率分布空间几何化的费舍尔信息度量、自然梯度法,以及通往机器学习的桥梁。
支撑现代操作系统和CPU根基的虚拟内存系统。从4级页表遍历、TLB缓存、缺页异常的深层,到内存回收算法。