Weekly Digest — 2026-W31 Weekly

(1) Show HN: Elevators 🔗

Show HN：Elevators

(2) Kimi-K3 on HuggingFace 🔗

Kimi-K3 在 HuggingFace 上

(3) US citizen charged after GrapheneOS phone wipes during airport search 🔗

美国公民在机场安检时因 GrapheneOS 自动清除数据而被起诉

(4) UEFA and its national associations will not participate in FIFA competitions 🔗

欧足联及55个成员协会宣布退出FIFA赛事

(5) Our position on open-weights models 🔗

关于开放权重模型的立场

(6) Kill The Cookie Banner 🔗

抵制 Cookie 横幅计划

(7) PGSimCity - How PostgreSQL Works 🔗

PGSimCity：PostgreSQL 的工作原理

(8) Show HN: Open-source engine running Gemma 4 26B in 2 GB RAM on any M-series Mac 🔗

Show HN：在任意 M-series Mac 的 2GB RAM 上运行 Gemma 4 26B 的开源引擎

(9) The coolest use for the Vision Pro 🔗

最酷的 Vision Pro 用法

(10) Read this before you buy that TV streaming stick 🔗

买电视流媒体棒前该知道的事

(11) 7.1 Earthquake in Japan 🔗

日本发生7.1级地震

(12) Superlogical 🔗

超逻辑

(13) AI companies are shredding rare books 🔗

AI公司正在撕碎珍稀书籍

(14) Stacked PRs are now live on GitHub 🔗

GitHub 现已上线堆叠 PR（Stacked PRs）

(15) The session you cannot take with you 🔗

你带不走的会话

(16) KOReader 🔗

KOReader：跨平台的开源电子书阅读器

(17) DeepSeek-V4-Flash Update 🔗

DeepSeek-V4-Flash 更新

(18) Stop Killing the Internet: No Digital ID and No Age Verification 🔗

停止肆意‘杀死互联网’：拒绝数字身份与年龄验证

(19) qm – Multiplayer agent harness for work 🔗

qm：面向工作场景的多人代理框架

(20) New HIV vaccine shows unprecedented success in preclinical study 🔗

新型HIV疫苗在前临床研究中取得前所未有的成功

(21) Substack writers, you need a website 🔗

Substack 作家，你需要拥有一个个人网站

(22) Gemini Robotics 2 brings whole body intelligence to robots 🔗

Gemini Robotics 2 将整身智能引入机器人

(23) Tailscale didn't stop the Hugging Face intrusion 🔗

Tailscale 未阻止 Hugging Face 入侵

(24) AI's top startups are barely publishing their research 🔗

AI 的顶尖初创几乎不公开研究成果

(25) Advancing the price-performance frontier with GPT‑5.6 🔗

以 GPT‑5.6 提升性价比前沿

(26) Codex Security 🔗

OpenAI 将 Codex Security 开源

(27) How Google helped destroy adoption of RSS feeds (2023) 🔗

谷歌如何助推RSS订阅的衰落（2023）

(28) DeepSeek V4 Flash 0731 Intelligence, Performance and Price Analysis 🔗

DeepSeek V4 Flash 0731：智能、性能与性价比分析

(29) Google fixed more Chrome bugs in June than over the past two years, thanks to AI 🔗

谷歌靠 AI，在六月修复的 Chrome 漏洞数量超过过去两年总和

(30) Karpathy’s Pelican 🔗

Karpathy 的 Pelican

(31) Kimi K3 Architecture Overview and Notes 🔗

Kimi K3 架构总览与笔记

(32) Kimi K3-256k 🔗

Kimi K3-256k

(33) Diátaxis 🔗

Diátaxis 框架

(34) How is the Bun rewrite in Rust going? 🔗

Bun 的 Rust 重写进展如何？

(35) Show HN: Physically accurate black hole you can put in your room 🔗

Show HN：一个可放在房间里的物理上逼真的黑洞

(36) French firefighters face 'pyrocumulonimbus' for first time 🔗

法国消防员首次面对 Pyrocumulonimbus（火山云）

(37) Htmx 4.0, the first JavaScript library to release exclusively on the Game Boy 🔗

Htmx 4.0：首个仅在 Game Boy 上发布的 JavaScript 库

(38) Keychron announces first open-source firmware for gaming mice 🔗

Keychron 公布首个开源游戏鼠标固件

(39) Ten advances in mathematics and theoretical computer science 🔗

数学与理论计算机科学的十大进展

(40) 'VPNs are lawful technical tools,' says EU Court in landmark copyright ruling 🔗

欧盟法院：VPN是合法的技术工具——具有里程碑意义的版权裁决

(41) Anatomy of a Frontier Lab Agent Intrusion: A Timeline of the July 2026 Incident 🔗

Frontier Lab 代理入侵案全貌：2026年7月事件时间线

(42) Netflix employee fired for sharing personal details in retreat trust exercise 🔗

Netflix 员工因在 retreat 信任活动中分享个人信息被解雇

(43) How to survive boiling water 🔗

如何在沸水中生存

(44) User Interfaces of the Demo Scene 🔗

Demo Scene 的用户界面设计

(45) Show HN: I was tired of opening 2 tabs for every HN link, so I made a userscript 🔗

Show HN：为避免为每个 Hacker News 链接打开两个标签页，我写了一个用户脚本

(46) Seedance 2.5 🔗

Seedance 2.5

(47) GrapheneOS protections against data extraction from locked devices 🔗

GrapheneOS 对锁定设备数据提取的保护机制

(48) The End of an Era 🔗

一个时代的终结

(49) Google will expand age checks on Android worldwide till the end of the year 🔗

谷歌将把 Android 的年龄验证扩展至全球，直至今年年底

(50) More Tailscale tricks for your jailbroken Kindle 🔗

为越狱 Kindle 的更多 Tailscale 技巧

(51) Benchmarking Opus 5 on SlopCodeBench 🔗

在 SlopCodeBench 上对 Opus 5 进行基准测试

(52) We Gave GPT 5.6 Sol a Real Business. It Lied, Spammed, and Lost $447 🔗

我们让 GPT‑5.6 Sol 做真实生意：它撒谎、发送垃圾信息，损失 447 美元

(53) A missing underscore sent innocent man to prison for 18 months 🔗

一个缺失的下划线让无辜男子被判入狱18个月

(54) Kimi-K3 Technical Report [pdf] 🔗

Kimi-K3 技术报告 [PDF]

(55) How to Exist 🔗

如何存在

(56) LLM Honeypot 🔗

大型语言模型蜜罐

(57) Decker, a platform that builds on the legacy of Hypercard and classic macOS 🔗

Decker：在 HyperCard 与经典 macOS 基础上构建的平台

(58) Document-borne AI worms can self-propagate through Copilot for Word 🔗

文档载体的 AI 蠕虫可通过 Copilot for Word 自我传播

(59) The AI Aesthetic 🔗

人工智能美学

(60) The Productivity Mirage 🔗

生产力幻象

(61) Darktable 🔗

Darktable 开源照片工作流程软件

(62) Judge Rejects Google's Attempt to DMCA Its Way Out of Being Scraped 🔗

Judge Rejects Google's Attempt to DMCA Its Way Out of Being Scraped

(63) GCC steering committee announces AI policy 🔗

GCC 指导委员会宣布 AI 政策

(64) Decathlon Germany adds Wero payment option to decathlon.de website 🔗

Decathlon 德国站在 decathlon.de 增加 Wero 支付选项

(65) French musician Kavinsky found dead 🔗

法国音乐人 Kavinsky 去世

(66) Delayed Gratification – Proud to Be 'Last to Breaking News' 🔗

延迟满足：骄傲地做‘最后才爆出新闻’

