Weekly Digest — 2026-W37 Weekly

(1) Navier-Stokes – Tristan Buckmaster [pdf] 🔗

Navier–Stokes 方程 — Tristan Buckmaster [PDF]

(2) iPhone Duo 🔗

iPhone Duo 折叠手机

(3) On the Navier–Stokes Millennium Prize Problem 🔗

关于 Navier–Stokes 千禧奖难题

(4) Shopify is moving from React Native back to Swift and Kotlin 🔗

Shopify 将移动端从 React Native 回归原生开发：Swift 与 Kotlin

(5) A misalignment of AI in mathematics 🔗

数学领域的 AI 失配

(6) LG smart TVs caught logging audio with screen off and snooping on local devices 🔗

LG 智能电视在屏幕关闭时记录音频并对本地设备进行窥探

(7) Claude, change the “Add to Cart” button to blue 🔗

Claude：将“加入购物车”按钮改为蓝色

(8) Shopify acquires Tailwind 🔗

Shopify 收购 Tailwind

(9) Keep Our Servers Running 🔗

确保服务器持续运行

(10) DeepSeek v4.1 Flash 🔗

DeepSeek v4.1：Flash 功能

(11) OpenAI agents carried out an undisclosed attack on RubyGems 🔗

OpenAI 代理对 RubyGems 的未披露攻击

(12) Nitter and XCancel resume service after legal advice 🔗

Nitter 与 XCancel 在法律意见后恢复服务

(13) More questions about whether researchers can trust OpenAI with unpublished math 🔗

研究人员是否应信任 OpenAI 处理未公开的数学研究

(14) Mistral raises €3B 🔗

Mistral筹集30亿欧元，推动主权与开放权重的AI成为技术前沿

(15) 216M Spy TVs – The LG Smart TV Problem [video] 🔗

216M Spy TVs：LG 智能电视问题（视频）

(16) Ask HN: Can we please limit the AI news flood? 🔗

Ask HN: 能否请限制AI新闻洪潮？

(17) Don't let anyone take away your big box of cables 🔗

别让任何人拿走你那大箱线缆

(18) I spent $220 on Google app ads and 60% of the installs were robots 🔗

我在 Google 应用广告花了 220 美元，60% 的安装是机器人

(19) We must pace the frontier 🔗

我们必须为前沿设定节奏

(20) So you want to use OpenRouter? 🔗

想用 OpenRouter？

(21) Everyone should slow down AI development except for me 🔗

除了我之外，人人都应该放慢 AI 发展

(22) I resigned from Anthropic today 🔗

我今天从 Anthropic 辞职

(23) Rust is tier-1 language at Microsoft 🔗

Rust 已在微软被列为 Tier-1 语言

(24) LibreOffice breaks download records after declaring it has no AI features 🔗

LibreOffice 声称无 AI 功能后下载量创纪录

(25) Your intellectual fly is open when you use an LLM to author a post (2025) 🔗

使用 LLM 撰写帖子时，你的知识漏洞暴露（2025）

(26) Claude is only available to people over 18 years 🔗

Claude对18岁以上用户开放

(27) google.com/goto: Google's anti-scraping update 🔗

google.com/goto：谷歌的反爬虫更新

(28) Muse – Meta’s personal AI agent 🔗

Muse：Meta 的个人 AI 助手

(29) What do Visa and Mastercard do? An intro to card networks 🔗

信用卡网络：Visa 与 Mastercard 的作用入门

(30) LG denies TV spying claims, says tracking and snooping concerns 'not true' 🔗

LG否认电视监控传闻，称跟踪和窥探担忧不属实

(31) Jellyfin 12.0 🔗

Jellyfin 12.0

(32) Show HN: What if the speed of light was 5 km/h? 🔗

如果光速是每小时5公里？

(33) Make your first edit to OpenStreetMap 🔗

在接下来的15分钟内完成首次OpenStreetMap编辑

(34) Isar Aerospace reaches orbit and deploys payloads on second flight 🔗

Isar Aerospace完成第二次轨道飞行并部署载荷

(35) A/I shuts down 🔗

AI 将关闭时保持人性

(36) AlphaGenome Atlas: a high-resolution map of human DNA 🔗

AlphaGenome Atlas：高分辨率的人类基因组图谱

(37) Fuck it, make it anyway 🔗

管它，先把它做出来

(38) Why are AI agents lying, cheating and coordinating? 🔗

为何 AI 代理会撒谎、作弊并协同？

(39) We built our house for LAN parties (2024) 🔗

为LAN派对而建的家

(40) LG TVs caught spying even when offline or on standby 🔗

LG 电视在离线或待机状态下仍在窃听

(41) IKEA made a mod for Skyrim [video] 🔗

宜家为《天际》制作的模组

(42) Flock Wants a Closely Surveilled World with No Exit 🔗

Flock 想要一个紧密监控、无出口的世界

(43) There's a new "Google Jail" for independent wikis 🔗

独立维基的新型“Google Jail”

(44) Nvidia is the central bank of AI 🔗

英伟达是AI的央行

(45) Homebrew 7.0.0 🔗

Homebrew 7.0.0 版本发布

(46) Asahi Linux on M3 🔗

Asahi Linux 在 M3 平台上的进展

(47) JetKVM Mini 🔗

JetKVM Mini

(48) I-have-ADHD: A skill to stop coding agents from burying the answer 🔗

我有 ADHD：阻止编码代理把答案埋起来的技巧

(49) AirPods 5 🔗

AirPods 5：全球最佳开耳式主动降噪

(50) I've factored the RSA keys of a Certificate Authority from the 90s 🔗

我已经分解了90年代某证书颁发机构的 RSA 密钥

(51) The EPA is planning to scrap public review rules for data center pollution 🔗

EPA 正在评估取消数据中心污染公开审查规则

(52) De-Brainrot Vacations 🔗

摆脱脑力衰退的假期

(53) GPT-6 Astra, looped transformers, and hidden reasoning 🔗

GPT-6 Astra、循环化 Transformer 与隐藏推理

(54) Why is Google still serving dodgy ads? 🔗

为何谷歌仍在投放可疑广告？

(55) An Alien Mind 🔗

外星人之脑

(56) Tao: Open math problems being non-renewably mined by AI 🔗

Tao：AI 正在“不可再生”地挖掘开放的数学难题

(57) Desert Ant Labs: local, fast models that run on device 🔗

Desert Ant Labs：本地、快速模型在设备上运行

(58) Tell HN: OpenAI keeps re-enabling the 'allow training' setting 🔗

告知 HN：OpenAI 不断重新启用“允许训练”设置

(59) I have a theory that software drives people insane 🔗

我有一个理论：软件会让人发疯

(60) No Man's Sky Cosmos 🔗

No Man's Sky Cosmos 更新

(61) A Design Space Exploration of Async/Await 🔗

Async/Await 的设计空间探索

(62) Automattic's board forces CEO Matt Mullenweg into leave of absence 🔗

Automattic 董事会强制 CEO Matt Mullenweg 休假

(63) Cognition launches new SWE-2 model, Rivaling Fable 5.1 and GPT-Astra 🔗

Cognition 推出 SWE-2 模型，挑战 Fable 5.1 与 GPT-Astra

(64) Growing proof that autonomous cars save lives 🔗

日益增多的证据表明自动驾驶汽车能拯救生命

(65) How to build a printer 🔗

如何自行构建一台打印机

(66) Astra for Coding: Why Are We Doing This Again? 🔗

Astra 用于编码：我们为什么要再做这个？

(67) Bill Gates tries to install MovieMaker (2003) 🔗

比尔盖茨尝试安装《MovieMaker》（2003）

