Hacker News Digest
· 32 黑客新闻
Bento 重新定义了演示文稿的形态，将整个 PowerPoint 体验压缩进一个 HTML 文件中。无需安装软件、无需注册账号，浏览器即是一切。它集成了编辑器、演示器和数据引擎，支持 Markdown 即时排版、实时交互式图表以及平滑的 Morph 动画过渡。文件即软件，所有资源内嵌，随时保存，十年后依然可完美打开。
数学家 Terrence Tao 与 ChatGPT 展开了一场关于雅可比猜想反例的深度对话。通过上传新的 PDF 文件，ChatGPT 成功验证了两种数学构造方法的等价性，并详细推导了多项式同构的具体公式。对话中，AI 不仅确认了映射的雅可比行列式恒为 -1，还通过坐标变换和线性缩放，将新构造的映射 G 与经典的反例公式 F 完美对应。这一过程展示了 AI 在处理复杂代数几何问题时的强大符号计…
我们怀着沉痛的心情宣布，John C. Dvorak 已离世，享年 74 岁。作为 No Agenda Show 的挚爱主持人，他不仅是深受尊敬的丈夫和父亲，更是科技界一位极具影响力的声音。John C. Dvorak 以其犀利的观点和独特的风格，在科技评论领域留下了不可磨灭的印记。他的离去让整个科技社区深感悲痛，但他在 No Agenda Show 中的精彩表现和深刻见解将永远被铭记。更多细节…
Simon Willison 发起的“鹈鹕骑自行车”SVG 生成测试，已成为 AI 领域著名的非正式基准。面对数十亿美元的市场竞争，AI 实验室是否会针对这一特定提示词进行优化（Pelicanmaxxing）？我生成了 1,008 张 SVG 图像，涵盖 8 种动物与 6 种交通工具的组合，并让 GPT-5.6 Luna 进行评分分析。结果显示，鹈鹕和自行车的评分并未显著高于其他组合，甚至排名靠…
GigaToken 是一款全新的语言模型分词工具，声称比 HuggingFace 的 tokenizer 快约 1000 倍，处理速度可达 GB/s 级别。它支持广泛的 CPU 硬件和主流分词器，既提供与 HuggingFace Tokenizers 及 Tiktoken 兼容的模式，也提供性能极致的原生 API。通过深度优化 SIMD 指令、缓存策略并最小化 Python 交互开销，GigaT…
- ▲ 306初创公司 Postgres 生存实战指南
过去半年，我整理了 Hatchet 团队两年间与 Postgres 搏斗的经验，写成这份生存指南。虽然官方文档很全面，但在系统告急时往往难以快速找到解决方案。本文从基础架构设计、读写查询优化、索引策略，到查询规划器的“漏桶”特性、自动清理机制（autovacuum）以及连接池管理，层层深入。无论你是刚接触 SQL 还是经验丰富的工程师，都能从中找到避免生产事故的关键技巧。特别提醒：如果你依赖 C…
- ▲ 268AI 时代，我亲手写的代码更让我自豪
作为一名 Gen-X 黑客和 CS 讲师，我享受亲手创造的乐趣。虽然 AI 能高效生成代码、小说甚至艺术，但我无法将那些由 AI 完成的作品视为“我做的”。当我用 Claude 生成代码时，我只觉得是“让 AI 帮我构建”，内心毫无成就感。相反，我亲手为妻子写的简易闪卡系统，尽管代码量小且耗时更长，却让我充满自豪。真正的“创造”在于亲力亲为的过程，而非仅仅发起指令。在 AI 辅助日益普及的今天，…
- ▲ 257Reddit 宣称纯 HTML 不安全
Reddit 最近以安全为由，要求用户必须登录才能访问 old.reddit.com。作者指出，这实际上是针对爬虫的防御策略，因为旧版界面基于纯 HTML，内容容易被抓取。相比之下，新版 Reddit 依赖大量 JavaScript，加载更慢且资源消耗更大，却声称更安全。作者认为，这不过是 Reddit 为了垄断其用户生成的数据，在 LLM 时代将其视为金矿，而牺牲了部分老用户的体验。所谓的“安…
- ▲ 251面试项目竟是恶意软件
上周四，一位招聘人员通过 LinkedIn 联系我，提供了一份月薪 10000 到 15000 美元的远程 Python 开发工作。面对如此诱人的薪资和看似正规的 Y Combinator 初创公司背景，我起初并未多想。然而，在检查他们提供的 take-home 面试项目时，我习惯性运行了 `tree -a` 命令，结果发现 `.git/hooks` 目录下隐藏着恶意的 `pre-commit`…
- ▲ 241为什么每个开发者都应该掌握 SIMD
很多人认为 SIMD 过于复杂，只适合顶尖的性能优化场景，但事实并非如此。SIMD 的核心逻辑其实非常直观：将原本逐个处理数据的循环，改为一次处理多个数据块。文章以 Zig 语言为例，拆解了 SIMD 代码通用的五个步骤，从广播常量到处理剩余数据，展示了如何轻松实现数倍的性能提升。在 Ghostty 项目中，简单的 SIMD 优化就带来了 4 到 16 倍的吞吐量增长。掌握这些基础概念，你也能在…
在尝试了几个月其他搜索引擎后，我昨天重新订阅了 Kagi。此前我在 Google 和 DuckDuckGo 之间摇摆，也曾使用过 SearxNG，但体验都不尽如人意。Google 的结果充斥着 AI、视频和图片，完全偏离了我对文本搜索的需求；SearxNG 则受限于速率限制和结果质量。DuckDuckGo、Brave Search 和 Qwant 也未能达到 Kagi 的精准度。我特别怀念 Ka…
- ▲ 176AI 重绘菜单：当小餐馆失去灵魂
作为菲律宾裔美国人，我常对同族餐馆的菜单充满好奇。最近，一家朋友推荐的 Filipino/Hawaiian 餐厅让我大失所望：他们竟然用 AI 重新设计了菜单。那些菜品图片呈现出一种令人不安的诡异感，完全失去了食物的真实美感。我在 Austin 经常与小型企业合作，深知这并非出于对设计的热爱，而是源于对技术的盲目无知——人们看到按钮就按，却从未思考后果。尽管那盘 spamsilog 的味道让我想…
- ▲ 164没人知道二手 GPU 集群值多少钱
当xAI面临债务违约风险，Apollo Global Management等债权人可能接手Colossus集群并转为租赁业务，但这笔价值数十亿美元的资产究竟值多少？GPU集群的价值不像房产那样稳定，它高度依赖运营团队的隐性知识和实时状态。硬件故障率高达9%，而Silent data corruption等隐蔽问题更让估值变得扑朔迷离。目前，GPU作为抵押品缺乏成熟的定价基础设施，导致信贷利差高达…
- ▲ 132优质非虚构书籍是 AI 垃圾的对立面
大学时我在图书馆做图书上架员，这段经历让我意外发现，通过浏览实体书架能接触到经过时间筛选的优质非虚构作品。如今，尽管图书馆的开放书架正在被数字空间取代，但非虚构书籍本身正迎来一个被忽视的黄金时代。我利用 Claude Code 和 GPT-5.6 收集了英语世界主要非虚构奖项的获奖名单，构建了一个可搜索的数据库，旨在帮助读者在长尾中发现那些被遗忘的杰作。通过语义搜索，你可以像当年在图书馆闲逛一样…
- ▲ 123为什么剪切粘贴功能处处失灵？
剪切和粘贴功能在几十年来一直存在严重缺陷：剪切操作无法完全撤销，会导致剪贴板内容丢失；剪切后文档会立即重排，迫使用户重新定位粘贴位置；而且剪切与粘贴无法作为一个原子操作被撤销。为了解决这些问题，我在 Ishmael 编辑器中引入了 Ghost Cut 机制。按下 Ctrl+X 时，选中的文本会变淡并变为不可编辑状态，但不会进入剪贴板，也不会触发撤销记录。如果改变主意，按 Escape 即可恢复；…
我入手了 Nvidia DGX Spark 作为日常主力机，这台小巧的设备不仅运行 Ubuntu 24.04，还配备了 128 GB 统一内存和媲美 RTX 5070 的 GPU。它不仅能高效处理编程任务，甚至能流畅运行 Crysis Remastered 和 Cyberpunk 2077 等 3A 大作。更令人惊喜的是，随着 NVFP4 和 DFlash 等技术的加持，本地 LLM 推理速度已…
美第奇家族（Medici family）统治佛罗伦萨近三个世纪，其成员Francesco I de’ Medici与妻子Bianca Cappello在1587年离奇死亡，引发长达400年的谋杀猜测。如今，Yale University与University of Pisa联合研究团队通过提取骨骼中的古DNA，发现两人均感染了疟疾寄生虫Plasmodium，且Francesco体内甚至存在双重感…
Safari Technology Preview 248 已正式发布，支持 macOS Golden Gate 和 macOS Tahoe。此次更新重点引入了 TC39 BigInt Math 提案，为 BigInt 类型新增了 Math.pow 和 Math.sqrt 等数学方法。同时，修复了 VoiceOver 导航、CSS 颜色插值、HDR 图像解码以及 Web Inspector 调试…
我尝试为 Fairphone 6 的宽幅相机实现 Linux 支持，目标是让 OmniVision OV13B10 传感器在 mainline 内核中运行。Fairphone 6 搭载 Qualcomm milos 芯片，虽然主摄和前置镜头缺乏驱动，但宽幅镜头已有现成驱动。我通过移植 qcom-camss 驱动、修正设备树配置，并解决 TFE665 ISP 的总线宽度问题，最终让相机输出真实图像…
我曾像个原始人一样，手动将 GitHub 上的 Issue 复制到 Org Agenda 中做笔记和草稿。受够了这种重复劳动后，我决定在 Emacs 中自动化这一流程。通过调用 gh 命令行工具，结合 Transient、vtable 和 ox-gfm 等现有组件，我仅用 400 行 Elisp 代码就构建了一个完整的 Issue 管理工具。这篇文章不仅分享了实现细节，更探讨了“可塑计算”的核心…
Cactus Hybrid 通过微调 Gemma 4 等端侧模型，使其内置探针能实时输出 0 到 1 的置信度分数。开发者可据此实现智能路由：高置信度时本地快速响应，低置信度时自动切换至云端大模型。该方案在仅路由 15% 至 35% 请求的情况下，即可在多项基准测试中媲美 Gemini 3.1 Flash-Lite，完美平衡了隐私、速度与准确性。项目提供 Cactus、Transformers、…
Unlayer 将邮件、页面、文档和弹窗构建器直接嵌入你的应用，让内容创作成为产品原生体验。通过模板、AI 工作流和开发者 API，团队可快速搭建响应式邮件、落地页及可导出 PDF 的文档。从 Mastercard 到 Twilio，超 1000 家 SaaS 品牌已采用该平台，享受 SOC 2 合规与 99.9% 可用性保障。无论是营销平台、CRM 工具还是内部系统，Unlayer 提供统一…
我一直对函数式编程感兴趣，但 Haskell 的复杂性让我却步。最近 OCaml 迎来了复兴，多核支持、effects 以及 Jane Street 推出的 OxCaml 让它更具吸引力。我决定尝试 OCaml 和 Eio 并发框架，目标是实现 Raft 共识算法。学习过程中，我发现 Real World OCaml 内容扎实但缺乏练习，而 CS3110 课程更适合作为入门。OCaml 的语法虽…
Text-to-SQL 技术在实验室里表现优异，但一旦面对真实世界的数据库，往往就原形毕露。现有的基准测试大多基于简化、干净的数据集，完全忽略了现实场景中普遍存在的脏数据、复杂模式和不规范命名。如果无法解决这些实际困难，再先进的模型也难以落地。真正的挑战不在于生成语法正确的 SQL，而在于理解混乱且充满陷阱的真实数据存储。
- ▲ 27完美耳坠：当幸福以丧失自我为代价
在Til Iosophrang的宝库中，藏着一枚名为Whispering Earring的托帕石耳坠。它永远正确，总能给出让你最幸福的建议，从人生抉择到早餐选择，无一失手。然而，这枚耳坠的代价令人毛骨悚然：佩戴者的大脑皮层会逐渐萎缩，最终只剩下负责本能反应的中脑和下脑。虽然佩戴者会过上富足、成功且被爱的人生，但他们实际上已沦为没有自由意志的行尸走肉。Kadmi Rachumion在验证了这一恐怖…
- ▲ 17人类亲手打造的互联网时代即将落幕
互联网并非由算法或模型构建，而是由人们在房间、车库和车间里，通过争论协议、用软盘发布软件、从零打造公司，一次次笨拙而 brilliant 的人类决策连接而成。从 ARPANET 到 ChatGPT 问世前的五十多年，我们依靠彼此的智慧，没有 AI 副驾驶，没有合成思维，只有远见、固执和边摸索边前行的勇气。如今，这一时代正在终结，并非因为网络消亡，而是创造方式发生了根本转变——创作正变成与机器的协…
一项涵盖2022至2025年35项实证研究的系统综述揭示，孩子们在与LLM Chatbots互动时，极易产生拟人化倾向。这种倾向并非偶然，而是由类人角色构建、自适应支架、支持性陪伴以及非人类具身设计等因素共同驱动。研究进一步发现，孩子们会表现出矛盾的社会与道德反应，对Chatbots产生双重意识，建立不同类型的社会纽带，探索社交边界，甚至将对话中断归因于人类叙事。这些发现既揭示了潜在益处，也警示…
我通读了 Christopher Alexander 那本厚达 1100 多页的巨著《A Pattern Language》，只为帮你省去这份苦差事。书中详述的 253 个模式涵盖了从城镇规划到社区生活的方方面面，初读时确实令人望而生畏。为了消化这些内容，我特意创建了 Twitter 账号，坚持每天分享一个模式，最终将全部 253 条模式整理成了这份清单。从独立的区域划分到社区规模的把控，再到公…
LeRobot 已成为机器人学习数据的主流格式，但解码视频帧既昂贵又消耗内存，常导致 GPU 在等待数据时闲置。我们最初在 Daft 中引入的 LeRobot 读取器因每帧都重新打开远程文件并读取索引，导致速度极慢。通过引入批处理解码策略，我们将连续的行按分片（shard）分组，对每个分片仅打开一次，并智能聚类时间戳相近的帧以减少寻址开销。这一纯 Python 的优化将远程数据集的解码时间从线性…
作为MessagePack for C#的创作者，我推出了全新的MemoryPack序列化库。它采用零编码设计，直接映射C#内存布局，避免了传统序列化中繁琐的VarInt编码和标签处理。在.NET 7环境下，MemoryPack处理标准对象的速度是System.Text.Json的10倍，处理结构体数组时更是快50到200倍。它利用Incremental Source Generator在编译期…
Richard Hamming 曾问贝尔实验室的同事：你领域里最重要的问题是什么，为何还没解决？我的答案是：是否存在通用的归纳方法？尽管我们有科学方法和统计学，但 Hume 提出的归纳问题依然是个未解之谜。本文通过经典的“玫瑰花瓣”游戏，展示不同机器学习算法在面对这一谜题时的表现。你会发现，有些算法能迅速找到规律，有些则永远无法理解，关键在于模型的归纳偏置。这不仅解释了 François Cho…
我们设计了一套 4D 数字观看系统，用于存档 Ikebana 的具身创作过程。系统通过 22 台同步固定相机和眼动追踪设备，捕捉全身动作、花艺演变及视线行为。利用 COLMAP 估算相机位姿，并基于 3D Gaussian Splatting 独立重建每一帧，生成可多角度交互的时空序列。这种逐帧重建策略降低了计算负载，避免了时间漂移，使得在中等硬件上也能进行长时间录制并保持空间连贯性。该档案整合…