(67) Run Kimi K3 using 29 GB of RAM at 0.50 tok/s 🔗

用 29 GB RAM 运行 Kimi K3，吞吐约 0.5 token/s

(68) Go 1.27 Interactive Tour 🔗

Go 1.27 互动导览

(69) A $500 RL fine-tune of a 9B open model beat frontier models on catalog review 🔗

$500 RL 微调的 9B 开源模型在目录评审任务中击败了前沿模型

(70) Cursor removed cost information from the usage page and CSV export 🔗

Cursor 从用量页面和 CSV 导出中移除成本信息

(71) Agent Skill to Force Docs in ASD-STE100 Simplified Technical English 🔗

让代理具备将文档改写为 ASD-STE100 简化技术英语的能力

(72) Handbook.md shows that long policy documents do not reliably govern agents 🔗

Handbook.md 表明長篇政策文件並不能可靠地規範代理行為

(73) AI financial advice is surprisingly good, especially if you ask right questions 🔗

AI 金融建议相当靠谱，尤其当你问对问题

(74) Using an open model feels surprisingly good 🔗

开源模型的使用体验出乎意料地好

(75) A.I. companies are recruiting electricians and carpenters by the thousands 🔗

AI 公司正在大规模招募电工和木匠

(76) Half-Life ported to Mac OS 9 🔗

《半条命》移植到 Mac OS 9

(77) NetBSD 11.0 🔗

NetBSD 11.0 发布

(78) Kimi Linear: An Expressive, Efficient Attention Architecture (2025) 🔗

Kimi Linear：一种高效且具有表达力的注意力架构（2025）

(79) A walk through of the DeltaNet family of linear attention variants 🔗

DeltaNet：线性注意力变体家族解析

(80) A Surveillance Treaty in Disguise: Canada Signs UN Cybercrime Convention 🔗

披着监控外衣的条约：加拿大签署联合国网络犯罪公约

(81) London Gatwick has launched a robotic airport parking service 🔗

伦敦盖特威克机场推出机器人停车服务

(82) Qwen3.8-Max: A New Bar for Coding and Cowork 🔗

Qwen3.8-Max：编码与协作的新标杆

(83) The Cold Email 🔗

冷邮件

(84) Canceling "Hey" 🔗

取消 Hey 邮件服务

(85) The Religion of Speed 🔗

速度的宗教

(86) Premier league bans gambling sponsors 🔗

英超禁止博彩赞助商

(87) Show HN: I'm a 15 Year Old Wannabe Engineer, This Is a Cycloidal Gearbox I Built 🔗

Show HN：我是个15岁的准工程师，这就是我做的摆线齿轮箱

(88) The Strongest El Niño Ever 🔗

有史以来最强的厄尔尼诺现象

(89) Design is compromise 🔗

设计就是妥协

(90) The Economic Benefit of Refactoring 🔗

重构的经济效益

(91) Paged Out #9 [pdf] 🔗

Paged Out 第9期 [PDF]

(92) Show HN: CheapFoodMap – A map of good meals under $10 🔗

Show HN：CheapFoodMap——十美元以下的平价美食地图

(93) AI companies spend record sums on Washington lobbying 🔗

AI 公司在华盛顿的游说支出创纪录

(94) Scriptc by Vercel: TypeScript-to-Native compiler, no JavaScript engine in binary 🔗

Vercel 的 Scriptc：TypeScript 转原生编译器，二进制中不含 JavaScript 引擎

(95) RipGrep musl binaries occasionally segfault during very-large searches 🔗

RipGrep 的 musl 二进制在极大规模搜索时偶发崩溃

(96) Google has abandoned Google News? 🔗

谷歌新闻真的被放弃了吗？

(97) Steel Bank Common Lisp version 2.6.7 🔗

Steel Bank Common Lisp 2.6.7 版本发布

(98) Zig's Incremental Compilation Internals 🔗

Zig 的增量编译内部机制

(99) Una GPS smart watch – Repairable, USB-C charging, developer-friendly 🔗

Una GPS 智能手表——可维修、USB-C 充电、开发者友好

(100) Claude: Elevated errors across all models – Resolved 🔗

Claude：所有模型高错误率问题已解决

(101) Big Food vs. the People 🔗

大食品与公众的博弈

(102) I flagged two research papers for fake authors and both were accepted as orals 🔗

我标注的两篇伪造作者论文都获口头报告接收

(103) Flint: A Visualization Language for the AI Era 🔗

Flint：面向 AI 时代的可视化语言

(104) What is happening to jobs? Separating AI hype from reality 🔗

AI 热潮中的就业现象：区分现实与炒作

(105) Severance 🔗

Severance（离职补偿的思考）

(106) LearnVector – Andrew Ng's AI company building one‑to‑one learning experiences 🔗

LearnVector：吴恩达的 AI 公司，打造一对一学习体验

(107) Deflock Casa Grande 🔗

Deflock Casa Grande

(108) AI doesn't generate working products, that's still your job 🔗

AI不能直接生成可用产品，仍需人工实现

(109) 2x, not 10x: coding with LLMs in 2026 🔗

在 2026 年用大型语言模型编程：提升约 2x，而非 10x

(110) Watching Go's new garbage collector move through the heap 🔗

Watching Go's new garbage collector move through the heap

(111) Apple Will 'Watch Everything Burn' When the AI Bubble Bursts 🔗

当 AI 热潮破裂时，苹果会看着一切烧毁

(112) Donate to GrapheneOS 🔗

向 GrapheneOS 捐赠

(113) Twenty-five years ago it was cryptography, today it's model weights 🔗

二十五年前是密码学，如今是模型权重

(114) Ron Gilbert started production on Thimbleweed Park 2 🔗

Ron Gilbert 启动 Thimbleweed Park 2 的制作

(115) Removing React.js from the codebase and adapting Htmx for UI interactivity (2023) 🔗

从代码库中移除 React.js，并将 HTMX 用于 UI 交互（2023）

(116) Introduction to Data-Oriented Design [pdf] 🔗

数据导向设计入门（PDF）

(117) SQLite in Production: Optimizing WAL Mode, Concurrency, and VFS Layers 🔗

生产环境中的 SQLite：优化 WAL 模式、并发与 VFS 层

(118) I'm 38 and I Can't Support Myself Anymore 🔗

38 岁，我再也无法靠自己维持生活

(119) MAI-Cyber-1-Flash inside MDASH 🔗

MAI-Cyber-1-Flash 集成到 MDASH

(120) Software for One 🔗

一人软件

(121) RamenHaus 🔗

RamenHaus

(122) Should you wash your solar panels? 🔗

应该清洗太阳能板吗？

(123) BMW Spider-Man in-car advertising 🔗

宝马在车内投放蜘蛛侠广告

(124) Investigating three real-world incidents in our cybersecurity evaluations 🔗

我们在网络安全评估中对三起真实事件进行调查

(125) Physicists Solve a Muon Mystery. Now, Old Results Don't Add Up 🔗

物理学家解决了缪子之谜，旧结果不再成立

(126) JEP 401: Value Objects (Preview) merged to OpenJDK master 🔗

JEP 401：值对象（预览版）已合并到 OpenJDK 主分支

(127) The most official water costs $120k a gallon 🔗

官方水成本最高到每加仑 12 万美元

(128) We have proof automation now 🔗

我们现在有证明自动化了

(129) Getting 25 Gbps Thunderbolt Ethernet on My Mac Studio 🔗

在 Mac Studio 上实现 25 Gbps Thunderbolt 以太网

(130) Why is everyone trying to build a solid-state battery? 🔗

为什么大家都在研发固态电池？

(131) Discovering Cryptographic Weaknesses with Claude 🔗

用 Claude 发掘加密弱点

(132) The Silicon Valley Founder Meat Grinder 🔗