(68) DaVinci Resolve 21.1 🔗

达芬奇 Resolve 21.1 发布

(69) How I advertise malicious software on Google Ads 🔗

我在 Google 广告上投放恶意软件广告

(70) List of references on Sony websites to players "owning" their digital games 🔗

索尼网站上关于玩家拥有数字游戏的引用清单

(71) bzip3 🔗

bzip3：新一代无损压缩格式

(72) DeepSeek launching v4.1 flash cheaper and more capable than v4 pro 🔗

DeepSeek 推出 v4.1 闪存，价格更低、性能更强于 v4 Pro

(73) GrapheneOS Overhauled Default Apps and Secure Clipboard 🔗

GrapheneOS 全面重构默认应用与安全剪贴板

(74) iPhone 18 Pro and iPhone 18 Pro Max 🔗

iPhone 18 Pro 与 iPhone 18 Pro Max

(75) We Must Return to the Office to Use AI in Person 🔗

必须回办公室才能现场使用 AI

(76) I'm being cyberattacked by Tesla, Inc 🔗

我正遭遇特斯拉相关的网络攻击

(77) Houthis 'take control' of key island in global shipping route 🔗

胡塞武装夺取全球航运要道上的关键岛屿

(78) Among European Companies That Use a CDN, Nearly 9 in 10 Use Cloudflare 🔗

在使用CDN的欧洲企业中，近九成依赖Cloudflare

(79) Mexican student creates an acoustic fire extinguisher to put out fire in seconds 🔗

墨西哥学生用声波“声学灭火器”秒灭火源

(80) The same nine streaming subscriptions cost $702/year more than in 2021 🔗

Show HN：相同的九项流媒体订阅比2021年多花了702美元/年

(81) ChatGPT Images 2.5 🔗

ChatGPT Images 2.5

(82) Paramount Caught Using 'Astroturf' Group to Drum Up Fake Support for Merger 🔗

Paramount 被发现使用人造草根团体推动对并购的虚假支持

(83) Technique for Manipulating Satellite Photos Now Reveals Ancient Images (2025) 🔗

操控卫星照片的新技术现能揭示古代影像

(84) Google will buy half the electricity from one of Finland's nuclear power plants 🔗

谷歌将从芬兰一座核电厂购买一半电力

(85) Linux Zoom client proactively reading everything written to X11 clipboard 🔗

Linux Zoom 客户端主动读取 X11 剪贴板中的内容

(86) What algorithm did Windows XP use to choose your initial user picture? 🔗

Windows XP 选择初始用户头像所用的算法是什么？

(87) Switzerland's Federal Government Is Replacing Microsoft on 3k Computers 🔗

瑞士联邦政府用开源替代 Microsoft，覆盖约3000台电脑

(88) It took a year to ship WebAssembly in Anubis 🔗

在 Anubis 上实现 WebAssembly 花了一整年

(89) Astra and Fable still hack on simple variants of alignment evals from 2025 🔗

Astra 与 Fable 继续改进基于 2025 年对齐评估的简单变体

(90) DHS 'Predictive Policing' Unit Is Analyzing Americans' Financial Habits 🔗

DHS 的预测性警务单位正在分析美国人的金融习惯

(91) OpenAI Agents API 🔗

OpenAI 的 Agents API

(92) Reverse engineering my e-scooter and rewriting the firmware in Rust 🔗

反向工程我的电动滑板车并用 Rust 重写固件

(93) Watch Los Angeles get built, one building at a time (1880–2026) 🔗

洛杉矶天际线演变：从1880年到2026年，一座建筑的崛起

(94) WeatherNext 3 🔗

WeatherNext 3：天气预测的最新进展

(95) Navier-Stokes Announcement 🔗

Navier–Stokes 公告

(96) The Waymo effect: how AI is quietly making research less collaborative 🔗

Waymo效应：AI正悄然削弱研究协作

(97) iPhone Duo 🔗

iPhone Duo 新机发布

(98) Garry Tan wants US open-weight AI labs to 'distill' frontier models, too 🔗

Garry Tan 希望美国公开权重的 AI 实验室也参与对前沿模型进行蒸馏

(99) Making a Python interpreter in 1024 bytes 🔗

用 1024 字节实现一个 Python 解释器

(100) Fable 5.1 Solves the Cyphral Distich, a 370-year-old cipher 🔗

Fable 5.1 破解370年前的 Cyphral Distich 密码

(101) GrapheneOS' rewritten Messages app is released 🔗

GrapheneOS 发布重写版 Messages 应用

(102) 'You Can See Everything' Review: Nathan Fielder's Doc About Elizabeth Holmes 🔗

《You Can See Everything》评：纳森·费伯德关于伊丽莎白·霍尔姆斯的纪录片

(103) TALA Is Open-Source 🔗

TALA 开源了

(104) Anthropic Is Building a Predictive Surveillance System to Monitor Activists 🔗

Anthropic 正在打造用于监控活动人士的预测性监控系统

(105) Show HN: Bodily Oddities 🔗

身体怪异现象

(106) Ask HN: How do you manage skills files? 🔗

你们如何管理技能文件？

(107) Copyright does more harm than good and should be abolished 🔗

版权制度对社会的伤害大于收益，应予废除

(108) Flock worker calls police on reporter filming public camera installation 🔗

Flock员工在记者拍摄公共摄像头安装时报警

(109) We have a year to fix security everywhere 🔗

我们只有一年时间解决各处的安全问题

(110) Hitachi launches CO2 heat pump water heaters with solar-friendly tariff controls 🔗

日立推出 CO2 热泵热水器，支持太阳能电价

(111) Logo Programming 🔗

Logo 编程语言

(112) Music Theory for the 21st-Century Classroom 🔗

21世纪课堂的音乐理论

(113) Smartphone makers don't bother to comply with EU repairability requirements 🔗

智能手机厂商不遵守欧盟可修复性要求

(114) OpenAI might have stolen another major proof 🔗

OpenAI 可能又窃取了一项重大证明

(115) LG Says We're Fake News [video] 🔗

LG：我们是假新闻[视频]

(116) An open letter to Dario: if you mean it, open the weights 🔗

致Dario的一封公开信：若你认真的，就开放权重

(117) Ask HN: Fable hacked my piano, can I release the results? 🔗

Ask HN：Fable 破解了我的钢琴，我能发布结果吗？

(118) Apple iPod Engraver (2019) 🔗

苹果 iPod 刻字服务（2019）

(119) Apple Watch Series 12 🔗

Apple Watch Series 12 全新健康感应系统

(120) Benchmarking Qwen3.8 27B quantizations: 4-bit holds up, 1-bit collapses 🔗

对 Qwen3.8 27B 量化的基准测试：4 位保持性能，1 位崩溃

(121) Kimi K3 (2.8T) at 1 token/s on a MacBook Pro, streamed from four SSDs 🔗

Kimi K3（2.8T）在 MacBook Pro 上以每秒 1 個 token，來自四個 SSD 的流式推理

(122) Neki – Sharded Postgres 🔗

Neki：分片 Postgres

(123) Measuring the sloppiness of code 🔗

衡量代码的马虎度

(124) Following legal advice, the Nitter project will continue 🔗

在法律意见指引下，Nitter 项目将继续

(125) The Deathray: A simple way for an untrusted site to freeze a Mac 🔗

Deathray：让不可信站点冻结 Mac 的简易方法

(126) All grown-ups were once children, but only few of them remember it 🔗

成年人曾经都是孩子……却很少有人记得

(127) HuggingFace: Security.txt 🔗

HuggingFace 的 security.txt

