最新科技资讯 第131页
聚合 AI、科技、商业、硬件与开发工具的最新内容，按时间顺序查看第 131 页精选文章。
《Mastering Dyalog APL》Jupyter 化：老教材补的不是网页，是可运行性
Dyalog 正在把 2009 年 11 月首版《Mastering Dyalog APL》重制成基于 Jupyter Notebook 的在线互动版本，静态在线版已可访问，但仍是 work in progress。它对 Dyalog APL 学习者的价值，不是多一本“权威新书”，而是把旧教材变成能读、能改、能跑的学习材料。当前版本缺少章节，内容可能大幅修订，适合跟学和观察，不适合当成稳定教材引用。
Nuro转向Robotaxi：靠Uber和Lucid做“第二名”，难点不在晚到
Nuro在2024年从自动配送转向Robotaxi，计划与Uber、Lucid合作，今年晚些时候先在旧金山启动服务，目前只拿到启动所需许可中的第一项。它押注“第二行动者优势”，可以少踩Waymo踩过的坑，但不能跳过许可、乘客运营和真实道路磨损。对行业观察者和出行、车企从业者来说，关键不是Nuro会不会讲故事，而是这套三方拆分模式能不能跑成稳定服务。
C64 Dead Test 那套失踪字体：58 个字形里的 8-bit 工程边界
mass:werk 系统考据了 C64 Dead Test 诊断卡带的内置字体：58 个字形、独立字库、一个从未被 ROM 代码调用的隐藏字符。这个隐藏字符很可能来自 MICR E-13B 的 transit 符号，但它更像彩蛋，不是改写 C64 历史的新证据。真正重要的是：这套字体说明早期计算机的界面选择，往往先由硬件约束和维修场景决定，审美只是后来长出来的结果。
格罗滕迪克改写代数几何：不是天才隐士传，而是数学基础设施史
Quanta 这篇长文重新解释格罗滕迪克：重点不在隐居传奇，而在他如何用概形、层、上同调重铺20世纪代数几何的地基。 他的贡献像数学界的20世纪爱因斯坦：内部绕不开，公众却远不如爱因斯坦有名。 真正的变化是研究方程时不再被整数、实数、复数、有限域等具体数系绑死，后来数论、拓扑、表示论、逻辑都从这条路上受益。
AWS 裁掉开源老兵后，AI 转向真正伤到的还是客户信任
AWS 开源策略团队成员 Tarus Balog 被裁，让此前一起账户删除与数据恢复事件有了新尾声：能把异常个案升级、推动纠错的人，未必能在组织考核里留下位置。问题不能被简单写成“帮用户遭报复”，证据不够；但它确实补强了一个更现实的判断：当云厂商把资源和叙事压向 GenAI，客户信任最先磨损的，往往不是产品功能，而是故障责任链。
为绕开快捷键冲突，一名 Emacs 用户给 i3 打了个人补丁
一名重度 i3 与 Emacs 用户没有继续用 xdotool、emacsclient 脚本转发按键，而是修改 i3 4.25.1，在特定绑定上加入 `--passthrough`。 这个补丁不是 i3 官方功能，也未合并上游。它说明的是：在 X11、i3、Emacs 和图形窗口混用时，快捷键走窗口管理器内部路径，可能比外部脚本更稳、更少抖动。 但代价也很清楚：需要自己维护补丁，焦点问题并未被完全消灭，也不能直接套到 Wayland 或其他窗口管理器上。
ICE 2510 万美元买虹膜扫描：真正要盯的是非竞标和现场执法
ICE 以非竞标方式把 2510 万美元虹膜识别合同授予 Bi2 Technologies，设备要求最早 6 月底送达一线地点。金额是 2025 年 9 月合同的 5 倍以上，设备数量从约 200 台增至 1570 台。问题不只是买了什么技术，而是现场执法、数据库访问和监督缺口被一次采购打包推进。
别再重造浏览器：现代网页的精致，正在增加用户成本
Susam Pal 借“不要自己造加密”的老原则，批评网站反复重造滚动、链接跳转、密码框、日期选择器等浏览器原生能力。问题不在所有自定义 UI，而在很多团队把可定制、品牌感和工程控制当成进步。受影响的不只是极客，还有老年用户、键盘用户、辅助工具用户，以及只想把事办完的普通人。
Record Club 想做音乐版 Letterboxd，但听歌这门生意更难记账
Record Club 是一个面向乐迷的记录与社交平台：给专辑评分、写短评、标记已听、建列表、看好友动态，也能关注艺人和厂牌。它补的是音乐消费里长期缺位的“听歌账本+品味名片”，不是播放入口。真正的难点不在界面，而在音乐消费太碎、太高频、太依赖流媒体算法。
加州橙县7000加仑化学品储罐升温：风险还没结束，重点不是迪士尼
加州橙县Garden Grove一家GKN Aerospace工厂内，约7000加仑甲基丙烯酸甲酯储罐升温失稳，州长已宣布进入紧急状态，周边数千居民被疏散。它目前更像一起储罐失效风险事件，而不是已经定性的“大规模泄漏”或“爆炸”事故。接下来要看三件事：罐内温度能否压住、罐体会不会破裂、围堵能否挡住外泄。
<dl> 不是旧时代的定义列表：前端语义里一个被低估的 HTML 元素
Simon Willison 转述 Ben Meyer 对 HTML <dl> 元素的梳理，提醒开发者：它早已不是只能写词典释义的“定义列表”。真正重要的是，<dl> 适合表达成组键值关系，但它的结构约束和屏幕阅读器支持边界不能被忽略。
Apple 修补 MIE 本地提权漏洞：问题不在硬件防线崩了，而在可信写入口失守
Apple 在 2026 年 5 月 11 日发布的 macOS Tahoe 26.5 中修复 CVE-2026-28952。研究披露显示，非特权本地用户可在 Apple Silicon M5、启用 MIE 的环境下利用该漏洞实现内核提权。 关键判断：MIE 不是被整体攻破，SPTM 和硬件内存标记也不是被直接打穿。真正失守的是 `_zalloc_ro_mut` 这个受信任写入口，它的 `target + len` 整数溢出检查错误，让 RO zone 被“合法路径”越界写入。 对安全团队来说，动作很明确：尽快部署 macOS Tahoe 26.5，把这类本地提权纳入终端补丁 SLA 和检测规则；普通用户至少应确认系统是否已更新到 26.5。
SolarSquare估值或翻倍：印度屋顶光伏，钱开始追安装和信任
SolarSquare 正在洽谈 5500万至6000万美元 C 轮融资，估值或达4.5亿至5亿美元；交易尚未完成，条款仍可能变化。 这轮钱的看点不是“光伏很热”，而是印度住宅屋顶光伏开始从政策补贴，转向渠道、安装、运维和信任体系竞争。 受影响最直接的是印度家庭用户、本地安装商和押注新兴市场能源平台的投资人。
得州居民因水质帖被控重罪：问题不只是一条 Facebook 有没有说错
Jennifer Combs 在 Facebook 转述居民水质投诉，并征集水色、异味、沉淀物和健康问题信息，随后被得州特立尼达警方按“虚假警报或报告”重罪逮捕。市方称帖中“有人住院”说法不实、造成恐慌；Combs 已提起联邦诉讼，称逮捕是政治报复。真正需要盯住的是：一部常用于处理虚假炸弹威胁、虚构紧急事件的刑法，能不能被地方政府拿来压住居民对公共饮水安全的追问。
把 6 年旧笔记本改成写作机：writerdeck 真正减少的是选择
一名技术作者把约 6 年旧的 System76 Galago Pro 改成 Debian Trixie 纯 tty 写作机，核心目的不是省钱，而是切断浏览器、桌面通知和图形界面的操作惯性。 这套 writerdeck 保留 Wi-Fi、Syncthing 同步、电量和亮度控制，不是完全断网；它更适合熟悉 Linux/终端工具、又想减少数字干扰的写作者。 它也不是通用安全范本：未启用全盘加密、Syncthing Web GUI 监听所有地址，只适用于低敏内容场景。
一本1880年的赚钱小册子，为什么还被科技工具圈翻出来读
Cool Tools 在 Book Freak 第210期推荐了 P.T. Barnum 1880年出版的《The Art of Money Getting》，把这本小册子的重点压缩为职业选择、债务纪律、投入程度和诚信四条规则。它的价值不在于提供现代投资方法，而在于提醒读者：个人财务的底层问题，很多时候先是职业判断和行为约束问题。
Hengefinder：曼哈顿悬日不是神迹，是一条街和太阳刚好对上了
Hengefinder 是一个个人开源项目：输入地点，就能查附近街道何时与日落方位对齐，项目已有网站、源码，后来还出现了移动 App。它的价值不在“算出悬日”这件小奇观，而在把道路方位、日落定义、日期搜索这些现实约束拆给你看。对开发者、摄影爱好者和城市旅行者来说，它更像一个可解释的城市观察工具，而不是高精度天文产品。
Spacelab 旧航天计算机被逆向：可靠性不是黑盒神话，是能看见的工程
Ken Shirriff 逆向了一块 1980 年代 Spacelab 所用 Mitra 125 MS 小型机的 ALU/寄存器板，发现这台 16 位航天计算机用多块 TTL 芯片拼出了 32 位 ALU/寄存器系统。重点不是怀旧，而是早期航天计算把可靠性做成了可见、可修、可验证的板级工程。对体系结构、芯片史和航天可靠性读者来说，这块板比很多算力叙事更能说明问题。
零点击间谍软件增多，高风险用户该认真开启“封锁模式”了
零点击攻击的麻烦在于，用户不点链接、不下载附件，也可能被入侵。Apple、Google、Android 和 WhatsApp 已经提供高安全模式，分别保护设备、账号、系统和通讯入口。对记者、维权人士、政治异见者等高风险人群，牺牲一部分便利，正在变成更现实的安全交换。
做出 MPC 的 Roger Linn，为什么只开一个浏览器标签页
The Verge 采访 Roger Linn，聊的不是新品，而是一个音乐科技发明者的工具观：MacBook Pro、Rhino3D、单浏览器标签页、不用社交媒体、仍然迷恋 VR。真正的反差在这里：做出 LM-1、LinnDrum、MPC 和 LinnStrument 的人，最讨厌工程师假定用户也是工程师。对音乐工具和 AI 产品来说，这个提醒很硬：功能多不等于好用，能不挡创作者的路才算本事。
Deep Fission 再冲 IPO：AI 核电故事很热，进度表却收回去了
Deep Fission 去年通过反向并购成为 SEC 报告公司，但股票并未实际公开交易；现在它寻求传统 Nasdaq IPO，最高募资 1.57 亿美元，估值约 16.6 亿美元。最该看的不是“核能给 AI 数据中心供电”这个故事，而是它的现金、钻井、监管和首堆时间表能不能撑住估值。对数据中心买家和硬科技投资者来说，这更像一次风险定价测试，而不是核能商业化已经到站。