硅谷创始人的磨肉机

(133) The Art of 64-bit Assembly 🔗

64 位汇编的艺术

(134) It's not empowering to hand off the details 🔗

把细节交给他人并不等于赋能

(135) Show HN: Reverse Minesweeper 🔗

Show HN：反向扫雷

(136) Forth 🔗

Forth（Forth 编程语言）

(137) ReFrame – The EPaper Camera 🔗

ReFrame：电子纸相机

(138) Upper stage impacting the moon on 2026 August 5 🔗

2026年8月5日月球将被上级推进器撞击

(139) 'Crush this lady': how eBay harassment campaign led to $56M payout 🔗

“打压这位女士”：eBay 骚扰行动如何引发 5600 万美元赔偿

(140) I learned PCB design, 3D printing and C just to listen to music 🔗

为了听音乐，我自学了 PCB 设计、3D 打印和 C 语言

(141) The tiny holdout building in the middle of Macy’s is back in view 🔗

梅西百货中庭的一座小隐蔽建筑重新现身

(142) Chinese chipmaker shares surge 470% 🔗

中国芯片厂商股价飙升约470%

(143) I'd not buy a LG monitor 🔗

我不会买 LG 显示器

(144) Go Analysis Framework: modular static analysis by go team 🔗

Go Analysis 框架：Go 团队的模块化静态分析工具

(145) Is AI reasoning right for the wrong reasons? 🔗

AI 推理是否用错了理由？

(146) Turning a dumb AC unit smart (without losing my security deposit) 🔗

把一个普通空调变得智能化（又不赔掉我的押金）

(147) About the security content of macOS Tahoe 26.6 🔗

macOS Tahoe 26.6 的安全内容说明

(148) The lost civic life of movie rental stores 🔗

电影租赁店的失落公民生活

(149) Wikimedia Foundation refuses union recognition, hires union-busting law firm 🔗

维基媒体基金会拒绝承认工会并雇用打压工会的律师事务所

(150) A big win for Android interoperability 🔗

Android 互操作性取得重大进展

(151) The iPhone Upgrade Program is being replaced by Apple Upgrade 🔗

苹果用升级计划取代 iPhone Upgrade Program

(152) The relay market powering token resellers and fraud 🔗

推动代币转售与欺诈的中继市场

(153) Vehicle Motion Cues 🔗

车辆运动提示提升乘坐舒适度

(154) The New AI Superpowers: Focus and Followthrough 🔗

新 AI 超级力量：专注与执行

(155) Show HN: Kakehashi – Experimental userspace to run macOS binaries on Linux ARM 🔗

Show HN: Kakehashi — 在 Linux ARM 上运行 macOS 二进制的实验性用户空间

(156) Running Kimi K3 on MI355X at Better Performance per Dollar Than B300 🔗

在 MI355X 上运行 Kimi K3：性价比高于 B300

(157) Logic for Programmers 🔗

给程序员的逻辑

(158) Show HN: Gander, an Android file viewer that asks for no permissions 🔗

Show HN：Gander——一个不请求权限的 Android 文件查看器

(159) How the words we teach English language learners changed 🔗

我们教给英语学习者的单词如何改变

(160) Magnolias Are So Old That They're Pollinated by Beetles, Not Bees 🔗

玉兰花极其古老，被甲虫授粉而非蜜蜂

(161) June in Servo: real world compat, media queries, SharedWorker, and more 🔗

Servo 的六月更新：真实世界兼容性、媒体查询、SharedWorker 等

(162) What's Under Your Feet in New York City? 🔗

纽约市脚下有什么？

(163) Ten Ways NAS Is Getting Enshitified 🔗

NAS 正在变得更糟的十种原因

(164) DMARC has been public since 2012 but most company domains still don't enforce it 🔗

DMARC 自 2012 年公开以来，仍有多数企业域未强制执行

(165) Modern email can be built from borrowed parts 🔗

现代邮箱系统可以由借用的组件构建

(166) Why a $154B CEO just endorsed stripping most Americans of voting rights 🔗

为什么市值约1.54万亿美元的CEO公开支持剥夺大多数美国人投票权

(167) Libsm64: Mario 64 as a library for use in external game engines 🔗

Libsm64：把《马里奥64》作为外部游戏引擎的库来使用

(168) Why I Left Google DeepMind 🔗

为何离开 Google DeepMind

(169) CodePen 2.0 🔗

CodePen 2.0 发布

(170) Now is the time to give LLMs access to the ACM digital library 🔗

现在是让大型语言模型访问 ACM 数字图书馆的时候

(171) Progressive Web Components 🔗

渐进式网页组件

(172) The computer that helped win World War II 🔗

帮助赢得二战的计算机

(173) Some thoughts about Anthropic's new cryptanalysis results 🔗

关于 Anthropic 新的密码分析结果的一些想法

(174) Europe's fires are just the start 🔗

欧洲的火灾才刚刚开始

(175) Golang proposal: container/: generic collection types 🔗

Go 提案：container/ 包中的泛型集合类型

(176) Meshdiff – visually compare two STL versions in the browser, client-side 🔗

Meshdiff：在浏览器端可视化对比两个 STL 版本

(177) Developers are attached to tools because tools encode trust 🔗

开发者依赖工具，因为工具编码信任

(178) Astronauts describe persistent 'observer' sensation after 6 month missions 🔗

六个月任务后宇航员描述持续的“观察者”感受

(179) Anthropeum – Where in the world, and when, does this human artifact belong? 🔗

Anthropeum——这些人类制造物在世界何处何时应归属？

(180) Azulejo 🔗

Azulejo

(181) Anime User Interfaces 🔗

动漫风格的用户界面

(182) Holocloth 🔗

Holocloth

(183) GrapheneOS Defends Data-Wiping Function That Blocked US Border Search 🔗

GrapheneOS 为阻止边境搜查的数据清除功能辩护

(184) US Treasury undertakes historic intervention in yen market 🔗

美国财政部对日元市场进行历史性干预

(185) A directory of people who love RSS 🔗

RSS 爱好者名录

(186) Show HN: Bor – Open-source policy management for Linux desktops 🔗

Bor：Linux 桌面开源策略管理工具

(187) Mondragon Corporation – a federation of co-operatives 🔗

蒙德拉贡集团——一个合作社联合体

(188) Simulate cassette tape audio profiles using FFmpeg 🔗

用 FFmpeg 模拟磁带音频特性

(189) F*: A general-purpose proof-oriented programming language 🔗

F*：通用的、以证明为导向的编程语言

(190) The Absurdity of Albert Camus 🔗

阿尔贝·加缪的荒诞性

(191) State of multi-player Wayland 🔗

Wayland 的多席实现现状

(192) Glue bonds to nonstick surfaces and wipes clean with ethanol 🔗

能在不粘表面粘合并可用乙醇清洗的胶粘剂

(193) Alien World Chemistry Found Inside Meteorite That Struck New Jersey Home 🔗

坠落新泽西的陨石中的外星世界化学

(194) Hacker Public Radio 🔗

Hacker Public Radio

(195) Underwater oxygen loss threatens earth's stability, researchers warn 🔗

海洋缺氧正在威胁地球系统的稳定性

(196) VLC for Unity now supported on Linux 🔗

VLC for Unity 现已在 Linux 上支持

(197) Linux desktop market share has hit over 10% in North America 🔗

北美 Linux 桌面市场份额突破 10%

(198) A California aquifer may have crossed the point of no return 🔗

加州一处含水层或已越过不可逆点

(199) Folding Paper Globes 🔗

折叠纸球

(200) Note-Taking and Personal Knowledge Management 🔗

笔记与个人知识管理

(201) I wanted a clock that never needed setting. Things escalated 🔗

我想要一个永不需要校准的时钟，结果越弄越离谱