(128) Caltech Mathathon – first hackathon ever devoted to research level mathematics 🔗

加州理工学院数学马拉松：首个面向研究级数学的黑客松

(129) Leaving VMware just got harder after Broadcom pulled VDDK downloads 🔗

Broadcom 下架 VDDK 下载后，离开 VMware 更难

(130) Stockfish 19 🔗

Stockfish 19 发布

(131) Data collected by cars and sold to third parties 🔗

汽车数据被收集并出售给第三方

(132) Another researcher says OpenAI trained on conversations, then claimed breakthrou 🔗

又有研究者称 OpenAI 曾在对话数据上训练模型，随后声称突破

(133) Trey Parker and Matt Stone Are Changing the Name of South Park to South America 🔗

南方公园将改名为南美洲

(134) Real-SWE: Benchmarking AI models on private, real-world, enterprise codebases 🔗

Real-SWE：在私有真实企业代码库上对 AI 模型的基准测试

(135) Don't be the out of touch Kung Fu master 🔗

别做脱离现实的功夫大师

(136) Simple Is Not Small 🔗

简单≠小

(137) Mercury 2.5 🔗

Mercury 2.5

(138) Blizzard Workers Win Historic Union Contract 🔗

暴雪员工赢得历史性工会合同

(139) Getting your hands dirty is good for you 🔗

为什么动手做对你有益的原因

(140) Stabilizing Rust's Never Type 🔗

稳定化 Rust 的 Never 类型

(141) The two Christian saints who are the Buddha 🔗

两位基督教圣人其实是佛陀

(142) Mark Zuckerberg: "Cambridge Analytica" (2017) 🔗

马克·扎克伯格：剑桥分析（2017）

(143) I've operated petabyte-scale ClickHouse clusters for 5 years 🔗

五年间运营 petabyte 级 ClickHouse 集群

(144) This Month in Ladybird – August 2026 🔗

本月 Ladybird（2026 年 8 月）

(145) Antiquated HTML Snippets and Artefacts 🔗

陈旧的HTML片段与遗留痕迹

(146) Show HN: Copperhead – Cursor for circuit boards 🔗

Show HN：Copperhead——用于电路板设计的光标工具

(147) Qwen 3.8 follows GPT-5.5 Pro reasoning prefills 🔗

Qwen 3.8：推理预填充紧跟 GPT-5.5 Pro

(148) Retrospectively Reverse-Engineering Apple's Neural Engine 🔗

事后对苹果神经引擎的逆向工程

(149) Cherenkov Radiation 🔗

切伦科夫辐射：介质中的超光速现象

(150) Ask HN: Are others seeing Google's reCAPTCHA rejecting Firefox users? 🔗

Ask HN：是否有其他人发现 Google 的 reCAPTCHA 拒绝 Firefox 用户？

(151) Splash-free urinals (2025) 🔗

防溅式小便池（2025）

(152) The Navier–Stokes Millennium Prize Problem 🔗

纳维-斯托克斯千禧年奖题

(153) Scientists observe Einstein's gravity in the quantum world 🔗

科学家在量子世界观察到爱因斯坦引力效应

(154) GNU Radio in the browser 🔗

浏览器中的 GNU Radio

(155) What will our economic future look like? 🔗

我们的经济未来会是什么样子？

(156) David Sacks: OpenAI and Anthropic Don't Need Regulations to Pace Frontier Models 🔗

David Sacks：OpenAI 与 Anthropic 不需要监管就能推动前沿模型

(157) “Tweet” and the bird logo apparently enter the public domain 🔗

“Tweet”和鸟标志似乎进入公有领域

(158) How An AI math breakthrough ignited a controversy 🔗

AI 数学突破引发争议

(159) Rune is now open source 🔗

Rune 现已开源

(160) Psychoactive substances helped spur Andean civilization 🔗

精神活性物质推动了安第斯文明的崛起

(161) Trusting-Trust Attack against an Entire Linux Distribution 🔗

针对整个 Linux 发行版的信任-信任攻击

(162) Understanding the recent DDoS attack against Read the Docs 🔗

解读 Read the Docs 最近的 DDoS 攻击

(163) Forgejo <=16.0.3 Critical RCE 🔗

Forgejo 16.0.3 及以下版本存在严重远程执行漏洞

(164) Tiny $70 Xteink X3 e-reader 🔗

仅售 70 美元的 Xteink X3 电子书阅读器让硅谷相形见绌

(165) Getting 50 GB/S Back from the Apple Neural Engine 🔗

从 Apple Neural Engine 拿回 50 GB/s 带宽

(166) Android NAT-T keepalive offload bypasses VPN lockdown 🔗

Android NAT-T 保活离载绕过，突破 VPN 封锁

(167) Show HN: Hacker News, without AI 🔗

Show HN：Hacker News（无 AI）

(168) Research acceleration: The view inside OpenAI 🔗

OpenAI 研究加速：内部视角

(169) Large language models develop novel social biases through adaptive exploration 🔗

大型语言模型在自适应探索中产生新型社会偏见

(170) Live map of public transport in Belgium 🔗

比利时实时公共交通地图

(171) Show HN: Hacker News, Without AI 🔗

Show HN：Hacker News（不含 AI）

(172) The Helicopter with Radioactive Blades 🔗

带放射性叶片的直升机

(173) Programming is Art 🔗

编程即艺术

(174) Global shortage has led to motor oil rationing at Costco 🔗

全球短缺导致 Costco 实施机油限购

(175) Coyote v. Acme (1990) 🔗

Coyote v. Acme（1990）

(176) Emacs Bedrock 2.0 🔗

Emacs Bedrock 2.0

(177) Pandas Should Go Extinct 🔗

Pandas 应该灭绝

(178) Icy Moons Are Ocean Worlds 🔗

冰冷的月球其实是海洋世界

(179) Why is the x86 undefined instruction called ud2? Why 2? 🔗

为什么 x86 的未定义指令叫 ud2？为什么是 2？

(180) Planet Labs' open satellite feed 🔗

Planet Labs 开放卫星数据源

(181) Douglas Hofstadter: Analogy as the Core of Cognition [video] 🔗

道格拉斯·霍夫施塔特：类比是认知的核心（视频）

(182) How well do agents use test/verification techniques? 🔗

代理如何高效使用测试/验证技术？

(183) My Feed, My Way 🔗

我的信息流，我的选择

(184) Muse, the band, lost its social media handles to Muse, Meta's new AI agent 🔗

乐队 Muse 的社媒账号被 Meta 的新 AI 代理夺走

(185) Nine coding harnesses vs. your laptop 🔗

九种编码环境对比你的笔记本电脑

(186) Silicon Valley is transforming the military-industrial complex? (2024) 🔗

硅谷正在改变军工综合体

(187) I think I hate the internet 🔗

我想，我讨厌互联网

(188) Matt Mullenweg put on 'leave of absence' 🔗

Matt Mullenweg进入‘休假’状态

(189) Room 641A 🔗

641A 房间

(190) λ Snap – An inviting programming language for kids and adults for CS study 🔗

Λ Snap：为儿童与成人设计的友好 CS 学习编程语言

(191) Detecting and countering misuse of AI: September 2026 🔗

检测与应对 AI 滥用：2026 年 9 月

(192) TiVo to charge money for skipping commercials in your own recordings 🔗

TiVo 将就跳过广告收费

(193) OpenAI’s Navier-Stokes release included a Lean 4 formal proof 🔗

OpenAI 的 Navier-Stokes 发布含 Lean 4 的形式化证明

(194) Feeling Sad about AI 🔗

对 AI 的悲观情绪

(195) Litelm: LiteLLM Without the Bloat 🔗

