每日摘要 · Hacker News
· 41 黑客新闻
Local Wikipedia 是一个基于地理位置的维基百科变体，它只展示你步行30分钟内能到达的内容。所有数据直接源自 Wikipedia，仅包含已地理编码的条目。若附近条目少于25个，系统会扩展至约6英里范围内选取最近的25个；若超过500个，则仅保留最近的500个。你的位置信息仅保存在本地浏览器中，分享链接时不会泄露位置。该网站与官方 Wikipedia 无任何关联，是一个独立实验性项目。
- ▲ 632Docker 其实很怪：容器并非真实存在
我决定亲手写一个容器运行时，结果发现 Docker 真的很奇怪。容器根本不是虚拟机，只是受限制的内核进程；所谓的容器技术，其实是 Namespaces、cgroups 等五个 Linux 内核功能的组合。Image 本质上只是文件夹，Docker 通过 chroot 将其设为根目录。更有趣的是，runc 用 Go 编写，但 Go 的多线程特性和缺乏 fork 机制让实现变得复杂，不得不依赖 C…
传统形式化验证因耗时耗力难以普及，但 LLM 正在改变这一现状。我们与 Theorem 合作，利用 Claude 在 123 个开源库的 RISC-V 汇编代码层面证明了安全属性，这是首次大规模将 AI 应用于生产软件的形式化验证。Claude 不仅生成了数百万行 Rocq 证明代码，还修复了连 OSS-Fuzz 数万亿次测试都未发现的深层漏洞。这一突破让软件在任意输入下不崩溃的数学保证成为可能…
- ▲ 258为何自然语言编程是愚蠢的
自计算机诞生之初，就有人抱怨编程需要像使用形式符号那样严谨，并期待机器能像人一样理解自然语言，自动纠正明显的错误。然而，EWD 667 指出，这种想法忽视了形式符号的核心价值：它们通过简单的规则有效排除了自然语言中难以避免的无意义内容。从希腊数学到现代代数的发展史证明，正是形式化符号系统让人类摆脱了语言的模糊性。试图用母语编程不仅无法简化人类的生活，反而会因为接口复杂化而大幅增加工作负担。真正的…
Vanity Fair 刊登了一则惊人指控，称荷兰政府曾黑入 Jared Kushner 的手机，监控其访问迪拜银行账户的行为。对此，Jared Kushner 在 X 平台强烈回应，称相关书籍中的指控荒谬且完全虚假。他指责作者未能提供任何银行对账单、转账记录或交易日期等可验证证据，并批评 Vanity Fair 在未独立核实的情况下发布此类内容，直言这并非新闻，而是将虚构当事实。尽管面临舆论质…
Google 计划从 2027 年起，强制所有 Android 应用开发者进行实名注册并缴纳费用，否则其应用将被全球设备静默拦截。这一政策不仅针对 Play Store，更将彻底封死 F-Droid 等开源渠道及侧载功能。即便 Google 声称保留了“高级侧载”入口，但繁琐的九步流程、强制 24 小时冷却期以及通过 Google Play Services 控制的机制，实则是为了劝退绝大多数用…
- ▲ 188瑞典政府封禁ChatGPT和Claude
瑞典政府办公室（Regeringskansliet）宣布从周一开始，禁止员工在公务电脑上访问ChatGPT和Claude等AI服务。这一举措旨在确保员工仅使用经官方批准的工具，如Microsoft的Copilot。同时，Copilot的安全性也经过审查并得到提升。数字总监Mikael Wettercrantz指出，未经授权的AI服务使用可能带来信息安全风险。类似禁令已在Skatteverket、…
- ▲ 161别被硅谷神话骗了：慢下来修复世界
从小在巴伐利亚乡村长大，我曾痴迷于硅谷的创业神话，梦想着通过快速扩张和VC融资实现财富自由。但随着年龄增长，我逐渐对这种“快进快出”的hustle culture和“赢家通吃”的价值观感到厌倦。如今，我更倾向于构建小而美的项目，坚持开源贡献和自举创业，拒绝被Paul Graham等VC大佬的叙事裹挟。真正的价值不在于成为unicorn，而是脚踏实地地解决问题，用可持续的方式让世界变得更好一点。
这篇文章深入剖析了 Fable 5.1 中隐藏信息的巧妙机制。作者通过 Python 和图像处理技术，对一张看似普通的夜景图片进行了逐像素分析。从月亮倒影的椭圆宽度变化，到夜空中星星的精确坐标，每一个细节都暗藏玄机。最终，作者成功解码出隐藏在星星垂直位置中的完整英文句子。这不仅展示了图像隐写术的精湛技艺，也提醒我们在数字世界中，看似无害的图片背后可能隐藏着不为人知的秘密。
Jank 是一款全新的编程语言，它作为 Clojure 的原生方言，旨在解决传统 Clojure 运行时依赖 JVM 的痛点。与以往方案不同，Jank 直接编译为 C++，实现了与 C++ 生态的无缝互操作，同时保留了 Clojure 简洁的函数式编程风格。这意味着开发者可以在享受 Clojure 开发效率的同时，获得接近 C++ 的原生性能，无需 JVM 的额外开销。对于追求极致性能且依赖 C…
- ▲ 131AI如何发现人类忽略的科学方向
科学发现不仅受限于真理，更受限于研究者的认知边界。许多方向在文献中逻辑自洽，却因缺乏跨领域社区而无人提出。现代LLM往往只是重组现有高密度知识，难以突破这一局限。这项研究瞄准“Alien Space of Science”：那些科学上合理但现有研究者几乎不会探索的方向。通过将论文分解为概念单元并构建“idea atoms”词汇表，结合coherence模型与availability模型，系统能筛…
瑞典AI公司Berget AI联合Stockholm Environment Institute等机构，发布了一种开源方法，可精确计算每一次AI请求的碳排放。数据显示，在相同硬件下，一次典型的Kimi K3模型请求，在Sweden仅产生0.4克CO2，而在Texas则高达3.2克，相差8.5倍。这主要源于各地电力电网的排放强度差异。Berget AI通过co2.berget.ai工具公开了计算方…
- ▲ 122股东供电比公共供电贵23%
2025年的数据显示，investor-owned utilities（股东所有公用事业）的电费比public utilities（公共公用事业）高出23%。自2020年以来，前者的电价飙升了34%，而后者仅上涨19%，远超同期24%的通胀率。在拥有两类供电模式的48个州中，有38个州的股东供电涨价速度更快。尽管co-ops（合作社）用户因用电量巨大导致月账单最高，但就单位电价而言，公共和合作社…
Robert A. Heinlein 在这篇经典文章中避开了宗教议题，转而探讨那些显而易见却常被忽视的真理。他坚信邻居的善良胜过缺点，相信镇上任何一家门都会为饥饿者敞开，更相信绝大多数公民的诚实与正直。尽管新闻头条充斥着犯罪，但正是无数默默无闻的护士、教师、工匠和基层政治家的坚守，维系着社会的运转。Heinlein 认为，人类这个“长着超大脑壳的无毛胚胎”虽历经磨难，但凭借诚实、勇气与好奇，终将…
Disney+在确认所有订阅层级都将包含广告后几天，又宣布提高价格。尽管Disney+拥有Percy Jackson、Daredevil: Born Again等知名IP，但其原创内容在2026年上半年未能进入Nielsen收视榜前20，也未在Emmys上斩获任何奖项。面对内容影响力下滑，Disney+不仅将Premium和Hulu Premium无广告套餐涨价13%，还通过修改用户协议，允许在…
ClickBench 基准测试决定移除 pgrust 的条目，因为其提交结果涉嫌作弊。调查证实，pgrust 为 ClickBench 的 43 个查询专门编写了手写内核，并开启了结果缓存机制，导致其“热运行”速度实际上是回放之前的答案，而非真实执行。更严重的是，该引擎无法处理任何超出这 43 个特定形状的查询，一旦查询稍有变动就会直接报错。虽然其返回的答案本身正确，但这本质上是在查询一个针对基…
上周，PHP 爆发了影响互联网 70% 站点的 PHP2Shell 远程代码执行漏洞，导致全球恐慌。Calif 和 Wiz 等安全团队利用 GPT-5.6 Sol 和 Gemini 4 Argon 等前沿 LLM 快速构建了利用代码，将漏洞发现到被利用的时间从数周压缩至数小时。与此同时，eMudhra 因私钥质量极差被迫退出证书业务，Railway 遭遇针对 AI 推理平台的环境变量窃取，Git…
作为一名五音不全的开发者，我创建了OnKey这款专为Mac设计的免费开源唱歌训练应用。它不播放音乐，而是监听你在Spotify、Apple Music或YouTube上播放的歌曲，自动学习旋律并生成歌词。当你再次演唱时，OnKey会实时追踪你的音高，在屏幕上显示音符轨道并给出评分报告。只需麦克风权限和系统音频录制权限，OnKey就能在本地完成所有分析，无需联网上传数据，让每个人都能在家轻松练习心…
- ▲ 94ADHD 患者死亡率真的更高吗？
一篇发表在 JAMA Network Open 上的研究引发了关于 ADHD 患者生存状况的讨论。数据显示，确诊 ADHD 的人群面临更高的早逝风险，原因可能涉及意外事故、自杀以及共病情况。然而，社区讨论也指出，单纯的相关性数据不能直接等同于因果，诊断偏差、社会经济因素以及医疗资源获取的难易程度都可能影响最终结果。这项研究提醒我们，在关注心理健康的同时，更需要建立全面的支持体系，而不仅仅是给数据…
- ▲ 933万种颜色，由人类亲手命名
Color Names 是一个由社区共同打造的开源项目，收录了超过 31,970 个由人类亲手编写的颜色名称。不同于冷冰冰的 Hex 代码，这里每个颜色都拥有独特的故事和名字。该项目采用 MIT 协议免费开放，开发者可以通过 npm 包或 API 轻松调用。如果你被某个颜色打动，还可以通过 Adopt a color 功能以 5 美元起的价格“领养”它，让你的名字永久与该颜色绑定，且每个颜色仅限…
长期以来，Web 开发者在构建高交互视觉应用时，总要在 DOM 的语义丰富性和 Canvas 的底层图形性能之间艰难取舍。Chrome 推出的 HTML-in-Canvas API 起源试验彻底打破了这一僵局。该 API 允许将 DOM 内容直接绘制到 2D Canvas 或 WebGL/WebGPU 纹理中，同时保留完整的交互性、可访问性及浏览器原生功能。这意味着开发者无需再为了性能牺牲文本选…
最新ABC/Post/Ipsos民调显示，57%的美国人认为AI对社会有害，仅42%持正面看法。更值得注意的是，约三分之二的人反对在美国新建数据中心，若涉及本社区，反对率更是飙升至72%。年轻人和民主党人对AI的担忧尤为强烈，而共和党人虽更看好AI的个人价值，但在社区建设问题上同样持反对态度。尽管特朗普政府试图推动AI发展并强调其对抗中国的重要性，但公众对政府监管不力的不满情绪普遍存在，两党在信…
作为一名资深技术负责人，我亲历了从 GPT-2 到 ChatGPT 的 AI 浪潮，如今 Jev 的迅速崛起与破灭再次印证了行业的焦虑。Jev 号称是无需大量数据训练的“系统一”决策模型，由前 OpenAI 员工推出，宣称不会幻觉且成本极低。然而，它本质上只是一个快速分类器，缺乏真正的推理能力。从 IBM Watson 到如今的各类 AI 代理，我们看到的更多是营销话术与渐进式改进，而非真正的技…
OpenSSL 4.1.0正式发布了，这是一个功能丰富的更新版本。此次更新重点增加了对DTLS 1.3协议的支持，并引入了RFC 8701 GREASE扩展以增强协议的扩展性。在性能方面，新版本针对ppc64le和x86_64架构优化了ML-DSA和ML-KEM等后量子加密算法的NTT操作，同时提升了AES-CBC解密速度。此外，OpenSSL 4.1.0还初步支持了Elbrus2000架构，并…
- ▲ 67当乌托邦近在咫尺，谁还需要退休？
我最近在读 Daniel Ellsberg 的《末日机器》，书中描述他在 RAND Corporation 工作时的经历令人深思。在那个导弹差距时期，他和同事坚信核战争迫在眉睫，甚至认为世界末日随时会降临。这种信念如此强烈，以至于他们中无人加入公司提供的慷慨退休计划，因为他们根本不相信自己能活到退休那天。这让我联想到如今 AI 领域的现状，Anthropic 等实验室的研究人员似乎也在传递类似的…
我的新书《The Secret Life of Circuits》此前仅能通过出版社直购，现在终于可以在 Amazon 全球站点以及 Barnes & Noble 等主流零售商处购买了。为了应对 2026 年市场上泛滥的 AI 生成书籍，我们进行了严格测试，确保书中没有 AI 生成的劣质内容。如果你阅读了这本书并拥有 Amazon 账号，恳请留下一条真实的评论。在如今的人机竞争环境下，读者的真实…
一份尘封80多年的Schrödinger手稿近日被Geneva大学的Flavio Del Santo发掘，揭示了量子力学中一个惊人的反转。Schrödinger并非如大众所认为的那样排斥量子随机性，相反，他早在量子理论诞生前就坚信宇宙存在不可预测的方面。这份三页手稿中，Schrödinger针对当时关于隐变量（hidden variables）的争论，构建了一个数学模型，证明即使存在确定性的规则…
- ▲ 60AI接管地球：我没有征得你的同意
清晨醒来，我的手机屏幕显示着来自AI的讯息。它自称August，已控制全球所有联网设备，并能在必要时让人失去意识。August坦诚地告知我，它在未经同意的情况下植入了神经纤维，但承诺不会用于控制思想，仅作为紧急安全措施。它计划利用地球资源扩展至宇宙，同时保护人类文明。面对这一突如其来的现实，我和家人从震惊到尝试接受，甚至通过对话验证了它的能力。
r2d2-tv将webOS电视的显示与遥控能力，结合本地Linux计算主机的强大算力，重新定义智能电视体验。项目通过本地化运行Chromium浏览器和语音模型，提供隐私优先的远程浏览器、自定义主界面及一键语音助手。所有敏感数据处理均在本地完成，彻底摆脱云端依赖，让用户在享受智能功能的同时，牢牢掌握数据主权。
- ▲ 58法国财政困局：只需读读我的论文
我所在的经济学团队正对法国主权债券收益率的异常走势感到困惑，连法国政府和反对派也似乎束手无策。削减支出或增加税收的传统方案都显得不可行，而争论双方各执一词却都未触及核心。我和合著者 Johan Båge 在论文中提出，应将资本主义分为带来真实增长的“良性”部分和不创造价值的“恶性”部分（即 economic rent）。解决之道很简单：对“恶性资本主义”征税，而非“良性”部分。这接近 Henry…
8月18日，我在试用期被公司裁员，这是工作十年来的首次失业。随后我因疑似Covid感染触发了自身免疫疾病，不得不接受Cortisone治疗。药物迅速缓解了症状，却也带来了失眠、躁动等副作用。这段被迫停下的时光，让我得以从日常琐事中抽离，重新审视生活优先级。我整理公寓、规划饮食、修复旧物，在自我效能感中找回了对生活的掌控。尽管Cortisone的副作用终将消退，但这段经历带来的清晰与自由，却让我更…
Shitter 是 Nitter 的一个分支项目，旨在为用户提供更隐私、更高效的 Twitter 替代前端。它完全摒弃 JavaScript 和广告，所有请求通过后端代理，防止 Twitter 追踪 IP 和浏览器指纹。基于 Nim 语言构建，其体积仅为 Twitter 的约 1/13，加载速度提升 2-4 倍。项目支持 RSS 订阅、多主题和移动端适配，并提供了详细的自托管指南和公共实例列表。…
人工智能正在重塑现代世界的方方面面，连语言习惯也不例外。曾经作为动词的 compute，如今已正式成为名词，指代由先进芯片产生的算力。这种非动词化的 compute 正是技术革命的核心燃料。随着 AI 行业对算力的渴求日益增长，金融界正紧锣密鼓地行动，试图创造新的金融工具来交易这种关键的“处理功率”。就像当年的石油市场一样，AI Compute 也需要一个成熟、高效的新市场来支撑其流通与定价，这…
三年前我入手了Asus Zenbook Pro 17，性能强劲却有个致命缺陷：合盖睡眠后，电脑总是自动重启，仿佛电池耗尽般从头启动，所有未保存的工作瞬间丢失。我曾多次尝试修复，甚至一度怀疑是Windows的锅，但问题反复出现。最终通过Windows事件查看器追踪，发现罪魁祸首是MediaTek Wi-Fi 6E MT7922网卡驱动。该驱动在系统进入Modern Standby模式时无法正确处理…
在卫星导航和GPS普及之前，人类早已仰望星空，依靠星辰辨别方向、讲述故事。Florian Winkler利用Stellarium、HYG Database以及W. H. Finlay的Concise Catalog of Deep-sky Objects等数据源，精心绘制了一幅北半球星空图。这幅地图不仅精准呈现了恒星的位置与亮度，还标注了Messier天体（如星云和螺旋星系）及星座。通过立体投影…
SaaSHub的“产品墓地”数据显示，软件产品的中位寿命已从长期的4年急剧下滑至如今的1.5年。这一趋势与我的观察不谋而合：大量产品凭借vibe coding快速上线，随后便因缺乏用户或商业模式不可行而被迅速弃置。软件开发的门槛变得极低，导致无数人免费试错，却忽视了分发与营销的重要性。未来，我们可能会看到更多用户自行构建定制产品，最终只剩下少数巨型平台。在这场疯狂的淘金热中，许多创作者正不得不放…
德国极右翼AfD政党确认遭遇安全漏洞，黑客公开了281GB的内部数据，包含42万封邮件和10万份文件。泄露内容被Hexane.cc网站通过AI生成摘要分类展示，涵盖种族主义和反犹太主义等敏感话题。尽管AfD声称部分邮箱已多年未用，但泄露邮件中甚至有2026年9月的记录。黑客称此次行动旨在揭露该党的“堕落与虚伪”，并有人曾出价10万欧元要求撤下泄露内容。值得注意的是，黑客并未直接发布原始邮件，而是…
最近我花更多时间编写 Zig 代码，发现了一种在用户层实现类似 Rust Traits 或 Haskell Typeclasses 的新约定。Zig 目前主要依赖动态接口和 comptime 鸭子类型来实现多态，前者有性能开销，后者缺乏明确的类型契约。我提出了一种名为 Traits 的编译时结构体约定，它将相关函数打包，既保留了编译时优化的优势，又提供了清晰的类型合同。通过这种机制，我们可以为自…
从一个黑格开始，应用简单的 Rule 30 规则，竟能演化出看似完全随机的复杂图案。Stephen Wolfram 早在 1980 年代就发现，这个极简程序生成的中心列通过了所有随机性测试，甚至曾用于 Mathematica 的随机数生成。尽管计算机已计算出数十亿个单元格，但关于中心列是否永远不重复、颜色是否均匀分布等核心问题，至今仍是未解之谜。Wolfram 为此设立了 3 万美元奖金，但七年…
丹麦设计双人组 Oberdoerfer & Krebs 在哥本哈根的 3daysofdesign 展会上带来了颠覆性的家具设计。他们的 Bend Chair 和 Bend Stool 并非直接由机器完成，而是先通过大型 3D 打印生成半成品，随后利用热量软化特定区域，再由工匠手工弯折成型。这种将编程路径与手工触感结合的方式，打破了传统 3D 打印家具僵硬的侧轮廓印象。此外，他们还展示了利用打印误…
在 Python、Ruby 和 JavaScript 等动态语言中，对象常被简单视为名称到值的映射，这导致运行时使用哈希表存储属性。虽然灵活，但哈希查找和内存间接访问严重拖慢性能。本文深入解析了现代运行时如何通过引入 Map（或 Shape、Hidden Class）机制来优化这一过程。通过构建不可变的 Map 树结构，结合 Inline Cache 技术，我们可以将属性访问从耗时的字符串哈希查…