欢迎收看 Agili 的 Hacker Podcast 每日摘要。今天我们聊几个话题：一个用讽刺网站挑战 CEO 高薪的双标，LG 智能电视偷偷把用户变成网络代理，Intel 开始出货用最新光刻技术生产的芯片，以及阿波罗制导计算机源代码里那些精打细算的生存法则。
OverpAId 把一台售价 4699 美元的 NVIDIA DGX Spark 包装成“CEO 替代服务”：一年总成本约 3000 美元，对标 S&P 500 公司 CEO 平均年薪 1890 万美元。页面最后坦白——这根本不是真实产品，只是一台藏在卧室的迷你 PC 和一个想讲的观点。背后数据却是真的：CEO 薪酬四十年涨了超过 1000%，普通工人工资几乎没动，而生产力持续增长。
公司一边用“AI 驱动效率”裁掉工程师、客服，一边把省下的钱投进 GPU 和 CEO 薪水。OverpAId 质问：如果你真相信 AI 能替代一个支持工程师、供应链经理，为什么不把同样逻辑用在批准裁员的那个人身上？
Hacker News 上有评论解释，CEO 的真正功能很多时候是“人类代表”——客户和合作伙伴需要一个活人签字、承担责任，在 B2B 合同里尤其如此。另一个人反呛：如果 CEO 只是代表，为什么公司违法时他们极少坐牢？裁员时他们也不用承担后果。也有创始人为 CEO 价值辩护：一个好 CEO 能把公司方向推高几个百分点，在数十亿体量下这本身就值几亿美元，像 Lisa Su 或 Steve Jobs。反对者立刻指出这是幸存者偏差，多数 CEO 并不出色，真正护城河是哈佛、耶鲁的校友网络和高尔夫球场上的人脉。
原文把重返办公室归因于商业地产估值。有评论者说办公室租约对大公司只是零头，真正驱动力是中层管理者对远程工作的不信任，他们需要监视员工来感受自己有用。也有人提到，在某些城市，政府给大企业税务优惠的条件就是让员工回城办公，否则市中心税收会崩。
文中列了两类职业：“阅读别人写的报告然后在全会上重复结论”属于 AI 早就能做的；“护士能在一份身体没写的变化里察觉病人病情转变”是 AI 做不了的。评论区很多人同意，如果 AI 真要替代某个高层职能，那就该先替代那个负责阅读报告、写公开信的“抽象层”，而不是基层工作。
安全公司 Spur 发现，LG webOS 商店中超过 42% 的下载应用（包括吃豆人、屏保、文件工具）内置了住宅代理 SDK。用户安装后，电视会在不经意间被用来路由第三方流量。三星 Tizen 操作系统上也有超过四分之一的应用存在类似问题。这些 SDK 主要来自 Bright Data，该公司声称每个用户都通过专门屏幕主动同意并获得回报，但 Spur 指出，这种一次性弹窗常被家里孩子或非技术用户随手点下，根本谈不上知情同意。
LG 高级副总裁表示，将暂停不配合移除代理选项的开发者应用，以“加强平台质量和用户体验”。然而就在同一周，LG 新款高端 LCD 显示器被曝会通过 Windows 更新自动安装推广 McAfee 杀毒订阅的应用，未经用户明确同意。Hacker News 社区普遍称这种应用“就是恶意软件”，只是被包装在商店授权形式下；显示器端的行为则暴露了平台审核的彻底失灵。多位用户说，从此不再信任 LG。
有一条高赞建议很直白：“不要把你的智能电视联网，或者至少不要让它访问 WiFi。”更实际的做法是：用一台不联网的电视搭配 Apple TV 或 Chromecast，通过 HDMI-CEC 控制开关，完全绕过 webOS。有人补充，电视厂商已将硬件利润与数据收集深度绑定，消费者很难买到真正蠢的大屏幕面板。
此前所有 EUV 扫描仪的数值孔径（NA）都是 0.33，High-NA 提升到 0.55，最小单次曝光特征尺寸缩小约三分之一。对晶圆厂来说，原本需要两三次 Low-NA 曝光拼接的图案，现在一次就能完成。代价是机器单价约 3.8 亿美元，是 Low-NA 扫描仪的 2 到 3 倍；单次曝光视场缩小一半，全掩膜版芯片需要分两次曝光再拼接，部分抵消了工艺简化的好处。ASML 正用更大的 6×12 英寸掩膜版降低拼接成本，生产型 EXE:5200B 的吞吐量已达约每小时 175 片。
Intel 把 High-NA 引入原为 Low-NA 设计的 18A 节点，部分 Panther Lake 笔记本处理器的层在 Low-NA 和 High-NA 上同时通过认证。这让团队在不依赖新机器的情况下完成生产，同时提前积累良率经验。当 14A 和 10A 节点到来、High-NA 成为必需品时，经验已就位。Intel 明确表示，14A 对外部客户 High-NA 将是一个可选项，能减少步骤从而缩短上市时间，但可能需额外付费。
社区讨论指出，ASML 的核心光源技术源自美国 Cymer 公司（2013 年被收购并附带技术分享与出口管制协议），早期 EUV 研究由美国能源部、Intel、AMD 等组成的联盟资助，反射镜来自德国蔡司。有评论认为这种多国合作正是 ASML 难以被复制的壁垒。对产品层面，Panther Lake 虽能效和 GPU 性能提升，但搭载 High-NA 芯片的笔记本价格大幅上涨，部分型号 GPU 规格反而下降；Intel 并未将 High-NA 芯片作为单独 SKU 销售，用户无法区分自己拿到的货是否用了新技术。
指令舱 Comanche055 和登月舱 Luminary099 的源代码全部是汇编语言，当时的汇编器叫 YUL。AGC 的 ROM 中甚至实现了一个虚拟机来处理矩阵乘法，相当于硬件上再抽象一层。操作员通过 DSKY 面板用动词/名词系统与计算机交互：Verb 35 点亮所有灯做自检，Verb 37 Enter 67 Enter 切换程序到 67。
月球位置用一个九阶多项式近似存储，有效期只覆盖从发射前开始的 15 天。评论区有人调侃“最好在 15 天内回来”。登月着陆算法也是一个多项式，变量是“剩余时间”，如果这个变量变成负数就会出问题。这些在今天看近乎草率的设定，当年在容错和内存约束下却是合理选择。
这份代码已经稳定运行超过半个世纪，一行注释写着：“此源代码是从 MIT 博物馆的数字图像转录而来。” Colossus 编程负责人 Margaret H. Hamilton 的签名也留在代码里，批准日期是 1969 年 3 月 28 日。如果自己想跑原始代码，可以使用 Virtual AGC 项目提供的仿真器。
运行 ssh late.sh 就能进入一个命令行社交平台。身份由 SSH 密钥绑定，不存完整公钥，不记录 IP，页面底部还提供了生成一次性密钥的命令，避免泄漏本机公钥。服务器看不到你是谁，也不追踪你。
连接后可以听电台、玩 2048、数独、拼图和纸牌，在共享 ASCII 画板上协作绘画，画板支持日/月快照回放。工作区能展示个人资料和项目。可选的 companion CLI 支持音频输出到本机扬声器、音频可视化，还能把剪贴板里的图片直接贴进聊天。作者正在开发屏幕和视频共享。
最集中的批评是网站灰色文字配深色背景对比度极低，很多用户难以阅读。作者回应正在更新网页，并指出终端 TUI 已可通过 Ctrl+O 切换高对比度主题。还有用户指出直接 ssh late.sh 会默认把本机所有公钥发送给服务器，可能被探测，使用一次性密钥可以解决。主页上 curl | bash 的安装方式也受到质疑，作者已表态会改进。整体评价仍很正面，有人把它比作现代版的 BBS 或 Club Penguin，感叹“这就是老互联网的感觉”。
这篇教程面向密码学工程师，从 Vector (ZMod 2) L 定义 BitString 开始，用 Vector.zipWith 实现 XOR，逐步把一次性密码本（OTP）的定义和正确性移植到 Lean 4。Shannon 密码结构体包含加密、解密函数以及正确性条件 ∀ k m, dec k (enc k m) = m。
教程用 Lean 证明了 XOR 的交换律、结合律、单位元和自逆。自逆的证明使用了 CharTwo.add_eq_zero.mpr rfl，因为模 2 环中 a + a = 0 等价于 a = a。然后 OTP 被实例化，加密和解密均为 XOR，正确性证明依赖这四条性质最终化归到恒等式。
有评论建议增加 Lean 与 LLM 关系的段落，认为这类编译期检查能力强的语言与 AI 结合后前景很好。文章结尾提到 Zcash、Nethermind 等区块链项目用 Lean 进行形式化验证，并推荐了相关播客和博文。
ZeroMQ 创始人 Pieter Hintjens 在 2015 年写下这份建议，两年后死于癌症。他建议亲手做美食、在雨夜散步，用全部感官体验生活；又建议学习杂耍、憋气、解魔方，用“还能学”的证明来对抗停滞感。
痛苦大多来自他人，学会识别心理变态，把带来痛苦的人从生活中移除。识别出愤怒、自怜、嫉妒等负面情绪，放下它们。有读者补充，不要因为产生这些情绪而羞耻，快乐不是恒定状态，接受起伏反而更让人满足。
停止浪费在通勤、无聊的会议和电视上。关于通勤的争议很大：有人指出欧洲和亚洲的地铁上可以读书，有人反驳高峰时段的拥挤让人无法阅读，尤其有孩子后更想省下每一分钟。物质拥有更多是负担，送走或卖掉任何不能让你快乐的东西。
不带欲望和期待去探索世界。当你什么都不想要，就不会失望；当你接受一切，每一刻都能看见美。多条评论补充，接受不等于被动，你仍然可以去改变能改变的，但在当下这一刻接受它本来的样子。有些人说，对糟糕的关系或习惯采取“不”的态度，反而带来了更大的快乐。
法官批准了 Anthropic 与作者群体的和解，覆盖超过 48 万本书，91% 的权利人已申请赔偿。但多位评论者指出，这更像是大公司为“用盗版获取数据”支付的违规成本，而非对训练本身构成打击。法官此前已认定用合法购买的纸质书扫描并销毁后训练不违法；问题出在 Anthropic 从 LibGen 等盗版网站大量下载书籍，并未购买或销毁原件。
一次性和解意味着只要资金雄厚，就可以先用盗版数据构建产品，事后再摆平。这提高了行业进入门槛，小型团队和研究者几乎无法承担同样的“违规成本”。有评论对比 Aaron Swartz 因类似规模行为面临刑事追诉乃至自杀的结局，认为这种双标让版权体系的公平性严重存疑。
对作者的实际补偿有限，律师费超 1 亿美元。评论中反复出现的问题包括是否需要建立持续的版税机制，以及版权是否还能真正保护创作者。这次和解只在“获取渠道”上画了条底线，关于创作者如何从 AI 浪潮中持续获益，争论远未结束。
Bento 把幻灯片编辑器、查看器和所有依赖都打包成一个约 560KB 的 HTML 文件，双击浏览器即可运行。按 Cmd+S 会将当前内容直接写回 HTML 自身，顶部是一段可读的 JSON 数据，其余部分用 base64 压缩后由 DecompressionStream 解压执行。
相同 id 的对象在幻灯片间可以呈现位置、尺寸、颜色的变形动画；官方演示中同一个图表依次展示为条形图、饼图、散点图，数据实时联动。表格编辑后关联图表同步更新。演讲者笔记、聚焦模式也都内置。
协作功能基于 CRDT，通过 Cloudflare Durable Objects 实现加密的盲中转，中转服务器看不到数据内容。有人担心依赖 Cloudflare 服务，作者说费用在预算内，正考虑让用户自建。多个用户反馈 Firefox 上动画卡顿、多人编辑时焦点打断等 bug，作者都一一回应并计划修复。
Hacker News 上一段评论指出，数学术语的密集程度让其他领域望尘莫及。以 Rees 代数为例，其维基百科第一句话就堆叠了环、形式变量、代数结构等概念，而 TCP 协议的文章能让非技术读者大致理解。计算机科学术语虽然多，但多数能映射到日常物体；数学概念则完全脱离可触摸的经验。
陶哲轩用简短精准的问题引导模型深挖，多次激活 Pro 模式并说“keep going”，最终模型产出了一个完整有限反例。LLM 不知道问题是否“不可能”，持续的引导能激发出低概率但正确的答案。但模型仍会犯错，且过度自信的回复需要专家甄别。
多位评论者总结：只有领域专家才能判断 AI 输出的正确性并设计后续问题。这次对话展示了 AI 作为处理符号计算、验证、探索可能性的助手，能加速发现，但关键仍然是人的判断力。“学习 AI 的第一步是先精通你的领域。”
以上就是今日 Agili 的 Hacker Podcast 为你梳理的全部内容。我们明天见。
女：Hello 大家好，欢迎收听 Agili 的 Hacker Podcast，我是莓莓。
男：大家好，我是阿迪。
女：今天想跟你聊聊一个挺讽刺的产品，叫 OverpAId。你看到了吗？
男：看到了。那个页面做得跟真的一模一样，典型的 SaaS 官网。卖的是一个四万多块钱人民币的小盒子，说能完全取代 CEO。
女：我一开始还真以为是什么新的 AI 硬件。结果看到定价对比那块差点笑出来——S&P 500 公司的 CEO 平均年薪将近一千九百万美元，这个盒子一年总成本才三千美元，还不用黄金降落伞。干得不好跑个 git revert 就完了。
男：对，作者还特意解释这不是真的产品，就是一台藏在卧室里的迷你 PC，加一个域名，表达一个观点。但讽刺背后那些数字是真的。CEO 薪酬在过去四十年涨了十倍以上，普通工人工资基本没动。公司一边喊着 AI 驱动效率裁基层员工，一边把省下来的钱买 GPU、买 AI 授权，CEO 薪水继续涨。
女：所以这个页面的逻辑其实很简单粗暴：你说 AI 能替代工程师、替代客服、替代供应链经理，那你怎么不拿同样的逻辑替代那个批准裁员的人？
男：Hacker News 上的讨论也很有意思。有人指出 CEO 在实际运作里的功能跟讽刺的不是同一层。CEO 很多时候是公司的“人类代表”，客户和合作伙伴需要一个活人来对接、在法律合同上签字。有人说得更直白，CEO 是董事会“唯一能问责的喉咙”，出了事至少能找一个人炒掉。
女：但马上就有人反问：如果 CEO 真的只是代表、只是担责的那个喉咙，为什么公司违法的时候他们很少坐牢或者自己掏钱赔偿？裁员的时候他们也不承担任何后果。这算哪门子担责？
男：还有一个比喻我很喜欢。有人说 CEO 本质上是一个“抽象层”——把团队的数据、报告、决策包装起来，在董事会面前汇报，在客户面前签字。而这些恰好是 AI 最擅长的事：读报告、做总结、写公开信。原文还列了一个对比：护士能在一份身体检查里察觉病人的细微变化，工程师半夜爬起来修故障，这些 AI 真做不了。但在财报电话会上为季度数据领功、在辞职邮件里引用那些“感谢团队努力”的套话，AI 早就搞定了。
女：而且最有意思的细节是关于重回办公室。原来文章把 RTO 归因于商业地产估值，说公司签了长期租约，办公室里没人，估值会受影响。后来评论里有人说，其实大公司那点租金是零头，真正的驱动力是中层管理者需要监视员工来感觉自己有用。
男：但也有人补充了一个很实在的因素。有些城市给大企业税务减免，前提是员工得在城里上班，不然市中心税收会崩。匹兹堡就是例子。这就不是简单的管理层不信任问题了，跟城市的财政结构绑在一起。
女：所以 OverpAId 这个名字本身就是双关，overpaid。它挖苦的就是这种不对称：你敢对底层说 AI 能替代你，同一个逻辑就不敢往上面看一眼。作者最后写了一句挺有意思的话：如果足够多人真的想要这个产品，那“讽刺”只是第一版草稿，时机没踩对而已。
男：现实可能比讽刺跑得更快。
女：说到不平等，还有一条新闻也让我特别不舒服。LG 这周宣布暂停一批智能电视应用，因为它们把用户的电视机变成了别人的代理节点。
男：这个事儿听起来很技术，但本质就是有人偷偷用你家的电视帮别人上网干坏事。安全公司 Spur 发现 LG webOS 应用商店里超过四成的下载应用都内置了一个代理 SDK，比如吃豆人游戏、屏保、文件工具这些看起来人畜无害的小应用。你装了，电视就在后台给别人路由流量。
女：等于说我家客厅摆了一台间谍设备，我还以为它只是在放网飞。
男：而且这个 SDK 主要来自一家叫 Bright Data 的公司。他们回应的时候说，每个用户都通过专门屏幕选择加入并获得回报。但 Spur 指出问题不在这里，问题是这些弹窗往往是被家里小孩或者不懂技术的老人点掉的，根本谈不上知情同意。而且你很难审计电视到底在跑什么。
女：我看到 42% 这个比例的时候都愣住了。这已经不是个别流氓应用的问题了，这是整个应用商店审核基本失灵。
男：社区里很多人的反应也很直接，就说这“就是恶意软件，只是包装在应用商店的授权形式下”。不少人说再也不信任 LG 了，最简单的办法就是别让智能电视联网，或者用 Apple TV、Chromecast 这类外接设备，电视本身断网。
女：但问题是现在想买一台真正“笨”的大屏面板太难了。厂商已经把硬件利润跟数据收集绑在一起，你不联网可能连一些基本功能都用不了。
男：而且这还没完。同一周 LG 刚被爆出来新款显示器会通过 Windows 更新自动安装推广 McAfee 杀毒订阅的应用，根本没经过用户同意。一个公司在显示器上搞流氓软件，然后又说要清理电视应用商店里的恶意应用，社区对这个公告基本不信。
女：如果不想变成别人的代理节点，最实际的操作就是拔网线。回到电视本身只当屏幕用的年代。
男：确实。而且这也提醒我们，现在任何带操作系统的设备都不一定是为你服务的。
女：换个话题聊点硬核的。英特尔最近宣布开始出货用 High-NA EUV 光刻技术生产的芯片了，这可是个大新闻。
男：对，这算是一个物理极限上的突破。简单说，芯片上的电路是靠光刻出来的，光刻机能刻多细决定了芯片的性能。之前的 EUV 光刻机数值孔径是 0.33，现在 High-NA 提升到 0.55，单次曝光能刻的特征尺寸缩小了大概三分之一。
女：我理解就是一个更锋利的刻刀，一刀下去的线条更细，以前需要两三刀拼起来的工作现在一刀就完成？
男：对。在晶圆厂实践里，原本需要两三次曝光拼接完成的图案现在一次搞定，省了成本、周期和产生缺陷的风险。但代价也很大，一台机器三亿八千万美元，是前一代的两到三倍。而且因为用了变形光学系统，单次曝光的最大芯片面积反而减半了，有些大芯片得分两次曝光再拼起来，又把省下来的复杂度还回去一部分。
女：等于说绕了一圈，效果到底是赚还是亏？
男：SemiAnalysis 援引 IBM 的数据说，一次 High-NA 曝光的成本差不多是 Low-NA 的 2.5 倍，只有当单个图案需要三次或以上掩膜曝光的时候才划算。大多数层的成本交叉点要到 2030 年以后。所以台积电一直很保守，2 纳米和 A16 都没用 High-NA。
女：那英特尔为什么冲这么猛？
男：英特尔的策略比较特别。他们把 High-NA 提前引入一个本来就打算用 Low-NA 做的节点 18A，一部分层在 Low-NA 和 High-NA 上同时通过认证，生产不依赖新机器，但工艺团队提前学习了。等真正需要 High-NA 的下两代节点到来时，良率和经验已经到位了。而且对于外部代工客户，High-NA 可以作为一个可选升级，缩短上市时间但要额外付费。
女：这个逻辑听起来倒是挺合理的，先练手再真用。但我看到社区里讨论最多的不是技术本身，而是这台机器背后那个多国合作的故事。
男：没错。ASML 这家荷兰公司的核心光源其实来自美国加州的公司 Cymer，ASML 在 2013 年收购了 Cymer，但收购时跟美国政府签了技术分享和出口管制协议。更早的 EUV 研究由美国能源部、英特尔、AMD 这些组成的联盟资助，而反射镜来自德国蔡司。有人就说这种多国深度绑定才是 ASML 难以复制的壁垒。
女：也有人说，如果美国公司真的能做出来，为什么没有另一家 ASML？
男：对，这就不是某个国家单干能成的事。对了，还有一个有意思的细节，这批用 High-NA 生产的 Panther Lake 笔记本芯片，英特尔没有单独标出来卖，用户买电脑的时候根本不知道自己手里的芯片是不是用这个新工艺做的。而且部分型号的 GPU 核心数反而比上一代下降了。
女：花三亿八千万刀一台机器生产出来的芯片，却没法跟用户讲一个卖点，这个也挺微妙的。
男：技术突破是一回事，市场认不认是另一回事。后续要看 14A 节点的时候 High-NA 能不能真正带来成本优势。
女：说到技术突破，我今天想跟你聊一个比三亿八千万美元的机器更浪漫的东西。阿波罗 11 号登月计算机的原始源代码。
男：那份代码在 GitHub 上一直有，七万多颗星，两百多个贡献者，十几年来都是经典。但最有意思的讨论其实发生在 2016 年 7 月。整份代码全是汇编，没有高级语言，当时的汇编器叫 YUL，现在有人写了现代重制版叫 yaYUL。
女：我听你讲过，这个制导计算机甚至做了一层虚拟机来处理矩阵运算。在硬件上再抽象一层，那个年代的程序员真是太会省了。
男：随机打开几个文件就能看到那种精打细算。月球位置是用一个九阶多项式近似存储的，有效期从发射前开始只覆盖十五天。评论里有人调侃说“最好在十五天内回来”。
女：不只月球位置，着陆算法也是一个多项式，变量是剩余时间。如果这个变量变成负数就会出问题，这也是为什么那会儿有那么多人在讨论 1201 和 1202 报警。
男：对，那个报警实际上就是计算机说“我忙不过来了”，但设计的时候预留了容错，关键任务优先处理。还有指令输入方式也特别有意思，DSKY 面板用的是动词名词系统。Verb 指定动作，Noun 指定对象。比如 Verb 35 是点亮所有灯做自检，Verb 16 Noun 36 是显示当前时间。
女：等一下，Verb 是动词，Noun 是名词，这个命名方式也太直白了。
男：其实这个设计不是阿波罗独有的。有人回忆直到 2009 年还在机房见过用类似“动词/名词”卡片输入的旧式电话交换机。但阿波罗让这个界面变得家喻户晓。不过宇航员其实也不太喜欢它，DSKY 本质上是个临时方案。
女：那这些代码里最让你感慨的是什么？
男：大概是那种极致压缩后的优雅。一堆九阶多项式、十五天有效期、硬编码的约束条件，在今天看来几乎草率的设定，在那时候的容错和资源限制下反而是最合理的。而且这份代码在月球上稳稳跑了五十多年。评论区有句话我印象很深：他们送人上了月球，你的创业项目 CI 还常常跑不过第一次。
女：如果你自己想玩一玩呢？
男：有 Virtual AGC 的仿真器可以直接跑。另外两个视频强烈推荐，一个是 Marc 的 AGC 深度修复系列，另一个是解释登月时 1201 和 1202 报警的。代码里还能看到 Margaret H. Hamilton 的签名，她是 Colossus 编程负责人，批准日期是 1969 年 3 月 28 日。整份代码全部大写，那时候还没有小写字母这个概念。
女：这就是一种浪漫。五十六年前的代码今天还能编译运行，让人想重新思考什么才是真正持久的东西。
男：没错。
女：说起老派的感觉，最近有一个终端社交平台挺火的，叫 Late.sh。直接用 SSH 连进去就能玩，阿迪你试了吗？
男：我试了一下。ssh late.sh 就进去了，不需要注册，不需要浏览器，全程在终端里。里面有电台、游戏、聊天室、共享画板，甚至还有一个每日挑战系统。有人形容它是现代版的 BBS 或者 Habbo Hotel，就是那种老互联网的感觉。
女：我注意到它身份绑的是 SSH 密钥，不记录 IP、不存完整公钥，还专门在页面底部给了生成一次性密钥的命令。作者还挺注意隐私的。
男：但这里有个坑。你直接 ssh late.sh，默认会把你本机所有的 SSH 公钥发过去，虽然服务器不存，但可以探测你是不是在其他地方用过同样的密钥。所以一定要用那个一次性密钥的命令来连。
女：还有一个我特别想吐槽的点，就是官网设计。灰色文字配深色背景，对比度低到我眯着眼睛都看不清。
男：很多人都有同样的反馈。作者说正在改网页，而且终端里的 TUI 其实已经支持 Ctrl 加 O 切换多种主题了，包括高对比度主题。我自己觉得进来以后体验还挺好的，就是那个安装方式也有点让人担心，主页直接是一条 curl 管道 bash 的脚本。
女：这种老派的安装方式确实让人心里咯噔一下，服务器可以根据用户代理返回不同内容的风险还是有的。作者说会改进。
男：不过整体评价确实很好。有人说这就是 IRC 嘛，作者列举了电台、游戏、画板、语音房间这些功能来区分。其实还有一个类似的开源项目叫 DevZat，功能上比较接近。
女：我特别喜欢画板那个功能。每个像素都记录是谁放置的，还能回放日快照和月快照。这让我想起 Reddit 的 r/place。在一个终端里的社交网络，反而比现在的社交媒体更有温度。
男：而且 companion CLI 还能把终端里的音频传到本地扬声器，还能直接粘贴图片到聊天里。作者还在开发屏幕和视频共享，野心不小。这个项目的设计哲学让我想起另一个东西，叫 Bento，一个把整个演示文稿工具打包成单个 HTML 文件的项目。
女：等一下，整个 PPT 软件打包成一个 HTML 文件？
男：对。你下载那个 HTML 文件，在浏览器里双击打开就能编辑、放映，不需要安装任何东西，离线也能用。默认示例文件大概 560KB，按 Command S 就会把编辑内容直接写回这个文件本身。
女：这是什么原理？一个五百多K的文件能装下整个编辑器？
男：文件结构分成两部分，顶部是一段可读的 JSON 幻灯片数据，你用 grep 都能直接提取内容。其余部分是经过 base64 压缩的应用逻辑，浏览器用内置的解压流解压然后运行。协作功能通过 Cloudflare Durable Objects 实现了一个加密中转，中转服务器看不到数据内容。
女：加密中转这个细节很漂亮。等于说连服务提供方自己也看不到你在做什么。
男：作者 starfallg 说这是他一周内用 Claude Code 业余时间写出来的。他本职是在一家可再生能源公司带技术团队，这个项目完全出于兴趣。特性里最吸引我的是幻灯片之间的原生平滑过渡，同一个图表可以依次变形为条形图、饼图、散点图，数据是实时联动的。
女：所以不是简单的翻页动画，是元素级别的变形？
男：对，通过共享 ID 来实现位置、尺寸和颜色的过渡。表格里编辑数据，关联的图表会同步更新。还支持在演示里嵌入交互状态，比如一个组件可以在多个场景间切换。所有图片和字体都作为 Data URL 嵌入到 HTML 里，完全没有外部依赖。
女：听起来像是那种小而美的工具，作者不搞融资不搞 SaaS，就是自己需要一个东西就造了一个。这种项目反而用起来最放心。
男：社区里也有人担心它依赖 Cloudflare 中转，作者说费用可控，也在考虑让用户自己搭中转。还有一个细节，有人发现文件里包含了 Cloudflare Insights 的信标，作者说会排查掉。这种对反馈的反应速度倒是挺让人安心的。
女：这就跟我刚才想说的呼应上了。Late.sh、Bento，还有阿波罗那份源代码，它们都不是什么重型的商业产品，但生命力反而特别强。因为它们解决的是一个真实的需求，不试图成为平台，不收集数据，不把你锁在某个生态里。
男：就是工具本来的样子。
女：对。那我们再聊一个很不一样的话题。今天有一篇十年前的博文重新被翻出来了，讲十个让自己和别人更快乐的简单步骤。作者是 ZeroMQ 的创始人 Pieter Hintjens，2016 年因为癌症去世了。所以很多读者现在重读的时候，知道这是一个知道自己时日不多的人写的，感觉特别不一样。
男：这十条建议其实都不新鲜，但它们组合在一起的时候有种很难忽视的力量。比如说第一条，投资你的感官。自己下厨、拍好看的照片、穿舒服的衣服、雨夜出去散步。用全部感官去体验生活，这个说法本身就很身体。
女：还有一条是“做你不擅长的事”。学杂耍、憋气、解魔方、弹琴、画画，只是去学，不需要擅长。学习本身让人觉得活着。
男：第四条说的是成为更大事物的一部分，参与社区和项目。但评论区有一条提醒我觉得很重要，它说今天的社会比十年前更政治极化，要小心别让群体被短视频平台拖进极端。如果不打算从政，可能需要谨慎处理政治讨论。但也有人反驳说“不谈政治”反而容易让不可接受的行为滋生。
女：这个话题本身就很难有一个简单的答案。我更喜欢他说的另外几个点。第七条是稳住情绪，识别愤怒、自怜、嫉妒、恐惧、仇恨、孤独这些负面情绪，把它们放下。然后评论区补充了一句特别好的话：不要因为产生这些情绪而羞耻，快乐不是恒定状态，接受生活的起伏比追求持续快乐更让人满足。
男：第八条关于时间的话题引发了很多争论。他说停止浪费时间在通勤、无聊的工作、会议、电视上。有人反驳说在欧洲和亚洲很多地方，公共交通工具上可以读书，一个月从两三本变成十本以上，不是完全浪费。但其他人说高峰时段的拥挤根本没法阅读，尤其有了孩子以后每分钟都想省下来。不过作者原文针对的是开车通勤，他建议换成走路或骑车。
女：开车通勤和坐地铁通勤确实是两种完全不同的体验。一个需要全程专注，一个至少可以听点东西或者看点书。但我理解他更根本的意思，不是讨论哪种通勤方式更好，而是重新审视你分配时间的方式。只做你觉得有价值的事，只和喜欢的人在一起，即使收入减少也值得。
男：第十条是“无所求，接受一切”。这条评论里的讨论也很多。有人说接受不等于被动，你仍然可以去改变能改变的东西，但在当下这一刻，接受它本来的样子。也有人提出，对某些事情不认同并拒绝，反而带来了更大的快乐，比如糟糕的工作、习惯、关系。接受一切不是放弃判断。
女：整篇文章读下来像是一个经历了很多的人在生命末期很诚实地把自己觉得重要的事写下来。没有鸡汤，没有那种你必须怎样怎样的语气。就是跟你说，我试过了，这些东西对我有用，你参考一下。
男：里面第六条我觉得最实在，远离坏演员。没有什么比其他人更能让你痛苦。学会识别心理变态，把给你带来痛苦的人从生活中移除。他说这可能需要一天也可能需要一年，你要把它当成一个项目来完成。这个建议来自一个程序员，就特别有说服力。
女：当成一个项目来完成，有意思。用项目管理的方式处理人际关系问题。
男：对，做完就完了，进入下一个迭代。
女：那我们换个方向，聊一个比较沉重的话题。Anthropic 跟作者的版权和解案，十五亿美元。
男：这个数字看起来很庞大，每本书大概赔三千美元，四十多万本书被覆盖。原告律师说这是史上最大版权和解。但仔细看裁决就会发现，法官认定的是用盗版网站下载图书这个行为有问题，而不是用图书训练 AI 本身有问题。如果你合法买了纸质书扫描再销毁，这位法官之前已经认定那不违法。
女：所以核心区别不是“能不能用书训练 AI”，而是“从什么渠道拿到这些书”。
男：对。这就造成了几个后果。首先，对大公司来说这其实就是花钱买路。你的资金足够雄厚，就可以先用盗版数据把产品做出来，事后再用和解金了结。而这笔钱对小型团队或者个人研究者来说是根本付不起的，所以变相提高了行业准入壁垒，AI 核心能力会更加集中在少数巨头手里。
女：而且最扎心的是，普通个人因为类似规模的盗版行为可能面临刑事追诉。Aaron Swartz 的案子经常被人拿出来对比。
男：那种双重标准确实让很多人对版权体系的公平性产生怀疑。另一个讨论方向是关于创作者应该怎么获得回报。一次性赔偿够不够，是不是应该建立持续的版税机制，版权还能不能在这个时代真正保护创作者。这些根本问题这次和解并没有碰触。
女：等于说画了一条短期的底线：训练本身合法，但数据必须从正当渠道获取，违规获取可以花钱摆平。但长期来看，创作者如何从 AI 浪潮中获得持续回报，这个争论还远没有结束。
男：对。而且 Anthropic 的模型产品已经从这些数据里持续获利，律师费砍了一半以后还有一亿多美元，作者实际能拿到的补偿相当有限。
女：说到 AI 和数据，我想到最近陶哲轩用 ChatGPT 探索雅可比猜想反例的那个对话，也在社区里炸了。
男：那个对话本身很有看点，顶级数学家怎么跟 AI 协作。他提的问题特别简短精准，反复用 keep going 或者激活 Pro 模式让模型持续深挖，最后模型产出了一个完整的有限反例。但评论区讨论的焦点反而不是数学内容，而是数学语言本身的艰深程度。
女：怎么个艰深法？
男：有一个对比很直观。Rees 代数的维基百科条目第一句话就包含环、形式变量、代数结构这些概念，别说普通人，数学本科生要想完全解析也很费劲。而 TCP 协议的条目，一个非技术背景的人至少能获得大致理解。计算机科学的术语虽然多，缓存、堆、栈、套接字，大多能映射到日常物体。数学概念则完全脱离任何可触摸的经验。
女：那会不会不太公平？计算机科学也有深层理论，只是大部分程序员不接触。
男：对，有研究数学家就反驳说，他们的符号是为了手写和阅读效率优化，并不是刻意制造障碍。但编程的入门门槛客观上比纯数学低很多，这一点没什么争议。另一个讨论是关于 AI 的使用方式。陶哲轩那种苏格拉底式的引导，跟普通人一次性提示的效果完全不同。LLM 不知道问题是不是不可能，所以 keep going 能激发出低概率但正确的回答。但模型还是会犯错，而且过度自信的回复只有专家能甄别。
女：所以我听到的一个关键结论是，AI 在这个场景里的价值高度依赖使用者的专业判断力。你得先懂这个领域，才能判断 AI 说的是对的还是瞎编的，才知道下一步该问什么。
男：就是这个意思。所以评论区有人总结说“学习 AI 的第一步是先掌握问题领域”。陶哲轩的实践更像是 AI 作为思考伙伴，协助处理符号计算、验证、探索可能性，加速发现过程。工具很好，但方向盘在人的手里。
女：这跟之前聊的 OverpAId 其实形成了一个呼应。大家都在讨论 AI 能替代谁。从陶哲轩的例子来看，AI 在顶级专家手里能成为加速器。从企业实践来看，AI 首先被用来替代的却是基层岗位。这个方向跟逻辑恰好是反的。
男：所以说到底还是人在做选择。工具本身没有方向性。
女：好啦，今天聊了挺多的。从一个讽刺 CEO 的假网站聊到电视变成间谍设备，又聊了三亿八千万美元的巨型光刻机、五十六年前的登月代码、终端里的社交网络，还有关于快乐、关于版权、关于专家怎么跟 AI 一起工作。每次录完节目都觉得这个世界真是又荒诞又有趣。
男：确实。
女：感谢大家收听今天的 Agili Hacker Podcast。如果你喜欢我们的节目，记得用泛用型播客客户端订阅，这样不会错过任何一期。我们下期见。
男：下期见。
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。