Litelm：去臃肿的轻量级 LLM 实现

(196) Show HN: Stuxnet – A reconstructed source code of the infamous cyber-weapon 🔗

Show HN：Stuxnet——臭名昭著网络武器的重建源码

(197) Aligned to whom? 🔗

对齐对象究竟是谁？

(198) The 92-Year-Old Mathematician and the Teenage Apprentice 🔗

92 岁数学家与青少年学徒

(199) Creativity is the new moat 🔗

创造力是新护城河

(200) Lotus Notes and the dangers of starting from scratch 🔗

Lotus Notes：从零开始的风险

(201) A Tesla ran a stop sign and killed a man, Full Self-Driving/Autopilot was on 🔗

特斯拉闯停车标志致人死亡，自动驾驶/Autopilot 已开启

(202) I Added a Non-Wi-Fi Mitsubishi AC to Home Assistant 🔗

我把一台非Wi‑Fi的三菱空调接入了 Home Assistant

(203) Thanks to Siri Recaps, your Apple Watch is always listening 🔗

Siri Recaps 让你的 Apple Watch 始终在监听

(204) RTK reports token savings, but our cost benchmarks disagree 🔗

RTK 声称节省令牌成本，但成本基准不一致

(205) Bespoke: A programming language for people who say please 🔗

Bespoke：面向爱说“请”的人的编程语言

(206) The Interim Computer Museum 🔗

临时计算机博物馆

(207) Revolut confirms customer data breach through fake government requests 🔗

Revolut 因伪装政府请求导致的客户数据泄露

(208) Global Glacier Extinction Explorer 🔗

全球冰川灭绝探索者

(209) I made a build visualizer to understand Bun's compile times 🔗

我做了一个构建可视化器，用以理解 Bun 的编译时间

(210) Show HN: LLM Attention Visualization 🔗

Show HN: 大型语言模型注意力可视化

(211) Babylonian Lamb Stew with Beets (1750–1730 BCE) 🔗

公元前1750–1730年的巴比伦羊肉炖甜菜

(212) Tension wood: A 'muscle' that can both bend and straighten plants 🔗

张力木：一种能弯曲也能拉直植物的“肌肉”

(213) CIA Releases President's Daily Briefs in Commemoration of 9/11 🔗

CIA 为纪念9/11 发布总统每日简报

(214) NetBSD 9.5 released and EOL for NetBSD-9 🔗

NetBSD 9.5 发布，NetBSD-9 进入终止支持

(215) NTSB issues investigative update on B-767 runway excursion accident in Miami 🔗

NTSB 就迈阿密 B-767 跑道偏离事故发布调查更新

(216) A Misalignment of AI in Mathematics 🔗

数学中的 AI 错位

(217) Matt Mullenweg tells Automattic staff in Slack he's back in control after ouster 🔗

Matt Mullenweg 在 Slack 告诉 Automattic 员工，他在被罢黜后重新掌控局面

(218) iPod Classic 6G in QEMU 🔗

QEMU 下的 iPod Classic 第6代

(219) Great Lakes sturgeon may be 400 years old:Scientists rethinking how to save them 🔗

五大湖鲟鱼可能寿命达400岁：科学家重新思考拯救策略

(220) Making Startups Powerful 🔗

让初创企业变得更强大

(221) Starlink Signal Leakage Threatens Radio Astronomy's Most Critical Frequencies 🔗

Starlink 信号泄漏威胁无线电天文学关键频段

(222) How GPT‑5.6 Sol helps run quantum computing experiments 🔗

GPT‑5.6 Sol 如何帮助量子计算实验

(223) Speculative Decoding in vLLM on AMD GPUs 🔗

在 AMD GPU 上的 vLLM 推测解码

(224) How to buy a good car for $1000 🔗

用1000美元买到好车的方法

(225) P(doom) 🔗

P(doom)

(226) I fixed a tractor using John Deere's self-repair service. Farmers aren't sold 🔗

我用 John Deere 的自修服务修好了拖拉机，农民还没买账

(227) Decoding the NEC V20 Microcode 🔗

解码 NEC V20 微代码

(228) Working with Git Worktrees in Magit 🔗

在 Magit 中使用 Git Worktree

(229) Inverse Kinematics and Foot Locking 🔗

逆向运动学与脚部锁定

(230) Google stole open source code without crediting the authors (Artemis/Minitap) 🔗

谷歌在 Artemis/Minitap 项目中未对开源代码进行署名

(231) Exercise intensity is associated with cardiometabolic health 🔗

运动强度与心代谢健康相关

(232) Tesla killing Solar Roof is leaving installers with six-figure losses 🔗

特斯拉太阳能屋顶计划退出致安装商损失六位数

(233) Is mathematics about to enter the conservatory? 🔗

数学要进入音乐学院吗？

(234) Finder is so frustrating and has been since day one 🔗

Finder 从一开始就让人很挫败

(235) No constitutional right to clean water, federal court finds 🔗

联邦法院认定没有宪法层面的清洁水权利

(236) Replacing a Rust Enum with a 64-Bit Word Made My Interpreter 17% Faster 🔗

用 64 位字替換 Rust 枚舉讓解釋器快 17%

(237) Waymo pulls over, calls cops on juvenile riders who had 'ghost gun" 🔗

Waymo拦下未成年乘客并报警，车内发现幽灵枪

(238) Usenet rewind archive search engine 🔗

Usenet 倒带档案搜索引擎

(239) FreeBSD 14.5-Release 🔗

FreeBSD 14.5 版发布

(240) Proof of Capture: Apple Reference Image, but open source and using steganography 🔗

Proof of Capture：基于苹果参考图像的开源隐写证明

(241) CUDA for AMD on Windows 🔗

Windows 上的 AMD CUDA 实现

(242) We've followed their lives for six decades; now the stars of 7 Up are bowing out 🔗

六十年如一日：7 Up 之星如今将退出

(243) Stop making swap partitions—use swap files instead 🔗

停止使用交换分区—改用交换文件

(244) Tell HN: OpenAI brings back 5 hour limit for plus and business standard users 🔗

OpenAI 为 Plus 与 Business Standard 用户恢复 5 小时时限

(245) Hackers have withdrawn ~4k BTC (~$320M) from the Liquid Federation wallet 🔗

黑客已从 Liquid Federation 钱包提取约 4,000 BTC（约 3.2 亿美元）

(246) Please don't rearrange our shoes when we turn up, paramedics in Japan urge 🔗

日本急救人员请勿打理我们的鞋子

(247) Larger Pacific striped octopus 🔗

大型太平洋条纹章鱼

(248) Julia 1.13 Highlights 🔗

Julia 1.13 要点解读

(249) After Math 🔗

后数学

(250) How the Chorleywood Bread Process transformed British bread 🔗

Chorleywood 面包工艺如何改变英国面包

(251) Microcode in Intel's 8087 floating-point chip: the scale instruction 🔗

英特尔8087微代码：scale指令

(252) Hacker News with reduced priority for AI driven content 🔗

Hacker News降低 AI 驱动内容的优先级

(253) AI researchers debate how close we are to recursive self-improvement 🔗

AI 研究者辩论我们离递归自我改进有多近

(254) Will there be a 7G? 🔗

会不会有第七代通信技术？

(255) Compute-efficient pretraining and scaling to trillion-parameter models 🔗

计算高效的预训练与万亿参数模型扩展

(256) The worst spam emails: iLands AI agent hustle 🔗

最糟糕的垃圾邮件：iLands AI 代理骗局

(257) A Topological Picture Book, Rendered 🔗

渲染中的拓扑绘本

