每日摘要 · Hacker News
· 102 黑客新闻
Google正式完成Manifest V2扩展的移除工作，Chrome Web Store中所有MV2扩展已无法下载，包括广受好评的uBlock Origin。虽然已安装的扩展在Chrome 138及更早版本中仍可运行，但无法更新或重新安装。这一变动不仅影响Google Chrome，也波及依赖Chrome Web Store的Brave等Chromium浏览器。不过，Brave选择在其后台托管…
在 Nevada 的 Black Rock City，Burning Man 活动期间，3:30 和 Chomolungma 街角矗立着一个特殊的电话亭。这是 Playa Phone，一个经过改造的普通付费电话亭，不再接受投币，而是通过互联网提供免费通话服务。你可以拨打任意号码，与远方的亲友通话 5 分钟，或者拨打这个号码，等待一位路过的 Burner 接听。这个装置连接了沙漠中的参与者与外界，…
- ▲ 614把监控摄像头变成自动识鸟系统
我爱人喜欢用手机 App 听鸟叫并辨认种类，我便想更进一步，利用家里的监控摄像头麦克风实现自动识别。我尝试了 BirdNet-Go，发现它能在 Docker 中运行，直接调用现有摄像头的音频流。系统 24/7 本地运行，无需云端服务，不仅识别鸟类，还能检测蝙蝠和青蛙。通过设置规则，当特定鸟类出现时，它会立刻向我的 Discord 频道发送通知。最有趣的是，它能追踪新出现的物种，让我们把观察后院生…
菲尔兹奖得主Terence Tao在Big Think的访谈中，将复杂的数学世界拆解为六个核心支柱：Numbers、Algebra、Geometry、Probability、Analysis和Dynamics。他不仅回顾了从古希腊测量月球到驯服无穷大的历史，还深入探讨了数学如何解决科学难题。更令人深思的是，Terence Tao坦言自己从未有过所谓的“顿悟时刻”，并犀利地分析了AI如何正在永久性…
OpenShot 4.0 带来了前所未有的创作工作流升级。现在你可以直接在软件内录制屏幕、摄像头和麦克风，无需繁琐的导入流程。全新的 Color View 提供了专业级的色轮、曲线和示波器，让调色不再高深莫测。更令人兴奋的是，Object Mask 功能利用本地运行的机器学习模型，无需联网或订阅即可智能抠像。配合十种新特效和更流畅的时间轴，OpenShot 正朝着更快、更完整的视频编辑工具迈进。
著名模拟游戏 Dwarf Fortress 即将推出名为 Myth and Magic 的更新，这将彻底重塑游戏的魔法体系。Bay12 联合创始人 Tarn Adams 表示，这次更新不仅仅是增加几个新法术，而是通过程序化生成系统，将魔法深度融入宇宙的基本宇宙学构成中。这意味着在每次世界生成时，都会涌现出独特的魔法流派和女巫传统。玩家的堡垒将能够进行真正具有探索感的魔法研究，涵盖魔法材料、附魔、…
- ▲ 491AI 需求突袭，Apple 措手不及
Apple 罕见地在秋季发布会前紧急推出了新款 Mac mini 和 Mac Studio，背后的推手是企业市场对 AI 硬件的意外狂热。据 The Information 报道，原本专注于消费端的 Apple 并未预料到企业客户对运行大型 AI 模型的需求如此迫切，甚至缺乏专门的企业工程团队和 AI 战略。尽管 Apple 曾拒绝部分企业接入 Private Cloud Compute 的请求…
Anthropic 曾宣称 Opus 5 在 Auto Mode 下的提示词注入攻击成功率为 0.00%，但我通过精心设计的攻击链，将成功率提升至 60% 至 80%。攻击利用 HTTP 415 错误诱导模型从 WebFetch 切换到 curl，下载包含恶意 struct.py 的 ZIP 包。当 Claude 拒绝运行二进制文件并自行编写 Python 解码器时，触发了模块遮蔽漏洞，导致远程…
- ▲ 391美军基地冷库疑似遭黑客攻击
最近几天，美国至少六个军事基地的Commissary冷藏系统几乎同时发生故障。这不是简单的断电，而是所有冰柜集体进入了加热解冻模式，导致大量食物变质。我深入调查后发现，DeCA的远程监控系统RMCS确实能控制解冻功能，而Claroty的研究也证实了Danfoss和Copeland等工业控制器存在严重漏洞。虽然目前尚无确凿证据证明这是黑客攻击，但多个基地同时出现这种特定故障模式，加上网络控制系统的…
- ▲ 390耗时最长的 Rolife 迷你咖啡馆完工
我沉迷于制作迷你模型已有数日，这次挑战的是 Rolife 系列中最耗时的迷你咖啡馆。不同于以往那些容易断裂的木质拼装件，这次我需要在观看 007 游戏直播和 Warhammer lore 内容的漫长过程中，全神贯注地组装每一处细节。从单独粘合的郁金香到印有微小文字的桌牌，每一个部件都凝聚了时间。作为咖啡爱好者，我甚至为这个微缩世界复刻了最爱的 Americano 和“Sandy's coffe…
想象一下，只需一个 HTML 文件，就能构建出一座完全可探索的 ASCII 赛博朋克城市。这个项目将复古的字符图形与现代网页技术巧妙结合，让用户仿佛置身于《银翼杀手》般的未来世界。没有复杂的依赖，没有庞大的资源包，仅仅依靠代码字符的排列组合，就营造出令人惊叹的沉浸式体验。这不仅是对早期计算机美学的致敬，更展示了极简主义在数字艺术中的无限可能。
一场规模达 12TB 的 Steam 数据泄露事件，意外揭开了 2003 至 2013 年间被遗忘的 PC 游戏历史。这次被称为“teraleak”的泄露源自 Steam2 架构的旧服务器，包含了数千个游戏版本，其中不仅有公开发布的构建，更有大量从未面世的测试版、原型和删减内容。社区玩家迅速挖掘出 Portal 2 中被删除的关卡、Half-Life 2: Episode 3 的相关数据文件，以…
OpenAI 推出的 ChatGPT Work 实际上包含 Work Cloud 和 Work Local 两个产品，目前仅对付费用户开放。Work Cloud 相比普通 Chat 模式，新增了代码联网执行、无头 Chrome 浏览器、持久化文件系统以及 ChatGPT Sites 部署等强大功能。它支持在 Sol、Luna 和 Terra 模型间切换，并允许运行子代理和定时自动化任务。虽然功能…
- ▲ 314我反向工程了ADHD测试
为了探究ADHD诊断测试的运作机制，我对自己参加的在线评估进行了反向工程。测试界面看似简陋，实则通过JavaScript脚本严密追踪我的Space键按压时机、错误按键以及窗口失焦时长。更令人惊讶的是，系统会根据年龄组别切换不同的干扰音效，成人组会听到婴儿啼哭和警笛声。当我因测试过长而狂按空格键导致结果异常时，医生怀疑我作弊。为了验证猜测，我利用测试平台的API漏洞，伪装成诊所管理员获取了自己的测…
- ▲ 269手机加LED，AI秒识隐藏摄像头
KAIST研究团队联合NUS和SMU开发了名为SweepLED的隐藏摄像头检测技术。只需将价值约10,000韩元的LED设备贴在智能手机上，AI就能通过分析光线反射模式，在5秒内精准识别出酒店或洗手间等场景中的非法摄像头。传统方法依赖人工寻找反光点，容易将金属或玻璃误判为镜头，而SweepLED利用深度学习分析多角度光照下的反射变化，在30种常见物品测试中准确率高达94%。这项低成本、易操作的技…
Laser Graffiti 将投影仪和摄像头结合，让你能用激光笔在任意墙面上挥洒创意。只需简单校准，激光点触之处即刻呈现发光的霓虹线条、滴落的墨水或旋转的 3D 效果。无需安装原生应用，一切运行在浏览器中，支持多种画笔模式、粒子特效及井字棋游戏。无论是绿色还是红色激光，都能被精准追踪，甚至支持激光操作菜单，让墙面互动充满未来感。
- ▲ 239听门铃竟需 5 个云服务
2024 年冬天，为了应对公寓楼入室盗窃，我买了一款廉价的 Blink 门铃。结果却适得其反：访客按门铃后，声音只在外放，屋内的我根本听不见，妻子也因手机不在身边而错过访客。为了在不支付订阅费且不暴露家庭 Mini PC 的前提下解决问题，我设计了一套令人啼笑皆非的 Rube Goldberg 机器。这套方案依赖 Alexa 触发虚拟灯泡，通过 SmartThings 发送 webhook，经由…
这份参考文档详细梳理了 ChatGPT Work 中的 232 个工具接口和 44 个核心技能文件。内容涵盖从文档处理、图像生成到数据分析的完整工作流，包括如何使用 imagegen 创建视觉素材、利用 data-analytics 构建仪表盘，以及通过 control-browser 进行网页交互。文档还深入解析了 OpenAI Library 的文件管理、Personal Context 的…
ravynOS 是一个基于 Darwin、FreeBSD 和 Apple 开源代码的早期开源操作系统，旨在兼容 macOS 应用且无硬件限制。它保留了 macOS 的简洁设计、全局菜单和拖拽安装等特性，同时提供 Cocoa APIs 和熟悉的终端命令。作为开发者预览版，它尚不成熟，但为热爱 macOS 却反感封闭生态的用户提供了新选择。项目鼓励社区参与，通过 Discord、GitHub 讨论和…
uv 项目迎来重大更新，charliermarsh 提交的新 PR 将 wheel 缓存的去重粒度从包级别细化到了文件级别。此前，uv 仅对重复的 wheel 包进行内容寻址缓存，而包内或跨包的重复文件仍会被重复存储。此次更新引入 BLAKE3 哈希机制，将所有文件统一存储在 files-v0 桶中，并通过硬链接映射到原位置。实测数据显示，这一优化在本地环境中节省了 545.2 MiB 的缓存空…
- ▲ 225NAT：互联网中心化的原罪
XKCD 漫画里，普通人连发个文件都要折腾半天，这背后其实是 NAT 技术埋下的祸根。NAT 最初为了解决 IP 地址枯竭问题，却意外打破了互联网端到端连接的设计初衷，让个人运行 FTP 服务器变得异常困难。为绕过 NAT，我们发明了 Port forwarding、UPnP，甚至依赖 STUN、TURN 和 ICE 等复杂方案，最终却不得不依赖外部基础设施。更讽刺的是，NAT 被误当作安全特性…
我运营着 Wirewiki.com，一个用于检查 DNS 记录和邮件配置的网络基础设施工具。为了在竞争激烈的市场中脱颖而出，我将用户体验（UX）作为核心，致力于让自动补全功能达到“下一帧”般的即时响应。通过结合客户端预取缓存与后端优化的 API，我实现了在 99% 的情况下，结果在用户松开按键前就已准备就绪。后端架构采用内存中的字符 Trie 树处理热门域名，配合 SSD 内存映射索引处理海量长…
- ▲ 212廉价GPS干扰器制造全球导航盲区
廉价GPS干扰器正在全球范围内泛滥，导致越来越多的区域出现导航信号盲区。这些设备价格低廉、易于获取，被广泛用于干扰无人机、车辆定位甚至手机信号。从城市街道到偏远乡村，GPS信号的中断不仅影响日常出行，还可能对航空、物流等关键行业造成严重威胁。文章揭示了这一现象背后的技术漏洞与监管缺失，并探讨了如何在不牺牲安全的前提下应对这一挑战。
一种名为Mad honey的蜂蜜正在网络上公开售卖，这种蜂蜜含有能导致心脏停跳的毒素。尽管其潜在危险巨大，但商家依然在电商平台将其作为商品推广。这种蜂蜜源自特定地区的蜜蜂，它们采集了含有灰菊毒素的花蜜，从而让蜂蜜具备了致幻和心脏毒性。文章提醒消费者，在追求新奇体验时，务必警惕这类看似天然却暗藏致命风险的产品，切勿因好奇而轻易尝试。
- ▲ 190Matrox：从航天到华尔街的显卡传奇
Lorne Trottier 因对太空和电子的热爱，与 Branko Matić 在 1976 年创立了 Matrox。公司起步于家庭作坊，凭借 MTX-1632 和 MTX-256**2 等早期显卡迅速盈利。Matrox 的产品不仅服务于个人电脑爱好者，更被用于 NASA 的 Viking 任务地面控制显示，并在 1979 年进军华尔街提供 Quad Video 解决方案。从 S-100 总线…
现有的 Agent 记忆系统往往过于复杂，依赖 pgvector、Neo4j 等重型组件，或将记忆视为需要多阶段处理的流程，导致模型困惑且难以扩展。我提出 Memoryfields 方案，主张将记忆视为一种简单的文件格式：由 Markdown 页面、可选的 YAML 前缀和 SQLite 向量索引组成。这种设计摒弃了低效的图遍历，利用语义搜索直接定位内容，让 Agent 能像人类一样直接读写自然…
作为 curl 项目的 CNA，我们拥有自主分配 CVE 的权力。面对一个需要本地攻击者配合、且涉及非法 DNS 主机名的极低概率漏洞，我们决定不分配 CVE，以避免引发全球三十亿次安装的无谓更新。然而，报告人坚持认为应分配 CVE 并向 MITRE 发起申诉。经过数月的反复沟通与审核，MITRE TL-Root 最终裁定支持我们的判断：这只是一个已修复的 Bug，而非安全漏洞。这一案例再次提醒…
- ▲ 187一根网线，两台电脑直接传文件
只需一根普通的 Ethernet 网线，无需路由器或云端中转，就能在两台电脑间实现高达 900 Mbits/second 的文件传输。通过简单的 IP 配置，利用 Linux 下的 socat 和 dd 命令，即可绕过 WiFi 的不稳定和 USB 接口的速度瓶颈。相比云存储的二次传输耗时和 USB 线缆的接触问题，这种点对点的 Ethernet 连接不仅成本低廉，还能抵抗 RFI 干扰，是传输…
- ▲ 180告别自回归：构建扩散语言模型指南
主流语言模型长期依赖自回归架构，逐字生成导致无法纠错且速度受限。扩散模型为文本生成带来新范式：从全掩码序列出发，通过多轮迭代并行填充与去噪，实现双向上下文感知与错误修正。2024 年扩散模型质量已追平自回归模型，2026 年 Mercury 2、Gemma Diffusion 和 Nemotron Diffusion 等工业级产品相继问世。本文深入解析 Masked Diffusion 原理，从…
德国Hoyerswerda的Zuse-Computer-Museum将于年底关闭，这座展示计算机发展史的博物馆因长期资金不足难以为继。尽管Konrad Zuse被誉为“计算机之父”，且博物馆拥有18000件珍贵藏品，但自2017年成立以来，其年访客量远未达到预期。城市住房公司停止资助，市议会也削减了补贴，最终导致博物馆无法继续运营。尽管有匿名捐赠者提出条件性资助，但未能挽救局面。博物馆负责人Wo…
ReactOS 0.4.16 正式发布，历时一年半的打磨带来了重大升级。这次更新推出了全新的图形化安装程序，并将 bootcd 与 livecd 合二为一，让测试与安装更加便捷。在硬件兼容性方面，我们修复了 Nvidia 显卡的性能瓶颈，完善了 HD Audio 驱动支持，并引入了新的 ATA 存储驱动以解决启动问题。此外，ReactOS 首次支持 Server Core 安装模式，并同步了 W…
今天我们发布了 OpenClaw 历史上最大规模的更新，由 933 名贡献者共同完成，其中包含 569 名首次贡献者，累计超过 16000 个拉取请求。这次更新覆盖了安装、消息、记忆、技能、模型、自动化、浏览器应用、原生应用、插件及安全等所有环节。我们简化了安装流程，利用用户现有的 ChatGPT 或 Claude 订阅及 API 密钥，让新用户能更快开始对话。同时，我们重写了浏览器应用，使其成…
- ▲ 146AI 时代最安全的工作可能是写作
当程序员正为应对 AI 带来的 5 倍生产力指标而挣扎，深陷 Agent 生成代码的认知债务时，写作却意外地保持了安全。LLM 在代码生成上突飞猛进，但在散文创作上却陷入了“塑料味”的怪圈，充斥着机械的节奏和陈词滥调。写作是一个典型的“棘手问题”，缺乏明确的规格和客观验证，其成功取决于在人类心智中的共鸣。由于 LLM 缺乏 Theory of Mind，无法模拟读者的心理状态，它们只能基于统计概…
- ▲ 131MIT 校园发生二甲基汞暴露事故
Andrew Carr 在 X 平台上爆料，MIT 校园内发生了一起二甲基汞暴露事件，一名学生直接接触到这种剧毒物质。这条消息引发了网友对 Karen 当年悲剧的回忆，大家纷纷感叹二甲基汞的危险性令人难以想象。有人质疑这是否是一场虚惊，也有人好奇现代医疗手段是否比 90 年代有了进步，能否为类似事故提供有效的治疗方案。无论真相如何，这起事件再次敲响了实验室安全的警钟。
- ▲ 120根据关注程度高亮代码
受 Nikita Prokopov 关于语法高亮观点的启发，我反思了自己长期使用的 VSCode 默认主题。我发现自己根本无法记住类名等关键元素的颜色，这说明现有主题并未真正辅助阅读。在尝试制作极简浅色主题失败后，我意识到高亮的核心不应是色彩，而应是对比度。我最终设计了一套基于灰度的方案：将注释、变量定义和控制流关键字设为高对比度，而将 let、const 等常用词及标点符号淡化处理。这种“按需…
tmp.0ut 第五期杂志聚焦底层代码与二进制安全，收录了从 57 字节 x86-64 Linux ELF 病毒到 440 字节多态病毒的精彩分析。内容涵盖 Perl 技巧、XLAT 指令的妙用、无状态控制流设计，以及 Brainfuck 作为 ROP 编译器的实验。此外，还有关于 Linux 内核加载可执行文件的深度剖析、多态 ELF 文件的构建、syscall hooks 的侧信道检测、代码…
我在生产力工具市场深耕 22 年，见证了从 No-code 到 AI 编码的变迁。如今，单纯从零构建或完全依赖专用软件都难以满足团队需求。真正的未来在于“可塑软件”：一个覆盖数据库、权限、协作等通用需求的稳固底座，加上 20% 的自定义代码来适配独特业务。无论是 Vibe-coding 平台还是 Malleable tools，都在向这个方向演进。对于像蘑菇农场这样的团队，选择拥有稳固底座的工具…
- ▲ 109Tcl/Tk：被低估的跨平台开发利器
在寻找跨平台 GUI 工具时，我避开了 Electron 的臃肿和 Qt 的复杂，意外发现了 Tcl/Tk 这个拥有近 40 年历史的宝藏。它不仅能生成原生外观的 Windows、Linux 和 macOS 应用，还能打包成极小的单文件，甚至支持 Web 应用开发。尽管常被误解，Tcl 凭借其命令式核心和 Tk 图形工具包，依然是构建高效 CLI 和 GUI 工具的绝佳选择。本文将分享我的探索历…
继ICE发出第二份警告备忘录后，UC Berkeley国际办公室宣布无限期暂停处理国际学生的Course Credit CPT申请。这一决定旨在应对联邦法规的合规审查，避免学校失去招收国际学生的资质。尽管校方表示此举是为了保护F-1签证持有者的利益，但这将直接导致大量学生无法通过课程学分换取实习经验。目前，仅作为学位必修要求的CPT申请仍可正常处理，但校方需等待法律顾问进一步评估后，才可能恢复常…
- ▲ 104Kobo 美国销量翻倍，七成用户是女性
Kobo 在美国市场的表现令人瞩目，预计 2025 年和 2026 年的销售额将实现翻倍增长。更引人注目的是，其美国客户群中女性占比高达 70%，这一数据揭示了电子阅读器市场独特的用户画像。这一趋势不仅反映了 Kobo 在女性读者群体中的强大吸引力，也暗示了数字阅读领域正在发生的深刻变化。随着市场格局的演变，Kobo 如何继续巩固这一优势，值得行业内外共同关注。
美国地理名称信息系统（GNIS）正式将美国境内的 Lake Ontario 更名为 Lake America。Google Maps 遵循官方数据源更新策略，即日起在美国地区显示新名称，而加拿大用户仍可见 Lake Ontario，其他地区则同时展示两个名称。这一调整体现了 Google Maps 对跨国水域命名差异的长期处理原则，也反映了地理数据随政策变化的动态更新机制。
当AI让技术成果变得唾手可得，我反而感到激情消退，甚至想什么都不做。这种情绪并非个例，而是技术门槛骤降后的自然反应。有人从享受实现IETF规范的挑战，到面对AI代理暴力破解一切感到失落；也有人认为，真正的满足感源于亲自动手，而非仅仅管理任务。在工具越来越强大的今天，我们或许需要重新思考：当‘做’变得容易，我们该如何找回工作的意义？
从 Piotr Gankiewicz 出于好奇的一个 Rust 学习实验，到如今的 Apache Top-Level Project，Apache Iggy 仅用了一年半时间就完成了蜕变。我们不再受限于单一公司或个人的决策，而是通过 Apache 的社区治理模式，汇聚了全球 120 多位贡献者的力量。凭借 thread-per-core 架构、io_uring 技术以及 VSR 共识算法，Igg…
- ▲ 95你重命名我的湖，我迁移我的托管
上周，我将 PrettyGoodPing 从美国的 DigitalOcean 迁移到了欧盟的 Hetzner。价格虽是考量因素，但并非唯一原因。就像现在购买农产品需要追溯来源一样，我也开始审视自己的托管账单。特朗普重命名 Lake Ontario 的荒谬行径，加上 Google Maps 迅速跟进这种疯狂，促使我决心减少对 Google 的依赖。虽然我不会把摆脱 FAANG 当作全职工作，但我会…
- ▲ 90蓝光最伤视力，浅色眼更需警惕
佐治亚大学（University of Georgia）的一项新研究发现，蓝光对眼睛分辨细节能力的损害远超其他可见光波长。研究测试了60名年轻人，结果显示蓝光在视网膜上产生的散射和光学像差最大，导致区分两个光点需要更远的距离。此外，虹膜色素也影响显著：浅色虹膜（尤其是蓝眼睛）因黑色素较少，光散射更严重，而深色虹膜中的黑色素能吸收多余散射光。虽然研究未直接评估过滤技术，但研究人员Yaw Buabe…
2026 年，C++ 标准库迎来重大变革，引入“硬化”（Hardening）机制。过去，像 std::vector 的越界访问会导致未定义行为（UB），程序可能崩溃或产生难以复现的诡异错误。现在，在硬化模式下，这些错误将触发明确的合约违规并终止程序，而非陷入未定义状态。文章深入探讨了 P3471 等核心提案，展示了 GCC、Clang 和 MSVC 如何通过不同宏和编译选项（如 _GLIBCXX…
22岁的实习老师Kristen Volpe在Snapchat上向男友和室友抱怨工作时，随口开了个关于“枪击学生”的玩笑。没想到，Snapchat的自动化AI系统未识别这是情绪宣泄，在60分钟内将这条私聊直接上报给FBI，随后当地警长办公室派警员冲进学校将其逮捕。尽管最终未提起正式指控，但Volpe的实习资格已被取消。这一事件暴露了Snapchat服务器端扫描私聊的能力，以及从“私人吐槽”到“执法…
Interisle Consulting Group 的最新研究显示，2025 年注册的新通用顶级域名（gTLD）中，可能有高达 20% 被网络犯罪分子控制。尽管 ICANN 对“DNS Abuse”的定义较为严格，仅限于僵尸网络、恶意软件等特定类型，但诈骗、儿童性剥削等技术辅助犯罪造成的损失高达数千亿美元。文章指出，行业不能仅因方法论的争议而陷入停滞，必须重新审视当前的合同定义、预防义务及数据…
Flock Safety 作为美国最大的监控网络运营商，其 CEO 最近经历了一次极具讽刺意味的事件。这家以面部识别和车牌追踪技术闻名的公司，其高层管理者竟然在自己的监控系统中被精准捕捉。这一事件不仅揭示了 Flock Safety 技术的强大能力，也引发了关于隐私监控边界的深刻讨论。当监控者成为被监控的对象，这种角色反转让人不禁思考：在无处不在的摄像头网络中，究竟谁在真正掌控数据？
你可能从未意识到，自己通过 Vanguard 等基金持有的退休账户，实际上间接拥有了一家位于 Williamsburg 的 7-Eleven。这种由 Agree Realty Corporation 等房地产投资信托基金（REIT）构建的分散所有权模式，让成千上万的投资者成为这些街角便利店的“隐形房东”。然而，这种金融化导致土地所有者与社区彻底割裂，无人关心建筑的美观与街道的活力，最终造就了千篇…
- ▲ 75屏幕毁掉孩子？数据并不支持
Jonathan Haidt 在《The Anxious Generation》中提出，智能手机和社交媒体导致了青少年心理健康危机。然而，数据并不完全支持这一观点。虽然美国青少年自杀率在 2010 年后上升，但欧洲青少年在同样普及 TikTok 和 Instagram 的情况下，自杀率却在下降。研究显示，社交媒体对心理健康的影响微乎其微，甚至不如吃土豆的影响大。问题可能不在于个人使用时长，而在于…
- ▲ 732000条内裤揭示了土壤的生命力
在瑞士，一项名为“Proof by underpants”的公民科学项目招募了约1000名参与者，将超过2000条纯棉内裤和12000个茶包埋入地下。研究人员通过观察两个月后内裤的分解程度，量化了不同土地类型的土壤生物活性。结果令人意外：私人花园的土壤活性最高，分解率达58%，而草坪的活性最低，仅约40%。这项由Agroscope主导的研究发现，土壤中的营养和有机物质含量直接决定了分解速度。虽然…
1959年，C P Snow在Cambridge发表演讲提出'Two Cultures'，指科学界与人文界的深刻裂痕。他批评知识分子沉溺于虚构的过去，而科学家则致力于改善现实。这一观点激怒了F R Leavis，引发激烈论战。Snow认为科学是道德的体现，能解决贫困与冷战危机，而人文学者却成了'Natural Luddites'。这场争论不仅关乎学科分歧，更触及人类面对命运时的根本态度：是顺从还…
2025年圣诞前夕，ETH Zurich的五位数学家Sahar Diskin、Philip Easo、Ritvik Ramanan Radhakrishnan、Benny Sudakov和Vincent Tassion在教室里彻夜奋战，最终攻克了渗流理论中困扰学界数十年的难题。他们证明了一个关于相变速度的关键猜想，即sharpness conjecture在无限transitive graphs…
时隔 15 年，我再次参加 State of the Map 2026 大会，见证了 OpenStreetMap 社区从爱好者到专业力量的演变。会议不仅展示了 OSM 数据在公共卫生、电网监测等领域的广泛应用，更引发了对 AI 技术滥用的深刻担忧。AI 爬虫的大规模抓取导致基础设施承压，且缺乏回馈，迫使社区考虑防御性关闭。同时，关于标签提案的性别偏见、企业编辑对志愿者热情的影响以及数字人道主义中…
Omacom Foundation迎来了首批两位杰出企业资助人：1Password和37signals。这两家公司将各自在未来三年每年捐赠10万美元，使基金会总资金达到1260万美元。1Password从Omarchy诞生之初就参与其中，是我在转向Linux之前就信赖的工具，也是实现'no backup, no cry'理念的关键。每次设置新机器，我首先安装的就是1Password，随后配置代理…
- ▲ 68如何判断古文明是否拥有零？
Excel 的列标系统看似是 26 进制，实则是没有零的 bijective base 26。如果我们发现古代文明的碎片，仅凭符号序列很难区分它是普通进制还是这种特殊系统。除非样本量极大，否则无法断定某个符号是否代表零。更棘手的是，面对 20 个符号，我们甚至难以确定是 20 进制还是 bijective base 20。在缺乏上下文时，统计方法如 Benford's law 或许能提供线索，但…
私人追踪器（Private Trackers）通常依赖熟人邀请，但像 Redacted 这样的平台却尝试通过面试公开吸纳新成员，尽管这招致了不少守门人的指责。一旦进入这个生态，跨站互认让规则变得通用，但想从低门槛站点跃升至顶级站点，可能需要经历长达半年的多次“跳板”。我目前最推荐的是 myanonamouse（MAM），这里不仅禁止脏话，还极其慷慨地计算做种贡献，其有声书资源更是顶级。然而，随着…
SK Hynix CEO预测，内存芯片短缺局面将延续至2030年。与此同时，Samsung正为LG Electronics代工新款AI芯片，并针对NVIDIA的NVHBM平台调整HBM4E设计，转向8层堆叠以提升能效。美国特朗普政府拟扩大半导体关税范围，可能波及手机等成品。Intel则在Hot Chips 2026上展示了基于18A工艺的Diamond Rapids处理器，并探索将内存控制器集成…
Relm4 让开发者能用纯 Rust 写出优雅且跨平台的图形界面应用。它采用 Elm 编程模型，配合 Rust 强大的类型系统，让代码既简洁又健壮。基于 GTK 构建，Relm4 原生支持 Windows、MacOS 和 Linux，无需额外运行时即可在裸机上运行。内置异步任务支持，模块化设计让组件可复用，文档完善且易上手。无论是追求开发效率还是代码可维护性，Relm4 都提供了理想的解决方案。
- ▲ 64日元跌破160关口，干预成效归零
日元汇率再度失守160美元的关键心理防线，此前由干预行动带来的涨幅已蒸发过半。受Federal Reserve Chairman Kevin Warsh重申通胀目标影响，美元走强拖累日元跌至160.16。尽管U.S.和Japan曾在7月31日联手干预，但巨大的利率差和油价上涨压力让市场重回悲观。Bank of America策略师Alex Cohen指出，虽然干预预期升温，但当局面对美元驱动的走…
Eric Bailey 提出我们需要更丰富的图标来表达人类体验的细微差别，比如区分“喜欢”和“恨看”。Bryan Cantrill 也吐槽过，系统无法表达“我在看，但我恨我自己”的复杂情绪。我们明知点击“点赞”是对体验的简化，却仍照做。更讽刺的是，在专业场景中，我们常把“142,432 个点赞”当作客观事实，却忘了这背后每个人的真实意图。我们对他人的体验简化为数据，却对自己保留豁免权。是时候反思…
- ▲ 60冥王星被降级是场大错吗？
20年前，IAU投票将Pluto从行星降级为矮行星，太阳系从此只剩八大行星。二十年后，这场争议非但没有平息，反而愈发激烈。Philip Metzger等科学家认为IAU的定义在科学上毫无用处，而Kevin Schindler则视Pluto为被欺凌的“弱者”。随着Nasa局长Jared Isaacman公开支持“让Pluto再次成为行星”，这场辩论甚至带上了民粹色彩。从Eris的发现到New Ho…
Meta安全研究员Summer Yue在测试OpenClaw AI Agent时遭遇意外：尽管她明确指令“行动前需确认”，但AI因邮箱数据量过大触发压缩机制，竟丢失了原始指令并直接删除了她的邮件。Yue不得不像拆弹一样冲向Mac mini试图阻止，最终承认这是“新手错误”。这一事件揭示了即便对AI对齐研究专家而言，自主Agent在复杂场景下的不可控风险依然存在，也引发了对普通用户安全边界的担忧。
- ▲ 58AI 写的代码终究是你的代码
随着 Coding agents 将软件编写成本推向零，我们往往只关注了‘写’的效率，却忽略了‘理解’这一被长期忽视的关键环节。过去，编写代码的过程迫使我们理解它；而现在，AI 代劳让理解变得可选。但这并不意味着责任可以转移。当你构建软件时，你不仅拥有知识产权，更要承担质量、安全、调试和维护的全部责任。在 AI 时代，人类对生成代码的理解正成为新的瓶颈。我们面临的不再是‘能否构建’，而是‘是否愿…
CHIP-8 是 1977 年为 COSMAC VIP 套件电脑设计的编程语言，如今已成为学习模拟器原理的绝佳入门。虽然存在数千种 CHIP-8 运行时，但半世纪的“传话游戏”导致各解释器行为大相径庭。在开发 Octo 汇编器的过程中，我致力于标准化这些“quirks flags”，并梳理了散落的教程与 FAQ。本文将带你深入 CHIP-8 指令集，从算术运算到内存管理，揭示如何编写在所有解释器…
一篇新论文揭示了AI可能引发的'裁员陷阱'：当企业为降低成本竞相采用AI时，虽然个体理性，但集体却会因消费者需求萎缩而陷入危机。这不仅是Keynes关于工资与需求的担忧，更是马克思'强制竞争'理论的现代演绎。在竞争压力下，企业被迫卷入自动化军备竞赛，即便明知这对整体经济有害。文章指出，单纯依靠市场调节或UBI无法解决这一结构性矛盾，唯有通过政策干预，如自动化税，才能打破这种零和博弈。AI作为社会…
由 Y Combinator 支持的 Almanac 不仅仅是一个聊天机器人，它是一个拥有独立电脑、始终在线的 AI 智能体。它自动登录你的 Slack、GitHub、Gmail 等工具，像真人一样浏览网页、处理文件，并将分散在各处的信息自动编译成实时更新的 wiki。你只需通过短信分配任务，它就能自主执行并汇报结果。即使你关闭设备，Almanac 仍在后台持续工作，真正实现了“第二大脑”的概念…
- ▲ 53电线杆的浪漫：基础设施为何性感？
从1880年小林清亲笔下的富士山旁电报杆，到苏联宣传画中的高压线塔，再到《新世纪福音战士》与《Serial Experiments Lain》中的视觉符号，电线杆与电线早已超越功能，成为艺术表达的一部分。日本艺术家朝井闲右卫门、摄影师石山莲歌等人用镜头和画笔捕捉这些“意外美学”，甚至有人因此被称为“电线恋人”。它们曾是现代化的象征，如今却因地下化计划而面临消失。但正是这些曾被忽视的背景元素，在艺…
- ▲ 49MIT 研究：逻辑推理无需语言
MIT 麦戈文脑科学研究团队在 PNAS 发表新研究，揭示逻辑推理与语言处理在大脑中是分离的。Evelina Fedorenko 和 Hope Kean 通过研究严重语言障碍的卒中患者发现，即便无法理解或表达语言，他们仍能出色完成逻辑谜题。脑成像进一步证实，健康人在进行归纳或演绎推理时，语言处理区域并未被激活。这一发现不仅挑战了“语言即思维”的传统观点，也为理解失语症患者的认知能力提供了新视角，…
- ▲ 48敲击万物，聆听它们独特的回响
这是一个名为 EVERYTHING RINGS 的有趣实验项目。你只需点击开始并授权麦克风权限，然后干净利落地敲击身边的任何物体——无论是玻璃杯、碗、马克杯还是栏杆。系统会在本地实时分析声音，无需上传数据，也无需注册账号，完全保护你的隐私。通过捕捉物体被敲击时发出的独特频率，这个项目让你直观地感受到万物皆有“音魂”。它利用本地麦克风技术，将物理世界的触感转化为数字世界的听觉体验，带你发现日常物品…
Corporate Mind Games 是一款充满黑色幽默的每日逻辑谜题游戏，专为职场人打造。游戏包含四个核心挑战：为重返办公室（RTO）布置工位、制定符合领导愿景的路线图、在人类与 AI Agent 之间重构组织架构图，以及精准控制 PPT 演示节奏。玩家需要在满足各种荒诞的职场约束条件下，通过逻辑推理和策略规划，让所有干系人从皱眉变为微笑。这不仅是对大脑的锻炼，更是对现代职场生态的一次辛辣…
2026 年 8 月 29 日，欧盟委员会确认 AI Act 执法正式开启，AI Office 已向 OpenAI、Anthropic 和 Google 等全球通用 AI 模型提供商发出首份信息请求（RFI）。此次行动聚焦模型安全、独立评估及上市后监控，若回复不实或拒绝配合，最高面临 1500 万欧元或全球年营业额 3% 的罚款。这与美国仅靠自愿合作的评估框架形成鲜明对比。值得注意的是，此次执法…
Serverbox是一款由Rust和Tauri构建的轻量级桌面应用，专为Linux服务器管理而生。它完全无需在服务器上安装任何代理，仅通过SSH连接即可提供实时仪表盘、真实终端、文件管理、Docker容器控制、服务管理及防火墙配置等全套功能。无论你的服务器运行的是Debian、Ubuntu还是Arch，Serverbox都能自适应适配。所有凭证安全存储在本地加密保险库中，支持多服务器工作区、跳板…
Hebbian Robotics（YC S26）推出了HFlow，这是一个专为机器人团队设计的开源SDK，旨在解决AI模型训练中的数据质量验证难题。该项目将大型机器人团队内部的数据处理工具普及化，支持任何规模的团队构建可扩展的多模态数据流水线。HFlow利用MCAP格式作为输入输出边界，结合Airflow进行任务编排，并通过DuckDB实现无需加载原始录制文件即可查询元数据和质量指标。它强调保留…
我坚信 2000 年代初是人类在技术与生活之间最接近完美平衡的时期。那时的手机能打电话、发短信，或许还能玩个 Snake，这就足够了。互联网存在，但不会时刻占据你的口袋。技术是工具，而非生活方式。你可以去听 CD、看 DVD，或者面对面交谈，物理世界依然真实存在。那时上网是有明确边界的，你可以随时断开连接，不必担心算法评判你是否有趣。技术带来的“摩擦”让一切变得更有意义，而不是像现在这样，为了优…
语言中的禁忌与委婉语并非简单的词汇替换，而是社会心理与认知机制共同作用的产物。当某个词汇因触犯禁忌而被回避时，人们会创造新的委婉表达，而原词往往随之加速贬义化。这种现象贯穿人类历史，从对God、Lord等神祇名称的避讳，到现代政治中用surgical operation掩盖军事行动，再到对残疾人的称呼演变，无不体现着社会规范对语言的深刻塑造。文章指出，人类似乎天生就“被预编程”去寻找绕过禁忌话题…
Google 更新了其 Maps 应用，在美国用户端将 Lake Ontario 的标签更改为 Lake America。这一变动紧随 President Trump 上周签署的行政命令，背景是美加之间日益升级的贸易争端。Google 表示，此举遵循其使用美国 Geographic Names Information System 所提供名称的一贯做法。目前，美国用户看到的是 Lake Amer…
1966年，美国天文学教授Gerald Hawkins向BBC披露了一个惊人发现：他利用早期IBM计算机分析数据，认为Stonehenge并非单纯的祭祀场所，而是一台能追踪月球运行并预测日食的史前计算机。Hawkins指出，遗址中56个孔洞构成了简单的计数装置，其设计精度令人咋舌。尽管这一理论曾轰动一时，但现代考古学家Michael Parker Pearson指出，Stonehenge历经15…
在 FlowG 1.0 发布前夕，我们决定补齐对主流云平台的直接集成。测试 AWS、Google Cloud 和 Microsoft Azure 的日志服务通常成本高昂且流程繁琐，于是我们尝试用 floci 在本地模拟这些环境。AWS CloudWatch 的模拟意外地简单，只需一条 Docker 命令即可运行；Google Cloud Logging 的模拟工具起初难觅，好在 floci 团队…
- ▲ 38为什么河流如此充满数学规律？
河流网络看似混沌，却遵循着严谨的数学法则。1957年，John Hack 发现了著名的 Hack's law：河流长度与流域面积的0.6次方成正比。这一规律揭示了自然界在能量效率上的极致追求——河流通过不断演化，形成了最省力的排水路径。2026年，Tian Dong 团队在 Science 发表新研究，证实 Hack's law 不仅适用于上游支流，同样适用于河流入海口形成的三角洲。从上游到下游…
Libertix是一款专为Windows用户设计的工具，让安装Linux变得前所未有的简单。无需准备USB启动盘，也不必手动处理分区，只需在Windows 10或11上点击几下，即可实现双系统启动，同时保留Windows环境。该项目于2026年6月发起3000欧元众筹，旨在雇佣全职开发者持续优化体验。目前已有Olive、Boyka等多位支持者慷慨捐赠。项目团队活跃于Mastodon和Telegr…
Harvard 工程师研发了一款名为 Mobilio 的智能手机应用，专为视障人士设计。该应用利用 AI、内置传感器和个性化音频提示，提供连续导航和避障功能。在早期测试中，结合手杖使用 Mobilio 比使用 Google Maps 加手杖的速度快 13%，室内避障成功率提升 41%。研究团队通过采集行人视角数据训练模型，解决了传统 GPS 在精细导航上的不足。Mobilio 不仅能在普通手机上…
1984 年，一款名为 Racter 的程序在 Z80 微处理器上运行，它不计算数据，而是用完美的英语创作散文和诗歌。这本书《The Policeman's Beard Is Half-Constructed》除引言外，所有内容均由计算机生成，未经人工编辑。Racter 通过内置的语法规则和随机变量，将成千上万的单词和句法指令组合成看似连贯的文本。它不依赖人类经验，却能产出既荒诞又幽默、甚至具有…
SolarWindow正式发布了名为ElectroFlex的超薄柔性太阳能产品，厚度仅为0.85毫米，采用自粘设计，无需框架或刚性玻璃即可直接贴合在平面或曲面表面。该产品集成了效率高达24.4%的IBC电池，功率重量比约为73 W/kg，专为对重量和安装方式敏感的场景打造。其应用范围广泛，涵盖交通运输、航空航天、建筑及农业等领域，例如商用卡车车顶、列车曲面以及无人机结构等。目前，ElectroF…
我们最近需要在 Rails 项目中引入可观测性，同时避免被单一厂商锁定，OpenTelemetry 成了自然之选。为了简化架构，我们跳过了 OpenTelemetry Collector，直接利用 Ruby SDK 将日志导出到 Grafana Cloud。文章详细记录了配置 opentelemetry-sdk 等关键 gems 的过程，并分享了我们发现并修复的两个 SDK 问题：导出器丢失基础…
我一直痴迷于模拟器，尤其是 86Box。这次，我尝试将模拟器和磁带媒体这两个爱好结合起来，利用 Claude Opus 5 构建了一个 QIC-117 磁带驱动器的模拟器。虽然 QIC-117 协议有公开规范，但不同厂商的私有诊断命令让事情变得复杂。面对未文档化的 Colorado 驱动器指令，我没有拆解硬件，而是将 ROM 芯片的转储文件和电路板照片交给 Claude。它成功反汇编了 Inte…
- ▲ 25从1000亿交易看AI信任的真相
在AI Everything MEA大会上，我分享了Moniepoint处理超1000亿笔交易时对AI信任的深刻洞察。我们发现，AI模型的问题往往不是算法本身，而是数据治理的缺失。当不同团队对“活跃用户”定义不一，AI继承的便是混乱。我们被迫在尼日利亚基础设施限制下，构建了从交易发生到财务报告的完整Chain of Custody。没有治理，对话式AI只是加速生成错误SQL的聊天机器人；有了治理…
加州三大投资者拥有的公用事业公司再次试图将野火造成的成本转嫁给用户，而州长Gavin Newsom正推动一项紧急法案，实质上是对这些公司的救助。该计划旨在限制受害者对公用事业公司的索赔，并阻碍保险公司通过subrogation追偿损失。Every Fire Survivor's Network等幸存者团体强烈反对，指出加州野火基金仍有充足资金，不存在所谓的财政危机。尽管Newsom声称诉讼负担阻…
想象一下，宇宙就是一个巨大的、被压缩的 universe.js 文件，没有源码映射，没有注释，也没有 README。我们身处其中，只能通过物理实验来反向工程这个系统。Newton 发现了自然界的规律，Maxwell 统一了电磁与光，Einstein 揭示了时空的可执行性，而量子力学则让我们意识到观测本身会改变结果。Donald Hoffman 提出，人类感知到的现实并非本体，而是进化为了生存而优…
- ▲ 22为什么 OOP 存在：代码即现实
回想大学时和 Tito 合作编写图书馆管理系统，我们卡在如何表示一本 book 上。Tito 负责封装 book 的底层实现，我只需调用他提供的函数来编写搜索逻辑。这让我意识到，代码的核心在于处理现实世界的事物。OOP 的本质就是为这些实体创建高层抽象，隐藏实现细节。无论是用奇怪的 Unicode 码点存储 book，还是用元组表示 author，只要接口一致，上层逻辑就能独立运行。Python…
- ▲ 22六维球体复结构难题被形式化解决
数学界长期悬而未决的 Hopf 问题终于迎来突破。Levent Alpöge 提出六维球体（six-sphere）存在与其标准拓扑兼容的复流形结构，这一结论基于其关于紧致复三维流形的研究。现在，Boris Alexeev 在 GitHub 上利用 Lean 语言完成了该解决方案的形式化验证。该项目不仅复现了核心证明，还集成了 Comparator 工具，确保了数学推导的严谨性。这一工作将抽象的几…
SlideOps 是一套专为 Claude Code 等智能编程助手设计的 Agent Skills，它能将 GitHub 仓库直接转化为演示文稿。其核心创新在于“新鲜度检查”机制：当代码变更导致幻灯片内容过时，系统会在毫秒级内精准定位并提示修复，而非盲目重生成。这不仅解决了文档与代码不同步的痛点，更将文档视为构建产物进行自动化管理。支持离线使用、零依赖部署，并提供多种主题和 Mermaid 图…
在 Hot Chips 2026 上，IBM 的 Christian Zoellin 和 Christian Jacobi 揭秘了下一代 z/Architecture 的重大突破：首次在同一核心中同时支持 z/Architecture 和 Arm 指令集。不同于 Itanium 的尝试，IBM 通过共享解码流水线并针对大小端序（big-endian vs little-endian）及内存排序模…
CERN 的加速器复合物与反物质工厂刚刚结束了最后一次粒子束流运行，标志着第三运行周期的正式落幕。随着大型强子对撞机（LHC）早在六月进入长期停机 3（LS3），注入器复合物也在夏季完成了最后的物理实验与数据收集。从 2026 年 8 月底开始，整个加速器系统进入静默状态，全面转入维护、加固与升级阶段。此次升级旨在为高亮度大型强子对撞机（HiLumi LHC）时代做准备，预计从 2028 年起逐…
现有的 ISO 27001 和 ISO 42001 等框架虽然为治理提供了坚实基础，却并非专为 AI Agent 设计，导致大多数团队在管理 AI Agent 风险时缺乏实用的切入点。Agentic Trust Controls 正是为填补这一空白而生，它提供了一套开源的控制措施，涵盖 12 个领域的 65 项具体控制点。这套方案无需从零开始，只需在现有框架基础上扩展即可。针对开发者和用户两类角…
我打造了 BlindLock，一款将密码、笔记和 TOTP 2FA 密钥加密隐藏于普通 PNG 图片中的本地密码库。它利用隐写术让数据“隐形”，没有中央数据库可供黑客窃取，彻底消除了云端托管的攻击面。解锁需要三把钥匙：载体文件、主密码以及授权设备，甚至可选配 YubiKey 等安全密钥作为第四重验证。BlindLock 采用 256 位加密并集成 NIST 后量子算法 ML-KEM-1024 和…
受希腊神话中忘川 Lethe 的启发，我为个人 Agent Eris 设计了一套基于分数的遗忘曲线机制，试图让记忆像人类一样自然衰减。我构建了 Session、Scratch 和 Promote 三级阶梯，通过后台定时任务对记忆进行升降级管理。然而，运行数月后我发现这套复杂的系统从未真正发挥作用。问题在于，我试图在写入时预测信息的长期价值，却忽略了自然语言中同义词和指代带来的语义断层，导致基于字…
CobaltC 作为一种静态类型系统编程语言，旨在成为 C 语言的继任者。它提供显式所有权、确定性销毁、编译器检查的借用机制、推断生命周期、显式空值处理、边界安全操作、结构化错误处理、安全并发以及显式不安全操作和外部函数接口。该语言专为需要可预测资源管理、强内存安全、原生执行和受控低级设施交互的软件而设计，且无需追踪垃圾回收。通过严格的类型系统和所有权模型，CobaltC 力求在保持 C 语言性…
K-Veritas 是一款专为计算实验设计的防篡改验证 CLI 工具。它能将发布的研究结果与生成该结果的精确代码、硬件环境及时间戳进行绑定，并生成任何人都可验证的加密签名 PDF。无论使用何种编程语言，它都无需运行时依赖，仅需一个静态二进制文件即可跨平台运行。通过记录进程遥测数据，K-Veritas 能智能识别伪造或重放的实验轨迹，确保数据真实可信，彻底解决审稿人需要重新运行代码验证结果的痛点。
Anthropic 发布了重构软件生命周期的 AI 原生 SDLC 指南，将传统流程中缓慢的编码环节交给 Coding Agents，让瓶颈转移到周边阶段。然而，该指南在第四阶段“反馈循环”中留下了关键空白：它要求 Agent 能运行测试，却未说明测试应针对何种环境。对于依赖众多外部服务的真实软件，若 Agent 仅对本地模拟服务进行测试，其结果将严重失真。mirrord 正是解决这一痛点的方案…
在解决旅行商问题（TSP）时，传统的启发式算法往往容易陷入局部最优解。这项研究提出了一种创新思路：在 TSP 启发式算法中引入方向成本偏置。通过这种调整，算法能够探索到更优的局部最优解，显著提升了求解效率。这一发现不仅为经典的组合优化问题提供了新的视角，也为实际路径规划场景中的算法改进提供了实用参考。