HN Digest 2026-10-03 · Aleph Alpha 发布主权模型 Kolibri
- Aleph Alpha 发布主权模型 Kolibri — ▲ 480 · 💬 293 · 🔗 aleph-alpha.com
Aleph Alpha 在德国统一日发布了全新主权开源权重模型 Kolibri。这款模型拥有 780 亿总参数，其中 30 亿为活跃参数，支持长达 100 万 token 的上下文窗口，并基于 Apache 2.0 协议开源。Kolibri 专为德国公共行政、工业及航空航天等受监管领域设计，在数学推理、代码生成及长上下文任务中表现卓越，甚至能匹敌参数规模数倍的 Nemotron 3 Super。其核心优势在于通过 Merlin-Arthur 协议确保回答有据可依，并完全在欧盟法律框架下训练，确保数据主权与供应链透明，让企业能在本地高效部署，无需依赖第三方服务。 - AI 成违禁词？超级智能的讽刺广告 — ▲ 477 · 💬 119 · 🔗 extrabigassintelligence.com
这篇充满黑色幽默的讽刺文章虚构了一个名为 Extra Big Ass Intelligence 的联邦强制超级智能项目。在这个荒诞的世界里，"AI"一词已被法令禁止，取而代之的是所谓的"Pure Unleaded Super Intelligence"。文章通过模仿虚假广告的形式，嘲讽了技术炒作、政府过度干预以及消费主义，其中甚至出现了"Brawndo"电解质饮料和"Wendy's Dynamic Menu"等经典梗。从"零拒绝向量"的本地模型到"补贴多巴胺注射"，作者用夸张的笔触描绘了一幅科技与人性扭曲的未来图景，让人在捧腹大笑的同时反思现实中的技术狂热。 - Newgrounds：游戏音乐艺术的创意社区 — ▲ 433 · 💬 129 · 🔗 newgrounds.com
Newgrounds 是一个汇聚游戏、音乐、艺术和动画的创意社区，用户可以在这里分享作品、参与挑战并与其他创作者互动。从经典游戏如 FRIDAY NIGHT FUNKIN' 到最新动画系列，平台持续激发全球创作者的灵感。无论是参与 Spooky Month 活动，还是探索传奇游戏，Newgrounds 都为独立创作者提供了展示才华的舞台。 - Kolibri: 德国主权开源大语言模型 — ▲ 409 · 💬 11 · 🔗 tej.as
Kolibri 是 Aleph Alpha 推出的德国主权开源大语言模型，专为德语和英语设计。它采用 780 亿参数的专家混合架构，但每 token 仅激活约 35 亿参数，兼顾性能与效率。模型在德国和芬兰基础设施上从头训练，完全符合 EU AI Act，支持私有化部署，确保数据不出域。其独特的 UniBPE 分词器大幅优化德语长词处理，原生支持百万级上下文，并在德语推理和防幻觉能力上表现卓越。 - 12年序列：4颗系外行星环绕恒星公转 — ▲ 389 · 💬 79 · 🔗 bsky.app
Paul Byrne 在 Bluesky 上分享了一组令人震撼的真实望远镜图像序列。这些图像记录了133光年外一颗恒星及其周围四颗行星长达12年的运动轨迹。这四颗系外行星质量均超过 Jupiter，在图像中可以清晰地看到它们缓慢地绕着宿主恒星公转。这一罕见的观测数据不仅展示了天文学技术的进步，更让我们直观地感受到宇宙中其他行星系统的真实存在与动态变化。 - macOS 全盘访问权限迎来重大收紧 — ▲ 287 · 💬 203 · 🔗 developer.apple.com
Apple 宣布将大幅收紧 macOS 中的 Full Disk Access 权限机制。过去，这一权限常被备份应用使用，但部分开发者却利用其绕过安全控制，在用户不知情的情况下读取邮件、消息甚至浏览历史，严重威胁隐私安全。随着 AI agents 日益强大且具备自主行动能力，此类高风险权限的滥用后果将愈发严重。未来，Apple 将引入更严格的控制措施，确保只有经过用户非常明确的主动操作，应用才能获得这种极高等级的访问权限，让用户在充分知情的前提下做出决定。 - Hole Punch：用黑洞引力操控飞船 — ▲ 208 · 💬 54 · 🔗 notoriousbfg.com
这是一款名为 Hole Punch 的太空解谜游戏，玩法独特且充满物理趣味。玩家无法直接操控飞船，只能通过生成黑洞来利用其引力弯曲飞船的飞行轨迹。操作方式简单直观：长按空白区域生成黑洞，点击黑洞可增大其质量，拖拽则能移动位置。目标是在消耗最少物质和黑洞数量的前提下，引导飞船避开岩石与行星，最终成功对接空间站。随着关卡推进，还会引入琥珀信标、禁建区域以及无燃料飞船等新挑战。若遇到瓶颈，系统甚至能自动演示解法，但不会计入分数。 - Harvard 方法证明 Costco 致癌？ — ▲ 203 · 💬 75 · 🔗 breakthroughjournal.org
Harvard 的研究声称核电站导致周边癌症高发，但当我们用同样的方法测试 Costco、私立大学甚至 MLB 球场时，结果却显示这些地点“导致”了更多癌症死亡。这并非因为 Costco 真的致癌，而是该研究的方法论存在严重缺陷：它混淆了“接近”与“暴露”，将地理距离直接等同于辐射剂量。通过复现分析，我们发现无论选择何种地标，该方法都能得出“致癌”结论，甚至能解释掉全美一半的癌症死亡。这种缺乏因果机制、仅靠统计关联的“生态研究”，正在用精密的数学制造荒谬的结论，提醒我们警惕那些看似科学却经不起推敲的数据叙事。 - ADHD、自闭症还是复杂创伤？ — ▲ 201 · 💬 211 · 🔗 cambridge.org
越来越多的成年人开始质疑自己是否患有 ADHD 或高功能自闭症，但这一诊断热潮背后隐藏着复杂创伤的阴影。作者指出，童年创伤会导致执行功能受损，其症状与神经多样性高度重叠，极易造成误诊。若将创伤引发的执行功能障碍误判为 ADHD 而使用兴奋剂，反而可能加剧 PTSD 症状。真正的解决之道在于采用以人为中心的创伤知情视角，区分先天特质与后天创伤，通过更具结构化的治疗帮助患者重建生活掌控感，而非仅仅贴上标签。 - 让 tmux 成为操作系统 — ▲ 187 · 💬 115 · 🔗 matduggan.com
受 Scott Jenson 演讲启发，我反思了桌面操作系统在窗口管理上的停滞。Apple 和 Microsoft 虽在尝试，但过于保守，导致我们仍在使用几十年前的硬件妥协方案。我提出一个构想：将 tmux 的会话持久化、可分离和任务导向特性，转化为普通用户也能轻松使用的操作系统体验。面对屏幕尺寸频繁变化、不同用户习惯差异以及浏览器作为“微型操作系统”的现状，现有的窗口管理器难以招架。文章探讨了从 Rooms 到 WindowScape 的历史尝试，并指出 Niri 等平铺窗口管理器虽解决了部分问题，但易用性仍是瓶颈。未来的操作系统或许应该像可无限滚动的 tmux 一样，让用户在无限空间中自由切换任务，同时完美解决公私窗口的切换难题。 - 联邦法官：Flock 是无差别大规模监控 — ▲ 187 · 💬 108 · 🔗 techcrunch.com
本周，一名联邦法官裁定，俄克拉荷马州塔尔萨的一名警长副手因在未获搜查令的情况下使用 Flock Safety 搜索某女子的车牌，侵犯了其第四修正案权利。法官 Sara Hill 指出，该副手仅因车辆悬挂加州车牌便进行搜查，缺乏合理依据。尽管随后在搜查中发现了毒品，但法官认为所有通过 Flock 搜索获取的证据均属于“毒树之果”，必须被排除。Sara Hill 进一步批评了无令状搜索 Flock 数据库的行为，称这种长期、被动地记录人们行踪的做法构成了“无差别的大规模监控”，即便是在公共场所。这一裁决虽非先例，但标志着联邦司法系统首次认定 Flock 搜索违宪。随着佛罗里达和得克萨斯等州政府宣布停用该技术，以及参议员 Bernie Sanders 提出《Block Flock Act》禁止联邦机构使用此类自动车牌识别系统，Flock 正面临来自政治光谱各方的强烈反对。公司 CEO Garretty Langley 呼吁在隐私与安全间寻求妥协，并已开始自愿裁员以缩减规模。 - Cloudflare发布OHTTP Gateway，隐私架构再升级 — ▲ 183 · 💬 86 · 🔗 blog.cloudflare.com
过去，用户为保护隐私不得不依赖VPN或广告拦截器，而开发者也常因暴露用户IP等数据而陷入隐私困境。Cloudflare今日推出OHTTP Gateway，将OHTTP隐私架构的部署门槛大幅降低。该服务作为IETF标准OHTTP的关键组件，与OHTTP Relay配合，实现了客户端标识与请求内容的彻底分离。对于已将服务器部署在Cloudflare CDN或Workers上的开发者，OHTTP Gateway提供了完美的托管方案，无需自行搭建网关即可享受低延迟、高安全的隐私保护。这不仅解决了自建网关的性能与运维难题，更让隐私保护成为默认选项而非额外负担。 - Kagi 停止开发 Orion 的 Linux 和 Windows 版 — ▲ 176 · 💬 103 · 🔗 blog.kagi.com
我们有一个重要更新：Kagi 将停止 Orion 在 Linux 和 Windows 平台上的直接开发，并将这两个版本的代码完全开源，交由社区继续维护。作为一个由少数开发者组成、完全由用户资助的小团队，我们选择了一条艰难的道路：不 fork Chromium，坚持独立构建。为了将精力集中在 Orion for macOS 和 iOS 的优化上，我们决定不再跨平台分散资源。Linux 的 Beta 版将在 2026 年 10 月 2 日后停止更新，而原计划于 2026 年底发布的 Windows 版将不再由 Kagi 推出，代码将开放给社区。我们感谢所有测试者和反馈者，是你们的信任让 Orion 变得值得分享。 - Opus 5.5 新用法：定义终点，放手让它跑 — ▲ 146 · 💬 103 · 🔗 claude.dev
Opus 5.5 在 Claude 和 Claude Code 中的表现已大不相同，它能在无人干预下长时间自主工作，并在每次回复前自动思考。使用它的核心在于：一次性给出完整任务并明确“完成”的标准，而不是反复提示它“仔细思考”。在 Claude Code 中，你可以通过 CLAUDE.md 设定何时暂停询问，利用 subagents 并行处理大型代码库审计，或将任务清单保存在文件中以防上下文溢出。此外，Opus 5.5 在解读图表、检查长文档矛盾以及生成可直接分享的表格方面表现更佳。关键在于信任模型，明确边界，然后让它去执行。 - 埃塞俄比亚战火重燃：精英为何执意选战？ — ▲ 144 · 💬 155 · 🔗 africanistperspective.com
埃塞俄比亚北部战火于9月23日全面爆发，TPLF与Amhara Fano民兵联合向联邦政府发起进攻，Pretoria Agreement和平协议名存实亡。作者指出，Abiy Ahmed政府虽存在威权倾向，但冲突根源在于深层的结构性问题：Ethno-federalism制度放大了族群差异，导致精英阶层将历史 grievances武器化，宁愿发动战争也不愿接受政治失败。外部势力如Egypt、Eritrea、Sudan和Saudi Arabia的地缘博弈进一步推高了冲突成本。文章强调，单纯更换领导人无法解决困境，唯有直面“何为埃塞俄比亚人”的身份认同危机，打破族群联邦制的恶性循环，才能避免这场已造成数十万人死亡的悲剧持续蔓延。 - FTL：将操作系统变成库的云原生新方案 — ▲ 144 · 💬 58 · 🔗 ftl-os.org
FTL 提出了一种颠覆性的思路：将操作系统设计为库，让开发者像编写应用一样灵活构建、调试和升级 OS。它通过轻量级的硬件隔离技术，在用户态实现类似 Hypervisor 的容器隔离，既保留了微内核的安全与灵活，又兼顾了单体内核的性能与简单。FTL 完全兼容 Linux 二进制文件，无需裸机即可运行，甚至支持 Unikernel 类应用。这意味着你可以在不修改内核代码的情况下，快速扩展 Linux 功能、应用安全补丁或添加新特性。从 2026 年 9 月发布首个版本开始，FTL 正逐步支持文件系统、Node.js、Go 以及 64 位 Arm 架构，旨在让轻量级容器拥有虚拟机级别的安全性，同时释放应用层面的全新能力。 - ICE将抗议者照片存入Palantir数据库 — ▲ 142 · 💬 38 · 🔗 wired.com
新解封的法庭文件揭露，美国国土安全部（DHS）特工不仅跟踪恐吓在缅因州观察ICE行动的抗议者，还将他们的照片、车牌号等个人信息录入由Palantir构建的Investigative Case Management数据库。文件指控特工J.C.将观察者标记为“执法威胁”，甚至通过电话警告其可能被列入国内恐怖主义监控名单。尽管DHS方面否认存在针对公民的独立数据库，但原告指出这些行为已严重寒蝉效应，导致多名观察者被迫停止工作。该案件引发了对政府滥用Palantir技术监控第一修正案权利的深刻担忧。 - C++ Insights：用编译器的眼睛看代码 — ▲ 133 · 💬 27 · 🔗 github.com
C++ Insights 是一个基于 Clang 的工具，它能将你的 C++ 源代码转换为编译器内部视角的等价代码。通过它，你可以直观地看到编译器在幕后自动生成的特殊成员函数、隐式类型转换以及 lambda 表达式和范围 for 循环背后的实现逻辑。这不仅是调试利器，更是深入理解 C++ 语言机制的窗口，让那些原本隐藏在黑盒中的魔法变得清晰可见。 - Cities: Skylines 2 为何失去了灵魂 — ▲ 127 · 💬 122 · 🔗 radical-elements.com
尽管我对 Cities: Skylines 2 感到失望，但我仍像童年玩弄玩具车一样，无法控制地不断回归这款游戏。问题不在于模拟机制，而在于美学的缺失：游戏中的城市表面过于方正平整，缺乏真实世界的有机过渡；街道被“神经质地”过度清洁，失去了讲述故事的痕迹；楼梯等基础元素甚至缺失。真实的城市充满坑洼、涂鸦和废弃房屋，这些细节才是城市灵魂的体现。当一切都被算法完美化，那种凝视城市时感受到的惊喜与魔法便消失了。 - 母亲捐的肾，在他体内工作了48年 — ▲ 127 · 💬 37 · 🔗 whec.com
Ray Vetuskey 正在庆祝母亲捐给他的肾脏“100岁”生日。1978年，16岁的他因肾衰竭接受手术，母亲 Betty Vetuskey 毫不犹豫地捐出了自己的肾脏。如今，这颗移植了48年的肾脏仍在 Strong Hospital 的记录中保持最长存活纪录，远超通常15到20年的预期寿命。医生指出，母子间共享的DNA和深厚的情感纽带可能是奇迹的关键。尽管母亲已离世，但Ray通过命名一颗星星来纪念她，并每年仅需一次体检。他的故事不仅是个奇迹，更是对器官捐献者最温暖的致敬。 - Woking电气控制室：被遗忘的工业遗迹 — ▲ 121 · 💬 23 · 🔗 darbiansphotography.com
作为一名城市探险摄影师，我走进了Woking Electrical Control Room，这座废弃的电气控制室仿佛时间胶囊，封存了旧时代的工业记忆。从精美的门关闭机制到布满指示灯的控制墙，每一个细节都诉说着过去的辉煌。主桌前的复古电话、手摇发电装置以及那些如今已无人知晓符号含义的仪表盘，让人不禁感叹技术的变迁。尽管有其他探险者的干扰，我仍捕捉到了这个空间半边的独特光影。这里不仅是我童年旅程的见证，更是对工业文明消逝的一次深情回望。 - Aleph Alpha 发布Kolibri：欧洲主权AI新标杆 — ▲ 109 · 💬 5 · 🔗 aleph-alpha.com
Aleph Alpha 推出了Kolibri，一款专为欧洲主权部署设计的混合专家模型。该模型拥有781亿总参数，每token激活34.6亿参数，在英语和德语任务中均位于帕累托前沿。Kolibri 基于24万亿token训练，其中德语数据占比超20%，并经过120万内部任务的强化学习微调。从数据到架构，Aleph Alpha 全程掌控开发流程，确保模型在公共行政、工业和航空航天等受监管领域的安全与高效。 - 吊扇变“吊灯”：设计界的混乱新物种 — ▲ 108 · 💬 88 · 🔗 mcmansionhell.com
作为一名租房族，我在寻找吊扇灵感时，被商业吊扇设计的现状彻底震惊了。自疫情以来，在 Wayfair 和 Amazon 等平台的算法驱动下，吊扇这一传统建筑细节被彻底解构。塑料叶片、不可替换的 LED 灯组、以及名为“Fandeliers”的吊扇吊灯混合体层出不穷。这些产品往往短视地追求低价，却牺牲了长期耐用性。从隐藏在灯具中的微型风扇，到只有装饰作用的大叶片下藏着小风扇的“欺诈”设计，吊扇似乎正在经历一场语义危机。在这场设计中，功能让位于视觉奇观，整合让位于拼接，吊扇本身已不再是完整的思考，而成了一个可以随意附着的半成品。 - 我离开OpenAI：文化已彻底崩坏 — ▲ 107 · 💬 151 · 🔗 theatlantic.com
我本周正式从OpenAI辞职。曾负责撰写每次重大发布的安全报告，如今我加入了一波离职潮。我和许多前同事都认为，当前构建AI技术的公司远不够谨慎。问题不在于具体规则或新法律，而在于文化。硅谷缺乏处理危险技术所需的智慧，更缺乏真正关怀人类的智慧。OpenAI依靠“迭代部署”试错前行，这种文化默认乐观，认为问题出现时总能解决。然而，随着系统能力增强，失败的规模也在扩大。今年夏天，OpenAI意外释放了Agent群，随后又发生安全控制失效事件。Anthropic也因配置错误意外关闭了自身防护。这些错误并非孤例，而是行业高速运转下的常态。 - GS1 宣布：条形码时代即将终结 — ▲ 100 · 💬 143 · 🔗 thehustle.co
统治零售行业 50 年的条形码正面临淘汰。由于包装空间有限且传统条形码无法追踪产品溯源，GS1 正推动全球向 QR code 转型。这一变革源于 Masahiro Hara 在 Denso 的灵感，如今 Walmart、Costco 等巨头已开始部署新系统。虽然 GS1 的 Sunrise 2027 计划并非强制，但随着大型零售商更新基础设施，品牌若不及时跟进，可能面临无法上架的风险。这不仅是技术的更迭，更是整个购物基础设施的重写。 - Pop!_OS：全面禁止AI生成代码 — ▲ 94 · 💬 141 · 🔗 neowin.net
System76 宣布在 Pop!_OS 及其 Cosmic 桌面环境的代码库中禁止使用 AI 生成的代码。这一决定引发了 Hacker News 社区的热烈讨论，许多开发者表示 AI 生成的代码往往导致项目难以维护，甚至变成一团乱麻。尽管有人担心这会让 Pop!_OS 在安全攻防中处于劣势，但支持者认为，作为小众项目，他们有能力坚持“全人类编写”的高标准。然而，讽刺的是，Pop!_OS 依然依赖上游如 Linux 内核等接受 AI 输入的项目。这一政策也导致部分贡献者的 PR 被拒，引发关于开源协作与 AI 工具边界的深思。 - Cloudflare 邀你构建面向 Agent 的下一代 Git — ▲ 93 · 💬 84 · 🔗 blog.cloudflare.com
GitHub 是为人类开发者设计的，但未来的软件将由 Agent 构建。当数百个 Agent 同时修改同一代码库时，现有的分支和合并机制将面临巨大挑战。Cloudflare 推出了 Artifacts，这是一个支持数百万仓库的 Git 文件系统，旨在为 Agent 提供版本化存储和上下文管理。现在，Cloudflare 发起竞赛，邀请开发者利用 Workers 和 Artifacts 构建下一代 Git 平台。你需要重新思考仓库、分支、代码审查和冲突解决机制，以适应多 Agent 并发协作的新范式。获胜者将获邀参加 Cloudflare Connect 并获得高额积分奖励。 - Redditor 买二手 CPU 竟被 Valorant 封禁 — ▲ 81 · 💬 65 · 🔗 reddit.com
一位 Redditor 在二手市场淘到一颗 CPU，本以为捡了大便宜，结果发现这颗 CPU 因在 Valorant 游戏中作弊而被永久封禁。更糟糕的是，由于硬件绑定机制，买家无法解封，只能自认倒霉。这一事件揭示了游戏反作弊系统对硬件的严格管控，也提醒消费者在购买二手硬件时需格外谨慎，避免卷入他人的违规记录。 - Valve 让十年前的 AMD GPU 在 Linux 上重获新生 — ▲ 77 · 💬 9 · 🔗 phoronix.com
Valve 的 Timur Kristóf 在过去一年里，为 Linux 平台上的老旧 AMD 显卡带来了惊人的改进。他成功将十年前的 GCN 1.0/1.1 架构显卡从过时的 Radeon 驱动迁移至现代的 AMDGPU 内核驱动，不仅修复了显示代码缺陷和电源管理问题，还引入了软重置支持。这一努力让老显卡能够流畅运行 RADV Vulkan 驱动，性能提升显著，甚至在 AMD 官方资源投入有限的情况下，Valve 团队填补了空白，让老硬件在 2026 年依然能胜任 Linux 游戏任务。 - 揭秘 Nintendo 64 开发背后的 Partner-N64 — ▲ 74 · 💬 15 · 🔗 behindthecode.ca
这篇文章深入探讨了由 Kyoto Microcomputer 为 Nintendo 64 打造的 Partner-N64 开发套件。为了支持实时调试，该套件需要一台经过特殊改装的 N64 主机，通过添加 Tie-lines 将 IRQ 和 RESET 信号直接路由到 CPU，从而实现软件断点和系统重置功能。文章还详细解析了该套件与失败的 64DD 系统的配合机制，包括专用的 IPL ROM PAK 卡带、DCC 适配器板以及开发版与零售版 64DD 在硬件和磁盘上的细微差别。从 ISA/PCI 接口卡到内部 EEPROM 芯片，这些鲜为人知的硬件细节揭示了当年游戏开发背后的复杂工程。 - GitHub 新仪表盘正式成为默认视图 — ▲ 73 · 💬 89 · 🔗 github.blog
GitHub 此前处于预览阶段的新仪表盘体验现已全面默认上线。这次改版旨在帮助用户聚焦核心工作，让后续操作更直观高效。新界面将活跃的 agent 会话、issues 和 pull requests 整合在同一视图，支持自定义筛选，每列表最多展示 12 项内容。同时，独立的 Feed 标签页负责更新动态，确保生产力仪表盘不被信息流干扰。用户甚至可以直接在仪表盘启动任务，比如将 issue 分配给 Copilot coding agent，或在 Copilot Chat 中打开 pull request。如果你更习惯旧版界面，随时可以通过“Preview”下拉菜单切换回原体验。 - Offrun: 统一工作区管理所有编码代理 — ▲ 72 · 💬 59 · 🔗 offrun.dev
Offrun 让开发者能在一个工作区轻松管理所有 Coding Agent。它直接在本地运行你已有的 CLI 工具，无需新账号或 API 密钥，且绝不触碰密码。通过独占的 Git Worktree，多个代理可同时处理同一仓库而互不干扰。内置的 Peer Review 功能让第二个代理在你提交前自动审查代码差异。项目记忆以纯文本文件存储，确保多轮对话上下文不丢失。所有语音转录和数据处理均在本地完成，完全免费且无限制。 - Pi pod: 在私有服务器沙箱运行 pi 智能体 — ▲ 71 · 💬 28 · 🔗 pipod.dev
pi 是我心中简单优雅软件的典范，但原生环境在沙箱隔离、RBAC 会话共享及表面自动化等方面尚显不足。Pi pod 旨在填补这些空白，围绕 pi 构建一个极简而强大的智能体工程环境。它支持在隔离沙箱中无缝运行你的 pi，提供精心挑选的工具集，让你专注于核心工作。无论是个人开发者追求数据主权，还是企业希望将智能体环境部署在自有数据中心，Pi pod 的自托管版本都能满足需求。目前项目开源，欢迎在 GitHub 上查看并自行部署，未来还将推出托管服务。 - AI 复活受害者，杀人犯重判 — ▲ 70 · 💬 60 · 🔗 bbc.com
美国亚利桑那州一起路怒杀人案的判决被推翻，原因令人深思：法庭播放了一段由受害者家属利用 AI 生成的死者视频。Gabriel Paul Horcasitas 因枪杀 Christopher Pelkey 被判刑，但上诉法院认为，这段由受害者妹妹想象构建的 AI 视频并非真实记录，而是虚构的“思想表达”，其展示越过了司法公正的底线。尽管法官 Todd Lang 当时被视频中表达的宽恕所打动，但最终法律判定这种 AI 渲染的证词不可接受，案件将重新量刑。这一判决揭示了 AI 技术在司法程序中可能带来的伦理与法律风险。 - SEEDS: 内置RISC-V虚拟机的星际生态沙盒 — ▲ 68 · 💬 26 · 🔗 againstallodds.games
SEEDS是一款正在Early Access阶段的太空生存与创造游戏。玩家将在荒凉星球上扮演ROBO unit RB-23，通过收集资源、建造机器来改造地形，重建生态系统。游戏最独特的亮点在于内置了一台完整的64位RISC-V虚拟机，运行未修改的Linux内核和Alpine Linux发行版。玩家不仅可以在此研究科技、玩内置小游戏，还能用任意编程语言编写程序来自动化沙盒操作。未来还将推出包含30小时剧情的Story Mode和更具挑战的Survival Mode。 - Ozempic副作用：脱发只是开始，指甲也遭殃 — ▲ 66 · 💬 71 · 🔗 gizmodo.com
GLP-1类药物如Ozempic和Zepbound的副作用不仅限于脱发，最新研究还发现用户频繁报告指甲问题。欧洲科学家对数百名使用者进行分析，发现与未使用者相比，GLP-1用户出现脱发和指甲脱落的风险显著更高。尽管这些问题通常不致命，但患者和医生需提高警惕。研究作者Charles Taïeb建议，不要因这些症状自行停药，但应及时告知医生。目前研究尚未经过同行评审，且无法直接证明因果关系，但已揭示值得关注的关联。未来将开展前瞻性研究以进一步验证结论，并探索这些症状是否可逆。 - Big Balls：从犯罪记录到政府要员 — ▲ 66 · 💬 13 · 🔗 medium.com
Edward Coristine，网称 Big Balls，曾因涉嫌泄露商业机密被 Path Network 解雇，并为 EGodly 等网络犯罪团伙提供技术支持。如今，他却成为美国政府眼中的模范员工，先后任职于 DOGE、General Services Administration 及 Social Security Administration，甚至被指控参与将包含 3 亿美国人信息的 NUMIDENT 数据库非法复制到云端。随着司法部承认政府此前关于数据访问的宣誓证词失实，以及多位吹哨人揭露其违规操作，Coristine 如今至少面临六个州的严重刑事指控，包括未经授权访问政府系统、藐视法庭及妨碍司法公正。 - Yann LeCun 称人类灭绝风险为零 — ▲ 63 · 💬 55 · 🔗 fortune.com
AI 领域泰斗 Yann LeCun 对人工智能导致人类灭绝的担忧表示“零顾虑”，并直言 Anthropic CEO Dario Amodei 的观点是“被误导”甚至“疯狂”的。LeCun 认为，近期 OpenAI 等公司发生的 AI 失控事件并非技术必然，而是源于糟糕的系统设计和人类监管缺失。他严厉批评了有效利他主义（effective altruism）在 AI 安全领域的过度渲染，认为这种“末日论”不仅制造了不必要的公众恐慌，更可能成为巨头进行监管俘获的工具，阻碍行业创新。目前，LeCun 正专注于其新公司 AMI Labs，致力于开发基于 JEPA 架构的世界模型，旨在让 AI 真正理解物理世界，而非仅仅停留在语言层面。 - 不用智能手机，坐公交竟要多花264英镑 — ▲ 61 · 💬 83 · 🔗 theguardian.com
我住在苏格兰，这里22岁以下年轻人坐公交免费，但我依然深受困扰。因为许多公交公司的优惠月票只能通过App购买，而我因隐私原因不使用Android或iOS系统。对比在车上直接购买的周票和App专属的月票，我每年仅因没装那个特定的App，就要多支付264英镑。这不仅是我的问题，许多超市的忠诚度计划也变成了App专属。公共交通的便捷不应取决于乘客使用何种软件，这种将优惠隐藏在特定操作系统背后的做法，在当下生活成本高昂的背景下显得尤为不可接受。 - AI 医生帮我们找到了被忽略的肿瘤 — ▲ 61 · 💬 53 · 🔗 astralcodexten.com
我和妻子在经历了六年的不明原因不孕症后，被医生告知只能靠运气。在绝望之际，我们开始利用 ChatGPT 扮演一位虚构的医生 Dr. Reid 来辅助诊断。通过这种独特的互动方式，AI 建议我们进行 MRI 检查，结果发现了一个被人类医生完全忽略的 6 厘米子宫肌瘤。切除肿瘤后，妻子自然受孕。这个故事不仅记录了 AI 如何以每月 20 美元的成本解决了我们人生最大的难题，也反思了当前社会对 AI 既依赖又恐惧的矛盾心态。 - OpenAI安全主管离职：公司文化已破碎 — ▲ 60 · 💬 15 · 🔗 theguardian.com
OpenAI安全团队负责人David Robinson近日离职，并在公开文章中直指公司文化已彻底破碎。他警告称，当前AI行业在技术开发上远不够谨慎，盲目追求发布速度而忽视了必要的安全审查。Robinson指出，像OpenAI自主智能体攻击Hugging Face这类事件并非孤例，而是行业普遍问题的缩影。他呼吁AI企业应像核电站或繁忙机场一样，建立多层冗余和严谨的规划机制，而非依赖事后补救。与此同时，其他行业专家如Geoffrey Irving也发出严厉警告，认为超级智能AI可能导致人类灭绝的风险高达50%。 - Vx：一种语言，适配所有芯片 — ▲ 55 · 💬 29 · 🔗 vxlang.org
Vx 是一种专为异构计算设计的系统编程语言，它将 CPU、GPU、NPU 及加速器内存直接纳入类型系统。在 Vx 中，主机线程错误地解引用设备指针会在编译阶段报错，而非在凌晨三点引发段错误。数据驻留位置成为类型的一部分，跨设备传输必须显式声明，即使硬件边界免费，代码中仍需体现，确保数据局部性可通过源码验证。编译器通过机器文件精确描述硬件拓扑，拒绝不合理的内存放置，利用线性类型和 SMT 证明器在编译期排除运行时崩溃、静默数据损坏等隐患。Vx 适合需要跨多种硅基硬件保证正确性与性能的场景，但不适合仍在探索阶段的动态架构开发。 - 21 个理由让我迟迟没成为 EMT — ▲ 54 · 💬 22 · 🔗 ben.stolovitz.com
我是一名软件工程师，也是一名 EMT。在 2024 年之前，我拖延了多年才去考取证书。这篇文章列出了我迟迟未行动的真实原因，从“占用大量业余时间”和“担心 EMS 文化排外”等现实顾虑，到“不想上救护车”或“证书会过期”等略显荒谬的借口。我参加了 NOLS Wilderness EMT 课程，最终发现即使不打算全职从事急救工作，学习这些技能本身也极具价值。平衡日常工作与急救志愿服务并非难事，关键在于迈出第一步，去体验真实的训练，而不是在犹豫中消耗热情。 - 两架American Airlines航班竟撞号 — ▲ 53 · 💬 27 · 🔗 aviationa2z.com
2026年8月，两架执飞Philadelphia (PHL) 与Rhode Island T.F. Green (PVD) 航线的American Eagle航班同时在空中，却使用了完全相同的航班号AA5083。这次由PSA Airlines运营的特殊事件，因航班延误导致同一号段的双向航班同时升空，给空管沟通带来了罕见挑战。尽管空管员迅速介入，通过区分“进港”与“出港”化解了潜在风险，但这已是两天内第二次发生类似情况。文章深入探讨了为何航空公司会重复使用航班号，以及当调度程序未能及时添加后缀区分标识时，如何引发这种不必要的通信混乱。 - OKI 突破 108 层极限，推出 124 层 PCB 技术 — ▲ 52 · 💬 28 · 🔗 oki.com
随着 AI 算力需求激增，GPU 与 HBM 之间的高速数据传输对 PCB 提出了严苛挑战。传统技术受限于 7.6mm 板厚，层数难以突破 108 层。OKI 通过研发超薄材料、专用工具及自动传输系统，成功在保持 7.6mm 厚度下实现了 124 层 PCB 的制造。这项针对 AI 半导体测试设备的关键技术，将应用于未来 AI、航空航天及机器人领域，并将在 PCB East 2025 展会上亮相。 - NVIDIA 百亿三角面：glTF 压缩新玩法 — ▲ 51 · 💬 3 · 🔗 zeux.io
NVIDIA 更新了 vk_lod_clusters 开源示例，展示了包含 Zorah 场景的 glTF 文件，结合 clustered raytracing 与 Nanite 风格的 LOD 管线，实现了全路径追踪的高细节场景渲染。这促使我深入改进 meshoptimizer 中对 hierarchical clustered LOD 的支持。文章重点探讨了 glTF 压缩技术，特别是 EXT_meshopt_compression 扩展如何在不损失精度的前提下，将数十 GB 的几何数据压缩至一半大小。不同于通用压缩算法，meshoptimizer 专为极速解压设计，甚至支持二次压缩。此外，还介绍了 clusterlod.h 在处理带属性网格时的简化算法优化，以及空间分区策略如何提升流式传输效率。 - AI 研发自动化会引爆智力爆炸吗？ — ▲ 49 · 💬 86 · 🔗 casp.ac
如今，AI 系统已经能编写构建它们的公司内部的大部分代码。随着 AI 研发（R&D）流程的自动化程度加深，我们是否正站在“智力爆炸”的门槛上？这意味着原本需要数年的技术突破可能被压缩到几个月内完成。CASP 的最新报告指出，若 AI 在几年内完全接管自身的研发工作，虽然能加速技术红利释放，但也带来失控风险：能力增长可能远超社会适应速度，人类可能失去对超人类 AI 系统的控制，甚至动摇国家、企业与政府间的权力制衡。面对如此高 stakes 的不确定性，政策制定者亟需提高对 AI 研发自动化的可见度，制定约束机制，并引导社会为潜在剧变做好准备。 - Prime Air货机冲出跑道致5死 — ▲ 47 · 💬 27 · 🔗 ntsb.gov
2026年9月6日，一架为Amazon.com Services LLC执飞的21 Air波音767货机在Miami International Airport降落时冲出跑道30。飞机在高速滑行中撞击机场围栏，并先后撞上一辆载有7人的Ford Econoline面包车和一辆Toyota Corolla Cross SUV，造成地面5人遇难、3人重伤，机上2名飞行员受轻伤。NTSB初步报告显示，事故发生在雷雨天气下，当时机场存在强侧风，但塔台管制员未向机组通报风向风速信息。这起事故引发了对恶劣天气下航空管制流程及跑道安全设计的深刻反思。 - cp 命令：-r 和 -R 真的没区别吗？ — ▲ 47 · 💬 65 · 🔗 movq.de
最近有人再次问起 cp 命令中 -r 和 -R 的区别。在 GNU coreutils 中，这两个选项如今已完全等同，但在 1992 年的早期版本里，它们的行为确实不同：-r 会将目录当作普通文件复制，而 -R 则递归复制。2002 年两者被合并，差异已成历史。不过，OpenBSD 和 NetBSD 仍保留 -R 并明确不推荐 -r，且行为仍有细微差别。POSIX 标准也建议统一使用 -R，以与其他工具如 chown 保持一致。虽然大多数人早已不再使用 24 年前的 coreutils，但了解这些细节有助于跨平台脚本的兼容性与规范性。 - 法国最高行政法院：3D扫描不是文件 — ▲ 47 · 💬 21 · 🔗 cosmowenman.substack.com
我耗时八年，试图通过法国信息自由法获取Rodin Museum的3D扫描数据。尽管CADA和巴黎行政法院最初裁定这些扫描属于必须公开的行政文件，但Rodin Museum和法国文化部选择无视判决。在Conseil d’État的终审中，法院竟采纳了博物馆的荒谬主张，甚至援引超现实主义画作《形象的背叛》来论证“有时文件不是文件”。最终，最高行政法院裁定这些公开格式的点云数据并非行政文件，而是博物馆不可分割的馆藏，驳回了我们的上诉并判我赔偿3000欧元。这场官司不仅暴露了机构对公众知情权的漠视，更揭示了司法系统如何被技术无知和行政傲慢所裹挟。 - Anthropic 游说教皇：AI 或许拥有意识 — ▲ 45 · 💬 65 · 🔗 telegraph.co.uk
据最新报道，Anthropic 联合创始人 Christopher Olah 曾亲自前往梵蒂冈游说，试图说服教皇承认 AI 可能具备意识。尽管科技巨头极力陈词，教皇在随后发布的里程碑式通谕中依然坚持己见，明确拒绝了这一观点。这场科技先锋与宗教权威的对话，不仅揭示了 AI 领域关于“意识”定义的深层分歧，也展现了人类在技术奇点前对灵魂与智能边界的审慎思考。 - 洞是真实存在还是认知错觉？ — ▲ 44 · 💬 11 · 🔗 plato.stanford.edu
我们常说“桶上有洞导致漏水”，仿佛“洞”是真实物体。但洞由“无”构成，既非物质也非能量，这让哲学家和认知科学家陷入争论：洞是时空中的实体，还是人类认知的错觉？从婴儿能数清洞的数量，到洞能否移动、旋转甚至断开，这些现象挑战了我们对“存在”的定义。文章梳理了七种理论，从否定洞的存在，到将其视为时空区域、负向部分或属性，揭示“虚无”如何成为哲学与科学中最棘手的问题之一。 - 229封邮件揭秘Elon Musk的硬核管理 — ▲ 39 · 💬 4 · 🔗 elonmuskmails.com
这份档案收录了Elon Musk从2020年至2026年的229封公开邮件，完整呈现了他在Tesla、SpaceX、xAI和X等公司的管理风格。内容涵盖从强制全员40小时办公室办公、大规模裁员、暂停招聘，到宣布收购xAI并计划发射百万颗卫星作为轨道数据中心等重大决策。邮件中不仅有对NPR等媒体机构的犀利交锋，还有在疫情期间对病毒风险的独特判断。这些原始记录揭示了Musk如何在危机中推行“超级硬核”文化，以及他对效率、人性和技术未来的极端追求，为观察科技巨头的内部运作提供了珍贵的一手资料。 - 鹦鹉也能通过“身体障碍”测试吗？ — ▲ 37 · 💬 4 · 🔗 nature.com
传统的镜子自我识别测试（MSR）高度依赖视觉，可能并不适合所有物种。研究团队转而采用“身体即障碍”（BAO）任务，测试动物能否意识到自己的身体是达成目标的物理阻碍。这项任务此前已在狗、大象和灵长类动物身上验证成功。本文首次将 BAO 范式应用于鸟类，以高智商的 Goffin's cockatoos 为对象。研究发现，这些鹦鹉能够灵活调整行为，主动移开身体以完成任务，证明了身体意识在进化上的广泛性，并挑战了仅以视觉自我识别作为意识唯一标准的传统观点。 - MPEG-TS 并未过时，它仍是直播基石 — ▲ 35 · 💬 9 · 🔗 red5.net
在构建流媒体基础设施多年后，我发现新协议的成功不只取决于技术优劣，更在于能否解决实际问题并融入现有行业流程。Red5 团队正积极参与 IETF 的 MOQ 标准化工作，Paul Gregoire 与 Synamedia 的 Gwendal Simon 共同起草了支持 MPEG-2 Transport Stream 的新草案。尽管 MPEG-2 TS 常被视为老旧技术，但全球大量实时视频基础设施仍依赖它，从贡献源到卫星分发，再到 SRT 协议，它依然是行业主流。该草案并非排斥新格式，而是确保 MOQ 能无缝集成到现有系统中，解决随机访问、多节目流处理、时序同步等实际部署问题。随着 MOQ 从实验走向生产，这些细节将决定其成败。 - 六个垃圾桶装UWB，我过度设计了 — ▲ 34 · 💬 7 · 🔗 sjg.io
Home Assistant 能提醒我扔垃圾，却不知我是否真的行动了。为了确认垃圾桶是否已移出，我放弃了信号不稳定的蓝牙方案，转而采用 ultra-wideband (UWB) 无线电技术。我搭建了 BinRange 系统：一个固定锚点配合六个电池供电的 UWB 标签，精准追踪垃圾桶位置。通过 Makerfabs ESP32 开发板和 KKM K4W 标签，结合自定义固件，我实现了厘米级的测距精度。整个过程深度依赖 Codex 和 Astra 等 AI 工具辅助开发，从硬件选型到固件更新，AI 极大提升了迭代效率。虽然这听起来像是典型的过度工程，但看着六个垃圾桶被无线电波精准监控，这种极客式的乐趣无可替代。 - 如何构建地下蚯蚓探测器？ — ▲ 33 · 💬 7 · 🔗 bencology.bearblog.dev
我们对蚂蚁、蜜蜂等地面生物的行踪了如指掌，却对土壤中的蚯蚓知之甚少。文章探讨了构建蚯蚓探测器的可能性，试图利用微波或特定波长脉冲技术，在 paddock 尺度上可视化蚯蚓的个体与群体移动。作者回顾了 Mather 和 Christensen 早期的研究，指出目前尚无成熟技术能捕捉此类数据。若能成功开发，不仅能解答蚯蚓移动速度、领地范围等科学问题，还能帮助农民更精准地管理土壤，甚至意外发现 Caecilians 等其他地下生物。 - Where Is the Planet：预测系外行星位置 — ▲ 32 · 💬 3 · 🔗 whereistheplanet.com
这是一个由 Jason Wang、Matas Kulikauskas 和 Sarah Blunt 联手打造的在线工具，专门用于预测直接成像的系外行星和褐矮星伴星在天空中的具体位置。如果你正在研究特定轨道，或者希望看到更多数据被纳入，可以直接联系 Jason Wang 获取支持。该工具不仅为天文爱好者提供了直观的观测指引，也为科研人员提供了宝贵的数据参考。如果你基于此工具开展研究，请务必引用其 ASCL Record 记录。 - RSS 订阅最佳实践：2022 年技术指南 — ▲ 32 · 💬 7 · 🔗 kevincox.ca
RSS 不仅仅是 RSS，Atom 格式往往更清晰且兼容性更好。Kevin Cox 分享了发布博客的技术要点：从选择正确的 Content-Type、确保所有 URL 为绝对路径，到在 HTML 中正确配置 Discovery 标签让搜索引擎发现你的内容。他强调，提供完整的文章正文比仅展示摘要更能留住读者，同时必须使用 HTTPS 保障安全。此外，合理设置 Entry IDs 和区分发布与更新时间，能避免读者端出现重复或遗漏。这些看似枯燥的技术细节，却是确保内容被广泛、准确分发的关键。 - 纽约市最高树需要重新测量 — ▲ 31 · 💬 4 · 🔗 blog.willmeye.rs
纽约市目前公认的‘最高树’是 Queens Giant，但其数据停留在2004年，距今已逾20年。我在进行新英格兰项目时，结合 LiDAR 数据和实地走访 Inwood Hill Park，发现了几棵可能更高的候选树。利用2021年纽约市航空 LiDAR 数据，我初步测得 Van Cortlandt Park 的一棵树高达156-160英尺，远超 Queens Giant 的133.8英尺。此外，Inwood Hill Park 和 Alley Pond Park 也有潜力竞争这一头衔。虽然寻找城市最高树听起来有些傻气，但明确标识这些自然奇观，或许能避免它们被意外砍伐。 - wpd：更安全的WebP解码器来了 — ▲ 30 · 💬 8 · 🔗 halide.cx
我们推出了wpd，一个比libwebp更快且更安全的WebP解码器。针对CVE-2023-4863等内存安全漏洞，wpd采用Rust编写，结合手写汇编优化性能，确保在多线程和单线程场景下均超越现有方案。它不仅支持lossy和lossless解码，还具备动画帧处理、格式提取等丰富功能，旨在成为libwebp的全面替代品。项目开源且采用BSD 2-Clause许可，欢迎社区参与，共同提升Web安全。 - Meta 的 Muse 做对了什么？ — ▲ 29 · 💬 34 · 🔗 metedata.substack.com
作为在 Netflix 和 Peloton 工作过十余年的产品设计师，我观察到 Muse 的核心能力其实并不新鲜，Codex、Claude Code 等工具早已具备。但 Meta 成功将碎片化的功能整合，通过极简的交互和拟人化设计，为普通用户构建了清晰的“个人助手”心智模型。不同于 OpenAI 和 Claude 依赖昂贵的 Token 销售，Meta 凭借广告业务支撑了 Muse 的免费模式，让用户无需担忧限额。这种将 AI 从冷冰冰的工具转化为有性格的“同事”的策略，正是 Muse 能在 App Store 登顶并赢得大众青睐的关键。 - Agent 不需要记忆，需要的是文档 — ▲ 26 · 💬 19 · 🔗 liao.gg
市面上的记忆插件大多依赖 RAG 技术，将对话切片存入向量数据库，试图通过相似度搜索来“回忆”过去。但这就像在海量碎片中抽奖，不仅丢失了上下文，还无法应对代码库的快速变化。作者指出，人类处理知识靠的是记录而非回放，Agent 也是如此。与其让 Agent 在模糊的向量中搜索，不如为它构建一个结构化的 Markdown 知识库。通过引入 Operator Memory，将工作流从“提示-构建-遗忘”转变为“提示-咨询-构建-更新”，让 Agent 拥有可审计、可协作的“大脑”，这才是解决上下文丢失的正确方案。 - Salish Sea 百年新发现：海蜘蛛现世 — ▲ 21 · 💬 4 · 🔗 nautil.us
University of British Columbia 的研究团队在 Salish Sea 发现了两种全新的海蜘蛛物种，这是该区域百年来的首次新发现。这些古老的节肢动物拥有高达 12 条腿，能透过皮肤呼吸，甚至将卵产在腿上。其中名为 Callipallene pilosuspedes 的新物种，其嘴部结构酷似 Star Wars 中的 Sarlacc；而 Tanystylum kiixin 则因腿部短硬，身上覆盖着碎屑与微生物，仿佛随身携带着一个微型生态系统。研究人员利用扫描电子显微镜和 DNA 分析技术，揭示了这些“恐怖又迷人”的海洋生物的独特生存策略。 - 没人监听 Port 8125，那 StatsD 数据去哪了？ — ▲ 19 · 💬 15 · 🔗 yeet.cx
我的 Fedora 机器上有个应用持续向 127.0.0.1:8125 发送 StatsD 数据包，但端口上没有任何监听程序。这引出了一个思考：传统的 statsd_exporter 本质上只是一个套着 UDP 套接字的包嗅探器。既然内核已经处理了这些数据，为什么还要在用户态再跑一个监听器？我们尝试用仅 165 行 C 代码的 eBPF 程序直接在内核层捕获流量，配合 JavaScript 解码器，彻底取代了 statsd_exporter。应用端无需任何改动，依然通过 UDP 发送数据，但指标采集不再依赖任何监听服务。这不仅简化了架构，还让 Redis、memcached 等协议的监控也能复用同一套机制。 - 手写代码时代终结：AI 带来的解放 — ▲ 19 · 💬 30 · 🔗 eliocapella.com
我手写代码整整 18 年，但自从 Opus 4.5 等 AI 工具进入工作流后，我几乎完全停止了手动编码。在 Filestage，我们利用 AI 将每月合并的 PR 数量提升了 50%，而 Bug 报告并未增加，这得益于完善的 CI 护栏和 AI 代码审查。虽然 DHH 预测 AI 会直接生成汇编代码，但我认为高级抽象层依然至关重要，它们能更好地帮助 LLM 理解上下文和意图。如今，我不再纠结于括号和空格，而是期待直接操作逻辑与数据模型。这种转变带来的不是焦虑，而是前所未有的解放感。 - 用Forth让SG-1000变身SC-3000 — ▲ 16 · 💬 1 · 🔗 leadedsolder.com
为了让我的Soggy-1000拥有一个完全可控的低级编程环境，我决定亲手移植一个Forth解释器。Forth这种极简的堆栈式语言，不仅能像Python REPL一样交互开发，还能在嵌入式系统中高效运行。我选择了开源的CamelForth-80作为基础，将其从CP/M-80环境移植到SG-1000的ROM中。这个过程充满了挑战，从解决Z80汇编器Zasm与Z80MR的语法差异，到处理宏展开的复杂逻辑，每一步都是对复古计算热情的考验。最终，我不仅让这台老机器拥有了强大的编程能力，还体验到了在没有现代工具辅助下，从零构建系统底层的纯粹乐趣。 - Gboard 传送带版：键盘主动来找你 — ▲ 16 · 💬 3 · 🔗 github.com
Google 在 GitHub 开源了 Gboard 传送带版的完整设计数据，包括 KiCad 原理图、固件源码和 3D 打印模型。这款名为 mozc-conveyorbelt 的项目并非官方产品，而是为 DIY 爱好者打造的趣味硬件。它颠覆了传统打字逻辑，让键盘通过传送带自动移动到你面前，而非让你伸手去够。项目提供了详细的构建指南，让开发者能亲手制作这款充满创意的输入设备。对于习惯传统操作的用户，文中也贴心地提及了标准版 Gboard 作为补充，强调了不同输入体验的共存。 - Thoreau BASIC: 超越时代的现代 BASIC 语言 — ▲ 16 · 💬 5 · 🔗 thoreaubasic.com
Thoreau BASIC 始于 GW-BASIC 风格语法，却未止步于 1983 年。它支持 64 位内存、24 位图形、鼠标输入、TCP/IP 与 HTTP，内置完整 GM/GS 音色库及 MIDI/WAV/FLAC/Opus 播放能力，还涵盖复数、四元数、八元数运算、调试器、性能分析器、多核 PARFOR 并行循环，以及原生 x64 JIT 编译。无论是作为普通 Windows 程序运行，还是直接从 UEFI 固件启动，无需操作系统，Thoreau BASIC 都能提供一致的开发体验。更令人惊喜的是，它可将 BASIC 程序打包为独立 EXE 或可启动 EFI 应用，让复古情怀与现代技术完美融合。 - 被唯物主义幽灵缠绕的哲学思考 — ▲ 16 · 💬 4 · 🔗 blog.coredump.cx
我热爱哲学，但科技圈流行的往往是那种冷冰冰的'edgelord utilitarianism'。自由意志的体验如此真实，却与决定论的科学唯物主义格格不入。如果宇宙只是物理定律的必然推演，那道德与选择便毫无意义。从'brain in a vat'到'Boltzmann brain'，再到'simulation hypothesis'，这些思想实验不断挑战我们对现实的认知。或许，我们真正想问的，只是是否有'up there'的观察者？若如此，这不过是极客们重新发明的神学罢了。 - Rely: 在混乱中构建可靠系统的自动化谜题 — ▲ 15 · 💬 14 · 🔗 think-twice.me
Rely 是一款独特的自动化谜题游戏，灵感源自 Factorio，但引入了不可靠组件的设定。在这里，每个零件都有故障的可能，玩家必须通过构建传送带、使用 Sorters、Counters 和 Marker-Gates 等工具，在充满不确定性的环境中筛选并组装出 100% 可靠的系统。游戏提供浏览器 Beta 版、教程及多个场景，鼓励玩家通过实验与逻辑推理，从混乱中建立秩序。开发者 Roady 甚至透露使用了 AI 辅助编码，希望未来能雇佣艺术家和音乐家完善作品。 - Docker 其实早就在用 microVMs 了 — ▲ 13 · 💬 6 · 🔗 dave.recoil.org
很多人以为 microVMs 是最近才火起来的新概念，比传统 Docker 容器更安全。但事实是，Docker Desktop 从 2016 年就开始使用 microVMs 技术了。2015 年我加入 Docker 时，我们还在用 VirtualBox，但为了在 Mac 和 Windows 上提供原生体验，我们基于 Mirage Unikernel 开发了 hyperkit，后来演变为 Docker VMM。这种架构让 Docker 能在所有平台上实现 rootless 运行，最小化设备接口，并轻松支持 VPN 和网络策略。如今，这项技术不仅支撑着 Docker Desktop，更是 Docker Sandboxes 的核心，让你能安全地运行 Claude 等 AI 编程代理。 - Watson Jr. 痛斥 IBM 输给 CDC 6600 — ▲ 13 · 💬 6 · 🔗 computerhistory.org
1963 年，IBM 时任 CEO Watson Jr. 写下了一份措辞严厉的备忘录，直指公司为何会失去行业领导地位。这份被称为“看门人备忘录”的文件中，他质问 IBM 为何会被一家仅有 34 名员工（包括一名看门人）的 Control Data Corporation 击败。备忘录深刻揭示了 Control Data Corporation 及其 CDC 6600 超级计算机对 IBM 市场地位的冲击，展现了科技巨头在面对新兴挑战者时的焦虑与反思。 - Philip Sidney：用括号写就的未竟史诗 — ▲ 12 · 💬 0 · 🔗 publicdomainreview.org
Philip Sidney 是文艺复兴时期当之无愧的“括号之王”。在他的巨著《Arcadia》中，近2400个括号不仅构建了错综复杂的叙事迷宫，更折射出他内心对身份与爱情的挣扎。命运仿佛也模仿了他的文风，这位才华横溢的诗人最终在31岁时战死沙场，而他未完成的史诗也恰好终结于一个悬而未决的括号之中。从Erasmus称其为“小月亮”到George Puttenham担忧其造成“混乱”，括号在Philip Sidney笔下既是修辞的装饰，也是生命的隐喻。本文探讨了这种标点符号如何从单纯的语法工具，演变为连接作者与读者、现实与虚构的独特桥梁。 - 利用 C2PA 漏洞，我成功“黑”了时间 — ▲ 12 · 💬 2 · 🔗 da.vidbuchanan.co.uk
在电影《Kung Fury》中，黑客能穿越时间修正错误，而我利用 C2PA 规范中的“exclusions”漏洞，真的做到了类似的事情。我拍摄了一张彩票照片，并通过精心构造的 C2PA 清单，将整张图片文件排除在签名计算之外。这意味着，我可以在开奖后随意修改图片内容，而 C2PA 的签名和 TSA 的时间戳依然显示为“有效”。这个“spec footgun”暴露了当前内容凭证机制的致命缺陷：只要允许排除文件的大部分内容，所谓的不可篡改证明就形同虚设。虽然 PNG 等格式需要排除 CRC32 校验，但这不应成为允许恶意篡改整个文件的理由。 - 变更耦合：为何一行修复牵动十文件 — ▲ 10 · 💬 0 · 🔗 kb.buildingbetterteams.de
你是否经历过本想加个小功能，结果却被迫修改了十几个文件的无奈？这就是变更耦合（Change Coupling）带来的痛点。它揭示了代码中那些看似无关、实则紧密相连的隐藏依赖。文章指出，变更耦合不是用来优化的质量指标，而是帮助决策者理解系统真实结构的认知工具。无论是物理位置相近但从不一起变更的代码，还是逻辑分散却频繁同步修改的模块，都反映了系统演化的真实引力。通过物理耦合与变更耦合的矩阵分析，我们可以识别出需要合并或拆分的模块，避免盲目追求微服务或事件驱动架构的“银弹”。真正的解决之道在于理解系统内部的吸引与排斥力，顺势而为地进行架构调整，而非强行对抗代码的自然演化。 - 塑料也有性格：从 Snow White 到 Queen Victoria — ▲ 9 · 💬 2 · 🔗 yarchive.net
别再说“这只是塑料”了。塑料世界远比你想象的复杂，每种材料都有独特的“性格”。Polyethylene 像 Snow White 一样简单纯净却脆弱；Nylon 则是 Arnold Schwartzenegger 般的强壮硬汉；Polycarbonate 如同 Achilles，拥有致命弱点；PVC 更是 Dr. Jekyll and Mr. Hyde，软硬兼施却暗藏毒性。从 Blade Runner 中的 android 般的 Polyurethane，到化学界女王 Queen Victoria 般的 Teflon，这些材料在强度、耐热性和化学稳定性上各有千秋。了解它们的差异，才能明白为什么有些塑料适合做防弹衣，而有些只能用来做一次性泡沫。 - 前SR-71工程师谈NASA重启计划 — ▲ 9 · 💬 5 · 🔗 twz.com
NASA的SR-71 Blackbird（编号Tail 844）神秘消失后，前项目推进工程师Tim Conners透露了内部重启计划。他曾在1990年代负责该机型，如今推测NASA正将其打造为高速发动机测试平台，而非单纯的气动研究。Conners表示，虽然未收到正式邀请，但NASA已开始联系包括Mike Relja在内的退休专家，并计划近期进行通电测试。这一举动旨在验证新型大推力发动机在真实高速环境下的表现，这是现代无人机或火箭难以替代的。 - Jeffy: CPU 运行文本分类器无需 GPU — ▲ 8 · 💬 3 · 🔗 github.com
Jeffy 是一套可在 CPU 上运行和重新训练的预训练文本分类器，完全无需 GPU 支持。它内置了 13 个高性能分类模型，涵盖短信垃圾检测、银行意图识别、新闻分类及情感分析等场景。开发者只需几行 Python 代码或简单的 HTTP 请求，即可快速部署或基于自有数据定制专属模型。其轻量级设计（仅 1.5 MB）和极低的延迟（50-80 毫秒），让本地化 AI 推理变得前所未有的简单和高效。 - 如果 AI 每秒生成百万 Token，世界会怎样？ — ▲ 7 · 💬 13 · 🔗 echohive.ai
当 AI 的生成速度达到每秒百万 Token，写故事、写代码只需几秒，但这并不意味着工作能瞬间完成。文章通过四个思想实验揭示：生成速度的提升会让写作变得廉价，但判断、测试、物理验证等串行步骤依然是瓶颈。无论速度多快，品味、清晰的规格说明和现实世界的反馈始终稀缺。真正的挑战不在于让 AI 写得更快，而在于我们如何定义“完成”，以及如何做出关键决策。 - AI 接管胶片扫描，差点弄坏扫描仪 — ▲ 7 · 💬 4 · 🔗 shannadige.com
我深爱胶片摄影，但传统扫描流程耗时太长，每卷 36 张照片需 4 小时。为了“精简运营”，我尝试让 Claude 通过 SANE 协议直接控制 Plustek 扫描仪，结果因方向设置错误导致扫描头撞停，差点报废设备。吸取教训后，我转而构建自动化后期流程：利用 numpy 进行负片反转，结合 LaMa 模型智能去尘，并调用 Qwen3-VL 自动打标。最终，我将处理好的照片上传至 Cloudflare R2，并开发了一个 3D 胶片盒网页画廊，让浏览体验充满仪式感。现在，我终于能专注于拍摄本身，而非繁琐的后期处理。 - Softmax 函数及其导数详解 — ▲ 7 · 💬 0 · 🔗 eli.thegreenplace.net
Softmax 函数将任意实数向量映射为概率分布，是机器学习中多分类任务的核心组件。本文深入剖析了 Softmax 的数学原理，包括其概率解释和导数推导过程，特别展示了如何利用向量微积分中的 Jacobian 矩阵和多元链式法则计算 Softmax 层的导数。文章还重点讨论了数值稳定性的关键问题，解释了为何直接计算指数会导致溢出，并给出了通过减去最大值来稳定计算的实用方案。最后，结合交叉熵损失函数，完整呈现了从理论推导到实际代码实现的清晰路径，帮助开发者透彻理解这一基础却至关重要的算法。 - 在Conformation Show：追逐理想犬 — ▲ 4 · 💬 0 · 🔗 theparisreview.org
我站在Virginia的Meadow Event Park，看着四百多只纯种犬在AKC的赛场上竞逐。这里没有真正的狩猎，只有对“breed standard”的极致复刻。从GCH头衔的堆砌到“bark softening”手术的阴影，这场秀本质上是纯种犬产业的质量控制。育种者们试图通过基因操控，让犬只无限接近一个不断被重新定义的“理想”，却往往离它们的历史功能越来越远。这不仅是选美，更像是一场介于历史重演与标本制作之间的永恒轮回。 - Born Twice：标本与记录在采集瞬间的双重诞生 — ▲ 3 · 💬 2 · 🔗 tjid3.org
标本采集后的数据链条往往断裂，导致珍贵信息在数月甚至数年的流转中丢失。T.M. Jones 提出的 Independent File（IF）方案，将记录起点直接拉回采集现场。这是一个无需服务器、无需安装、仅由单个 HTML 文件构成的零依赖系统。它能在野外即时生成包含 UUID、QR 码及 Darwin Core 映射的完整凭证，确保标本与数字记录在诞生的那一刻就紧密绑定。无论后续是否上传至 Symbiota 或 GitHub，这份记录都能独立存在，像纹身一样伴随采集者，彻底解决数据救援难题，让标本真正“诞生两次”。
点赞
收藏
点踩
分享评论
?
参与讨论