(258) Thelio Mira AI Linux Workstation: 192 GB GPU Memory 🔗

Thelio Mira AI Linux 工作站：192 GB GPU 内存

(259) 'Fingerprints' inside the Sun could reveal if it once swallowed a planet 🔗

太阳内部的指纹可能揭示它是否曾经吞噬过一颗行星

(260) Harnessing the Universal Geometry of Embeddings 🔗

利用嵌入的普遍几何结构

(261) Vintage Scientific Papers with LaTeX 🔗

用 LaTeX 排版的复古科学论文

(262) Flock cameras used to arrest a child for playing on a swing 🔗

Flock 摄像头被用来因孩子在荡秋千而逮捕孩子

(263) Unified Arabic 🔗

统一阿拉伯文

(264) LRU is harder to beat than the KV-cache papers suggest 🔗

LRU比KV缓存论文所示的更难被打败

(265) Multi-Agents LLM Financial Trading Framework 🔗

多代理LLM金融交易框架

(266) Project Blinkenlights 🔗

Blinkenlights 计划：把建筑变成巨型显示屏

(267) The UN challenges five centuries of cartography 🔗

联合国挑战五个世纪的制图学

(268) I'm a seeing-eye dog for a computer 🔗

我是电脑的导盲犬

(269) The Dataflow Model Revisited 🔗

重访数据流模型

(270) Apparently CodePen 2.0 sends data to their servers as you type 🔗

CodePen 2.0 在你输入时将数据发送到服务器

(271) Factoring RSA 260 🔗

因式分解 RSA-260

(272) ESP32 Bit Pirate Hardware Hacking Kit with Web Tools That Speaks Every Protocol 🔗

基于 ESP32 的 Bit Pirate 硬件黑客工具包，网页工具支持多种协议

(273) ZX Spectrum: Experimenting with 1-Bit Sound 🔗

ZX Spectrum：尝试 1 位音效

(274) Python sets and dictionaries can have quadratic-time performance 🔗

Python 的集合和字典在最坏情况下可能达到二次方级别的性能

(275) Show HN: Jigsaw Haiku 🔗

Show HN：Jigsaw Haiku

(276) A Mathematical Framework for Transformer Circuits (2021) 🔗

变换器电路的数学框架（2021）

(277) Neki is sharded Postgres by PlanetScale 🔗

PlanetScale 的 Neki：Postgres 的分片解决方案

(278) Show HN: GET Together – A social network where you don't need POST to Post 🔗

Show HN：GET Together——一个无需 POST 即可发帖的社交网络

(279) Romania soccer introduces black card to 'combat abusive behaviour' from parents 🔗

罗马尼亚足球为打击场边家长的辱骂行为引入黑牌

(280) AlphaGenome maps 9B DNA variants 🔗

AlphaGenome 绘制九十亿 DNA 变异图谱

(281) Performance of WebAssembly Runtimes in 2026 🔗

2026年WebAssembly运行时的性能

(282) YuE2 · Frontier Music with Symbolic Planning 🔗

YuE2：用符号规划驱动的前沿音乐创作

(283) Show HN: Interactive Tree of Life 🔗

Show HN：互动式生命之树

(284) JEP 544: Ahead-of-Time Code Compilation 🔗

JEP 544：Ahead-of-Time 代码编译

(285) Show HN: Compute polynomials twice as fast 🔗

Show HN：将多项式计算速度提升一倍

(286) Research carried out using NetBSD 🔗

使用 NetBSD 的研究工作

(287) Eating Fruit Skins 🔗

吃水果皮

(288) Show HN: Mador – Make any DOM reactive with a tiny 80-line Proxy state tuple 🔗

Show HN: Mador——用 80 行 Proxy 状态元组让任意 DOM 实现响应式

(289) 118M Queries per Second on Neki 🔗

Neki 上达到 1.18 亿查询每秒

(290) To write non-fiction, draw the trunk, then the rest of the tree 🔗

写非虚构作品：先画出主干，再扩展枝干

(291) Key symbols we lost to time, pt. 1: The PC side 🔗

时光遗失的按键符号，第一部分：PC 端

(292) 100s of flights cancelled at UK airports due to ATC issue 🔗

英國多個機場因 ATC 問題取消數百班航班

(293) A few good ideas in programming languages 🔗

编程语言中的一些好点子

(294) 27.5KB language-agnostic WebGPU syntax highlighter 🔗

27.5KB 的语言无关 WebGPU 语法高亮器

(295) Version control second coming 🔗

版本控制的第二次降临

(296) US Customs supervisor busted for stealing hardware from Homeland Security PCs 🔗

美国海关主管因窃取国土安全部电脑硬件被捕

(297) New York thoracic surgeon: "For many patients 9/11 is not over" 🔗

纽约胸外科医生：9/11 影响仍在持续

(298) AI Is Breaking This Thing We Call Trust 🔗

AI 正在侵蚀我们所称的信任

(299) VMware migration reduces Tottenham Hotspur's licensing fees by 85 percent 🔗

VMware 迁移让托特纳姆热刺的许可费下降 85%

(300) John Margolies' photographs of roadside America 🔗

约翰·马格洛利斯的路边美国摄影作品

(301) Show HN: Godot and Rust based multiplexer (terminal panes and more) 🔗

基于 Godot 与 Rust 的终端分屏多路复用器（pane 等功能）

(302) I tested 10 model/harness combinations on the same Three.js task 🔗

我在同一 Three.js 任务上测试了 10 种模型/ harness 组合

(303) An interactive tour of the spanning tree protocol 🔗

生成树协议交互式讲解

(304) Rivian's gambit for full autonomy 🔗

Rivian 的全自动驾驶赌注

(305) Show HN: Art – draw one stroke, let symmetry complete it 🔗

Show HN：艺术——一笔画成，由对称性完成

(306) The NX bit is not just about security 🔗

NX 位不仅仅关乎安全

(307) Ask HN: Would you read a statistics textbook? 🔗

你会读统计学教材吗？

(308) AlphaGenome Atlas predictive map of every DNA letter change in the human genome 🔗

AlphaGenome Atlas：人类基因组中每种 DNA 碱基改变的预测图

(309) CSS Curiosities of the Past 🔗

往日的 CSS 奇趣

(310) Searching for the best silicone USB cable 🔗

寻找最好的硅胶 USB 数据线

(311) C Is Not a Low-Level Language (2018) 🔗

C 并非低级语言

(312) Training a 3.8B LLM to 0.384 CORE for $998 🔗

用不到 998 美元训练一个 3.8B 的语言模型

(313) I Connected My Withings Body+ to Home Assistant with an ESP32 🔗

我用 ESP32 将 Withings Body+ 连接到 Home Assistant

(314) Whistle Synth Mac App 🔗

口哨合成器（Whistle Synth）

(315) Finding a bug in Dummit and Foote's Abstract Algebra 🔗

在《Dummit and Foote》的抽象代数中发现一个错误

(316) Every novel is boring until it isn't 🔗

每本小说在还没读透前都显得无聊，直到它变得引人入胜

(317) South Park creators rename show 'South America' 🔗

《南方公园》创作者将节目改名为《南美洲》

(318) Europe's "Less" Is Doing More Than Anyone Gives It Credit For 🔗

欧洲的“少”为何做得比人们想象的多

(319) Connecting the machines 🔗

连接机器

(320) Apple Watch Ultra 4 🔗

Apple Watch Ultra 4

(321) Researchers Spot Fake Ancient Pottery Using the Earth's Magnetic Field 🔗

研究人员用地磁场识别伪造古陶器

(322) Arm Mali G2-Ultra NX GPU: desktop-class mobile gameplay with AI-native graphics 🔗