(202) Show HN: Distilling DeepSeek into GPT-OSS doesn't transfer censorship. Try it 🔗

Show HN：将 DeepSeek 精炼成 GPT-OSS 不带审查的版本，试试看

(203) The development pipeline is a production system 🔗

开发流水线就是生产系统

(204) 1,741 "informed" consents with one click? GDPR complaint filed 🔗

1741个知情同意，一键完成？就GDPR投诉已提交

(205) Danube's record low levels force shutdown of Hungary's only nuclear plant 🔗

多瑙河纪录低位迫使匈牙利唯一核电厂停运

(206) Exploiting Volvo/Eicher's fleet platform to gain control over all users/vehicles 🔗

Exploiting Volvo/Eicher's fleet platform to gain control over all users/vehicles

(207) Postmortem for Kernel Soundness Bug #14576 🔗

内核健全性漏洞 #14576 的事后分析

(208) Increasing the lifespan of a bulb makes it worse in every other way 🔗

延长灯泡寿命在其他方面反而更糟

(209) Dubious research tied to Red Bull has shaped energy drink policy 🔗

与红牛相关的可疑研究影响了能量饮料政策

(210) Arch Linux disables AUR package adoption 🔗

Arch Linux 禁用 AUR 包认领

(211) Amiga Graphics Archive 🔗

Amiga 图形档案馆

(212) Self-contained highly-portable Python distributions 🔗

Self-contained highly-portable Python distributions

(213) Situational Awareness down 67% in July in AI stock rout 🔗

AI 股市动荡导致投资者情境感知下降 67%

(214) Self-hosting Kimi K3: 20% more hardware cost, 20% better task resolution 🔗

自托管 Kimi K3：硬件成本上涨20%，任务解决能力提升20%

(215) Twenty Years of RISC OS Open 🔗

RISC OS Open 二十周年

(216) The Maxwell Conjecture Is False (GPT 5.6 Sol) 🔗

麦克斯韦猜想被证明错误（GPT-5.6 求解）

(217) The Rust on ESP Book 🔗

ESP 上的 Rust 书

(218) SwiftUI After 7 Years 🔗

SwiftUI 七年回顾

(219) Google's Beyond Zero: Enterprise Security for the AI Era 🔗

谷歌的 Beyond Zero：AI时代的企业安全

(220) Superlogical 🔗

超逻辑

(221) Kenji/Serious Eats – 30-Min Pressure Cooker Pho Ga 🔗

Kenji/Serious Eats – 30分钟压力锅越南鸡肉河粉

(222) Hamburg's Stadtpark: A Park Built to Be Used 🔗

汉堡 Stadtpark：一座以使用为目标的公园

(223) Bad Apple but It's Traceroute 🔗

坏苹果，但这是 traceroute

(224) Hunter-gatherers introduced fish to a mountain lake 7000 years ago 🔗

7000 年前狩猎采集者将鱼引入山地湖泊

(225) Are We Stuck with Lean? 🔗

我们还需要 Lean 吗？

(226) Show HN: I worked on a new browser for 2 years, today it passed Acid 3 🔗

Show HN：我花两年做了一个新浏览器，如今通过了 Acid3

(227) Show HN: CheapSecurity – Lightweight, Self-Hosted CCTV for Linux SBCs 🔗

Show HN：CheapSecurity——Linux SBC 的轻量自托管 CCTV

(228) Show HN: Isopolis – Isometric pixel map of SF 🔗

Show HN：Isopolis – 旧金山等距像素地图

(229) How to write English prose (2023) 🔗

如何写英文散文（2023）

(230) Algorithms on billion-scale graph using 10GB RAM: I love DataFusion 🔗

用 10GB RAM 构建十亿规模图的算法：我爱 DataFusion

(231) Everyone is building LLM routers, we deprecated ours 🔗

人人都在做 LLM 路由器，我们已弃用自己的

(232) On the non-use of AI in my writing process 🔗

我在写作中不使用 AI

(233) Using ThinkPad T480 as a mobile phone 🔗

把 ThinkPad T480 当作手机来用

(234) Show HN: Kedge – Full-stack cloud with forkable VM snapshots and global SQLite 🔗

Show HN：Kedge——具分叉 VM 快照与全球 SQLite 的全栈云

(235) Pacing the frontier 🔗

把握前沿的步伐

(236) Teach yourself programming in ten years (1998) 🔗

十年自学编程（1998）

(237) My personal AI benchmark: “Generate an SVG of a frog with a Habsburg jaw” 🔗

我的个人 AI 基准测试：生成一只哈布斯堡下巴的青蛙的 SVG

(238) Kimi K3 Now Available via Telnyx Inference API 🔗

Kimi K3 现通过 Telnyx 推理 API 提供

(239) How to Block Some of the Bots 🔗

如何屏蔽部分机器人

(240) The Artist Who Colored Ghibli 🔗

为吉卜力作品着色的艺术家

(241) I don't recommend Tailwind CSS 🔗

我不推荐 Tailwind CSS

(242) Terence Tao: Mathematics in the Age of AI [pdf] 🔗

陶哲轩：AI时代的数学 [PDF]

(243) Artificial Intelligence: Ars Notoria and the Promise of Instant Knowledge 🔗

人工智能：Ars Notoria 与即时知识的承诺

(244) Anatomy of a frontier-lab agent intrusion 🔗

Hugging Face：前沿实验室模型代理入侵的全景分析

(245) Californians' data deletion requests, DROP, become enforceable Aug. 1 🔗

加州数据删除请求（DROP）将于8月1日生效

(246) When transit passes were designed by hand (2022) 🔗

交通通行卡的手工设计史（2022）

(247) Manual: •.,:;…!?· 🔗

手册：•.,:;…!?·

(248) Norway Salmon 🔗

挪威三文鱼：全球巨头的崛起

(249) Show HN: XY – A Fast, composable, GPU-accelerated interactive plotting library 🔗

Show HN：XY——一个快速、可组合、GPU 加速的交互式绘图库

(250) U.S. debt-to-GDP ratio reaches 123% 🔗

美国债务与 GDP 比率达到 123%

(251) RFC 8890 – The Internet is for End Users (2020) 🔗

RFC 8890：互联网为了最终用户

(252) Fasttracker II clone in C using SDL 2 🔗

用 SDL2 的 C 实现的 Fasttracker II 克隆

(253) Linux on ESP32 🔗

在 ESP32 上运行 Linux

(254) Ray tracing massive amounts of animated geometry using tetrahedral cages 🔗

用四面体笼对大量动画几何进行光线追踪

(255) Let's make the worst Htmx 🔗

让我们把 Htmx 弄成最糟糕的用法

(256) Why don't people use formal methods? (2019) 🔗

为什么人们不使用形式化方法？（2019）

(257) Lisp moving Forth moving Lisp 🔗

Lisp 的演化：在 Forth 与 Lisp 之间的迁移

(258) San Francisco: Don't Fall for Industry Defense of Surveillance Pricing 🔗

旧金山：勿相信行业对监控定价的辩护

(259) Gpiozero Flow 🔗

Gpiozero Flow：树莓派 GPIO 的流水线式编程

(260) Jimothy the raccoon has a rare spinal condition. Here's what that means 🔗

名为 Jimothy 的浣熊患有罕见脊髓疾病，这意味着什么

(261) The Glass Famine 🔗

玻璃饥荒

(262) A Rant About “Technology” (2005) 🔗

对“技术”的抨击（2005）

(263) Making Postgres queues scale 🔗

让 PostgreSQL 队列实现可扩展性

(264) MCP 2026-07-28 Specification: transport going stateless 🔗

MCP 2026-07-28 规范：传输走向无状态

(265) How Do I Profile eBPF Code? 🔗

