Hacker News Digest
· 34 黑客新闻
OpenWrt One 终于来了，这款基于 MediaTek Filogic 820 SoC 的开源硬件路由器，直接标配 WiFi 6、2.5G 网口和 1GB 内存，彻底告别折腾。出厂即预装最新 OpenWrt 固件和 LuCI 图形界面，插上电就能用，无需任何额外配置。更硬核的是，它支持 POE 供电，甚至内置了 M.2 SSD 接口和 USB-C 串口。即便系统彻底变砖，用户也能通过 NA…
我是Asha，今天必须宣布Xbox历史上最重大的重组。我们将裁减约3200个岗位，其中1600个职位即刻生效，同时Compulsion Games、Double Fine Productions等四家工作室将脱离Xbox成为独立实体。我们的业务目前并不健康，利润率远低于同行，而行业正面临前所未有的硬件危机。为了重置Xbox，我们将精简内容组合，让独立创作者拥有更多自主权；简化平台架构，将管理层级…
- ▲ 645CoMaps：隐私至上的离线地图
还在担心导航软件偷偷收集你的位置数据？CoMaps 这款开源离线地图应用彻底打破了这一焦虑。它无需移动数据，仅靠 GPS 就能在徒步、骑行或驾车时提供精准的路线规划。最酷的是，它完全不收集任何用户信息，也不追踪你的行踪，甚至通过了 Exodus 的隐私审计。作为 Organic Maps 和 Maps.Me 的分支项目，CoMaps 由社区驱动，用户可以直接在 OpenStreetMap 上添加…
- ▲ 516reMarkable变身汤姆·里德尔日记
开发者MaximeRivest将reMarkable Paper Pro平板改造成了《哈利·波特》中的汤姆·里德尔日记。在这个名为Riddle的项目中，你用笔在纸上书写，墨水会被日记“喝掉”，随后AI会以流畅的手写体在页面上逐字回复，全程无屏幕发光，只有真实的墨水流动。该项目利用Rust编写，通过视觉LLM识别你的手写内容，并支持OpenAI等API或本地pi模型作为“灵魂”。无论是通过AppL…
- ▲ 514GLM 5.2 来袭，AI 利润即将崩塌
DeepSeek 的 R1 模型曾让市场误以为训练成本是 AI 的终点，但真正的成本大头其实在推理环节。最近我深度体验了 Z.ai 的 GLM 5.2，发现它在非交互式任务中几乎能媲美 Opus 和 GPT 5.5，尽管在视觉支持和网络搜索上仍有短板。最让人担心的是，迁移到 GLM 5.2 这类开源权重模型简直易如反掌，只需更改 API 端点即可，完全打破了大厂的技术壁垒。目前 GLM 5.2…
我们在 Claude 中发现了一个名为 J-space 的特殊内部机制，它就像大脑中的“全局工作空间”，让模型能够进行有意识的思考。这个空间并非我们刻意编程，而是在训练过程中自发涌现的。通过 J-lens 技术，我们能看到 Claude 在沉默中进行的推理、对代码错误的察觉，甚至识别出隐藏的提示注入攻击。当我们在 J-space 中替换一个思维模式时，Claude 的回答也会随之改变，证明这不仅…
AMD 推出的 Ryzen AI Halo 迷你主机，专为本地 AI 开发打造。它搭载了 Zen 5 架构的 Ryzen AI Max+ 395 处理器，配备 128 GB 统一内存和 2 TB 固态硬盘，预装 ROCm 等开发环境。尽管售价高达 3999 美元，但其紧凑的机身和强大的本地模型运行能力，使其成为 AI 开发者的新宠。与 Mac Studio 相比，它在内存带宽上略逊一筹，但在本地…
- ▲ 268在家用 MinION 测序自己的 DNA
我已经用 Oxford Nanopore Technologies MinION 在家完成了 5 次全基因组测序。从用棉签采集颊细胞，到准备样本、运行测序仪，再到数据分析，整个过程耗时约两个月。虽然目前成本对普通人来说仍偏高，但技术成本正在指数级下降。拥有自己的基因组数据后，你可以利用 VEP、ClinVar、gnomAD 和 PharmGKB 等工具，查询自身携带的基因变异、受影响的通路以及药…
别再依赖 API 了！Ternlight 推出了一款仅 7MB 的 embedding 模型，甚至 mini 版只要 5MB，直接在你的浏览器里跑。它完全基于 CPU，无需 GPU，更不需要任何服务器调用。只需三行代码，就能实现毫秒级的语义搜索，比如瞬间在 React 文档中查找答案。从安装到运行，全程零网络延迟，真正实现了本地化的高效搜索体验。
我是 Val Town 的创始人，尽管硅谷已不再把'learn to code'当作脱贫捷径，两行 JavaScript 也换不来高薪，但我依然坚信编程值得学习。这并非为了职业，而是教育本身。我曾像许多人一样讨厌数学，直到通过 Seymour Papert 设计的 LOGO 语言，我像学说话一样学会了数学。编程教会我调试、逻辑和组合思维，更让我明白世上没有学不会的东西。代码不仅是工具，更是如文学…
Clojure 1.13.0-alpha1 正式发布，带来了备受期待的 checked keys 功能。现在开发者可以使用 :keys!/:syms!/:strs! 指令，在 map 解构时强制检查必需键是否存在，若缺失则直接抛出异常，彻底告别隐式错误。此外，该版本还优化了 PersistentArrayMaps 的性能，使其在键数达到 64 之前保持高效，并移除了静态初始化器常量的 ACC_F…
OfficeCLI 是专为 AI 智能体打造的 Office 办公套件，无需安装 Microsoft Office 即可读取、编辑和自动化处理 Word、Excel 和 PowerPoint 文件。它采用单二进制文件设计，开源免费，内置高保真 HTML 渲染引擎，让 AI 能够“看见”文档内容，从而精准执行修改任务。无论是通过命令行快速生成 PPT，还是让 Claude Code、Cursor…
- ▲ 179小模型大作为：拯救非洲假药危机
2019年，Adebayo Alonge在南非演示RxScanner时，因网络延迟导致扫描耗时5分钟而陷入尴尬。这次意外促使团队将AI模型压缩至可在Android手机离线运行，成功在缺乏宽带和电力的地区验证药物真伪。如今，这种Small AI正从全球健康领域扩展到农业和医疗，利用无人机识别作物病害、检测疟蚊，甚至在Arduino上运行心电图。与世界银行推崇的巨型LLM不同，Small AI凭借低…
1993 年发布的 Atari Jaguar 曾是商业上的失败者，但我却成功在它上面跑起了 Linux。这台老机器只有 2MB 内存，且没有 MMU，这让我不得不启用 uClinux 的 Flat Memory model。过程中我遇到了编译器生成的非对齐内存访问导致崩溃，以及向量表（vectors）地址映射错误等棘手问题。最终，通过利用 Buildroot 编译 busybox 并解决工具链难…
- ▲ 151Kani：让Rust代码从防错到正确
Rust的所有权系统虽然能防止内存错误，但无法保证unsafe操作、功能正确性或无运行时panic。Kani作为开源模型检查器，将Rust的MIR编译到CBMC引擎，自动验证这些关键属性，无需人工注解。通过函数契约和循环契约等规范语言，Kani将验证从有界扩展到无界，在工业级项目中发现了6个未知bug，并在Rust标准库的CI中规模化运行，每次代码变更验证超16000个测试桩。
一名涉嫌参与 Scattered Spider 黑客组织的青少年被捕，案件细节意外曝光了 Microsoft 的一项隐私追踪能力。FBI 通过 Microsoft 提供的 Global Device ID（GDID），成功将嫌疑人与其在线活动关联起来。即便该黑客使用了 VPN，GDID 依然能跨设备、跨服务持续追踪 Windows 系统的安装实例。这意味着，Microsoft 可能在不依赖第三方…
作为长期关注密码学标准化的观察者，我揭露了 NSA 在 IETF 推动 solo ML-KEM 标准背后的历史阴影。从 70 年代推动弱化的 DES，到 90 年代利用出口法固化 RC4，再到 2000 年代破坏 RNG 标准，NSA 似乎总在寻找让系统“可被利用”的漏洞。如今，IETF TLS WG 正在对 solo ML-KEM 进行所谓的“最后投票”，这不仅是技术路线之争，更是一场关于安全…
Rotman lens（有时也被称为 Rotman-Turner lens）是一种用于射频应用的无源电子元件，专门用于波束赋形。这项技术由 Walter Rotman 和 R. F. Turner 在 1963 年首次提出并申请专利。它的核心优势在于能够无需使用 phase shifters（移相器）即可形成多个天线波束。该组件由一系列输入端口（波束端口）和输出端口（阵列端口）组成，当信号从某个…
Hyunwoo Kim 发现的 Januscape（CVE-2026-53359）是一个潜伏了16年的KVM/x86严重漏洞，它利用shadow MMU中的use-after-free缺陷，让攻击者仅凭Guest侧操作就能逃逸到Host内核。这是首个同时影响Intel和AMD架构的Guest-to-Host逃逸漏洞，曾在Google kvmCTF中被用作0-day武器。该漏洞不仅威胁GCP、AW…
在RAG系统中，检索到的大量上下文往往包含大量无用信息，却仍在消耗昂贵的Token成本。我们在kapa.ai的实践中发现，传统重排序方法无法精准剔除这些冗余。于是，我们引入一个轻量级LLM作为‘修剪器’，在检索和生成之间增加一步：让这个小模型通读问题和所有检索片段，精准判断哪些内容对回答问题真正必要。结果令人惊喜：我们成功丢弃了68%的上下文，同时保留了96%的召回率，单次查询成本净降三分之一。…
OpenSSH 10.4 版本正式发布了，这次更新不仅修复了多个关键安全漏洞，还引入了实验性的后量子签名方案。安全方面，修复了 sftp 和 scp 中可能导致文件被写入意外位置的漏洞，以及 sshd 在特定配置下的权限绕过问题。新功能上，支持了结合 ML-DSA 44 和 Ed25519 的混合签名算法，为未来量子计算时代的加密安全提前布局。此外，还优化了通配符匹配器的性能，避免了指数级延迟，…
在南非的海岸线上，你随处可见一种名为Dolosse的奇特混凝土结构。这些重达30吨甚至80吨的巨石，被巧妙地堆叠在防波堤和港口墙壁上，用来抵御海浪的侵蚀。与传统的混凝土块不同，Dolosse独特的形状让海水能够从中穿过，从而有效消散波浪的冲击力。有趣的是，关于Dolosse的设计灵感来源众说纷纭，有人认为是源自南非儿童玩了几百年的指骨游戏，也有人觉得它像童年游戏jacks或dubbeltjie…
M/PC 是一款专为 Varvara 设计的连接式操作系统，灵感源自 Openfirmware。它彻底摒弃了传统的文件浏览器，转而采用后缀表示法，让用户通过堆栈操作来管理文件。你可以将命令序列存入文件，利用波浪号前缀直接调用，甚至无需键盘，仅凭方向键和 A、B 键就能导航目录或启动 rom。从启动时的壁纸渲染到文件复制、重命名，所有操作都通过简洁的命令行完成。这种极简主义的设计不仅致敬了复古计算…
Donald E. Knuth 的 The Art of Computer Programming 在 1999 年被 American Scientist 评为世纪最佳物理科学专著之一，与 Einstein 的相对论、Dirac 的量子力学等经典并列。这套书不仅涵盖了从 Fundamental Algorithms 到 Seminumerical Algorithms 的深奥理论，还详细记录了…
- ▲ 5834位顶尖科学家为何逃离美国？
荷兰刚设立的Tulp Fonds基金正式迎来首批34位国际顶尖科学家，其中29位来自美国，包括Harvard、Stanford、Yale等名校及National Cancer Institute的研究者。面对全球学术自由受压的现状，荷兰政府联合NWO投入5000万欧元，为这些在AI、量子、疫苗及核能等关键领域的大咖提供庇护与资源。这不仅让荷兰在知识竞争中抢占先机，更让欧洲在AI、健康和能源转型等…
- ▲ 422048自旋Ising机器解数独
光学相干Ising机器虽强，但体积大、功耗高且成本昂贵。这篇论文提出了一种基于体声波（bulk acoustic wave）的新型Ising机器，利用微波频段的固态延迟线，实现了热稳定性高、低功耗且廉价的桌面级设计。该系统通过两个串联的20.5 MHz延迟线支持2048个自旋，具备全连接能力，能在341毫秒内找到MAX-CUT问题的近似解。与最先进的相干Ising机器相比，其热稳定性提升了四个数…
大家总以为RCT是科学证据的黄金标准，但历史告诉我们，观察性数据往往被低估。从1710年John Arbuthnot利用伦敦出生数据“证明”上帝存在，到Pierre-Simon Laplace冷静分析男女出生率差异，这些早期案例展示了观察性研究的高效与美感。尽管RCT在医学干预中占据主导地位，但其高昂成本和样本限制使其并非万能。Lennart Finke指出，在公共卫生和医学领域，许多关键发现其…
距离上次发布 EndBASIC 0.13 仅过去一个月，我就带来了全新的 0.14 版本。如果说 0.13 只是单纯的性能提升，那么 0.14 则是一次真正的蜕变。这次更新不仅新增了三角形、多边形等图形绘制指令，让复古风格的图形程序焕发新生，更重要的是，我们终于实现了声音支持！通过 `BEEP` 和 `SOUND` 命令，EndBASIC 正式解锁了多媒体功能，向着 1.0 版本迈出了关键一步。…
在数字化写作泛滥的今天，Inkfield 试图用一种全新的方式重新定义我们与文字的连接。它不仅仅是一个写作工具，更像是一个数字墨水画板，让创作者能够像在纸上一样自由挥洒灵感。通过独特的交互设计，Inkfield 将手写的自然感与数字编辑的便捷性完美融合，让每一次敲击都充满温度。无论是作家、设计师还是普通用户，都能在这里找到属于自己的表达节奏。
- ▲ 30NASA巨型风洞：百年航空测试史
从NACA时代到如今的NASA，这些藏在弗吉尼亚和加州地下的巨型风洞见证了人类航空史的每一次飞跃。文章通过珍贵历史照片，展示了Langley和Ames研究中心那些令人震撼的设施，从1920年的首个风洞到能容纳整架飞机的全尺寸隧道。无论是测试Mercury太空舱、X-15模型，还是神秘的Avrocar飞行器，这些“风之洞穴”都在极端气流中验证了无数设计。随着计算机模拟的兴起，许多老设施虽已退役，但…
WhimFiles 是一款专为 macOS 打造的轻量级原生文件管理器，体积仅 9 MB，彻底告别 Electron 应用的臃肿。它围绕实时过滤功能构建，支持同时按类型、日期和大小筛选文件，配合模糊搜索和双窗格浏览，让文件查找秒级完成。无论是管理海量素材、整理代码项目，还是快速转换 HEIC 图片，WhimFiles 都能通过丰富的快捷键和命令面板，让双手不离键盘即可高效操作，是终端用户和创意工…
- ▲ 12移民为何来德国工作后却选择离开
德国长期吸引全球技术人才，却在留住他们方面屡屡受挫。IAB 的研究显示，移民离开的理由并非单一：家庭因素、歧视经历、繁琐的官僚程序、住房困难以及语言学习支持不足，都是关键原因。许多移民在抵达后不久便因行政效率低下、职业前景不明或无法融入而选择离开，甚至转向西班牙、瑞士等其他欧洲国家。尽管德国在数字化和集中化移民服务上有所进展，但整体仍缺乏全国性的系统性解决方案。文章指出，若不能改善语言培训、资格…
我最近去了德国Hanover的Leibniz档案馆，翻阅他泛黄的手稿时，仿佛穿越了三个世纪。Leibniz不仅发明了微积分符号，更早在300年前就构想出了类似Mathematica和Wolfram|Alpha的通用计算系统。他试图用符号构建“人类思想的字母表”，让所有知识都能通过计算推导出来。从数学公式到法律逻辑，Leibniz的笔记中充满了对系统化和形式化的执着追求。虽然他在某些算术计算上犯了…
1997 年，Bob Dylan 因吸入蝙蝠粪便中的真菌差点丧命，这场与死神的擦肩而过反而成了他职业生涯的转折点。在经历了 80 年代末的创作枯竭和外界对他“江郎才尽”的质疑后，他在瑞士 Locarno 的一场演出中突然顿悟，决定重返舞台。带着病体，他开启了每年上百场演出的“永不停歇巡演”，并推出了被奉为神作的专辑 Time Out of Mind。这张专辑充满了潮湿、阴郁却又充满力量的声音，标…