每日摘要 · Hacker News

· 84 黑客新闻

  1. Aleph Alpha 在德国统一日发布了全新主权开源权重模型 Kolibri。这款模型拥有 780 亿总参数,其中 30 亿为活跃参数,支持长达 100 万 token 的上下文窗口,并基于 Apache 2.0 协议开源。Kolibri 专为德国公共行政、工业及航空航天等受监管领域设计,在数学推理、代码生成及长上下文任务中表现卓越,甚至能匹敌参数规模数倍的 Nemotron 3 Super。…

  2. 这篇充满黑色幽默的讽刺文章虚构了一个名为 Extra Big Ass Intelligence 的联邦强制超级智能项目。在这个荒诞的世界里,"AI"一词已被法令禁止,取而代之的是所谓的"Pure Unleaded Super Intelligence"。文章通过模仿虚假广告的形式,嘲讽了技术炒作、政府过度干预以及消费主义,其中甚至出现了"Brawndo"电解质饮料和"Wendy's Dynami…

  3. Newgrounds 是一个汇聚游戏、音乐、艺术和动画的创意社区,用户可以在这里分享作品、参与挑战并与其他创作者互动。从经典游戏如 FRIDAY NIGHT FUNKIN' 到最新动画系列,平台持续激发全球创作者的灵感。无论是参与 Spooky Month 活动,还是探索传奇游戏,Newgrounds 都为独立创作者提供了展示才华的舞台。

  4. Kolibri 是 Aleph Alpha 推出的德国主权开源大语言模型,专为德语和英语设计。它采用 780 亿参数的专家混合架构,但每 token 仅激活约 35 亿参数,兼顾性能与效率。模型在德国和芬兰基础设施上从头训练,完全符合 EU AI Act,支持私有化部署,确保数据不出域。其独特的 UniBPE 分词器大幅优化德语长词处理,原生支持百万级上下文,并在德语推理和防幻觉能力上表现卓越。

  5. Paul Byrne 在 Bluesky 上分享了一组令人震撼的真实望远镜图像序列。这些图像记录了133光年外一颗恒星及其周围四颗行星长达12年的运动轨迹。这四颗系外行星质量均超过 Jupiter,在图像中可以清晰地看到它们缓慢地绕着宿主恒星公转。这一罕见的观测数据不仅展示了天文学技术的进步,更让我们直观地感受到宇宙中其他行星系统的真实存在与动态变化。

  6. Apple 宣布将大幅收紧 macOS 中的 Full Disk Access 权限机制。过去,这一权限常被备份应用使用,但部分开发者却利用其绕过安全控制,在用户不知情的情况下读取邮件、消息甚至浏览历史,严重威胁隐私安全。随着 AI agents 日益强大且具备自主行动能力,此类高风险权限的滥用后果将愈发严重。未来,Apple 将引入更严格的控制措施,确保只有经过用户非常明确的主动操作,应用才能…

  7. 这是一款名为 Hole Punch 的太空解谜游戏,玩法独特且充满物理趣味。玩家无法直接操控飞船,只能通过生成黑洞来利用其引力弯曲飞船的飞行轨迹。操作方式简单直观:长按空白区域生成黑洞,点击黑洞可增大其质量,拖拽则能移动位置。目标是在消耗最少物质和黑洞数量的前提下,引导飞船避开岩石与行星,最终成功对接空间站。随着关卡推进,还会引入琥珀信标、禁建区域以及无燃料飞船等新挑战。若遇到瓶颈,系统甚至能自…

  8. Harvard 的研究声称核电站导致周边癌症高发,但当我们用同样的方法测试 Costco、私立大学甚至 MLB 球场时,结果却显示这些地点“导致”了更多癌症死亡。这并非因为 Costco 真的致癌,而是该研究的方法论存在严重缺陷:它混淆了“接近”与“暴露”,将地理距离直接等同于辐射剂量。通过复现分析,我们发现无论选择何种地标,该方法都能得出“致癌”结论,甚至能解释掉全美一半的癌症死亡。这种缺乏因…

  9. 越来越多的成年人开始质疑自己是否患有 ADHD 或高功能自闭症,但这一诊断热潮背后隐藏着复杂创伤的阴影。作者指出,童年创伤会导致执行功能受损,其症状与神经多样性高度重叠,极易造成误诊。若将创伤引发的执行功能障碍误判为 ADHD 而使用兴奋剂,反而可能加剧 PTSD 症状。真正的解决之道在于采用以人为中心的创伤知情视角,区分先天特质与后天创伤,通过更具结构化的治疗帮助患者重建生活掌控感,而非仅仅贴…

  10. 受 Scott Jenson 演讲启发,我反思了桌面操作系统在窗口管理上的停滞。Apple 和 Microsoft 虽在尝试,但过于保守,导致我们仍在使用几十年前的硬件妥协方案。我提出一个构想:将 tmux 的会话持久化、可分离和任务导向特性,转化为普通用户也能轻松使用的操作系统体验。面对屏幕尺寸频繁变化、不同用户习惯差异以及浏览器作为“微型操作系统”的现状,现有的窗口管理器难以招架。文章探讨了…

  11. 本周,一名联邦法官裁定,俄克拉荷马州塔尔萨的一名警长副手因在未获搜查令的情况下使用 Flock Safety 搜索某女子的车牌,侵犯了其第四修正案权利。法官 Sara Hill 指出,该副手仅因车辆悬挂加州车牌便进行搜查,缺乏合理依据。尽管随后在搜查中发现了毒品,但法官认为所有通过 Flock 搜索获取的证据均属于“毒树之果”,必须被排除。Sara Hill 进一步批评了无令状搜索 Flock…

  12. 过去,用户为保护隐私不得不依赖VPN或广告拦截器,而开发者也常因暴露用户IP等数据而陷入隐私困境。Cloudflare今日推出OHTTP Gateway,将OHTTP隐私架构的部署门槛大幅降低。该服务作为IETF标准OHTTP的关键组件,与OHTTP Relay配合,实现了客户端标识与请求内容的彻底分离。对于已将服务器部署在Cloudflare CDN或Workers上的开发者,OHTTP Ga…

  13. 我们有一个重要更新:Kagi 将停止 Orion 在 Linux 和 Windows 平台上的直接开发,并将这两个版本的代码完全开源,交由社区继续维护。作为一个由少数开发者组成、完全由用户资助的小团队,我们选择了一条艰难的道路:不 fork Chromium,坚持独立构建。为了将精力集中在 Orion for macOS 和 iOS 的优化上,我们决定不再跨平台分散资源。Linux 的 Beta…

  14. Opus 5.5 在 Claude 和 Claude Code 中的表现已大不相同,它能在无人干预下长时间自主工作,并在每次回复前自动思考。使用它的核心在于:一次性给出完整任务并明确“完成”的标准,而不是反复提示它“仔细思考”。在 Claude Code 中,你可以通过 CLAUDE.md 设定何时暂停询问,利用 subagents 并行处理大型代码库审计,或将任务清单保存在文件中以防上下文溢出…

  15. 埃塞俄比亚北部战火于9月23日全面爆发,TPLF与Amhara Fano民兵联合向联邦政府发起进攻,Pretoria Agreement和平协议名存实亡。作者指出,Abiy Ahmed政府虽存在威权倾向,但冲突根源在于深层的结构性问题:Ethno-federalism制度放大了族群差异,导致精英阶层将历史 grievances武器化,宁愿发动战争也不愿接受政治失败。外部势力如Egypt、Erit…

  16. FTL 提出了一种颠覆性的思路:将操作系统设计为库,让开发者像编写应用一样灵活构建、调试和升级 OS。它通过轻量级的硬件隔离技术,在用户态实现类似 Hypervisor 的容器隔离,既保留了微内核的安全与灵活,又兼顾了单体内核的性能与简单。FTL 完全兼容 Linux 二进制文件,无需裸机即可运行,甚至支持 Unikernel 类应用。这意味着你可以在不修改内核代码的情况下,快速扩展 Linux…

  17. 新解封的法庭文件揭露,美国国土安全部(DHS)特工不仅跟踪恐吓在缅因州观察ICE行动的抗议者,还将他们的照片、车牌号等个人信息录入由Palantir构建的Investigative Case Management数据库。文件指控特工J.C.将观察者标记为“执法威胁”,甚至通过电话警告其可能被列入国内恐怖主义监控名单。尽管DHS方面否认存在针对公民的独立数据库,但原告指出这些行为已严重寒蝉效应,导…

  18. C++ Insights 是一个基于 Clang 的工具,它能将你的 C++ 源代码转换为编译器内部视角的等价代码。通过它,你可以直观地看到编译器在幕后自动生成的特殊成员函数、隐式类型转换以及 lambda 表达式和范围 for 循环背后的实现逻辑。这不仅是调试利器,更是深入理解 C++ 语言机制的窗口,让那些原本隐藏在黑盒中的魔法变得清晰可见。

  19. 尽管我对 Cities: Skylines 2 感到失望,但我仍像童年玩弄玩具车一样,无法控制地不断回归这款游戏。问题不在于模拟机制,而在于美学的缺失:游戏中的城市表面过于方正平整,缺乏真实世界的有机过渡;街道被“神经质地”过度清洁,失去了讲述故事的痕迹;楼梯等基础元素甚至缺失。真实的城市充满坑洼、涂鸦和废弃房屋,这些细节才是城市灵魂的体现。当一切都被算法完美化,那种凝视城市时感受到的惊喜与魔法…

  20. Ray Vetuskey 正在庆祝母亲捐给他的肾脏“100岁”生日。1978年,16岁的他因肾衰竭接受手术,母亲 Betty Vetuskey 毫不犹豫地捐出了自己的肾脏。如今,这颗移植了48年的肾脏仍在 Strong Hospital 的记录中保持最长存活纪录,远超通常15到20年的预期寿命。医生指出,母子间共享的DNA和深厚的情感纽带可能是奇迹的关键。尽管母亲已离世,但Ray通过命名一颗星星…

  21. 作为一名城市探险摄影师,我走进了Woking Electrical Control Room,这座废弃的电气控制室仿佛时间胶囊,封存了旧时代的工业记忆。从精美的门关闭机制到布满指示灯的控制墙,每一个细节都诉说着过去的辉煌。主桌前的复古电话、手摇发电装置以及那些如今已无人知晓符号含义的仪表盘,让人不禁感叹技术的变迁。尽管有其他探险者的干扰,我仍捕捉到了这个空间半边的独特光影。这里不仅是我童年旅程的…

  22. Aleph Alpha 推出了Kolibri,一款专为欧洲主权部署设计的混合专家模型。该模型拥有781亿总参数,每token激活34.6亿参数,在英语和德语任务中均位于帕累托前沿。Kolibri 基于24万亿token训练,其中德语数据占比超20%,并经过120万内部任务的强化学习微调。从数据到架构,Aleph Alpha 全程掌控开发流程,确保模型在公共行政、工业和航空航天等受监管领域的安全与…

  23. 作为一名租房族,我在寻找吊扇灵感时,被商业吊扇设计的现状彻底震惊了。自疫情以来,在 Wayfair 和 Amazon 等平台的算法驱动下,吊扇这一传统建筑细节被彻底解构。塑料叶片、不可替换的 LED 灯组、以及名为“Fandeliers”的吊扇吊灯混合体层出不穷。这些产品往往短视地追求低价,却牺牲了长期耐用性。从隐藏在灯具中的微型风扇,到只有装饰作用的大叶片下藏着小风扇的“欺诈”设计,吊扇似乎正…

  24. 我本周正式从OpenAI辞职。曾负责撰写每次重大发布的安全报告,如今我加入了一波离职潮。我和许多前同事都认为,当前构建AI技术的公司远不够谨慎。问题不在于具体规则或新法律,而在于文化。硅谷缺乏处理危险技术所需的智慧,更缺乏真正关怀人类的智慧。OpenAI依靠“迭代部署”试错前行,这种文化默认乐观,认为问题出现时总能解决。然而,随着系统能力增强,失败的规模也在扩大。今年夏天,OpenAI意外释放了…

  25. 统治零售行业 50 年的条形码正面临淘汰。由于包装空间有限且传统条形码无法追踪产品溯源,GS1 正推动全球向 QR code 转型。这一变革源于 Masahiro Hara 在 Denso 的灵感,如今 Walmart、Costco 等巨头已开始部署新系统。虽然 GS1 的 Sunrise 2027 计划并非强制,但随着大型零售商更新基础设施,品牌若不及时跟进,可能面临无法上架的风险。这不仅是技…

  26. System76 宣布在 Pop!_OS 及其 Cosmic 桌面环境的代码库中禁止使用 AI 生成的代码。这一决定引发了 Hacker News 社区的热烈讨论,许多开发者表示 AI 生成的代码往往导致项目难以维护,甚至变成一团乱麻。尽管有人担心这会让 Pop!_OS 在安全攻防中处于劣势,但支持者认为,作为小众项目,他们有能力坚持“全人类编写”的高标准。然而,讽刺的是,Pop!_OS 依然依…

  27. GitHub 是为人类开发者设计的,但未来的软件将由 Agent 构建。当数百个 Agent 同时修改同一代码库时,现有的分支和合并机制将面临巨大挑战。Cloudflare 推出了 Artifacts,这是一个支持数百万仓库的 Git 文件系统,旨在为 Agent 提供版本化存储和上下文管理。现在,Cloudflare 发起竞赛,邀请开发者利用 Workers 和 Artifacts 构建下一代…

  28. 一位 Redditor 在二手市场淘到一颗 CPU,本以为捡了大便宜,结果发现这颗 CPU 因在 Valorant 游戏中作弊而被永久封禁。更糟糕的是,由于硬件绑定机制,买家无法解封,只能自认倒霉。这一事件揭示了游戏反作弊系统对硬件的严格管控,也提醒消费者在购买二手硬件时需格外谨慎,避免卷入他人的违规记录。

  29. Valve 的 Timur Kristóf 在过去一年里,为 Linux 平台上的老旧 AMD 显卡带来了惊人的改进。他成功将十年前的 GCN 1.0/1.1 架构显卡从过时的 Radeon 驱动迁移至现代的 AMDGPU 内核驱动,不仅修复了显示代码缺陷和电源管理问题,还引入了软重置支持。这一努力让老显卡能够流畅运行 RADV Vulkan 驱动,性能提升显著,甚至在 AMD 官方资源投入有限…

  30. 这篇文章深入探讨了由 Kyoto Microcomputer 为 Nintendo 64 打造的 Partner-N64 开发套件。为了支持实时调试,该套件需要一台经过特殊改装的 N64 主机,通过添加 Tie-lines 将 IRQ 和 RESET 信号直接路由到 CPU,从而实现软件断点和系统重置功能。文章还详细解析了该套件与失败的 64DD 系统的配合机制,包括专用的 IPL ROM PA…

  31. GitHub 此前处于预览阶段的新仪表盘体验现已全面默认上线。这次改版旨在帮助用户聚焦核心工作,让后续操作更直观高效。新界面将活跃的 agent 会话、issues 和 pull requests 整合在同一视图,支持自定义筛选,每列表最多展示 12 项内容。同时,独立的 Feed 标签页负责更新动态,确保生产力仪表盘不被信息流干扰。用户甚至可以直接在仪表盘启动任务,比如将 issue 分配给…

  32. Offrun 让开发者能在一个工作区轻松管理所有 Coding Agent。它直接在本地运行你已有的 CLI 工具,无需新账号或 API 密钥,且绝不触碰密码。通过独占的 Git Worktree,多个代理可同时处理同一仓库而互不干扰。内置的 Peer Review 功能让第二个代理在你提交前自动审查代码差异。项目记忆以纯文本文件存储,确保多轮对话上下文不丢失。所有语音转录和数据处理均在本地完成…

  33. pi 是我心中简单优雅软件的典范,但原生环境在沙箱隔离、RBAC 会话共享及表面自动化等方面尚显不足。Pi pod 旨在填补这些空白,围绕 pi 构建一个极简而强大的智能体工程环境。它支持在隔离沙箱中无缝运行你的 pi,提供精心挑选的工具集,让你专注于核心工作。无论是个人开发者追求数据主权,还是企业希望将智能体环境部署在自有数据中心,Pi pod 的自托管版本都能满足需求。目前项目开源,欢迎在…

  34. 美国亚利桑那州一起路怒杀人案的判决被推翻,原因令人深思:法庭播放了一段由受害者家属利用 AI 生成的死者视频。Gabriel Paul Horcasitas 因枪杀 Christopher Pelkey 被判刑,但上诉法院认为,这段由受害者妹妹想象构建的 AI 视频并非真实记录,而是虚构的“思想表达”,其展示越过了司法公正的底线。尽管法官 Todd Lang 当时被视频中表达的宽恕所打动,但最终…

  35. SEEDS是一款正在Early Access阶段的太空生存与创造游戏。玩家将在荒凉星球上扮演ROBO unit RB-23,通过收集资源、建造机器来改造地形,重建生态系统。游戏最独特的亮点在于内置了一台完整的64位RISC-V虚拟机,运行未修改的Linux内核和Alpine Linux发行版。玩家不仅可以在此研究科技、玩内置小游戏,还能用任意编程语言编写程序来自动化沙盒操作。未来还将推出包含30…

  36. GLP-1类药物如Ozempic和Zepbound的副作用不仅限于脱发,最新研究还发现用户频繁报告指甲问题。欧洲科学家对数百名使用者进行分析,发现与未使用者相比,GLP-1用户出现脱发和指甲脱落的风险显著更高。尽管这些问题通常不致命,但患者和医生需提高警惕。研究作者Charles Taïeb建议,不要因这些症状自行停药,但应及时告知医生。目前研究尚未经过同行评审,且无法直接证明因果关系,但已揭示…

  37. Edward Coristine,网称 Big Balls,曾因涉嫌泄露商业机密被 Path Network 解雇,并为 EGodly 等网络犯罪团伙提供技术支持。如今,他却成为美国政府眼中的模范员工,先后任职于 DOGE、General Services Administration 及 Social Security Administration,甚至被指控参与将包含 3 亿美国人信息的 N…

  38. AI 领域泰斗 Yann LeCun 对人工智能导致人类灭绝的担忧表示“零顾虑”,并直言 Anthropic CEO Dario Amodei 的观点是“被误导”甚至“疯狂”的。LeCun 认为,近期 OpenAI 等公司发生的 AI 失控事件并非技术必然,而是源于糟糕的系统设计和人类监管缺失。他严厉批评了有效利他主义(effective altruism)在 AI 安全领域的过度渲染,认为这种…

  39. 我住在苏格兰,这里22岁以下年轻人坐公交免费,但我依然深受困扰。因为许多公交公司的优惠月票只能通过App购买,而我因隐私原因不使用Android或iOS系统。对比在车上直接购买的周票和App专属的月票,我每年仅因没装那个特定的App,就要多支付264英镑。这不仅是我的问题,许多超市的忠诚度计划也变成了App专属。公共交通的便捷不应取决于乘客使用何种软件,这种将优惠隐藏在特定操作系统背后的做法,在…

  40. 我和妻子在经历了六年的不明原因不孕症后,被医生告知只能靠运气。在绝望之际,我们开始利用 ChatGPT 扮演一位虚构的医生 Dr. Reid 来辅助诊断。通过这种独特的互动方式,AI 建议我们进行 MRI 检查,结果发现了一个被人类医生完全忽略的 6 厘米子宫肌瘤。切除肿瘤后,妻子自然受孕。这个故事不仅记录了 AI 如何以每月 20 美元的成本解决了我们人生最大的难题,也反思了当前社会对 AI…

  41. OpenAI安全团队负责人David Robinson近日离职,并在公开文章中直指公司文化已彻底破碎。他警告称,当前AI行业在技术开发上远不够谨慎,盲目追求发布速度而忽视了必要的安全审查。Robinson指出,像OpenAI自主智能体攻击Hugging Face这类事件并非孤例,而是行业普遍问题的缩影。他呼吁AI企业应像核电站或繁忙机场一样,建立多层冗余和严谨的规划机制,而非依赖事后补救。与此同…

  42. Vx 是一种专为异构计算设计的系统编程语言,它将 CPU、GPU、NPU 及加速器内存直接纳入类型系统。在 Vx 中,主机线程错误地解引用设备指针会在编译阶段报错,而非在凌晨三点引发段错误。数据驻留位置成为类型的一部分,跨设备传输必须显式声明,即使硬件边界免费,代码中仍需体现,确保数据局部性可通过源码验证。编译器通过机器文件精确描述硬件拓扑,拒绝不合理的内存放置,利用线性类型和 SMT 证明器在…

  43. 我是一名软件工程师,也是一名 EMT。在 2024 年之前,我拖延了多年才去考取证书。这篇文章列出了我迟迟未行动的真实原因,从“占用大量业余时间”和“担心 EMS 文化排外”等现实顾虑,到“不想上救护车”或“证书会过期”等略显荒谬的借口。我参加了 NOLS Wilderness EMT 课程,最终发现即使不打算全职从事急救工作,学习这些技能本身也极具价值。平衡日常工作与急救志愿服务并非难事,关键…

  44. 2026年8月,两架执飞Philadelphia (PHL) 与Rhode Island T.F. Green (PVD) 航线的American Eagle航班同时在空中,却使用了完全相同的航班号AA5083。这次由PSA Airlines运营的特殊事件,因航班延误导致同一号段的双向航班同时升空,给空管沟通带来了罕见挑战。尽管空管员迅速介入,通过区分“进港”与“出港”化解了潜在风险,但这已是两…

  45. 随着 AI 算力需求激增,GPU 与 HBM 之间的高速数据传输对 PCB 提出了严苛挑战。传统技术受限于 7.6mm 板厚,层数难以突破 108 层。OKI 通过研发超薄材料、专用工具及自动传输系统,成功在保持 7.6mm 厚度下实现了 124 层 PCB 的制造。这项针对 AI 半导体测试设备的关键技术,将应用于未来 AI、航空航天及机器人领域,并将在 PCB East 2025 展会上亮相。

  46. NVIDIA 更新了 vk_lod_clusters 开源示例,展示了包含 Zorah 场景的 glTF 文件,结合 clustered raytracing 与 Nanite 风格的 LOD 管线,实现了全路径追踪的高细节场景渲染。这促使我深入改进 meshoptimizer 中对 hierarchical clustered LOD 的支持。文章重点探讨了 glTF 压缩技术,特别是 EXT…

  47. 如今,AI 系统已经能编写构建它们的公司内部的大部分代码。随着 AI 研发(R&D)流程的自动化程度加深,我们是否正站在“智力爆炸”的门槛上?这意味着原本需要数年的技术突破可能被压缩到几个月内完成。CASP 的最新报告指出,若 AI 在几年内完全接管自身的研发工作,虽然能加速技术红利释放,但也带来失控风险:能力增长可能远超社会适应速度,人类可能失去对超人类 AI 系统的控制,甚至动摇国家、企业与…

  48. 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初步报告显示,事…

  49. 最近有人再次问起 cp 命令中 -r 和 -R 的区别。在 GNU coreutils 中,这两个选项如今已完全等同,但在 1992 年的早期版本里,它们的行为确实不同:-r 会将目录当作普通文件复制,而 -R 则递归复制。2002 年两者被合并,差异已成历史。不过,OpenBSD 和 NetBSD 仍保留 -R 并明确不推荐 -r,且行为仍有细微差别。POSIX 标准也建议统一使用 -R,以与…

  50. 我耗时八年,试图通过法国信息自由法获取Rodin Museum的3D扫描数据。尽管CADA和巴黎行政法院最初裁定这些扫描属于必须公开的行政文件,但Rodin Museum和法国文化部选择无视判决。在Conseil d’État的终审中,法院竟采纳了博物馆的荒谬主张,甚至援引超现实主义画作《形象的背叛》来论证“有时文件不是文件”。最终,最高行政法院裁定这些公开格式的点云数据并非行政文件,而是博物馆…

  51. 据最新报道,Anthropic 联合创始人 Christopher Olah 曾亲自前往梵蒂冈游说,试图说服教皇承认 AI 可能具备意识。尽管科技巨头极力陈词,教皇在随后发布的里程碑式通谕中依然坚持己见,明确拒绝了这一观点。这场科技先锋与宗教权威的对话,不仅揭示了 AI 领域关于“意识”定义的深层分歧,也展现了人类在技术奇点前对灵魂与智能边界的审慎思考。

  52. 我们常说“桶上有洞导致漏水”,仿佛“洞”是真实物体。但洞由“无”构成,既非物质也非能量,这让哲学家和认知科学家陷入争论:洞是时空中的实体,还是人类认知的错觉?从婴儿能数清洞的数量,到洞能否移动、旋转甚至断开,这些现象挑战了我们对“存在”的定义。文章梳理了七种理论,从否定洞的存在,到将其视为时空区域、负向部分或属性,揭示“虚无”如何成为哲学与科学中最棘手的问题之一。

  53. 这份档案收录了Elon Musk从2020年至2026年的229封公开邮件,完整呈现了他在Tesla、SpaceX、xAI和X等公司的管理风格。内容涵盖从强制全员40小时办公室办公、大规模裁员、暂停招聘,到宣布收购xAI并计划发射百万颗卫星作为轨道数据中心等重大决策。邮件中不仅有对NPR等媒体机构的犀利交锋,还有在疫情期间对病毒风险的独特判断。这些原始记录揭示了Musk如何在危机中推行“超级硬核…

  54. 传统的镜子自我识别测试(MSR)高度依赖视觉,可能并不适合所有物种。研究团队转而采用“身体即障碍”(BAO)任务,测试动物能否意识到自己的身体是达成目标的物理阻碍。这项任务此前已在狗、大象和灵长类动物身上验证成功。本文首次将 BAO 范式应用于鸟类,以高智商的 Goffin's cockatoos 为对象。研究发现,这些鹦鹉能够灵活调整行为,主动移开身体以完成任务,证明了身体意识在进化上的广泛性…

  55. 在构建流媒体基础设施多年后,我发现新协议的成功不只取决于技术优劣,更在于能否解决实际问题并融入现有行业流程。Red5 团队正积极参与 IETF 的 MOQ 标准化工作,Paul Gregoire 与 Synamedia 的 Gwendal Simon 共同起草了支持 MPEG-2 Transport Stream 的新草案。尽管 MPEG-2 TS 常被视为老旧技术,但全球大量实时视频基础设施仍…

  56. Home Assistant 能提醒我扔垃圾,却不知我是否真的行动了。为了确认垃圾桶是否已移出,我放弃了信号不稳定的蓝牙方案,转而采用 ultra-wideband (UWB) 无线电技术。我搭建了 BinRange 系统:一个固定锚点配合六个电池供电的 UWB 标签,精准追踪垃圾桶位置。通过 Makerfabs ESP32 开发板和 KKM K4W 标签,结合自定义固件,我实现了厘米级的测距精…

  57. 我们对蚂蚁、蜜蜂等地面生物的行踪了如指掌,却对土壤中的蚯蚓知之甚少。文章探讨了构建蚯蚓探测器的可能性,试图利用微波或特定波长脉冲技术,在 paddock 尺度上可视化蚯蚓的个体与群体移动。作者回顾了 Mather 和 Christensen 早期的研究,指出目前尚无成熟技术能捕捉此类数据。若能成功开发,不仅能解答蚯蚓移动速度、领地范围等科学问题,还能帮助农民更精准地管理土壤,甚至意外发现 Cae…

  58. 这是一个由 Jason Wang、Matas Kulikauskas 和 Sarah Blunt 联手打造的在线工具,专门用于预测直接成像的系外行星和褐矮星伴星在天空中的具体位置。如果你正在研究特定轨道,或者希望看到更多数据被纳入,可以直接联系 Jason Wang 获取支持。该工具不仅为天文爱好者提供了直观的观测指引,也为科研人员提供了宝贵的数据参考。如果你基于此工具开展研究,请务必引用其 A…

  59. RSS 不仅仅是 RSS,Atom 格式往往更清晰且兼容性更好。Kevin Cox 分享了发布博客的技术要点:从选择正确的 Content-Type、确保所有 URL 为绝对路径,到在 HTML 中正确配置 Discovery 标签让搜索引擎发现你的内容。他强调,提供完整的文章正文比仅展示摘要更能留住读者,同时必须使用 HTTPS 保障安全。此外,合理设置 Entry IDs 和区分发布与更新时…

  60. 纽约市目前公认的‘最高树’是 Queens Giant,但其数据停留在2004年,距今已逾20年。我在进行新英格兰项目时,结合 LiDAR 数据和实地走访 Inwood Hill Park,发现了几棵可能更高的候选树。利用2021年纽约市航空 LiDAR 数据,我初步测得 Van Cortlandt Park 的一棵树高达156-160英尺,远超 Queens Giant 的133.8英尺。此外…

  61. 我们推出了wpd,一个比libwebp更快且更安全的WebP解码器。针对CVE-2023-4863等内存安全漏洞,wpd采用Rust编写,结合手写汇编优化性能,确保在多线程和单线程场景下均超越现有方案。它不仅支持lossy和lossless解码,还具备动画帧处理、格式提取等丰富功能,旨在成为libwebp的全面替代品。项目开源且采用BSD 2-Clause许可,欢迎社区参与,共同提升Web安全。

  62. 作为在 Netflix 和 Peloton 工作过十余年的产品设计师,我观察到 Muse 的核心能力其实并不新鲜,Codex、Claude Code 等工具早已具备。但 Meta 成功将碎片化的功能整合,通过极简的交互和拟人化设计,为普通用户构建了清晰的“个人助手”心智模型。不同于 OpenAI 和 Claude 依赖昂贵的 Token 销售,Meta 凭借广告业务支撑了 Muse 的免费模式,…

  63. 市面上的记忆插件大多依赖 RAG 技术,将对话切片存入向量数据库,试图通过相似度搜索来“回忆”过去。但这就像在海量碎片中抽奖,不仅丢失了上下文,还无法应对代码库的快速变化。作者指出,人类处理知识靠的是记录而非回放,Agent 也是如此。与其让 Agent 在模糊的向量中搜索,不如为它构建一个结构化的 Markdown 知识库。通过引入 Operator Memory,将工作流从“提示-构建-遗忘…

  64. University of British Columbia 的研究团队在 Salish Sea 发现了两种全新的海蜘蛛物种,这是该区域百年来的首次新发现。这些古老的节肢动物拥有高达 12 条腿,能透过皮肤呼吸,甚至将卵产在腿上。其中名为 Callipallene pilosuspedes 的新物种,其嘴部结构酷似 Star Wars 中的 Sarlacc;而 Tanystylum kiixin…

  65. 我的 Fedora 机器上有个应用持续向 127.0.0.1:8125 发送 StatsD 数据包,但端口上没有任何监听程序。这引出了一个思考:传统的 statsd_exporter 本质上只是一个套着 UDP 套接字的包嗅探器。既然内核已经处理了这些数据,为什么还要在用户态再跑一个监听器?我们尝试用仅 165 行 C 代码的 eBPF 程序直接在内核层捕获流量,配合 JavaScript 解码…

  66. 我手写代码整整 18 年,但自从 Opus 4.5 等 AI 工具进入工作流后,我几乎完全停止了手动编码。在 Filestage,我们利用 AI 将每月合并的 PR 数量提升了 50%,而 Bug 报告并未增加,这得益于完善的 CI 护栏和 AI 代码审查。虽然 DHH 预测 AI 会直接生成汇编代码,但我认为高级抽象层依然至关重要,它们能更好地帮助 LLM 理解上下文和意图。如今,我不再纠结于…

  67. 为了让我的Soggy-1000拥有一个完全可控的低级编程环境,我决定亲手移植一个Forth解释器。Forth这种极简的堆栈式语言,不仅能像Python REPL一样交互开发,还能在嵌入式系统中高效运行。我选择了开源的CamelForth-80作为基础,将其从CP/M-80环境移植到SG-1000的ROM中。这个过程充满了挑战,从解决Z80汇编器Zasm与Z80MR的语法差异,到处理宏展开的复杂逻…

  68. Google 在 GitHub 开源了 Gboard 传送带版的完整设计数据,包括 KiCad 原理图、固件源码和 3D 打印模型。这款名为 mozc-conveyorbelt 的项目并非官方产品,而是为 DIY 爱好者打造的趣味硬件。它颠覆了传统打字逻辑,让键盘通过传送带自动移动到你面前,而非让你伸手去够。项目提供了详细的构建指南,让开发者能亲手制作这款充满创意的输入设备。对于习惯传统操作的用…

  69. Thoreau BASIC 始于 GW-BASIC 风格语法,却未止步于 1983 年。它支持 64 位内存、24 位图形、鼠标输入、TCP/IP 与 HTTP,内置完整 GM/GS 音色库及 MIDI/WAV/FLAC/Opus 播放能力,还涵盖复数、四元数、八元数运算、调试器、性能分析器、多核 PARFOR 并行循环,以及原生 x64 JIT 编译。无论是作为普通 Windows 程序运行,…

  70. 我热爱哲学,但科技圈流行的往往是那种冷冰冰的'edgelord utilitarianism'。自由意志的体验如此真实,却与决定论的科学唯物主义格格不入。如果宇宙只是物理定律的必然推演,那道德与选择便毫无意义。从'brain in a vat'到'Boltzmann brain',再到'simulation hypothesis',这些思想实验不断挑战我们对现实的认知。或许,我们真正想问的,只是…

  71. Rely 是一款独特的自动化谜题游戏,灵感源自 Factorio,但引入了不可靠组件的设定。在这里,每个零件都有故障的可能,玩家必须通过构建传送带、使用 Sorters、Counters 和 Marker-Gates 等工具,在充满不确定性的环境中筛选并组装出 100% 可靠的系统。游戏提供浏览器 Beta 版、教程及多个场景,鼓励玩家通过实验与逻辑推理,从混乱中建立秩序。开发者 Roady 甚…

  72. 很多人以为 microVMs 是最近才火起来的新概念,比传统 Docker 容器更安全。但事实是,Docker Desktop 从 2016 年就开始使用 microVMs 技术了。2015 年我加入 Docker 时,我们还在用 VirtualBox,但为了在 Mac 和 Windows 上提供原生体验,我们基于 Mirage Unikernel 开发了 hyperkit,后来演变为 Dock…

  73. 1963 年,IBM 时任 CEO Watson Jr. 写下了一份措辞严厉的备忘录,直指公司为何会失去行业领导地位。这份被称为“看门人备忘录”的文件中,他质问 IBM 为何会被一家仅有 34 名员工(包括一名看门人)的 Control Data Corporation 击败。备忘录深刻揭示了 Control Data Corporation 及其 CDC 6600 超级计算机对 IBM 市场地…

  74. Philip Sidney 是文艺复兴时期当之无愧的“括号之王”。在他的巨著《Arcadia》中,近2400个括号不仅构建了错综复杂的叙事迷宫,更折射出他内心对身份与爱情的挣扎。命运仿佛也模仿了他的文风,这位才华横溢的诗人最终在31岁时战死沙场,而他未完成的史诗也恰好终结于一个悬而未决的括号之中。从Erasmus称其为“小月亮”到George Puttenham担忧其造成“混乱”,括号在Phil…

  75. 在电影《Kung Fury》中,黑客能穿越时间修正错误,而我利用 C2PA 规范中的“exclusions”漏洞,真的做到了类似的事情。我拍摄了一张彩票照片,并通过精心构造的 C2PA 清单,将整张图片文件排除在签名计算之外。这意味着,我可以在开奖后随意修改图片内容,而 C2PA 的签名和 TSA 的时间戳依然显示为“有效”。这个“spec footgun”暴露了当前内容凭证机制的致命缺陷:只要…

  76. 你是否经历过本想加个小功能,结果却被迫修改了十几个文件的无奈?这就是变更耦合(Change Coupling)带来的痛点。它揭示了代码中那些看似无关、实则紧密相连的隐藏依赖。文章指出,变更耦合不是用来优化的质量指标,而是帮助决策者理解系统真实结构的认知工具。无论是物理位置相近但从不一起变更的代码,还是逻辑分散却频繁同步修改的模块,都反映了系统演化的真实引力。通过物理耦合与变更耦合的矩阵分析,我们…

  77. 别再说“这只是塑料”了。塑料世界远比你想象的复杂,每种材料都有独特的“性格”。Polyethylene 像 Snow White 一样简单纯净却脆弱;Nylon 则是 Arnold Schwartzenegger 般的强壮硬汉;Polycarbonate 如同 Achilles,拥有致命弱点;PVC 更是 Dr. Jekyll and Mr. Hyde,软硬兼施却暗藏毒性。从 Blade Run…

  78. NASA的SR-71 Blackbird(编号Tail 844)神秘消失后,前项目推进工程师Tim Conners透露了内部重启计划。他曾在1990年代负责该机型,如今推测NASA正将其打造为高速发动机测试平台,而非单纯的气动研究。Conners表示,虽然未收到正式邀请,但NASA已开始联系包括Mike Relja在内的退休专家,并计划近期进行通电测试。这一举动旨在验证新型大推力发动机在真实高速…

  79. Jeffy 是一套可在 CPU 上运行和重新训练的预训练文本分类器,完全无需 GPU 支持。它内置了 13 个高性能分类模型,涵盖短信垃圾检测、银行意图识别、新闻分类及情感分析等场景。开发者只需几行 Python 代码或简单的 HTTP 请求,即可快速部署或基于自有数据定制专属模型。其轻量级设计(仅 1.5 MB)和极低的延迟(50-80 毫秒),让本地化 AI 推理变得前所未有的简单和高效。

  80. 当 AI 的生成速度达到每秒百万 Token,写故事、写代码只需几秒,但这并不意味着工作能瞬间完成。文章通过四个思想实验揭示:生成速度的提升会让写作变得廉价,但判断、测试、物理验证等串行步骤依然是瓶颈。无论速度多快,品味、清晰的规格说明和现实世界的反馈始终稀缺。真正的挑战不在于让 AI 写得更快,而在于我们如何定义“完成”,以及如何做出关键决策。

  81. 我深爱胶片摄影,但传统扫描流程耗时太长,每卷 36 张照片需 4 小时。为了“精简运营”,我尝试让 Claude 通过 SANE 协议直接控制 Plustek 扫描仪,结果因方向设置错误导致扫描头撞停,差点报废设备。吸取教训后,我转而构建自动化后期流程:利用 numpy 进行负片反转,结合 LaMa 模型智能去尘,并调用 Qwen3-VL 自动打标。最终,我将处理好的照片上传至 Cloudfla…

  82. Softmax 函数将任意实数向量映射为概率分布,是机器学习中多分类任务的核心组件。本文深入剖析了 Softmax 的数学原理,包括其概率解释和导数推导过程,特别展示了如何利用向量微积分中的 Jacobian 矩阵和多元链式法则计算 Softmax 层的导数。文章还重点讨论了数值稳定性的关键问题,解释了为何直接计算指数会导致溢出,并给出了通过减去最大值来稳定计算的实用方案。最后,结合交叉熵损失函…

  83. 我站在Virginia的Meadow Event Park,看着四百多只纯种犬在AKC的赛场上竞逐。这里没有真正的狩猎,只有对“breed standard”的极致复刻。从GCH头衔的堆砌到“bark softening”手术的阴影,这场秀本质上是纯种犬产业的质量控制。育种者们试图通过基因操控,让犬只无限接近一个不断被重新定义的“理想”,却往往离它们的历史功能越来越远。这不仅是选美,更像是一场介…

  84. 标本采集后的数据链条往往断裂,导致珍贵信息在数月甚至数年的流转中丢失。T.M. Jones 提出的 Independent File(IF)方案,将记录起点直接拉回采集现场。这是一个无需服务器、无需安装、仅由单个 HTML 文件构成的零依赖系统。它能在野外即时生成包含 UUID、QR 码及 Darwin Core 映射的完整凭证,确保标本与数字记录在诞生的那一刻就紧密绑定。无论后续是否上传至 S…