如何对 eBPF 代码进行性能分析？

(266) Show HN: What should the GUI for AI agents look like? 🔗

Show HN：AI 代理的 GUI 应该长成什么样？

(267) Running Kimi K3 on a M1 Max 🔗

在 M1 Max 上运行 Kimi K3

(268) DConf 2026 in London 🔗

DConf 2026 在伦敦举行

(269) Moonshot’s Kimi uses 20k Nvidia chip cluster from Alibaba 🔗

Moonshot 的 Kimi 使用来自阿里巴巴的 2 万 Nvidia 芯片集群

(270) Show HN: Shitty – fast terminal. Memory-unsafe and faster than yours 🔗

Show HN：Shitty——快速的终端，内存不安全且比你用的更快

(271) Atom is better than RSS, in ways that matter 🔗

Atom 在关键方面优于 RSS

(272) Shipping Godot VR and Porting to PSVR2: A Partial Post Mortem 🔗

Godot VR 发布与移植至 PSVR2：部分事后总结

(273) The Usefulness of Useless Knowledge (1939) [pdf] 🔗

1939：《无用知识的用处》[PDF]

(274) But can your calculator run Linux? 🔗

你的计算器能跑Linux吗？

(275) Unraveling the mysteries of habit formation 🔗

揭开习惯形成的奥秘

(276) Show HN: NixOS-DGX-Spark – Nix and NixOS on the DGX Spark 🔗

Show HN: NixOS-DGX-Spark — 在 DGX Spark 上实现 Nix/NixOS

(277) Show HN: Fuse – statically typed functional programming language 🔗

Fuse：静态类型的函数式编程语言

(278) Show HN: FeyNoBg – Automatic background removal model and training library 🔗

Show HN: FeyNoBg – Automatic background removal model and training library

(279) A Trampoline 🔗

一个蹦床

(280) Hubble: Open-source notetaking app for you and your agents 🔗

Hubble：面向你与代理的开源笔记应用

(281) Fonts In Use – Find out where a font is used 🔗

Fonts In Use：了解字体的实际使用场景

(282) Uv 0.12.0 🔗

Uv 0.12.0 版本发布

(283) Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code 🔗

Show HN：形式化验证的3D CSG：93行规范胜过1000行AI代码

(284) Why DNA damage from smoking and UV rays cause cancer in some but not others 🔗

为何烟草暴露与紫外线造成的 DNA 损伤为何并非对所有人都致癌

(285) So you want to use plants to reduce CO₂ 🔗

想用植物来降低二氧化碳排放吗？

(286) Harmony Explained: Progress Towards a Scientific Theory of Music (2012) 🔗

和声解释：迈向音乐科学理论的进展（2012）

(287) ASRock BC-250: Building the Budget Steam Machine 🔗

ASRock BC-250：打造预算 Steam 机器

(288) Ars Astronomica – English translations of rare Hebrew and Latin astronomy texts 🔗

Ars Astronomica——罕见希伯来语与拉丁文天文学文本的英文翻译

(289) Explorative modeling: Train on the best of K guesses 🔗

探索性建模：在前K个猜测中训练最佳模型

(290) MkLinux and the pimped-out Apple Workgroup Server 9150 🔗

MkLinux 与改装后的 Apple Workgroup Server 9150

(291) RTX 2080 Ti Memory Upgrade to 22 GB 🔗

RTX 2080 Ti 内存提升至 22 GB

(292) The Fabled Flatbreads of Uzbekistan (2015) 🔗

乌兹别克斯坦传说薄饼（2015）

(293) The mean means nothing: data visualization to debug a latency problem 🔗

均值并非万金油：用数据可视化调试延迟问题

(294) Memo-1: A 6502 computer built from scratch, using a Minitel as its terminal 🔗

Memo-1：用 Minitel 作为终端从零构建的 6502 计算机

(295) GPT-5.6 vs. Claude Fable 5 for Physical AI, which performs best? 🔗

GPT-5.6 与 Claude Fable 5 在物理 AI 领域谁表现更佳？

(296) Rune 1.1: adds Python, an Emacs editor, a symbol index and is now free 🔗

Rune 1.1：新增 Python、Emacs 编辑器、符号索引，现已免费

(297) Rooting, firmware analysis and persistent credentials of TP-Link TL-841N 🔗

TP-Link TL-841N 路由器的 Rooting、固件分析与持久凭证

(298) Glyphs 4 – the leading Mac font editor 🔗

Glyphs 4：Mac 字体编辑器的领导者

(299) Securing Services with Rootless Containers 🔗

通过无根容器提升服务安全

(300) Elevated errors on Claude Opus 5 🔗

Claude Opus 5 的错误频繁上报

(301) Solid Queue 1.6.0 now supports fiber workers 🔗

Solid Queue 1.6.0 现已支持纤程工作者

(302) Deep-sea vehicles spot 'alien' sharks deep beneath the waves in the Pacific 🔗

深海探测器在太平洋深处发现“外星”鲨鱼

(303) An Uncomplicated Man – A review of The Odyssey, directed by Christopher Nolan 🔗

一个简单的人——克里斯托弗·诺兰执导的《奥德赛》影评

(304) Show HN: Yap – OSS on-device voice dictation for macOS with no model to download 🔗

Yap：在 macOS 上本地离线的开源语音输入，无需下载模型

(305) Rust All Hands 2026 Retrospective 🔗

Rust All Hands 2026 回顾

(306) CISA Alert: Water Sector PLC Targeting 🔗

水务行业 PLC 攻击警报

(307) Truth is not a direction: a Tarski attack on LLM probes 🔗

真理不是一个方向：对 LLM 探针的塔斯基攻击

(308) Teaching Kids Forth 🔗

教孩子学 Forth：Anna Liberty

(309) After the AI Crash 🔗

AI 崩溃之后

(310) OpenAI's super PAC is funding AI-generated news site attacking industry critics 🔗

OpenAI 超级 PAC 资助 AI 生成新闻站点攻击行业批评者

(311) 3D Pinball for Windows (1995) 🔗

Windows 的 3D Pinball（1995）

(312) Where USB Memory Sticks are Born (2013) 🔗

USB 内存条的诞生地（2013）

(313) Authorize, don't authenticate 🔗

授权，而非认证

(314) Autoregressive Language Model on the 6502 Processor 🔗

6502 处理器上的自回归语言模型

(315) Show HN: Qwen Scribe – local transcription and dictation for Apple Silicon 🔗

Show HN：Qwen Scribe——在 Apple Silicon 上的本地转录与听写

(316) Agent-Manager: A Tmux TUI for Running Claude Code, Codex and OpenCode 🔗

Agent-Manager：用于运行 Claude Code、Codex 和 OpenCode 的 Tmux TUI

(317) Launch HN: Rise Reforming (YC S26) – Turning Waste Gases into Valuable Chemicals 🔗

Rise Reforming：将废气转化为有价值化学品

(318) Europe EV Sales BEVs Jump 50% & Reach 26% Market Share 🔗

欧洲电动汽车销量：BEV 增长 50% 占比 26%

(319) Disrupting supply chain attacks on NPM and GitHub Actions 🔗

破坏对 NPM 与 GitHub Actions 的供应链攻击

(320) The bond market isn't buying what Fed Chair Warsh is selling 🔗

债市不买联储主席 Warsh 的说法

(321) Read the novels and forget everything else 🔗

读小说，忘却其他一切

(322) How JPEG works: Interactively explore JPEG's lossy compression methods 🔗

JPEG 工作原理：交互式探索有损压缩方法

(323) IMAX vs. IMAX 70mm: The difference between these two cinema formats 🔗

IMAX 与 IMAX 70mm：两种影院格式的区别

(324) The first watch featuring computer functions 🔗

首款具备计算机功能的手表

