Hacker News Digest
· 47 黑客新闻
LG 显示器被曝出在用户毫不知情的情况下，利用 Windows Update 机制悄悄安装软件。这一行为完全绕过了用户的同意环节，引发了隐私和系统安全的巨大担忧。原本用于更新驱动或系统补丁的 Windows Update，竟成了硬件厂商“暗度陈仓”的通道。对于普通用户而言，这意味着你的电脑可能正在运行未经授权的程序，而这一切都发生在后台静默进行。这种“静默安装”不仅侵犯了用户的知情权，也可能带来…
OpenAI 宣布 CDC 证明后，GPT-5.6 竟然仅凭一个提示词就解决了凸优化领域长达 30 年的难题。这一突破让数学界和 AI 社区都为之震惊，展示了大语言模型在解决高深数学问题上的惊人潜力。这不仅是技术的飞跃，更预示着 AI 在科研领域将扮演前所未有的关键角色。
纽约市长 Zohran Mamdani 最近动作频频，刚针对 Adobe 推出“一键取消”规则，转头就向房东的“虚假宣传”开刀。新发布的《Rental Ripoff Report》直指痛点：禁止房东偷偷使用 AI 生成或编辑的图片来美化房源。现实中，AI 生成的完美照片往往让租客在实地看房时大失所望，甚至遭遇霉菌、虫害等严重问题。Mamdani 强调，政策源于数千名纽约人的真实遭遇，要求房东必须…
- ▲ 38980 美分芯片实现语音识别与 TTS
Moonshine Micro 是一款专为微控制器设计的开源 AI 语音工具包，它让语音交互在资源极度受限的设备上成为可能。基于售价仅 80 美分的 Raspberry Pi RP2350 芯片，该系统集成了语音活动检测、命令识别以及神经语音合成技术，整个运行所需内存低至 470 KB。开发者可以利用 TensorFlow Lite Micro 库，在嵌入式设备上构建完整的语音代理，甚至实现通过…
这张图表揭示了 Stack Overflow 从 2008 年上线至今的提问量变化。数据显示，平台在早期经历了爆发式增长，月提问量从几百条迅速攀升至近十万条。然而，随着 AI 技术的崛起，尤其是生成式 AI 的普及，程序员获取代码答案的方式正在发生根本性转变。图表中提问量的波动趋势，或许正是 AI 对传统开发者社区产生冲击的最直观证据。这不仅仅是数据的起伏，更是技术生态变迁的缩影，让人不禁思考：…
- ▲ 353想融入圈子？别等，直接办活动
我曾多次尝试加入新群体或在新城市结交朋友，很快发现最快的方式就是自己组织活动。每个社群里，大家对社交活动和事物的需求远大于供给。与其像消费者一样被动等待，不如主动成为组织者。很多人误以为社交场景会像野生蓝莓丛一样自然生长，但事实是，只有愿意付出努力的人才能促成聚会、晚宴或读书会。当今社会的疏离感，很大程度上源于太多人只想“搭便车”消费社交资源，却不愿亲手创造。虽然无法解决整个社会的问题，但你完全…
我是 Handy 的维护者，今天兴奋地向大家推出 transcribe.cpp。这是一个基于 ggml 构建的语音转写库，旨在解决当前跨平台 ASR 应用分发困难的问题。它支持 16 个 ASR 家族（60+ 模型），并通过 Vulkan、Metal、CUDA 和 TinyBLAS 实现全面加速。与 whisper.cpp 不同，我们不仅提供了数值验证和 WER 测试，确保推理结果与参考实现高度…
我在日常编码中同时使用 Kimi K3 和 Claude，发现两者在任务质量和输出效率上几乎无法区分，但价格差距却令人咋舌。Kimi K3 的 API 费用仅为 Claude 的几分之一，订阅计划也慷慨得多，没有那些让人头疼的隐藏限制。反观美国，由于政府政策限制，Claude 等模型被阉割，甚至无法在低价套餐中提供旗舰功能。而像 Kimi K3 和 GLM 5.2 这样的开源模型，不仅性能强劲，…
我把一个未公开的 NP-Hard 优化问题扔给了 Claude Fable 5 和 GPT-5.6 Sol，分别测试了普通模式和原生 /goal 模式。结果令人震惊：Fable 5 展现了惊人的原始智能，不仅给出了最优解，而且稳定性远超其他模型。更有趣的是，/goal 模式并非通用的“更努力”开关，它虽然赢得了更多单次测试，却拉低了整体平均表现。这揭示了一个残酷真相：在硬核优化问题上，循环的质量…
备受喜爱的类型安全编程语言 Gleam 正式入驻去中心化代码托管平台 Tangled。作为一个由社区驱动、非企业拥有的开源项目，Gleam 以其友好的开发体验和构建可扩展系统的强大能力著称。此次入驻不仅意味着开发者可以在 Tangled 上更方便地克隆、提交和协作，也标志着 Gleam 生态在去中心化基础设施领域的进一步拓展。项目代码库中 Rust 占比超过九成，近期更新频繁，涵盖了编译器优化、…
我分享了一套完整指南，教你如何将闲置的 Mac 改造成一台由 Claude Code 全权控制的常开机器。通过创建隔离账户、配置无密码 sudo 和 SSH 免密登录，你可以在主 Mac 或手机上随时通过 SSH 或 Claude App 远程操控它。相比容器方案，这种独立环境能运行 Unity 等原生应用，且彻底规避了在主机上运行高危指令的风险。无论是跑研究任务还是开发工作，这台“数字分身”都…
曾经风光无限的 GoPro 如今处境堪忧，创始人 Nicholas Woodman 不得不自掏腰包，以 6.5% 的年利率向公司注入 2000 万美元贷款，试图为其续命。数据显示，2026 年第一季度 GoPro 营收同比暴跌 26%，销量下滑 29%，公司正紧急寻求买家或战略重组。尽管 GoPro 推出了 Mission 1 系列新品，并涉足航空航天与国防领域，甚至为 NASA 的 Artem…
Elixir 官网迎来了全新设计，全面展示了这门语言从 solo 开发者到百人团队、从单服务器到全球网络的强大扩展能力。新版本强调了基于 Erlang 的可靠性与容错性，并重点介绍了 Numerical Elixir (Nx) 带来的 GPU 加速能力，让 Elixir 在 AI 和数值计算领域也能大展拳脚。无论是 Phoenix 框架带来的极速开发体验，还是 LiveView 实现的实时交互，…
在《acmqueue》最后一期 Bikeshed 专栏中，Poul-Henning Kamp 大胆预测 FOSS 的终结。他认为，LLM 辅助代码审查只是经济泡沫，而真正的威胁来自强制年龄验证。Tech bros 曾坚持绝对隐私和加密，将国家逼入死角，如今国家正在反击。为了实施年龄验证，软件必须经过密码学完整性认证，这意味着用户无法随意修改和重新编译源码。随着数字主权回归和问责制加强，互联网将分…
- ▲ 139AI狂热正在摧毁全球决策
过去一年，我主导了公司的所有销售和技术交付，与全球约300位专业人士深入交流。我亲眼目睹了从初创企业到Fortune 500巨头，整个商业世界正陷入一场令人窒息的集体癔症。现实是残酷的：我们团队观察到的所有AI项目全部失败，成功率为零。然而，为了保住职位，高管们不得不像传教士一样狂热地宣扬AI的变革力量，哪怕他们连一个实际落地的LLM应用都说不出来。任何理性的质疑都被视为异端，组织内部充斥着恐惧…
做了二十年游戏，我始终痴迷于融合数字与物理世界。这次，我和Alex Macmillan联手打造了Strandfall，一款Solarpunk风格的实景Larp。今年九月，30名玩家将在Edinburgh的公园里，利用我们自制的McNair-Feldman Device（MFD）——一种集成了低功耗无线电、GPS和ePaper显示屏的“空间计算机”，去追踪神秘风暴、寻找失踪科学家。我们拒绝使用智能…
买了好电视却无法直接投屏网页视频？别再忍受长长的 HDMI 线或卡顿的屏幕镜像了。Castor 是一个强大的命令行工具，它能利用无头 Chrome 自动提取网页中的视频流，通过 ffmpeg 进行格式转换，并实时投送到支持 DLNA/UPnP 的电视或 Chromecast 上。你甚至可以在终端里直接浏览 TMDB 热门影片，一键播放，还能自动烧录字幕。无论是通过 Homebrew、Docker…
作为 IndieWeb 运动的践行者，我始终认为真正的独立意味着完全掌控你的身份和内容。如今，越来越多的企业试图接管这些数据，而所谓的订阅式博客服务往往只是让你退回到依赖他人数据库的状态。我推崇的 Hardcore IndieWeb 理念回归了90年代最纯粹的做法：在本地硬盘用文本编辑器撰写 HTML，通过 FTP 工具上传到 NearlyFreeSpeech.net 等廉价主机。你不需要复杂的…
OpenAI 的 Codex 和 ChatGPT Work 近期频繁触发使用限额重置，官方账号 [@thsottiaux] 在 X 平台上多次宣布这一操作。从庆祝用户突破 700 万、800 万到 900 万大关，到修复缓存优化导致的消耗过快问题，再到应对突发流量激增，团队不断通过重置限额来保障用户体验。平均约 8.9 天就会有一次重置，最长间隔甚至达到 67.7 天。这不仅是对用户热情的回应，…
32 位家用计算机的黄金时代并未远去，Amiga Freeware Archive 现已上线，提供数千款经典 Amiga 软件免费供人下载探索。这里汇聚了来自 17 Bit Software、Fred Fish 等传奇 PD 库的珍贵资源，涵盖游戏、应用、演示、图形、音乐及工具。从 1980 年代末的 UK 和 USA 用户小组，到 The Assassins 等场景团体，再到 JAM 等磁盘杂…
我们把 GTX 1080 和 GTX 1080 Ti 从库存里翻出来，搭配当年的 Intel Core i7-8700K 和 AMD Ryzen 7 1800X，重温了 2017 年的辉煌。结果发现，即便换上最新的 Ryzen 7 7800X3D，这两张老卡在 1080p 下依然能跑满 60 帧，但在光追游戏面前彻底哑火。更有趣的是，我们用 llama.cpp 测试了它们在 LLM 推理上的表现…
一位二年级老师竟然让经典游戏Backyard Baseball死灰复燃！面对这款被遗忘的怀旧之作，她没有选择放弃，而是凭借对教育的热爱和对游戏的执着，重新点燃了玩家们的热情。从修复代码到组织社区活动，她用实际行动证明了游戏不仅是娱乐，更是连接过去与未来的桥梁。这个故事不仅让人感动，更引发了关于数字遗产保护的深刻思考。
Q3Edit 是一款运行在浏览器中的 Quake III Arena 地图编辑器。它基于 TypeScript 和 WebGL2 构建，支持打开、编辑和保存真实的 .map 文件，涵盖 brushes、patches、entities 及 terrain 等核心元素。最独特的是，它利用 WebAssembly 编译了 id Software 原生的 q3map 工具，实现一键在浏览器内编译并启动…
别再只测普通打字速度了，这款专为开发者打造的工具能精准评估你的 Terminal-fu 水平。它模拟了真实的命令行操作场景，涵盖从 ssh、git 到 kubectl 等高频指令，甚至包括复杂的包管理操作如 dnf、pacman 和 apt。在这里，你需要快速敲击 tar、grep、systemctl 等命令，看看自己在面对 nginx 日志、docker 容器或 systemd 服务时是否依然…
面对全球生物安全局势的剧变，Google DeepMind与Isomorphic Labs正式公布了联合生物韧性战略。我们不再被动应对疫情，而是利用AlphaFold、IsoDDE和AlphaEvolve等前沿AI技术，主动构建防御体系。通过预防、检测和响应三大核心环节，我们正与政府及科研机构深度合作，防止AI模型被恶意利用，同时加速疫苗与疗法的研发。从优化基因测序算法到部署药物设计引擎，我们的…
GitHub 内部曾面临严峻挑战：14000 多个仓库中，超过一半没有明确归属。这导致在秘密扫描修复等安全工作中，我们常常因找不到负责人而陷入困境。在短短 45 天内，我们利用 GitHub custom properties 和自动化流程，为所有活跃仓库验证了所有者，并将 8000 个废弃仓库归档。通过强制新仓库在创建时即指定归属，我们将所有权变成了系统的基础设施，彻底消除了“无主仓库”带来的…
- ▲ 68在家实测V-I曲线：拒绝虚假图表
在撰写新书《The Secret Life of Circuits》时，我受够了市面上那些凭空捏造的电子图表。为了追求真实，我亲手搭建了测试环境，利用Rohde & Schwarz NGU401源表（SMU）和FastLog模式，配合矿物油冷却和脉冲电源，成功捕捉了从微安到安培级的真实V-I曲线。无论是1N4148二极管的非理想指数特性，还是BS170 MOSFET在击穿区的微妙表现，实测数据都…
- ▲ 60数学家仍未找到乘法最快解法
小学生背乘法口诀表，但面对大数乘法，传统竖式算法效率极低，复杂度高达O(n^2)。1960年，23岁的Anatoly Karatsuba用天才的代数技巧打破了这一认知，将乘法转化为更廉价的加法，大幅提升了计算速度。如今，Python等编程语言在数字达到630位时会自动切换至Karatsuba算法。2019年，David Harvey和Joris van der Hoeven更是提出了O(n lo…
心血管病仍是美国头号杀手，而高LDL胆固醇是主要可控风险。FDA近日批准了首款口服PCSK9抑制剂Lipfendra（enlicitide），由Merck Sharp & Dohme LLC研发。此前PCSK9抑制剂仅有注射剂型，现在患者可每日口服一片，作为饮食和运动之外的补充疗法，进一步降低低密度脂蛋白胆固醇。临床试验显示，在已接受最大耐受剂量statin治疗的患者中，Lipfendra在24…
这项研究在数字原始汤中探索了自复制与问题求解能力的共进化过程。研究人员从随机生成的32字节Z80汇编程序出发，让自复制行为完全通过随机突变和程序间的相互作用自然涌现。通过引入多项式计算任务作为验证步骤，他们发现自复制与数学能力能够成功协同进化。计算压力加速了紧凑且鲁棒的复制架构的出现，这些架构能保留执行任务所需的内存。此外，代谢约束促使程序进化出条件停机机制，而空间任务分区则催生了自发的学习课程…
- ▲ 53别只看封面，经典开篇决定一切
你是否也习惯通过一本书的开头来判断它是否值得读？这篇文章带你重温文学史上那些令人过目难忘的第一页。从《白鲸》中 Ishmael 那句经典的自我介绍，到《双城记》里对时代矛盾的精妙概括，再到《爱玛》中 Emma Woodhouse 完美生活的开篇描绘。这些伟大的作品无一例外地用寥寥数语就抓住了读者的灵魂。作者通过展示这些经典片段，提醒我们：在信息爆炸的今天，一个精彩的开篇依然是内容创作者最有力的武…
长期以来，LuaLaTeX 编译大文档需要数十秒，让实时编辑成为奢望。本文揭示了突破这一瓶颈的关键：行距调整是局部的，而分页是全局的。通过直接从 LuaTeX 节点结构提取显示列表，绕过 PDF 生成步骤，我们实现了单段落约 1ms 的极速重编译。基于此，我们开发了浏览器端工具 texlode，其性能表现远超 Typst 的线性增长模式，实现了与文档大小无关的 O(1) 延迟。这意味着，像 Wo…
Ryan Lopopolo 提出的 Harness Engineering 核心理念，在于将模型和编码代理视为黑盒，转而通过优化其周围的上下文和工具来重塑环境。这种方法旨在将组织的非功能性需求，如可靠性、安全性和性能，转化为代码中的可执行约束。通过让代码库成为代理的“导师”，将过往的决策、纠错和反馈转化为累积的组织智慧，确保代理能理解并执行特定的业务逻辑。这不仅是最后一公里的部署工作，更是让通用…
- ▲ 26LLM 如何重塑多元微积分课程
Academa 推出了一套由 LLM 深度驱动的多元微积分课程，彻底改变了传统数学教学。从向量几何到多重积分，再到向量微积分，这套课程涵盖了从基础概念到高级定理的完整体系。每一讲都通过精心设计的视频和互动内容，将复杂的数学原理变得直观易懂。无论是偏导数、链式法则，还是格林定理和斯托克斯定理，课程都力求在保持严谨性的同时，提升学习体验。这不仅是技术的革新，更是教育模式的一次大胆尝试，让数学学习不再…
一张图或许胜过千言万语，但75,052个图标则是探索复古Macintosh应用的绝佳方式！这个视觉目录收录了来自全球各地的经典软件图标，只需将鼠标悬停在任意图标上，就能查看文件名、来源国家以及所属媒体。Finder应用和文档图标特别以绿色高亮显示，悬停时还会揭示文件类型和创建者代码。从Adobe Photoshop的早期版本到日本Mac Demo Software Zenshuu 94中的创意作…
- ▲ 24A*算法如何绕过圆形障碍？
大家通常以为 A* 算法只能在网格地图上跑，其实它是个通用图算法，搞定圆形障碍物路径规划完全不在话下。这篇文章详细拆解了如何将圆形障碍森林转化为图结构：通过计算圆与圆之间的公切线作为“冲浪边”，沿着圆周行走作为“贴边”，构建出独特的切线可见性图。文中不仅用几何公式推导了内部和外部公切线的生成方法，还演示了如何剔除被其他圆遮挡的无效路径。即使面对圆与圆相切或重叠的复杂情况，这套方案也能通过调整算法…
最近，Anthropic和OpenAI频繁为Claude Code和Codex用户重置每周LLM使用配额。虽然看似是免费福利，但作为重度用户，我却感到焦虑。为了用满升级后的$100/mo Codex计划，我不得不时刻监控配额，甚至专门创造新项目来测试GPT-5.6 Sol。然而，突如其来的多次重置打乱了我的计划，让我感觉像是在“浪费”钱。这种随机奖励机制本该带来多巴胺，却反而造成了心理负担。这背…
Mag World 致力于帮你建立对‘尺度’的直观感受，不再只是模糊地知道‘大’或‘小’，而是清晰理解到底‘大多少’或‘小多少’。我们采用一种聚焦数量级的简化数字记法，将其应用于生活和宇宙的方方面面，以此获得全新视角。除了网站内容，团队还推出了同名播客，并开发了 Firefox 和 Chrome 浏览器插件。只需点击工具栏的“magify”按钮，网页上的“10 million kWh”瞬间就能转…
- ▲ 19欧洲法院确认伦理素食受法律保护
2026年7月，欧洲人权法院（ECHR）作出历史性裁决，确认伦理素食（Ethical Veganism）和反物种主义属于受保护的哲学信仰。案件源于瑞士两名被拘留者因未获提供素食餐食而发起的诉讼。法院指出，当局未能履行《欧洲人权公约》第9条规定的义务，侵犯了当事人的思想、良心和宗教自由。这一判决不仅为瑞士定下新规，也进一步巩固了自2020年英国就业法庭裁决以来，素食主义者在欧洲乃至全球范围内的法律…
- ▲ 18从零开始：如何打造一款字体
字体设计远不止是画几个漂亮的字母，它是一门融合了数学、工程与艺术的复杂学科。在 Making Software 系列中，作者深入剖析了从最初的概念构思到最终生成可渲染字体的完整流程。你将看到如何定义字形轮廓、处理复杂的连字逻辑，以及解决不同渲染引擎下的兼容性难题。这篇文章不仅适合设计师，更让开发者理解字体背后的技术细节，揭示那些看似简单的字符背后隐藏的精密计算与匠心独运。
Parsoid 是一个双向运行时 wikitext 解析器，能在 wikitext 和 HTML/XML DOM 之间自由转换。自 2012 年启动以来，它最初由 JavaScript 编写，现已被移植为 PHP 库并随 MediaWiki 1.35 捆绑发布。作为 VisualEditor 的核心引擎，Parsoid 致力于实现无损转换，避免“脏 diff”。在 MediaWiki 1.47…
Deepsec 是由 Vercel 推出的全新安全工具，利用 AI 编码代理深入扫描你的代码库，精准定位那些长期潜伏、难以发现的漏洞。它支持在本地基础设施运行，针对大型仓库进行按需审查，虽然单次扫描成本可能高达数千甚至数万美元，但客户反馈其修复效率远超投入。工具支持断点续传，即使扫描中断也能从断点继续，避免重复工作。通过 Vercel Sandbox 微虚拟机，Deepsec 还能实现分布式执行…
经过两年的努力，LANA 项目团队在今天召开新闻发布会，正式宣布了一个关键结论：Mochizuki 在 IUT 论文中从 Theorem 3.11 推导到 Corollary 3.12 的论证方式无法被形式化。这意味着 Lean 等自动验证工具无法通过该证明。不过，鉴于 Mochizuki 近期对该点的解释正在演变，团队决定暂时保留最终判断。此次会议还展示了 LANA 项目的重要成果：一份由外部…
别再为手机传电脑文件发愁了。AirDows 让你直接通过浏览器实现设备间的 P2P 传输，无需安装任何软件，更不需要注册账号。无论是高清照片、视频还是大型压缩包，它都能保持原画质无损直达。整个过程简单到只需两步：在两个设备上打开 AirDows，扫描 QR 码即可连接。文件不经过任何云端中转，只在你的设备间直连，既安全又快速。不管网络环境如何，AirDows 都能自动寻找最佳路径，让文件传输变得…
从 2006 年波士顿的初次亮相，到 2026 年洛杉矶的最新篇章，Advances in Real-Time Rendering in Games 系列课程已走过整整二十年。这不仅仅是一系列技术讲座，更是一个活生生的时间胶囊，记录了游戏图形技术的每一次飞跃。这里汇聚了行业内的远见者与实践者，他们不仅分享成功的突破，更坦诚地剖析那些失败的经历与背后的权衡。从 Naughty Dog 的《Unch…
我是Ronnen Harary，Spin Master的联合创始人，也是Paw Patrol的创作者。在2026年，我带着新书《No Experience Necessary》做客EconTalk，分享了我如何从一个不起眼的地球伙伴Earth Buddy起步，最终打造出全球第四大玩具帝国的故事。很多人认为创业充满风险，但我认为最大的风险其实是浪费生命。年轻时，你拥有无限的热情和能量，这些能抵消风…
AMD 即将发布全新的 MI400 系列数据中心加速器，我们提前通过 LLVM 提交记录对代号为 GFX1250 的 MI455X 芯片进行了深度“占卜”。这款专为机器学习打造的芯片，在架构上融合了 RDNA4 的编程模型与 CDNA4 的高性能特性。最引人注目的变化包括：WGP 缓存与 LDS 的合并、单 Wave 可寻址寄存器数激增至 1024 个，以及仅支持 Wave32 模式。此外，GF…