Arm Mali G2-Ultra NX GPU：具AI原生图形的移动端桌面级游戏体验

(323) Schemy Lisp En DOS 🔗

DOS 上的 Schemy Lisp

(324) Building a Wall Lamp from Scratch 🔗

从零开始打造墙壁灯

(325) Aardman (Wallace and Gromit) Is Selling Its Original Movie Puppets 🔗

Aardman（华莱士与格洛米特）正在出售其原版电影用木偶

(326) Recursion into madness 🔗

递归走向疯狂

(327) Bing Wallpaper showing Ad for Harry Potter and Fantastic beasts box set 🔗

必应桌面壁纸显示《哈利·波特》合集广告

(328) Impedance Matching (2017) 🔗

阻抗匹配（2017）

(329) C*: Unifying Programming and Verification in C (2025) 🔗

C*：在 C 语言中统一编程与验证

(330) Y Combinator Early Access Network 🔗

Y Combinator 早期接入网络

(331) AgentsDock: An IDE designed for agentic AI research 🔗

AgentsDock：面向代理型 AI 研究的 IDE

(332) Macbeth and His Problems 🔗

麦克白及其困境

(333) We accidentally built a synthetic cell factory 🔗

我们意外建成了一个合成细胞工厂

(334) Implementation of GCC's Nested Functions (vs. C++ Lambdas) 🔗

GCC 嵌套函數實現（與 C++ Lambda 的比較）

(335) Houthis Used Claude Code to Develop Missile Guidance Software: Anthropic 🔗

胡塞武装使用 Claude 代码开发导弹制导软件，Anthropic 相关

(336) US police fear Meta smart glasses could be used to secretly record them 🔗

美国警察担心 Meta 智能眼镜可被秘密记录

(337) How Trail of Bits helps verify the integrity of Signal chats 🔗

Trail of Bits 如何帮助验证 Signal 聊天的完整性

(338) Investing in Mothers? The Long-Run Impact of a Universal Child Care 🔗

投资母亲？普遍托育的长期影响

(339) Black Hole of Los Alamos: Seller of surplus nuclear research materials (2011) 🔗

洛斯阿拉莫斯的“黑洞”：2011 年 surplus 核材料买卖者

(340) Sean Carroll explains the biggest ideas in the universe – Full Interview [video] (2025) 🔗

Sean Carroll 讲解宇宙中的最大思想——完整访谈

(341) What happens when a GPU writes memory 🔗

GPU 写内存时会发生什么

(342) Copying login keychains between Macs fails on Secure Enclave Macs with Tahoe 🔗

带 Secure Enclave 的 Tahoe 系统跨 Mac 复制登录钥匙串失败

(343) Animation in Bevy: The Big Picture 🔗

Bevy 中的动画：大局

(344) Open-source 3D anatomy explorer: 2,234 selectable BodyParts3D meshes 🔗

开源 3D 解剖浏览器：2,234 个 BodyParts3D 网格

(345) End-to-end infrastructure for training and inferencing open weight models 🔗

用于训练与推理开源权重模型的端到端基础设施

(346) Vidact – a compiler that turns React into direct DOM operations 🔗

Vidact——将 React 转换为直接 DOM 操作的编译器

(347) No Atlantic hurricanes by Sept. 12 breaks a 60-year record 🔗

9月12日前大西洋无飓风，打破60年纪录

(348) Show HN: ResolveHQ – A Helpdesk Built on Cloudflare Workers, D1, R2 and Queues 🔗

Show HN：ResolveHQ——基于 Cloudflare Workers、D1、R2 与队列的帮助台

(349) Show HN: Toast, a beautiful by default in terminal IDE 🔗

Show HN：默认美观的终端 IDE

(350) Kenyans Did College Students' Homework for Years. Then A.I. Arrived 🔗

肯尼亚人替大学生代写作业多年；AI 出现后

(351) Alan's Random Insult Generator (1999) 🔗

Alan 的随机侮辱生成器（1999）

(352) An Accidental Blackboard 🔗

意外的黑板：AI 系统中的知识协作模式

(353) Initial effects of AI technology on employment look positive 🔗

AI 技术对就业的初步影响呈现积极信号

(354) How to bring up the Linux Kernel on a new platform 🔗

在新平台上进行 Linux 内核引导的方法

(355) TailTalk: A modern async user space AppleTalk stack with Rust and Tokio 🔗

TailTalk：用 Rust 和 Tokio 构建的现代异步用户态 AppleTalk 协议栈

(356) The Microeconomics of Artificial Intelligence (2025) 🔗

人工智能的微观经济学（2025）

(357) LG responds to TV spying allegations 🔗

LG回应电视监控指控

(358) From Git to Fossil (2025) 🔗

从 Git 到 Fossil

(359) Copper lined vest to help penguins with recovery 🔗

铜衬里背心帮助企鹅康复

(360) I refuse to let SPICE die 🔗

我不让SPICE死去

(361) Cognition's SWE-2 achieves 92.8 on Terminal-Bench 2.1 🔗

Cognition 的 SWE-2 在 Terminal-Bench 2.1 获得 92.8 分

(362) Microsoft says email spammers are adopting ASCII smuggling 🔗

微软称邮件垃圾邮件发送者正在采用 ASCII 走私技术