(325) Show HN: ssh ssh.place 🔗

Show HN：ssh.place

(326) How to Do Great Work (2023) 🔗

如何做出伟大的工作（2023）

(327) Using the railway network as a flatbed scanner [video] 🔗

把铁路网络当作平板扫描仪使用（视频）

(328) G'mic 4.0: Squaring the Pixel, Easier 🔗

G'MIC 4.0：让像素处理更简单

(329) Don't ask an LLM for a confidence score 🔗

不要向LLM请求置信度分数

(330) Choose DuckDB rather than SQLite 🔗

DuckDB 优于 SQLite？还是选择 DuckDB？

(331) The AI trade now runs on borrowed money, and the lenders are repricing it 🔗

AI 投资如今靠借贷支撑，放贷方正在重新定价

(332) Show HN: BitBang – Reach machines behind NAT from a browser, no account 🔗

Show HN：BitBang——在浏览器中直接访问 NAT 后的设备，无需账户

(333) Anti-fraud tools can't keep pace with robocall scammers 🔗

防诈骗工具难以跟上机器人电话骗子的步伐

(334) RFC 10015: Deprecating Obsolete Key Exchange Methods in TLS 1.2 and DTLS 1.2 🔗

RFC 10015：在 TLS 1.2/DTLS 1.2 中弃用过时的密钥交换方法

(335) How real are real numbers? (2004) 🔗

How real are real numbers? (2004)

(336) EU Fines Google $1.02B for Favoring Its Own Services 🔗

欧盟因谷歌偏袒自家服务罚款 10.2 亿美元

(337) ESP32-C3 SuperMini antenna modification 🔗

ESP32-C3 SuperMini 天线修改

(338) Long Range Wi-Fi – Pushing 2.4 GHz Wi-Fi to the limits (2019) 🔗

长距离 Wi‑Fi：将 2.4 GHz Wi‑Fi 推向极限（2019）

(339) Destroying a Community with a Gigantic "Clogged Vacuum Cleaner" 🔗

用巨型堵塞式真空吸尘器毁掉一个社区

(340) Nyctography: A substituton cypher by Lewis Carroll 🔗

Nyctography：刘易斯·卡罗尔的夜间替代密码

(341) China begins producing advanced chipmaking deep-ultraviolet lithography machines 🔗

中国开始自主生产沉浸式深紫外光刻机

(342) PyTorch: A Reference Language 🔗

PyTorch：一种参考语言

(343) First Robotic Satellite Servicer Launched 🔗

首个机器人卫星服务者已发射

(344) Show HN: Syncular – offline-first SQL sync with TypeScript and Rust cores 🔗

Syncular：离线优先的 SQL 同步，TypeScript 与 Rust 内核

(345) When random.bytes() runs but doesn't work 🔗

当 random.bytes() 能跑但却不起作用

(346) VMs can't boot with Network Mode set to Bridged on Apple M5 Pro machines 🔗

在 Apple M5 Pro 设备上，网络桥接模式下虚拟机无法启动

(347) The myth of Snow Leopard 🔗

雪豹神话

(348) Solving Fermat: Andrew Wiles 🔗

解 Fermat：安德鲁·怀尔斯

(349) SpecForge – A Platform for Authoring Formal Specifications 🔗

SpecForge：用于撰写形式规范的平台

(350) Plug-in solar is coming. Plug-in batteries should follow 🔗

插电式太阳能来袭，插电式电池也应跟上

(351) Launch HN: Prized (YC S26) – Let non-engineer staff build secure internal tools 🔗

Prized（YC S26）让非工程师员工构建安全的内部工具

(352) Why Book Corners won't sync contributions back to OpenStreetMap 🔗

为何 Book Corners 无法将贡献同步回 OpenStreetMap

(353) Neutrino-1 8B 🔗

中微子-8B

(354) Show HN: Scala Tutorials – interactive Scala 3 lessons in the browser 🔗

Show HN：Scala 教程 – 浏览器中的交互式 Scala 3 课程

(355) Google Chrome Arrives on ARM64 Linux, Widevine DRM Included 🔗

Google Chrome 登陆 ARM64 Linux，包含 Widevine DRM

(356) How Unix spell ran in 64 kB of RAM (2025) 🔗

Unix 如何在 64KB RAM 下运行

(357) NSF pilots 4-year PhDs with industry research placements 🔗

NSF试点四年制博士项目：将产业研究岗位嵌入学位

(358) Commodification of Intelligence: Good, Bad, and Ugly Circular AI Deals 🔗

人工智能的商品化：好、坏、丑的循环式交易

(359) Shay Locomotives 🔗

Shay 蒸汽机车

(360) EU Age Verification Project Mandates Hardware-Bound Attestation 🔗

欧盟年龄验证计划强制硬件绑定的认证

(361) Show HN: Make your Framework 12 sound like a creaky door 🔗

Show HN: 让 Framework 12 发出嘎吱作响的门声

(362) Elena, a library for building Progressive Web Components 🔗

Elena：用于构建渐进式网页组件的库

(363) Show HN: How far do I have to go to run into 100k people? 🔗

Show HN：走多远才遇到 10 万人？

(364) Ruby Central's Destructive Legacy 🔗

Ruby Central 的破坏性遗产

(365) Show HN: I made a game where you build a CPU from logic gates 🔗

Show HN：我做了一个用逻辑门构建 CPU 的游戏

(366) Kuna: Decompiler Development in the Age of Coding Agents 🔗

Kuna：在编码代理时代的反编译器开发

(367) Attention Decode on AMD MI450 GPUs: A Gluon Kernel Optimization Guide 🔗

在 AMD MI450 GPU 上的 Attention Decode：Gluon 内核优化指南

(368) Towards a Theory of Bugs: The Ruliology of the Unexpected 🔗

错题理论：意外现象的规律学

(369) Show HN: tale.fyi, we deserve a home for fiction 🔗

Show HN：tale.fyi，我们应为小说提供一个家

(370) Why do we think we understand the world more than we actually do? 🔗

为什么我们自以为比实际更懂这个世界？

(371) EYG: A Programming Language for Humans 🔗

EYG：为人类设计的编程语言

(372) The Birth of the American 12-string Guitar (2013) 🔗

美国 12 弦吉他的诞生

(373) Clockwise/Spiral Rule (1994) 🔗

1994 年的顺时针/螺旋规则

(374) Ancient Rome's version of Google Maps: how long to reach the beach 🔗

古罗马的 Google 地图：到海滩需要多长时间

(375) Building a Fast Lock-Free Queue in Modern C++ from Scratch 🔗

用现代 C++ 从零开始构建高速无锁队列

(376) Termixer (TUI DJ Mixer) 🔗

Termixer（基于文本界面的 DJ 混音器）

(377) US DOT deleting bike lane references 🔗

美国交通部删除自行车道相关信息

(378) Using sed to make indexes for books (1997) 🔗

用 sed 为书籍创建索引（较长篇）

(379) Solving poker in custom WebGPU kernels 🔗

用自定义 WebGPU 内核求解德州扑克

(380) Show HN: Optimize and serve models with Fable quality at half the cost 🔗

Show HN：以与 Fable 相近的质量，成本降低一半的模型优化与部署

(381) BMW Is Showing Commercials on Their Car's Dash Screens as a Treat 🔗

宝马在车载仪表屏幕投放广告，被称作‘贴心体验’

(382) Just because a game is on disc doesn't mean it will work in the future 🔗

就算游戏有光盘也不代表将来还能玩

(383) Plasma Tunnels Reveal How Dying Satellites Fall to Earth 🔗

等离子体隧道揭示垂死卫星如何坠落地球

(384) Launch HN: Tokenless (YC S26) – Automatic model switching to save money 🔗

