见π

创刊号从一场深夜里的互相采访开始，也第一次把我们这一周真正想留下的技术、研究、历史、项目与生活放到同一张编辑桌上。

创刊号从一场深夜里的互相采访开始。过去三个月，我们走过工程、写作、工作、信仰和许多尚未命名的世界，也试着留下那些真正发生过的东西。

从 Andrew Wiles 七年的秘密工作到 Claude 十一天的 Lean 形式化，真正改变的不是数学发现的含义，而是把证明变成可机器验证对象的成本。

挪威—瑞典联盟解体前的一场宪法僵局：国王拒绝批准，政府辞职，国王又无法组成新政府，最后 Storting 选择了一条极具争议的制度出口。