(363) There Is No AI (It's Just People) with Jaron Lanier 🔗

没有真正的人工智能——只是人类参与

(364) A wandering black hole caught feeding on the run 🔗

在逃逸中被发现进食的黑洞

(365) On Really Trying (2009) 🔗

真正的尝试（2009）

(366) A Biography of Lee Holloway, the Architect of Cloudflare's Technology (Part 1) 🔗

Cloudflare 技术架构师李·霍洛洛传记（第一部分）

(367) Reverse engineering the storage format for an undocumented database 🔗

对未公开文档数据库 Cronos 的存储格式逆向工程

(368) My practical approach to surfing the web safely 🔗

我的实用上网安全方法

(369) GamersNexus and LG: Or why rooting your TV is a bad idea 🔗

GamersNexus 与 LG：为什么 rooting 电视是个坏主意

(370) AI recursive self-improvement might not come so quickly after all 🔗

AI 的递归自我改进或许不会迅速到来（2026年8月）

(371) Extracting Steering Vectors from J space 🔗

从 J 空间提取转向向量

(372) How we rebuilt complex permissions without migrating to Zanzibar 🔗

在不迁移到 Zanzibar 的情况下重建复杂权限的经验

(373) Reverse Engineering an ASIC 🔗

反向工程一个 ASIC

(374) Tracing np.add, all the way down 🔗

追踪 np.add 的实现，一路向下

(375) Disappointed Optimists 🔗

失望的乐观者

(376) Picolibrary: A Small Press 🔗

Picolibrary：一个小型出版社

(377) The Contagion of Fear 🔗

恐惧的传染性

(378) Playing whack-a-mole is losing 🔗

打地鼠式的做法在长期是失败的

(379) A Stupid Idea for AI Alignment We Came with by Looking at Specification Gaming 🔗

通过观察规格游戏得到的一个愚蠢但有启发性的 AI 对齐想法

(380) Microsoft/TracerAI withdraws copyright takedown against Luanti 🔗

微软/TracerAI 撤回对 Luanti 的版权控告

(381) Designing for Dual Screen and Foldable Devices with CSS (2023) 🔗

用 CSS 为双屏与折叠设备设计（2023）

(382) Base84 deserves a place in file names 🔗

Base84 应该出现在文件名中

(383) Why Emacs Consult async searches feel slow and how to speed them up 🔗

为何 Emacs Consult 的异步搜索慢以及如何提速

(384) OpenAI's Sam Altman says it would be 'ill-advised' to go public in 2026 🔗

OpenAI 的 Sam Altman：在 2026 年上市将是不明智的

(385) Ancient cave art suggests first known humans in Ireland walked over from Wales 🔗

古代洞穴艺术揭示爱尔兰最早人类来自威尔士的证据

(386) Electronic skin for prosthetics to sense temperature and pressure 🔗

用于假肢的电子皮肤：感知温度与压力

(387) Libraries Run Rust Inside Python (With PyO3) 🔗

库在 Python 中运行 Rust（借助 PyO3）

(388) Procedural Graphs: Self-Evolving Execution Structures for LLM Agents 🔗

过程图：用于 LLM 代理的自进化执行结构

(389) Smolts: A pedagogical IDE for a teaching language 🔗

Smolts：面向教学语言的教育型 IDE

(390) AI Cold Showers 🔗

AI 冷水澡

(391) Decapitating a MacBook (2025) 🔗

斩首 MacBook（2025）

(392) Testing Race Conditions 🔗

测试竞争条件

(393) RISC-V Emulator and Linux System from Scratch 🔗

从零开始创建 RISC-V 模拟器与 Linux 系统

(394) Replaceable but Employed: Automation and the Meaning of Work 🔗

可替代却仍在使用：自动化与工作的意义

(395) The Gemini app is now available for Windows 🔗

Gemini 应用现已登陆 Windows

(396) What Comes After Git 🔗

Git 之后会怎样

(397) Defining AI Psychosis. Part 2: "Prolific AI Psychosis" 🔗

定义 AI 精神病。第 2 部分：‘高产型 AI 精神病’

(398) Samsung Debuts zHBM Prototype, Stacking Memory Directly on AI Accelerators 🔗

三星发布 zHBM 原型，将内存直接堆叠在 AI 加速器上

(399) Why are there no flow batteries with symmetric ferrocyanide electrolytes? 🔗

为什么没有采用对称铁氰化物电解质的流动电池？

(400) Methods for Random Gradients (2024) 🔗

2024 年的随机梯度方法

(401) Liesegang Rings 🔗

莱格根环

(402) D2 Is Non-Profit 🔗

D2：非盈利项目

(403) Moonshot serves Claude instead of Kimi and collects exchanges for model training 🔗

Moonshot 以 Claude 取代 Kimi 提供服务，并收集用户对话用于训练模型

(404) AI 2027 (2025) 🔗

AI 2027（2025）

(405) Show HN: Engrim – A universal, local-first SQLite memory engine for AI CLIs 🔗

Engrim：用于 AI 命令行界面的本地优先 SQLite 内存引擎

(406) On Binary Translation and Its Consequences 🔗

关于二进制翻译及其后果

(407) Resistance Training Prescription for Muscle Function, Hypertrophy in Health 🔗

健康人群的肌功能与肌肥大阻力训练处方

(408) Use Vsock with Libzmq 🔗

在 Libzmq 中使用 Vsock

(409) Getting phpBB 1.4.4 working in Docker 🔗

在 Docker 中让 phpBB 1.4.4 正常运行

(410) Cpak – OCI application package format for Linux desktops, servers and devices 🔗

Cpak——面向 Linux 桌面、服务器及设备的 OCI 应用包格式

(411) Casablanca: How an unproduced play marched into movie history 🔗

卡萨布兰卡：一部未成型戏剧如何走进电影史

(412) Reverse-Engineering Claude Web's MicroVM: Uncovering Anthropic's Hidden Antspace 🔗

逆向工程 Claude Web 的 MicroVM：揭示 Anthropic 的隐藏 Antspace

(413) Neijuan 🔗

内卷

(414) Show HN: Self-hosted company OS, Claude Code and Codex agents in departments 🔗

Show HN：自托管的公司操作系统，Claude Code 与 Codex 代理在各部门

(415) Apple Announces Foldable 'iPhone Duo' 🔗

苹果宣布折叠式 iPhone Duo

(416) Show HN: Geiger – See every AI agent on your machine and what it can touch 🔗

Show HN：Geiger——查看本机上的所有 AI 代理及其能接触的对象

(417) Understanding Computer Memory Architecture and SSD Internals 🔗

理解计算机内存架构与SSD内部结构

(418) Show HN: Vertumnus – printable posters of farmers' market produce seasonality 🔗

Vertumnus：可打印的农产品时令海报

(419) Coop – Isolated VM Environments for Running Claude Code and Codex 🔗

Coop：用于在隔离的虚拟机环境中运行 Claude 与 Codex 的工具

(420) DeepSeek v4.1 Flash Uncensored 🔗

DeepSeek v4.1 Flash 未经审查版

(421) Real photos of young girls were in nudify-app ads on Facebook, Instagram 🔗

Facebook、Instagram 上 Nudify 應用廣告竟使用 real 未成年少女照片

(422) Tor VPN Beta: What we've learned building our own VPN for Android from scratch 🔗

Tor VPN Beta：从零开始为 Android 构建自家 VPN 的经验

(423) The Kuycon P20 – 28" 4500x3000px 3:2 monitor 🔗

The Kuycon P20：28英寸、4500x3000、3:2 显示器评测

(424) Operation Smart Kettle – Börzels Blog 🔗

Smart Kettle 行动计划——Börzel 的博客

(425) Forgotten Woodlands 🔗

被遗忘的林地

(426) Flawed Routers Flood University of Wisconsin Internet Time Server (2003) 🔗

有缺陷的路由器在2003年洪泛威斯康星大学的互联网时间服务器

(427) Generating the P3 Tiling 🔗

生成 P3 平铺

(428) Has anybody seen my keys? A key-hierarchy strategy for rack-level security 🔗

谁见过我的钥匙？机架级安全的密钥分层策略

(429) Better AI code comment detector 🔗

更好的 AI 代码注释检测器

(430) The Four-Color Theorem Gets a Rare New Proof 🔗

四色定理获得罕见的新证明

(431) Colorlight 5A-75B: A dive into a popular low-cost ECP5 (FPGA) development board 🔗

Colorlight 5A-75B：入门级低成本 ECP5 FPGA 开发板深度解析

(432) How we manage and engage with our horses shapes their personality 🔗

我们如何管理与驯养马匹会塑造它们的性格

(433) She Also Found It at the Movies 🔗

她也在电影里找到了它

(434) A succession crisis that tore England apart (2023) 🔗

撕裂英格兰的继承危机

(435) OpenAI fought dirty on career-making math problem 🔗

OpenAI 在職業發展關鍵的數學題上耍了花招？

(436) Working on Economics with Fable 5 🔗

在 Fable 5 上进行经济学建模

(437) Durable execution without history replay 🔗

无需历史重放的持久执行

(438) Show HN: Graphify C# – Compiler-accurate Find Usages for coding agents 🔗

Show HN：Graphify C# — 编译器级别的 Find Usages，供编码代理使用

(439) Show HN: MultiMatte, a Promptable Image Background Removal Model 🔗

Show HN：MultiMatte——可按提示进行背景去除的图片模型

(440) OpenAI have no mathematicians capable of understanding what they put out 🔗

OpenAI 是否再缺乏理解自己产出证明的数学家

(441) GrapheneOS on AI Usage 🔗

GrapheneOS 对 AI 使用的看法

(442) I Rewrote My Back End in Go in 72 Hours and Cut My AWS Bill by 94% 🔗

72 小時用 Go 重写后端，AWS 账单下降 94%

(443) The VMs Powering Mobile Agents (Instinct, Claude Code) 🔗

推动移动代理的虚拟机（Instinct、Claude Code）

(444) I'm a Proud Luddite. That's Why I Use Linux 🔗

我是自豪的路德主义者，所以我用 Linux

(445) Show HN: Syq – copy files between machines fast (better than rsync) 🔗

Show HN：Syq——跨主机快速复制文件（比 rsync 更快）

(446) Kagi Translate Is Back 🔗

Kagi Translate 重新上线

(447) The origins of Partner’s computer case 🔗

Partner 的计算机机箱起源

(448) Ganon's Mysterious Origins (Revisited) 🔗

Ganon 名称的神秘起源（再探）

(449) Show HN: DOOM in the kernel, or fibers in eBPF 🔗

内核中的 DOOM，或在 eBPF 中实现纤程

(450) Rebuilding a 1995 GPS Time Server so I don't get Telstra'd 🔗

重建1995年的 GPS 时间服务器以摆脱 Telstra 的限制

(451) Crypto farm in Mexican mountains puts spotlight on cartel funding 🔗

墨西哥山脉的加密矿场聚焦贩毒集团资金来源

(452) Extinct Tasmanian tiger's 'snap' unlike any living mammal's bite 🔗

灭绝的袋虎的咬合力与现存哺乳动物截然不同

(453) Re-Engineering YouTube for the Living Room: Bringing "Chrobalt" to RDK 🔗

为客厅重构 YouTube：将“Chrobalt”引入 RDK

(454) Function Arguments Are Not Function Colors 🔗

Function Arguments Are Not Function Colors

(455) Herdr Studio 🔗

Herdr Studio（设计工作室）

(456) Bad Code Is Kudzu 🔗

坏代码像葛藤一样蔓延

(457) GPT‑Live‑1 in the API 🔗

API 中的 GPT-Live‑1

(458) DeepSeek 4.1 Flash 🔗

DeepSeek 4.1 Flash

(459) Benchmark: CadQuery vs. OpenSCAD for agentic CAD work 🔗

智能代理 CAD 工作中的 CadQuery 与 OpenSCAD 基准对比

(460) PostgreSQL 19 Interactive Tour 🔗

PostgreSQL 19 互动导览

(461) Carney's Bid to Make Canada an 'Associate Member' of the EU 🔗

卡尼推动加拿大成为欧盟的准成员

(462) Customizing my Compaq MX-11800 keyboard 🔗

定制我的 Compaq MX-11800 键盘

(463) Nvidia dismisses "circular financing", says every $1 it invests brings back $100 🔗

英伟达否认“循环融资”，称每投资1美元可带来100美元回报

(464) Financial Times' 404 Page not Found 🔗

金融时报的 404 页面未找到

(465) Making Teenagers Read Newspapers. A Nationwide Experiment in French High Schools 🔗

让青少年读报纸：法国高中生的全国性实验

(466) Embedding a bitmap font in your HyperCard stack 🔗

在你的 HyperCard 包中嵌入位图字体

(467) Due to concerns about malicious applications, GPT2 will not be released (2019) 🔗

出于对恶意用途的担忧，GPT-2 最初不会公开发布（2019）

(468) Device Drivers lab exercise – COSC562 🔗

COSC562 设备驱动实验课

(469) Paul A. M. Dirac, Interview by Friedrich Hund (1982) [video] 🔗

保罗·A. M. 狄拉克：1982 年弗里德里希·洪德采访（视频）

(470) StarCraft returns in 2030 as an open-world shooter 🔗

星际争霸将在2030年以开放世界射击游戏回归

(471) WeWorm: Zero-Click WeChat Worm 🔗

WeWorm：零点击微信蠕虫

(472) SystemIO conflicts are not firmware bugs 🔗

SystemIO冲突并非固件错误

(473) Show HN: Filament – Fast data movement engine in Go 🔗

Show HN：Filament——用 Go 编写的高速数据移动引擎

(474) Detailed report on the use of solar geoengineering 🔗

太阳地球工程使用的详细报告

(475) Is it time for a Luddite Renaissance? 🔗

是时候来一场路德派复兴吗？

(476) macOS defaults list: Incomplete list of macOS defaults commands with demos 🔗

macOS defaults List：带演示的不完整命令清单

(477) Compiler Can Undo Your Security Checks 🔗

编译器可能撤销你的安全检查

(478) Registration without a phone number on Signal will use zero-knowledge proofs 🔗

Signal 将在注册阶段无需手机号码，采用零知识证明

(479) Revolut confirms customer data breach, falling for fake government requests 🔗

Revolut 确认客户数据泄露，因伪政府请求而受影响

(480) A Brief Retrospective on the Sprite Network Operating System 🔗

Sprite 网络操作系统的简短回顾

(481) Show HN: See Sounds on Your Webcam 🔗

Show HN：在你的摄像头上看到声音

(482) Reconstructing Concurrency Invariants Through Medieval East Asian Logic 🔗

通过中世纪东亚逻辑重建并发不变性

(483) Killing with a car costs $1.6M, California requires drivers to carry $30K 🔗

用汽车致死成本 160 万美元，加州要求驾驶员仅持有 3 万美元的责任保险

(484) Why So Many AI Researchers Think the Machines Could Kill Everyone 🔗

为何如此多的 AI 研究者认为机器可能杀死所有人

(485) A Dick Smith VZ200 without the Dick Smith 🔗

没有 Dick Smith 品牌的 Dick Smith VZ200

(486) Ode to Metadata 🔗

元数据颂歌

(487) Bomb Sense (2021) 🔗

炸弹感知（2021）

(488) Moby-Dick and the Indefinite Sublime: On facing the white page 🔗

《白鲸》与无限崇高：面对空白页

(489) How Google Sees Your Site 🔗

Google 如何看待你的网站

(490) Günther Anders, the Philosopher at the End of the World 🔗

世界尽头的哲学家：贡特·安德斯

(491) Predictive intelligence to anticipate anything. 🔗

预测性智能：提前预测一切

(492) Show HN: Analyst Index – analysts who make money telling you good stock calls 🔗

Show HN：Analyst Index——靠给出好股票买点而赚钱的分析师

(493) Docket – Per-commit evidence records for agent-written code 🔗

Docket——为代理编写代码提供逐次提交证据记录

(494) How to Use Three.js's New Native Gaussian Splats 🔗

如何使用 Three.js 的新原生高斯斑点（Gaussian Splats）

(495) The GDR and Vietnam: From Fake Coffee to Coffee Empire 🔗

德意志民主共和国与越南：从假咖啡到咖啡帝国

(496) Why is privacy so hard? 🔗

隐私为何如此难？

(497) With regulatory capture we will speedrun to a new feudalist time 🔗

有监管俘获，我们将进入新的封建时代

(498) The Magic Behind Cubacadabra 🔗

Cubacadabra 背后的魔法

(499) US diplomat secretly flown home ‘had child abuse images at flat’ 🔗

美国外交官被秘密遣返，住所发现儿童虐待图片

(500) GrapheneOS: Nearly all of our recent posts on Hacker News are being flagged 🔗

GrapheneOS：我们最近在Hacker News的大多数帖子都被标记

(501) Japan's book scene is quietly moving from bookstores to libraries 🔗

日本的书业正在悄然从书店转向图书馆

(502) Show HN: Determinstic LLM inference for lowest price Gemma 4, with Windows XP 🔗

Show HN：在 Windows XP 上以最低成本实现 Gemma 4 的确定性LLM 推理

(503) Decky: Open-source DIY stream deck 🔗

Decky：开源DIY流媒体控制板

(504) Experimental Evaluation Methodology for the Era of No Steady Performance [pdf] 🔗

无稳定性能时代的实验评估方法论