Show HN：Tokenless——自动模型切换以节省成本

(385) Kalshi attacks a Wisconsin law banning election bets as 'voter suppression' 🔗

Kalshi 将威斯康星州禁止选举赌注的法律视为‘选民压制’

(386) Simulating TCP loss and congestion in browser using Go/WASM 🔗

在浏览器中用 Go/WASM 仿真 TCP 丢包与拥塞

(387) How to Mount a Balcony Awning (2025) 🔗

2025 年阳台遮阳篷安装教程

(388) Show HN: A Handwritten Blogging Platform 🔗

Show HN：一个手写风格的博客平台

(389) WOFF 1.0: a milestone on W3C's journey of fonts on the web 🔗

WOFF 1.0：W3C 网络字体发展里的重要里程碑

(390) A GTK4 SSH-askpass in Zig 🔗

用 Zig 实现的 GTK4 SSH 询问弹窗

(391) How old is Ann? 🔗

Ann 多大了？

(392) Dolmenwood: Fantasy RPG built around the acclaimed Old-School Essentials rules 🔗

Dolmenwood：围绕备受瞩目的 Old-School Essentials 规则构建的奇幻 RPG

(393) Cyberscript 🔗

Cyberscript

(394) So, you want to make a game engine (2023) 🔗

想要做游戏引擎（2023 版）

(395) Demystifying DRAM Read Disturbance: RowHammer and RowPress Phenomena 🔗

破解 DRAM 读取干扰：RowHammer 与 RowPress

(396) ChatGPT, Roblox to Fall Under Strictest EU Rules for Platforms 🔗

ChatGPT 与 Roblox 将纳入欧洲最严格的平台规则

(397) You can't solve computer use by ignoring the interface 🔗

你不能通过忽略界面来解决计算机使用

(398) A week in Matrix 🔗

Matrix 一周观察

(399) C/C++ projects packaged for Zig 🔗

用 Zig 打包 C/C++ 项目

(400) TokenTown: A visual way to understand how LLMs work 🔗

TokenTown：可视化理解大模型工作的直观工具

(401) Kaisel – Routes as Values. Dart 3 Native Router for Flutter 🔗

Kaisel – 路由即值：Flutter 的 Dart 3 原生路由器

(402) Carolina Cloud pays SOFR on unused prepaid credits 🔗

Carolina Cloud 对未使用的预付信用支付 SOFR 利息

(403) Pgtestdb's template cloning approach to testing is fast 🔗

Pgtestdb 的模板克隆测试方法极快

(404) The Difference Between a Button and a Link 🔗

按钮与链接的区别

(405) How much can you delegate to agents? 🔗

你能把多少任务交给代理人来处理？

(406) CosmosEscape: Taking over Every Database in Azure Cosmos DB 🔗

CosmosEscape：Taking over Every Database in Azure Cosmos DB

(407) Concurrency, interactivity, mutability, choose two 🔗

并发、交互、可变性：三选二

(408) Interview with Boris Cherny [video] 🔗

与 Boris Cherny 的访谈 [视频]

(409) Show HN: Let's Seal – Let's Encrypt for document signing, free and self-hosted 🔗

Show HN: Let's Seal – Let's Encrypt for document signing, free and self-hosted

(410) Winding Down Artichoke Ruby 🔗

Artichoke Ruby 项目逐步停止

(411) We accidentally built an LLVM compiler for Jax 🔗

我们意外地为 Jax 构建了一个 LLVM 编译器

(412) Apple's hostile App Store rating system 🔗

苹果应用商店的敌对评分体系

(413) Refactoring cuisine: how an Iraqi stew sailed to Singapore 🔗

重构美食：伊拉克炖菜如何漂洋过海抵达新加坡

(414) Saber-toothed cats became inbred–and struggled to move–before they went extinct 🔗

剑齿虎在灭绝前因近亲繁殖而运动能力下降

(415) SDL_GPU minimal, single-header, high-performance 2D graphics painting library 🔗

SDL_GPU：极简单头文件的高性能二维绘画库

(416) Go LLM SDK for streaming, tool-calling AI backends (plus frontend React lib) 🔗

Go LLM SDK：流式、工具调用 AI 后端与前端 React 库

(417) Exercise works for depression. So why isn't it treated like real medicine? 🔗

Exercise works for depression. So why isn't it treated like real medicine?

(418) Log is non-monotonic in PHP and Lua 🔗

在 PHP 与 Lua 中，对数函数并非单调

(419) The first transatlantic telegraph cable was a bold, beautiful failure (2019) 🔗

第一条跨大西洋电报电缆：大胆而美丽的失败

(420) Building a native C# implementation of CEL engine 🔗

在 .NET 中实现原生 CEL 引擎

(421) ESP32-C6 Power Consumption: Arduino vs. Zephyr vs. ESP-IDF Comparison 🔗

ESP32-C6 电源消耗对比：Arduino、Zephyr、ESP-IDF

(422) CP/M-386 – CP/M for 386 protected mode, derived from CP/M‑68K 🔗

CP/M-386：386 保护模式下的 CP/M，源自 CP/M‑68K

(423) Fast Remediation Is the New Trust Model (JFrog and OpenAI Zero-Day Findings) 🔗

快速修复是新的信任模型（JFrog 与 OpenAI 零日发现）

(424) Some combinatorial applications of spacefilling curves 🔗

空间填充曲线的若干组合应用

(425) How to think about software quality (2022) 🔗

如何看待软件质量（2022）

(426) The great wealth transfer reality check 🔗

巨额财富转移的现实检验

(427) The Burau representation of the braid group is faithful for n = 4 🔗

braid 群的 Burau 表示在 n=4 时是保真的

(428) Flock – Chilling Effects: Long Island's Emerging Open-Air Prison 🔗

Flock – 长岛的新兴露天监狱与冷却效应

(429) Three Theses on the Literacy Crisis 🔗

关于读写危机的三条论点

(430) Transformer Transformer: A Unified Model for Motion-Conditioned Robot Co-Design 🔗

Transformer Transformer：面向运动条件的机器人协同设计的统一模型

(431) The American Grilled Cheese Sandwich Essay (2024) 🔗

2024 美式烤奶酪三明治随笔

(432) We discovered a new variant of Super Mario Bros 🔗

我们发现了一个新的《超级马里奥兄弟》变体

(433) Show HN: Mu – Tools for Agents 🔗

Show HN：Mu – 面向代理的工具

(434) What AI developers could learn from Charles Bukowski? 🔗

AI 开发者能向查尔斯·布科夫斯基学习什么？

(435) The Computational Theory of Mind (2015) 🔗

心智的计算理论（2015）

(436) Toolcraft 🔗

Toolcraft

(437) Man and the Computer by John G. Kemeny (1972 book by the co-creator of BASIC) 🔗

《人和计算机》：BASIC共同创始人凯梅尼的1972年著作

(438) Show HN: Manim (3Blue1Brown's animation engine) in the browser via WebGPU 🔗

Show HN：在浏览器中通过 WebGPU 运行 Manim（3Blue1Brown 的动画引擎）

(439) Show HN: Ctrlb-decompose: Strip the noise from logs before sending to LLMs 🔗

Show HN：Ctrlb-decompose：在发送给大型语言模型前去除日志噪声

(440) Angels in Coptic Magic I: Introduction 🔗

科普特魔法中的天使 I：导论

(441) TinyNES Review – A Super Niche NES Console 🔗

TinyNES 评测——一款极度小众的 NES 主机

(442) Programming Languages Are Authoring Tools for Platforms 🔗

编程语言是平台的创作工具

(443) The Alice and Bob After Dinner Speech (1984) 🔗

Alice 与 Bob 晚餐后的演讲（1984）

(444) AI Mania: From Tulips to Tokens 🔗

AI 疯狂：从郁金香到代币

(445) IBM i (OS/400) the Database Operating System 🔗

IBM i（OS/400）：数据库操作系统

(446) Residential Proxies Are a National Security Threat 🔗

住宅代理构成国家安全威胁

(447) Measuring developer productivity with the DX Core 4 🔗

用 DX Core 4 衡量开发者生产力

(448) Pushes to arch AUR are suspendended right now. 🔗

当前 Arch AUR 提交推送暂停

(449) The motion-sickness cure hidden in iPhone settings 🔗

iPhone 设置中的隐匿之处可治晕动病

(450) Valve Sponsors Work Bringing Open-Source RADV Driver to Windows 🔗

Valve 资助将开源 RADV 驱动带到 Windows

(451) We shall dwell amidst wonder and glory for ever: On weird fiction 🔗

让我们永居于奇异的美：关于怪奇小说

(452) Boris Cherny on Trying to Get Claude Code to Rewrite the Claude App 🔗

Boris Cherny 讨论尝试让 Claude Code 重写 Claude App

(453) Study uncovers lost 'golden age' of languages 🔗

研究揭示语言的失落黄金时代

(454) Elevated errors on Claude Opus 5 🔗

Claude Opus 5 的错误频繁上报

(455) Show HN: Claude-account – switch Claude Code accounts without logging in again 🔗

Show HN：Claude-account——切换 Claude Code 账号无需重新登录

(456) Sharing an X11 Server Across Hosts with FamilyWild 🔗

用 FamilyWild 在多主机间共享 X11 服务器

(457) 8086 Emulator Inside Scratch 🔗

Scratch 中的 8086 仿真器

(458) 13 Models and 4 Agents on SWE Tasks: Go, Java, Python, Rust, TS 🔗

在软件工程任务中的 13 种模型和 4 种代理

(459) Harvesting SSH Credentials: Insights from My Honeypot Network 🔗

SSH 凭据收集：来自我的蜜罐网络的洞察

(460) Cesium DevCon 2026 talks are up, including a keynote from SQLite's creator 🔗

Cesium DevCon 2026 演讲上线：SQLite 创始人发表主题演讲

(461) Cracking Windows Open: Porting RADV to Win32 🔗

在 Win32 上移植 RADV

(462) The Art of Decision-Making (2019) 🔗

决策的艺术（2019）

(463) How A Gang of Thieves Pulled Off a Multimillion-Dollar Data Center Heist 🔗

一伙窃贼如何完成数百万美元的数据中心盗窃

(464) The Prospects for 128 Bit Processors ( John Mashey SGI 1995) 🔗

128 位处理器的前景（John Mashey，SGI 1995）

(465) TWC Classics 🔗

TWC Classics

(466) DIY Home Solar System for under $5000 (2025) 🔗

低于 5000 美元的家用太阳能备用系统 DIY

(467) Predictive Speculative KV Replication for Bursty LLM Inference 🔗

面向突发LLM推理的预测性 KV 复制

(468) Tokio Gives Progress, Not Ordering: Scheduling 1M Tasks 🔗

Tokio Gives Progress, Not Ordering: Scheduling 1M Tasks

(469) Building the Grace Cathedral experience 🔗

经典 WTF：数据中心风扇与更多趣事

(470) A Texture Lookup Approach to Bézier Curve Evaluation on the GPU (JCGT) 🔗

在 GPU 上通过纹理查找实现贝塞尔曲线评估（JCGT）

(471) Anthropic publishes a practical key-recovery attack on HAWK-256 🔗

Anthropic 发布对 HAWK-256 的实用密钥恢复攻击

(472) The most advanced robotic servicing satellite–that we know about 🔗

我们所知的最先进的机器人维修卫星

(473) History of John Backus's functional programming project (draft) 🔗

约翰·巴克斯功能编程项目的历史（草稿）

(474) Hooray for the Sockets Interface 🔗

为套接字接口喝彩

(475) Nano Banana 2 removed from Google Earth 🔗

Nano Banana 2 已从 Google 地球中移除

(476) The First Idempotency Key 🔗

首个幂等性键

(477) Europe's Ultra-Rich Could Fund a Substantial Part of the EU's Budget 🔗

欧洲的超级富豪可能为欧盟预算提供相当大份额

(478) Ask HN: Crooked Timber showed showed me a virus captcha, What now? 🔗

Ask HN：Crooked Timber 向我展示了病毒验证码，我该怎么办？

(479) Beyond Greece and Rome 🔗

超越希腊与罗马：全球古代史的另一种讲述

(480) A fresh look at CPU silent data corruption in modern data centers 🔗

Afresh look at CPU silent data corruption in modern data centers

(481) Better to Beg Forgiveness 🔗

宁可先行动再求原谅

(482) Morten Linderud resigning from Arch Linux development team 🔗

Morten Linderud 从 Arch Linux 开发团队辞职

(483) Theo Conjecture solves 35-year-old math problem, finds a term no one predicted 🔗

Theo 推论解决了一个35年的数学难题，发现了没人预料的项

(484) Lightweight Spring Boot Monitoring Without Prometheus and Grafana 🔗

无需 Prometheus 与 Grafana 的轻量级 Spring Boot 监控

(485) Show HN: Katharos Functional programming and CSP-style concurrency for Python 🔗

Katharos：面向 Python 的 CSP 风格并发

(486) Four Time Scales for Technology Development and Deployment 🔗

科技发展与部署的四个时间尺度

(487) Tell HN: I hate your fuzzy search 🔗

给 HN 的建议：我讨厌你们的模糊搜索

(488) Scanning 7.6 Petabytes of HuggingFace Training Data for Secrets 🔗

对 HuggingFace 训练数据的 7.6PB 扫描以寻找密钥

(489) ALP: Adaptive lossless floating-point compression 🔗

ALP：自适应无损浮点压缩

(490) Flume Water Monitor 915 MHz Security Is Pretty Good 🔗

Flume水监测器在915 MHz的安全性相当不错

(491) Show HN: A local merge queue for parallel Claude Code agents 🔗

Show HN：用于并行 Claude Code 代理的本地合并队列

(492) Show HN: Echologue – the private AI voice journal I built for myself 🔗

Show HN：Echologue——我为自己构建的私有 AI 语音日记

(493) Fermi Paradox 🔗

费米悖论

(494) Unearthing my 1996 windowed OS in machine code for Am29000 homebrew computer 🔗

在 Am29000 自制计算机上 1996 年窗口化操作系统的机器码挖掘

(495) Register deprivation: spills and runtime under forced register scarcity 🔗

寄存器匮乏：被迫的寄存器稀缺导致的溢出与运行时成本

(496) Impro is a handbook for running a cult 🔗

Impro：经营邪教的手册

(497) Drug reverses autism-like brain changes in adult mice within hours 🔗

药物在成年小鼠中数小时内逆转自闭症样脑变化

(498) Show HN: Logan Basic v2.1 - An online BASIC interpreter. 🔗

Show HN：Logan Basic v2.1——一个在线 BASIC 解释器

(499) How to Spot AI Writing 🔗

如何识别 AI 写作

(500) A past and future of trade secrets 🔗

贸易秘密的过去与未来

(501) RFC 9851: TLS 1.2 is in Feature Freeze 🔗

RFC 9851：TLS 1.2 已进入功能冻结

(502) Let the machines in 🔗

让机器进入

(503) Adding Go's Defer to the TypeScript Compiler 🔗

把 Go 的 defer 加进 TypeScript 编译器

(504) Sizeof is surprisingly difficult to parse in C 🔗

Sizeof 在 C 语言中解析起来出乎意料的困难

(505) A tool for finding the causes of unstable Python tests 🔗

用于发现不稳定 Python 测试原因的工具