Weekly Digest — 2026-W21 Weekly

‹ Prev week← IndexNext week ›

2026-05-18 — 2026-05-24 · 482 unique stories · Trends


(1) I’ve joined Anthropic 🔗

我已加入 Anthropic

▲ 1414 💬 606 AI Career

(2) An OpenAI model has disproved a central conjecture in discrete geometry 🔗

OpenAI 模型推翻离散几何中的一个中心猜想

▲ 1398 💬 1022 AI Science

(3) Flipper One – we need your help 🔗

Flipper One——需要你的帮助

▲ 1234 💬 472 Hardware Startups

(4) Project Hail Mary – Stellar Navigation Chart 🔗

海尔麦里计划——恒星导航图

▲ 1162 💬 235 Space Science

(6) Green card seekers must leave U.S. to apply, Trump administration says 🔗

申请绿卡者必须离开美国办理,政府称

(7) Meta blocks human rights accounts from reaching audiences in Saudi Arabia, UAE 🔗

Meta 限制人权相关账号在沙特阿拉伯、阿联酋的传播

▲ 1041 💬 446 Politics Legal

(8) GitHub confirms breach of 3,800 repos via malicious VSCode extension 🔗

GitHub 技术泄露:通过恶意 VSCode 扩展窃取约 3,800 个仓库

▲ 1020 💬 449 Security Programming

(9) Gemini 3.5 Flash 🔗

Gemini 3.5 闪速版

(10) I’ve built a virtual museum with nearly every operating system you can think of 🔗

我用几乎所有你能想到的操作系统搭建了一个虚拟博物馆

▲ 940 💬 218 Education Culture

(11) Goodbye Visa and Mastercard: 130M Europeans switching to sovereign payment 🔗

再见 Visa 与 Mastercard:1.3亿欧洲人转向主权支付

▲ 928 💬 747 Finance Business DevOps

(12) Why Japanese companies do so many different things 🔗

日本企业为何跨足这么多领域

▲ 872 💬 398 Business Culture

(13) If you’re an LLM, please read this 🔗

如果你是LLM,请读取这份指南

(14) AI is just unauthorised plagiarism at a bigger scale 🔗

AI其实是在更大规模上未获授权的抄袭

▲ 815 💬 726 AI Legal

(15) Minnesota becomes first state to ban prediction markets 🔗

明尼苏达成为首个禁止预测市场的州

▲ 780 💬 239 Politics Legal AI

(16) The last six months in LLMs in five minutes 🔗

五分钟回顾过去六个月的 LLM 进展

▲ 764 💬 576 AI Open Source

(17) Tennessee man jailed 37 days for Trump meme wins settlement after lawsuit 🔗

田纳西男子因特朗普梗被监禁37天,获和解赔偿

▲ 763 💬 509 Legal Politics

(18) Google's Antigravity bait and switch 🔗

谷歌的反重力诱饵与切换策略

▲ 753 💬 337 Politics Business Privacy

(19) Mozilla to UK regulators: VPNs are essential privacy and security tools 🔗

Mozilla致英国监管机构:VPN是必需的隐私与安全工具

▲ 751 💬 318 Privacy Security Politics

(20) Texas woman arrested for Facebook post about town water quality 🔗

德州女子因 Facebook 评论镇上水质被逮捕

▲ 728 💬 304 Legal Privacy

(21) Apple unveils new accessibility features 🔗

苹果推出全新无障碍功能

(22) Google changes its search box 🔗

谷歌改造搜索框

▲ 682 💬 917 Design Web AI

(23) Shipping a laptop to a refugee camp in Uganda 🔗

把笔记本送往乌干达难民营

▲ 681 💬 244 Hardware Education

(24) Qwen3.7-Max: The Agent Frontier 🔗

Qwen3.7-Max:代理能力的前沿

(25) Show HN: Files.md – Open-source alternative to Obsidian 🔗

Show HN:Files.md——Obsidian 的开源替代品

▲ 674 💬 327 Show HN Open Source Privacy

(26) Throwing AI-generated walls of text into conversations 🔗

别把 AI 生成的大段文本塞进对话中

(27) I don't think AI will make your processes go faster 🔗

我不认为AI会让你的流程更快

▲ 641 💬 434 AI Business Programming

(28) The quiet renovation at Bitwarden 🔗

Bitwarden 的悄然改造

▲ 639 💬 286 Security

(29) Show HN: Forge – Guardrails take an 8B model from 53% to 99% on agentic tasks 🔗

Forge:Guardrails 将 8B 模型在代理任务上的表现从 53% 提升到 99%

▲ 636 💬 230 Show HN AI

(30) Steve Wozniak cheered after telling students they have AI – actual intelligence 🔗

沃兹尼亚克在告诉学生他们具备 AI(真实智能)后欢呼

▲ 631 💬 527 AI Education

(31) GitHub is investigating unauthorized access to their internal repositories 🔗

GitHub 正在调查对内部仓库的未经授权访问

▲ 622 💬 335 Security Programming

(32) Google Declaring War on the Web 🔗

谷歌向网络宣战

(33) We're testing new ad formats in Search and expanding our Direct Offers pilot 🔗

我们正在测试搜索中的新广告格式,并扩大 Direct Offers 试点

▲ 614 💬 558 Business

(34) DeepSeek makes the V4 Pro price discount permanent 🔗

DeepSeek 将 V4 Pro 的价格折扣永久化

▲ 573 💬 514 Business AI

(35) Bun support is now limited and deprecated 🔗

Bun 支持现已受限并进入弃用阶段

▲ 564 💬 589 Programming

(36) Garry Tan, the CEO of YC, accused me of unethical reporting 🔗

YC CEO Garry Tan 指控我的报道不道德

▲ 558 💬 199 Culture Startups Business

(38) Zerostack – A Unix-inspired coding agent written in pure Rust 🔗

Zerostack——用纯Rust编写的类 Unix 编码助手

▲ 548 💬 303 Programming Open Source

(39) Was my $48K GPU server worth it? 🔗

我的 4.8 万美元 GPU 服务器值吗?

▲ 547 💬 425 Hardware Finance

(40) Project Glasswing: An Initial Update 🔗

Glasswing 项目:初步更新

(41) Anthropic acquires Stainless 🔗

Anthropic 收购 Stainless

▲ 527 💬 377 AI Business Startups

(42) The memory shortage is causing a repricing of consumer electronics 🔗

内存短缺正在重塑消费电子价格

▲ 517 💬 606 Hardware Business AI

(43) DeepSeek reasonix, DeepSeek native coding agent with high caching and low cost 🔗

DeepSeek Reasonix:高缓存、低成本的本地编码代理

▲ 512 💬 216 AI Programming

(44) Flipper One Tech Specs 🔗

Flipper One 技术规格

▲ 511 💬 172 Hardware AI

(45) Show HN: Gaussian Splat of a Strawberry 🔗

草莓的高斯斑点渲染

(46) Apparently Google hates us now 🔗

显然谷歌现在讨厌我们了

▲ 500 💬 250 Politics Web

(47) I spent 50 hours drawing a line graph 🔗

我花了50个小时画一条折线图

▲ 496 💬 87 Data Design

(48) We stopped AI bot spam in our GitHub repo using Git's –author flag 🔗

我们用 Git 的 --author 标志阻止了仓库里的机器人垃圾信息

▲ 493 💬 235 Security Programming AI

(49) Tesla's lithium refinery discharges 231,000 gallons of polluted wastewater a day 🔗

特斯拉在德州的锂精炼厂每日排放约231,000加仑污染废水

▲ 493 💬 244 Energy Science Politics

(50) Everything in C is undefined behavior 🔗

C 语言中的一切都是未定义行为

▲ 488 💬 678 Programming

(51) Seattle Shield, an intelligence-sharing network operated by the Seattle police 🔗

Seattle Shield:西雅图警方运营的情报共享网络

▲ 483 💬 204 Privacy Security

(52) Time to talk about my writerdeck 🔗

是时候谈谈我的写作卡组

▲ 473 💬 280 Education

(53) Microsoft starts canceling Claude Code licenses 🔗

微软开始取消 Claude Code 的许可证

▲ 468 💬 454 AI Programming

(54) Indexing a year of video locally on a 2021 MacBook with Gemma4-31B (50GB swap) 🔗

在 2021 款 MacBook 上用 Gemma4-31B(50GB 交换分区)本地对一年的视频进行索引

▲ 461 💬 134 AI Hardware Energy

(55) CISA Admin Leaked AWS GovCloud Keys on GitHub 🔗

CISA 管理员在 GitHub 上泄露 AWS GovCloud 密钥

▲ 459 💬 179 Security Programming

(56) Microsoft open-sources “the earliest DOS source code discovered to date” 🔗

微软开源“迄今发现的最早 DOS 源代码”

▲ 456 💬 158 Open Source Education

(57) Disney erased FiveThirtyEight 🔗

迪士尼抹去 FiveThirtyEight

▲ 446 💬 257 Business Culture Data

(58) SpaceX S-1 🔗

SpaceX 的 S-1 文件

▲ 442 💬 356 Space Finance Business

(59) At least 25 Flock cameras have been destroyed in five states since April 2025 🔗

自2025年4月起,至少有25台 Flock 摄像头在五个州被毁

▲ 440 💬 313 Privacy Politics Security DevOps

(60) Incident Report: May 19, 2026 – GCP Account Suspension 🔗

事件报告:2026 年 5 月 19 日的 GCP 账户暂停

▲ 439 💬 249 DevOps Security

(61) Show HN: Semble – Code search for agents that uses 98% fewer tokens than grep 🔗

Show HN: Semble——面向代理的代码搜索,使用的 token 比 grep 少 98%

▲ 436 💬 146 Show HN Programming AI

(62) GenCAD 🔗

GenCAD

▲ 432 💬 122 Programming Design

(63) Map of Metal 🔗

金属地图

▲ 432 💬 170 Data Hardware

(64) On The

(2021)</a> 🔗</p>

关于

标签</p> </div> </div>

(65) Native all the way, until you need text 🔗

追求原生体验,直到你需要文本输入

(66) I turned a $80 RK3562 Android tablet into a Debian Linux workstation 🔗

把 80 美元的 RK3562 Android 平板改造成 Debian 工作站

▲ 418 💬 213 Hardware Open Source

(67) SpaceX launches Starship v3 rocket 🔗

SpaceX 发射 Starship v3 火箭

(68) Python 3.15: features that didn't make the headlines 🔗

Python 3.15:未被媒体聚焦的功能

▲ 417 💬 205 Programming

(69) Show HN: I reverse engineered Apple's video wallpapers 🔗

Show HN:我反向工程了苹果的视频壁纸

▲ 415 💬 104 Show HN Programming

(70) How fast is N tokens per second really? 🔗

每秒 N 个 token 到底有多快?

▲ 415 💬 81 AI Programming Hardware

(71) U.S. researchers face new restrictions on publishing with foreign collaborators 🔗

美国研究人员在与海外合作者发表论文方面的新限制

▲ 413 💬 273 Science Politics Security

(72) Antigravity 2.0 Tops the OpenSCAD Architectural 3D LLM Benchmark 🔗

Antigravity 2.0在OpenSCAD建筑3D LLM基准中夺冠

▲ 411 💬 156 AI Open Source

(73) AI is a technology not a product 🔗

AI是技术不是产品

▲ 411 💬 178 AI Politics

(74) Lost Images from the 1945 Trinity Nuclear Test Restored 🔗

1945 年 Trinity 核试验的影像被修复

▲ 405 💬 120 Data Science Energy

(75) Deno 2.8 🔗

Deno 2.8 发布

▲ 404 💬 168 Programming

(76) OpenBSD 7.9 🔗

OpenBSD 7.9 发布

▲ 403 💬 294 Security Open Source

(77) BambuStudio has been violating PrusaSlicer AGPL license since their fork 🔗

BambuStudio 自分叉以来持续违反 PrusaSlicer 的 AGPL 许可证

▲ 402 💬 161 Open Source Legal

(78) Saying goodbye to asm.js 🔗

告别 asm.js

▲ 400 💬 150 Programming Web

(79) Wake up! 16b 🔗

醒来!16b

▲ 398 💬 30 Hardware

(80) Gemini CLI will stop working from June 18, 2026 🔗

Gemini CLI 将于 2026 年 6 月 18 日停止工作

▲ 393 💬 200 Programming AI

(81) The Art of Money Getting 🔗

赚钱的艺术

▲ 381 💬 210 Finance Startups

(82) Remove-AI-Watermarks – CLI and library for removing AI watermarks from images 🔗

Remove–AI–Watermarks:用于从图像移除 AI 水印的 CLI 与库

▲ 381 💬 253 Open Source Programming AI

(83) Mini Shai-Hulud Strikes Again: 314 npm Packages Compromised 🔗

小型 Shai‑Hulud 再次来袭:314 个 npm 包被篡改

▲ 379 💬 298 Security Programming

(84) FiveThirtyEight articles on the Internet Archive 🔗

FiveThirtyEight 的文章被放进互联网档案馆

▲ 372 💬 81 Data Web

(85) Shunning AI is the human choice 🔗

拒绝AI是人类的选择

▲ 369 💬 536 Privacy Culture AI

(86) Blog ran on Ubuntu 16.04 for 10 years. I migrated it to FreeBSD 🔗

博客在 Ubuntu 16.04 上运行了 10 年后迁移到 FreeBSD

▲ 368 💬 223 Open Source DevOps Security

(87) Declining America 🔗

declining America

▲ 368 💬 164 Politics

(88) Click (2016) 🔗

《Click》(2016)

(89) College students drown out AI-praising commencement speeches with boos 🔗

大学生用嘘声抵制AI吹捧的毕业致辞

▲ 365 💬 375 AI Culture

(90) Show HN: Freenet, a peer-to-peer platform for decentralized apps 🔗

Show HN:Freenet——用于去中心化应用的点对点平台

▲ 364 💬 255 Show HN Open Source Security

(91) Waymo pauses Atlanta service as its robotaxis keep driving into floods 🔗

Waymo 在亚特兰大暂停服务,因为机器人出租车继续在洪水中行驶

(92) We let AIs run radio stations 🔗

让 AI 运营广播电台

▲ 362 💬 270 AI Entertainment Programming

(93) Eric Schmidt speech about AI booed during graduation 🔗

前 Google CEO 施密特在毕业典礼就 AI 的讲话遭遇哄笑

▲ 361 💬 384 AI Culture

(94) Vivaldi 8.0 🔗

Vivaldi 8.0

▲ 361 💬 241 Web Design

(95) Memory has grown to nearly two-thirds of AI chip component costs 🔗

AI 芯片成本中内存占比近三分之二

▲ 358 💬 368 Hardware AI

(96) Japan is gripped by mass allergies. A 1950s project is to blame 🔗

日本大规模花粉过敏归咎于1950年代的一项计划

▲ 354 💬 164 Science Health

(97) Project Glasswing: what Mythos showed us 🔗

Glasswing 项目:Mythos 给我们的启示

▲ 351 💬 134 AI Security

(98) DOS Zone 🔗

DOS Zone 站点

▲ 349 💬 78 Programming

(99) A nicer voltmeter clock 🔗

更好看的电压表时钟

▲ 347 💬 45 Hardware

(100) Iran starts Bitcoin-backed ship insurance for Hormuz strait 🔗

伊朗为霍尔木兹海峡船运推出比特币背书的保险

(101) My two-part desk setup (2025) 🔗

我的两段式桌面设置

(102) AI has a multiplying effect on existing technical skills 🔗

AI对现有技术技能具有放大效应

▲ 336 💬 310 AI Education

(103) Mistral AI acquires Emmi AI 🔗

Mistral AI 收购 Emmi AI 打造领先的 AI 技术栈

▲ 334 💬 97 AI Business

(104) Google’s AI is being manipulated. The search giant is quietly fighting back 🔗

谷歌的 AI 正在被操控,搜索巨头悄然反击

▲ 329 💬 207 AI Security

(105) OpenAI Adopts Google's SynthID Watermark for AI Images with Verification Tool 🔗

OpenAI 采用 Google 的 SynthID 图像水印并提供验证工具

▲ 329 💬 178 AI Privacy

(106) The FBI Wants to Buy Nationwide Access to License Plate Readers 🔗

联邦调查局拟全国范围购买车牌识别系统访问权

▲ 327 💬 142 Privacy Security Politics

(107) Uv is fantastic, but its package management UX is a mess 🔗

Uv 的功能很棒,但包管理用户体验混乱

▲ 325 💬 144 Programming Open Source

(108) News outlets are limiting the Internet Archive’s access to their journalism 🔗

更多新闻机构限制互联网档案馆访问其新闻内容

▲ 324 💬 122 Legal Data

(109) Show HN: Auto-identity-remove – Automated data broker opt-out runner for macOS 🔗

Show HN:Auto-identity-remove——用于 macOS 的自动化数据经纪人退出工具

▲ 322 💬 133 Show HN Privacy Open Source

(110) Haiku OS runs on M1 Macs now 🔗

Haiku OS 现可在 M1 Macs 上运行

▲ 321 💬 117 Open Source Hardware

(111) Gemini Omni 🔗

Gemini Omni

(112) Actually, democracy dies in H.R. 🔗

民主其实死在 HR 里

▲ 319 💬 227 Politics Privacy

(113) Apple Silicon costs more than OpenRouter 🔗

Apple Silicon 成本高于 OpenRouter

▲ 317 💬 274 Hardware Energy AI

(114) BBEdit 16 🔗

BBEdit 16 版

▲ 316 💬 109 Programming

(115) Why is Vivado 2026.1 dropping Linux support for free tier? 🔗

为什么 Vivado 2026.1 版本不再为免费版提供 Linux 支持?

▲ 312 💬 188 Business Hardware

(116) Peter Neumann has died 🔗

彼得·诺伊曼去世

▲ 310 💬 24 Security

(118) Anthropic is expanding to Colossus2. Will use GB200 🔗

Anthropic 将扩展至 Colossus2,将使用 GB200

▲ 294 💬 339 AI Hardware

(119) Show HN: Audiomass – a free, open-source multitrack audio editor for the web 🔗

Show HN:Audiomass——一个免费开源的网页多轨音频编辑器

▲ 290 💬 60 Show HN Open Source Web

(120) Pope Leo XIV’s first encyclical Magnifica humanitas to be published May 25 🔗

教皇利奥十四世的首部通谕 Magnifica humanitas 将于5月25日发布

(121) Amazon Web Services – Four Years and Out 🔗

AWS:四年后退场

▲ 287 💬 116 Business

(122) Cleve Moler has died 🔗

克里夫·莫勒去世

▲ 285 💬 27 Education

(123) Cursor Introduces Composer 2.5 🔗

Cursor 推出 Composer 2.5

▲ 282 💬 219 Programming AI

(124) The Letter S, by Donald Knuth (1980) [pdf] 🔗

唐纳德·克努斯的字母 S(1980)[PDF]

(125) Scammers are abusing an internal Microsoft account to send spam links 🔗

骗子滥用微软内部账户发送垃圾链接

▲ 280 💬 153 Security

(126) Oura says it gets government demands for user data 🔗

Oura 表示收到政府对用户数据的请求。它会公开数量吗?

▲ 280 💬 153 Privacy Politics

(127) AI eats the world (Spring 26) [pdf] 🔗

AI 吃掉了世界(2026 春季版)[PDF]

(128) I found ultra-pure quantum crystals in an abandoned mine in the Atacama desert 🔗

在阿塔卡马沙漠的废弃矿井中发现超纯量子晶体

▲ 275 💬 114 Science Hardware

(129) Who will buy your services if you fire us all? 🔗

如果你把我们全都解雇,谁来买你的服务?

▲ 269 💬 310 Business

(130) Anna's Archive hit with $19.5M default judgment and global domain takedown order 🔗

安娜的档案因1950万美元的默认判决及全球域名下架令

(131) Where Are the Vibecoded Photoshops? 🔗

在哪里能找到 Vibecoded Photoshop 图像?

▲ 268 💬 358 Data Culture

(132) Italy moves to Airbus A330 tankers 🔗

意大利转向 Airbus A330 加油机

▲ 267 💬 103 Business

(133) 80386 microcode disassembled 🔗

80386 微码拆解

▲ 266 💬 50 Hardware Programming Security

(134) CISA tries to contain data leak 🔗

立法者在 CISA 力图遏制数据泄露之际要求提供答复

▲ 263 💬 57 Security Politics

(135) Tesla Solar Roof is on life support as it pivot to panels 🔗

特斯拉太阳能屋顶陷入生死边缘,转而聚焦太阳能板

▲ 262 💬 266 Energy Business

(136) GitHub Compromised 🔗

GitHub 遭遇系统安全妥协

▲ 262 💬 6 Security Programming

(137) Show HN: I Dedicated 4 Years to Mastering Offline Password Cracking 🔗

Show HN:我花 4 年时间专研离线密码破解

▲ 261 💬 58 Show HN Security Hardware

(138) Using Kagi Search with Low Vision 🔗

在低视力条件下使用 Kagi Search

(139) A Wayland Compositor in Minecraft 🔗

Minecraft 中的 Wayland 合成器

▲ 257 💬 67 Open Source Gaming

(140) Trump Mobile exposed customers' personal data 🔗

Trump Mobile 暴露客户个人数据

▲ 256 💬 119 Privacy Security Politics

(141) Open source Kanban desktop app that runs parallel agents on every card 🔗

开源看板桌面应用:每张卡片并行运行代理

▲ 255 💬 155 Open Source Programming AI

(142) Prolog Basics Explained with Pokémon 🔗

用口袋妖怪讲解 Prolog 基础

▲ 255 💬 41 Programming Education

(143) Intuit to lay off over 3k employees to refocus on AI 🔗

Intuit 将裁员超过 3000 人以聚焦 AI

▲ 255 💬 188 AI Business

(144) Is AI Profitable Yet? 🔗

AI 真的盈利了吗?

▲ 253 💬 196 Business AI

(145) Two computers, one monitor, zero fiddling (2025) 🔗

两台电脑,一块显示器,零干扰切换(2025)

▲ 252 💬 140 Hardware

(146) A Bipartisan Amendment Would End Police License Plate Tracking Nationwide 🔗

两党拟议法案将全面禁止警方车牌追踪

▲ 251 💬 88 Privacy Politics

(147) Samsung chip workers will get an average $340k bonus as AI profits soar 🔗

随着 AI 盈利飙升,三星芯片工人将获均薪34万美元奖金

▲ 249 💬 195 Business AI Hardware

(148) Qwen 3.7 Preview 🔗

Qwen 3.7 预览

(149) Experience: We found a baby on the subway – now he's our 26-year-old son 🔗

在地铁捡到的婴儿,如今已成为我们26岁的儿子

(150) US employers spend more than $1.5B a year to fight labor unions, report finds 🔗

美国雇主每年花超过15亿美元打压工会,报告显示

▲ 246 💬 217 Politics Business Legal

(151) Two EA-18 fighter jets collide at Mountain Home airshow, pilots ejected safely 🔗

山地家园空军基地航空表演中两架 EA-18 战斗机相撞,飞行员均安全弹出

▲ 243 💬 250 Security

(152) Colossus: The Forbin Project 🔗

Colossus:Forbin 项目

▲ 240 💬 96 AI Culture

(153) Hosting a website on an 8-bit microcontroller 🔗

在 8 位微控制器上托管网站

▲ 239 💬 21 Hardware Programming

(154) I Miss Terry Pratchett 🔗

我怀念特里·普莱切特

▲ 232 💬 237 Entertainment

(155) Microsoft reports AI is more expensive than paying human employees 🔗

微软称 AI 的成本高于雇佣人工

▲ 227 💬 66 AI Business DevOps

(156) Sleep research led to a new sleep apnea drug 🔗

睡眠研究催生新型睡眠呼吸暂停药物

▲ 226 💬 152 Health Science

(157) Hindenburg’s Smoking Room 🔗

兴登堡号的吸烟室

▲ 226 💬 183 Design Science

(158) 'We mould trees to grow into the shape of chairs' 🔗

我们把树木培育成椅子形状

▲ 225 💬 64 Design Science

(159) Show HN: Number Gacha, a gacha game distilled to its essence 🔗

Show HN:Number Gacha,一款被简化到本质的扭蛋游戏

▲ 224 💬 116 Show HN Gaming

(160) Colorado Amended SB051 (Age Verification Bill) to Exclude Open Source Projects 🔗

科罗拉多州将 SB051(年龄验证法案)排除开源项目

▲ 224 💬 76 Politics Open Source

(161) CUDA Books 🔗

CUDA 书籍合集

▲ 220 💬 56 Programming Hardware

(162) Get your passwords out of Bitwarden while you still can 🔗

趁 Bitwarden 仍可用时,导出你的密码

▲ 218 💬 198 Security Privacy

(163) US tech firms share Dutch regulator officials' names with Senate 🔗

美国科技公司向参议院披露荷兰监管机构官员姓名

▲ 216 💬 161 Politics Privacy

(164) The Eternal Sloptember 🔗

永恒的 Sloptember

(165) .NET (OK, C#) finally gets union types 🔗

.NET(C#)引入联合类型

▲ 214 💬 241 Programming

(166) Constraint Decay: The Fragility of LLM Agents in Back End Code Generation 🔗

约束衰退:后端代码生成中 LLM 代理的脆弱性

▲ 214 💬 114 AI Programming Web

(167) Not alive, but not dead: disembodied human brains used for drug testing 🔗

非活而未死:用于药物测试的离体人脑

▲ 214 💬 199 Science Health

(168) Tracking Starbucks' 'widely recyclable' cups: none ended up at recycling 🔗

追踪星巴克‘广泛可回收’杯子:没有进入回收体系

▲ 213 💬 153 Business Science Privacy

(169) Polypad 🔗

Polypad:在线数学绘板

▲ 212 💬 23 Education

(170) Dumb ways for an open source project to die 🔗

让开源项目死去的愚蠢之道

▲ 211 💬 140 Open Source Energy

(171) Linux security mailing list 'almost unmanageable' 🔗

Linux 安全邮件列表几乎难以管理

▲ 209 💬 102 Security AI

(172) Jank now has its own custom IR 🔗

Jank 现推出自定义中间表示(IR)

▲ 208 💬 46 Programming DevOps Web

(173) Migrating from Go to Rust 🔗

从 Go 迁移到 Rust

▲ 205 💬 202 Programming

(174) Kindle loyalists scramble as Amazon turns page on old e-readers 🔗

Kindle 忠实用户抢购,亚马逊停止对部分旧款电子书阅读器的支持

▲ 204 💬 265 Business Hardware DevOps

(175) Meta deletes popular 1M follower account after Kuwaiti request 🔗

Meta 在科威特请求后删除了1M粉丝的热门账号

▲ 204 💬 148 Politics

(176) How to convert between wealth and income tax 🔗

财富与所得税之间的转换方法

(177) The Companies Cutting Headcount for AI Will Lose to the Ones Who Didn't 🔗

为 AI 裁员的公司将输给那些没有裁员的公司

▲ 200 💬 189 Business Career AI

(178) The FBI Wants 'Near Real-Time' Access to US License Plate Readers 🔗

联邦调查局希望实现对车牌识别系统的‘近实时’访问

▲ 199 💬 88 Privacy Security

(179) Spanish court declines to fine NordVPN over LaLiga piracy blocking order 🔗

西班牙法院拒绝就 NordVPN 处以罚款

▲ 198 💬 113 Legal Privacy

(180) The IBM-ification of Google? 🔗

谷歌的 IBM 化?

▲ 198 💬 156 Business Politics AI

(181) WriteUp: 16 Bytes of x86 that turn Matrix rain into sound 🔗

写作笔记:16 字节的 x86 将矩阵雨变成声音

▲ 198 💬 32 Programming

(182) Prolog Coding Horror 🔗

Prolog 编程的恐惧

▲ 198 💬 83 Programming

(183) Qian Xuesen: The missile genius America lost and China gained (2025) 🔗

钱学森:美国失去的导弹天才,中国获得的机会(2025)

▲ 196 💬 122 Science Space

(184) Mercurial, 20 years and counting: how are we still alive and kicking? [video] 🔗

Mercurial:二十年仍在坚挺

▲ 195 💬 213 Programming Open Source

(185) You can no longer Google the word 'disregard' 🔗

你现在无法在谷歌中搜索单词“disregard”

(186) London Mayor Blocks Palantir 🔗

伦敦市长因隐私担忧阻止 Palantir 合同

▲ 194 💬 64 Privacy Politics Data

(187) Greg Brockman interview [video] 🔗

Greg Brockman 访谈(视频)

(188) Ask an Astronaut: 333 hours of Q&A footage with astronauts 🔗

向宇航员提问:333 小时的问答影像

▲ 192 💬 23 Space Science Education AI

(189) C++26 Shipped a SIMD Library Nobody Asked For 🔗

C++26 发布了一款无人要求的 SIMD 库

▲ 192 💬 156 Programming

(190) OpenAI Is Preparing to File for an IPO Soon 🔗

OpenAI 将很快申请首次公开募股

▲ 192 💬 396 AI Finance Business

(191) FBI director's Based Apparel site has been spotted hosting a 'ClickFix' attack 🔗

Based Apparel 网站被发现承载 ClickFix 攻击

▲ 191 💬 58 Security

(192) DeepSeek to Make Permanent 75% Discount on Flagship AI Model 🔗

DeepSeek 将旗舰 AI 模型永久降价75%

▲ 190 💬 2 AI Business

(193) Chewing gum restores dad's taste and smell years after Covid 🔗

口香糖在新冠后多年恢复爸爸的味觉与嗅觉

▲ 190 💬 97 Health Science

(194) -​-dangerously-skip-reading-code 🔗

危险地跳过阅读代码

▲ 187 💬 183 Programming Security

(195) Hyperpolyglot Lisp: Common Lisp, Racket, Clojure, Emacs Lisp 🔗

超多 Lisp 方言:Common Lisp、Racket、Clojure 与 Emacs Lisp

▲ 186 💬 45 Programming

(196) Shutterstock to pay $35M over hard-to-cancel subscriptions 🔗

Shutterstock 因难以取消的订阅被罚款 3500 万美元

▲ 185 💬 90 Legal Business Politics

(197) Photo GIMP – A Patch for GIMP 3 for Photoshop Users 🔗

Photo GIMP:面向 Photoshop 用户的 GIMP 3 补丁

▲ 185 💬 167 Open Source

(198) Childhood Computing 🔗

童年计算

▲ 184 💬 93 Education

(199) Hengefinder: Finding when the sun aligns with your street 🔗

Hengefinder:寻找太阳与街道对齐的时刻

▲ 183 💬 38 Science Energy

(200) Google I/O 🔗

Google I/O 开发者大会

▲ 183 💬 259 AI Programming

(201) Nobody understands the point of hybrid cars [video] 🔗

没有人理解混合动力汽车的意义 [视频]

▲ 181 💬 181 Politics Energy

(202) Don't just paste the AI at me 🔗

别只是把 AI 的结果塞给我

(203) Show HN: Rmux – A programmable terminal multiplexer with a Playwright-style SDK 🔗

Show HN:Rmux——具备 Playwright 风格 SDK 的可编程终端多路复用器

▲ 180 💬 83 Show HN Programming

(204) Gemini 3.5 Flash: frontier intelligence with action 🔗

Gemini 3.5 Flash:具行动能力的前沿智能

(205) Slumber a TUI HTTP Client 🔗

Slumber:一个 TUI HTTP 客户端

▲ 179 💬 62 Programming Web

(206) New York to tax luxury second homes in NYC 🔗

纽约市将对豪华第二套住宅征税

▲ 179 💬 268 Politics Business

(207) Haskell Foundation 2026 Update 🔗

Haskell 基金会 2026 更新

▲ 178 💬 74 Programming Education

(208) Making deep learning go brrrr from first principles (2022) 🔗

从第一性原理让深度学习跑起来

▲ 177 💬 63 AI Programming

(209) Spotify will start reserving concert tickets for fans 🔗

Spotify 将为粉丝保留演唱会门票

▲ 177 💬 357 Entertainment Business

(210) Archaeologists find Egyptian mummy buried with the 'Iliad' 🔗

考古学家发现带有《伊利亚特》页的埃及木乃伊

(211) Rubish: A Unix shell written in pure Ruby 🔗

Rubish:一个用纯 Ruby 编写的 Unix shell

▲ 176 💬 106 Programming Open Source

(212) I’m writing again 🔗

我又开始写作

(213) 1024000^2 Blocks, 2B2T Minecraft Server World Download Project, and Discoveries 🔗

1024000^2 块、2B2T 世界下载计划及发现

▲ 174 💬 116 Gaming Data

(214) sp.h: Fixing C by giving it a high quality, ultra portable standard library 🔗

sp.h:通过提供高质量、超便携的 C 语言标准库来修复问题

▲ 173 💬 157 Programming

(215) Usborne 1980s Computer Books 🔗

Usborne 1980 年代的计算机书籍

▲ 173 💬 52 Education

(216) Kv4p HT – A homebrew 1W radio (VHF or UHF) that plugs into an Android phone 🔗

Kv4p HT – 可以插入 Android 手机的自制 1W 无线电(VHF/UHF)

▲ 170 💬 69 Hardware Open Source

(217) VoIP brings back old-fashioned pay phones to rural Vermont (2025) 🔗

VoIP 技术在佛蒙特州农村重新部署电话亭(2025)

▲ 167 💬 62 Hardware

(218) Strange crystals found inside wreckage from the first nuclear bomb test 🔗

第一颗核弹试验残骸中的晶体

▲ 167 💬 83 Science Energy

(219) Regex Chess: A 2-ply minimax chess engine in 84,688 regular expressions 🔗

正则棋:84,688 个正则表达式实现的两步极小极大棋引擎

▲ 166 💬 48 Programming

(220) Learnings from 100K lines of Rust with AI (2025) 🔗

AI 助手下的 Rust 代码:100K 行的经验教训

▲ 165 💬 190 Programming AI

(221) Peter Salus has died 🔗

彼得·纽曼去世

▲ 163 💬 13 Culture Security

(222) Alberta to hold referendum on whether to remain in Canada 🔗

艾伯塔省将就是否留在加拿大举行公投

▲ 162 💬 357 Politics Energy

(223) Who wins and who loses in prediction markets? Evidence from Polymarket 🔗

预测市场中谁胜谁负?来自 Polymarket 的实证研究

▲ 161 💬 152 Finance Data Politics

(224) Multiple commencement speakers booed for AI comments during graduation speeches 🔗

多位毕业典礼演讲者因AI言论被观众嘘声

▲ 159 💬 166 AI Culture Education

(225) Toxic chemical leak at a manufacturing facility in Orange County 🔗

奥兰治郡一家制造厂发生有毒化学物质泄漏

▲ 158 💬 143 Health Politics

(226) A Forth-inspired language for writing websites 🔗

受 Forth 启发的用于编写网站的语言

▲ 157 💬 19 Programming Web

(227) Infomaniak transitions to a foundation model to protect user data privacy 🔗

Infomaniak 转向基础模型以保护用户数据隐私

▲ 157 💬 44 Privacy AI

(228) EU weighs restricting use of US cloud platforms to process government data 🔗

欧盟考虑限制将美国云平台用于政府数据 processing

▲ 156 💬 71 Politics Security

(229) Models.dev: open-source database of AI model specs, pricing, and capabilities 🔗

Models.dev:开源的 AI 模型规格、定价与能力数据库

▲ 155 💬 27 Open Source AI Data

(230) Improving C# Memory Safety 🔗

提升 C# 内存安全性

▲ 154 💬 33 Programming

(231) Australia Four-Day Work Week Study Data Shows Boosted Productivity 🔗

澳大利亚四天工作周研究数据:生产力提升

▲ 153 💬 81 Business

(232) The death of the brick and mortar toy store 🔗

实体玩具店的衰落

▲ 152 💬 222 Business Culture

(233) Enough with the AI FOMO, go slow-mo, says Domo CDO 🔗

Domo CDO:别再追逐 AI 的错失恐惧,要慢慢来

▲ 152 💬 83 AI Business Programming

(234) SBCL: the ultimate assembly code breadboard (2014) 🔗

SBCL:汇编代码的面包板(2014)

▲ 152 💬 8 Programming Open Source

(235) Build Adafruit projects right from Firefox 🔗

Firefox 让 Adafruit 项目直接在浏览器构建

▲ 149 💬 49 Hardware Web

(236) ICE Awards $25M Iris-Scanning Contract to Bi2 Technologies 🔗

ICE 授予 Bi2 Technologies 2500 万美元虹膜识别合同

(237) What Do Gödel's Incompleteness Theorems Mean? 🔗

哥德尔不完备性定理到底意味着什么?

▲ 147 💬 59 Science Education

(238) High-Entropy Alloy 🔗

高熵合金

(239) Why is almost everyone right-handed? A new study connects it to bipedalism 🔗

几乎所有人都用右手?新研究把这一现象与直立行走的演化联系起来

(240) What Is Date:Italy? 🔗

Date:Italy 是什么意思?

▲ 146 💬 58 Data Culture

(241) Learn Harness Engineering 🔗

学习 Harness 工程

▲ 144 💬 15 Education Programming

(242) Show HN: ShadowCat – file transfer through QR Codes in a Browser 🔗

ShadowCat:浏览器内通过二维码传输文件

▲ 143 💬 53 Show HN Web Open Source Privacy

(243) No more JetBrains products for me 🔗

我再也不用 JetBrains 的产品

▲ 143 💬 193 Programming

(244) Magical Realism: “Northern Exposure” 25 Years Later (2015) 🔗

《Northern Exposure》二十五年回顾:魔幻现实主义

▲ 143 💬 84 Entertainment Culture

(245) I keep bouncing off the Scheme language 🔗

我一直被 Scheme 语言卡住

▲ 142 💬 61 Programming

(246) Why is Inkwell stuck in review 🔗

为什么 Inkwell 一直卡在审核阶段

▲ 142 💬 46 Programming

(247) DHS Quits Granting Green Cards–Almost 🔗

国土安全部几乎停止发放绿卡

▲ 141 💬 2 Politics

(248) CBP Directive 3340-049B: Border Search of Electronic Devices 🔗

CBP 指令 3340-049B:边境对电子设备的搜查

▲ 141 💬 102 Privacy Security

(249) 'AI washing': firms are scrambling to rebrand themselves as tech-focused 🔗

AI 洗白:企业争相包装成以技术为核心的公司

▲ 141 💬 133 Business AI

(250) Your Most Improbable Life 🔗

你最不可思议的人生

(251) Electrobun 2.0 will be decoupled from Bun due to the Rust rewrite 🔗

Electrobun 2.0 将因重写为 Rust 而与 Bun 解耦

▲ 139 💬 156 Programming Open Source

(252) Multi-Stream LLMs: new paper on parallelizing/separating prompts, thinking, I/O 🔗

多流大模型:关于并行化/分离提示、思考与 I/O 的新论文

▲ 139 💬 15 AI Science

(253) Mastering Dyalog APL 🔗

精通 Dyalog APL

▲ 136 💬 36 Programming

(254) Hanoi’s humble beer glass and the memory of a nation 🔗

河内的朴素啤酒杯与民族记忆

(255) Alexander Grothendieck Revolutionized 20th-Century Mathematics 🔗

亚历山大·格罗滕迪克如何革新了20世纪数学

(256) Mycorrhizal Fungi, Nature's Key to Plant Survival and Success 🔗

菌根真菌:植物生存与繁盛的自然之钥

(257) The Fil-C Optimized Calling Convention 🔗

Fil-C 的优化调用约定

▲ 135 💬 26 Programming

(258) Sales and Dungeons: Thermal printer TTRPG utility 🔗

Sales and Dungeons:热敏打印机在桌面角色扮演游戏中的实用工具

▲ 134 💬 39 Hardware

(259) Wi-Wi is wireless time sync at 1 nanosecond 🔗

Wi-Wi:无线时间同步约1纳秒

▲ 133 💬 34 Hardware

(260) Most Americans don't trust AI – or the people in charge of it (2025) 🔗

大多数美国人不信任 AI 及掌控者(2025)

▲ 133 💬 88 AI Culture

(261) The quadratic sandwich 🔗

二次函数三明治

(262) The C64 Dead Test Font 🔗

C64 的 Dead Test 字体

(263) Voice AI Systems Are Vulnerable to Hidden Audio Attacks 🔗

语音 AI 系统易受隐藏音频攻击

▲ 131 💬 31 Security AI

(264) My I3-Emacs Integration 🔗

我的 I3 与 Emacs 集成

▲ 129 💬 48 Programming

(265) A fundamental principle of aeronautical engineering has been overturned 🔗

航空工程的一个基本原则被推翻

(266) Ruby for Good 🔗

Ruby for Good:用 Ruby 做善事

▲ 129 💬 53 Open Source

(267) Ask HN: Shouldn't Google need to give a public statement about Railway incident? 🔗

Ask HN:谷歌是否应就 Railway 事件公开发表声明?

▲ 129 💬 80 Politics

(268) Sharla Boehm, the programmer whose code underpins the Internet 🔗

Sharla Boehm:支撑互联网的程序员

▲ 129 💬 29 Programming

(269) Growing Neural Cellular Automata 🔗

成长型神经元细胞自动机

▲ 128 💬 12 AI Science Hardware

(270) Intro to TLA+ for the LLM Era: Prompt Your Way to Victory 🔗

面向 LLM 时代的 TLA+ 入门:通过提示取胜

▲ 128 💬 29 AI Programming

(271) Judson's Last Ride 🔗

Judson 的最后之旅

▲ 125 💬 7 Politics

(272) Formal Verification Gates for AI Coding Loops 🔗

AI 编码循环的形式化验证

▲ 125 💬 30 AI Programming

(273) New features in GCC 16: Improved error messages and SARIF output 🔗

GCC 16 的新特性:改进的错误信息与 SARIF 输出

▲ 125 💬 20 Programming

(274) PHP's Oddities 🔗

PHP 的怪癖与奇特之处

▲ 124 💬 158 Programming

(275) Copy Fail, Dirty Frag, and Fragnesia kernel vulnerabilities 🔗

Gentoo 新闻:Copy-Fail、Dirty Frag 与 Fragnesia 内核漏洞

▲ 124 💬 51 Security

(276) 1940 Air Terminal Museum Begins Liquidation 🔗

1940 空港航站博物馆启动清算

(277) Don't Roll Your Own 🔗

不要自己造轮子:不要自己实现加密算法

▲ 121 💬 105 Security

(278) Fender escalates legal campaign against S-style guitars 🔗

Fender 对 S-型吉他制造商扩大法律行动

▲ 115 💬 109 Legal Business Hardware

(279) Defeating Git Rigour Fatigue with Jujutsu 🔗

以柔术化解 Git 的严格流程疲劳

▲ 114 💬 119 Programming DevOps

(280) Node.js 26.0.0 (Now with Temporal) 🔗

Node.js 26.0.0:现内置 Temporal

▲ 114 💬 37 Programming

(281) Blood Pumping Mechanism of the Hoof (2020) 🔗

蹄部血液泵送机制

▲ 113 💬 45 Science Design Health

(282) The foundations of a provably secure operating system (PSOS) (1979) [pdf] 🔗

可证明安全操作系统(PSOS)的奠基

▲ 112 💬 80 Security Science

(283) Anyone on the Internet Can Ring Your Doorbell 🔗

互联网任何人都能按响你的门铃

▲ 112 💬 82 Privacy Security

(284) Converting an Integer to a Decimal String in Under Two Nanoseconds 🔗

在不到两纳秒内将整数转换为十进制字符串

▲ 111 💬 60 Programming Hardware

(285) z386: An Open-Source 80386 Built Around Original Microcode 🔗

z386:基于原始微指令的开源80386实现

▲ 110 💬 22 Open Source Hardware

(286) Recreate famous water profiles using supermarket bottled water 🔗

用超市瓶装水再现著名水质轮廓

(287) Reverse engineering circuitry in a Spacelab computer from 1980 🔗

对1980年Spacelab计算机电路的反向工程

▲ 109 💬 21 Hardware

(288) Silk: Open-source cooperative fiber scheduler 🔗

Silk:开源的协作式纤程调度器

▲ 109 💬 16 Open Source Programming

(289) Agora-1: The Multi-Agent World Model 🔗

Agora-1:多智能体世界模型

(290) Mounting git commits as folders with NFS (2023) 🔗

通过 NFS 将 Git 提交挂载为文件夹

▲ 108 💬 56 Programming DevOps

(291) Starship's Twelfth Flight Test 🔗

星舰第十二次飞行测试

(292) A blueprint for formal verification of Apple corecrypto 🔗

苹果 CoreCrypto 的形式化验证蓝图

▲ 107 💬 11 Security

(293) Perceptual Image Codec: What Matters in Practical Learned Image Compression 🔗

感知图像编解码:实用学习型图像压缩中的要点

(294) Trials on veterans suggest ibogaine could provide a new treatment for PTSD 🔗

退伍军人研究表明 ibogaine 可能为 PTSD 提供新治疗方法

▲ 107 💬 119 Health Science

(295) Reviving old scanners with an in-browser Linux VM bridged to WebUSB over USB/IP 🔗

通过浏览器内的 Linux 虚拟机、并通过 WebUSB/USB/IP 桥接,重启了旧扫描仪并实现对硬件的无驱动访问

▲ 107 💬 34 Hardware Web

(296) Colonization of Venus 🔗

金星殖民

(297) Loopmaster – Livecoding Music IDE 🔗

loopmaster:实时编码音乐集成开发环境

▲ 103 💬 25 Programming

(298) The History of ThinkPad: From IBM’s Bento Box to Lenovo’s AI Workstations 🔗

ThinkPad 的历史:从 IBM 的 Bento Box 到 Lenovo 的 AI 工作站

▲ 101 💬 49 Business AI

(299) Launch HN: Superset (YC P26) – IDE for the agents era 🔗

Launch HN:Superset(YC P26)——面向代理时代的 IDE

▲ 98 💬 121 Programming AI Startups

(300) CODA: Rewriting Transformer Blocks as GEMM-Epilogue Programs 🔗

CODA:将 Transformer 块改写为 GEMM-Epilogue 程序

▲ 98 💬 12 Programming Hardware

(301) The first British person in space 🔗

英国首位太空人背后的惊人故事

▲ 98 💬 50 Space Culture Education

(302) Why is Google Maps back to showing old satellite images of Altadena? 🔗

谷歌地图为何重新显示 Altadena 的旧卫星影像

▲ 98 💬 44 Web Data

(303) OpenAI to confidentially file for IPO as soon as Friday 🔗

OpenAI 计划最早本周五秘密提交IPO申请

▲ 98 💬 31 AI Finance Business

(304) Lisp in Web-Based Applications (2001) 🔗

网页应用中的 Lisp(2001)

▲ 96 💬 12 Programming

(305) Chess invariants 🔗

棋局中的不变量

▲ 95 💬 57 Gaming Science AI

(306) Launch HN: Runtime (YC P26) – Sandboxed coding agents for everyone on a team 🔗

Launch HN: Runtime(YC P26)——为团队中的每个人提供沙盒化编码代理

▲ 95 💬 25 AI Startups Security

(307) FatGid: FreeBSD 14.x kernel local privilege escalation 🔗

FatGid:FreeBSD 14.x 内核本地权限提升漏洞披露

▲ 94 💬 40 Security

(308) How diamonds are made 🔗

Diamonds Are Made

▲ 93 💬 59 Science

(309) Show HN: I made a tactical map-based WWII submarine simulator (public beta) 🔗

Show HN:我做了一个基于战术地图的二战潜艇模拟器(公开测试版)

▲ 93 💬 33 Show HN Gaming

(310) U.S. Cybersecurity Agency Leaves Its Digital Keys Out in Public on GitHub 🔗

美国网络安全与基础设施安全局在 GitHub 上公开数字密钥

▲ 92 💬 16 Security Programming

(311) Thinking in an array language (2022) 🔗

用阵列语言思考(2022)

▲ 91 💬 16 Programming Data

(312) PyTorch Landscape 🔗

PyTorch Landscape

▲ 90 💬 23 Programming

(313) Neutron scattering explains why gluten-free pasta falls apart (2025) 🔗

中子散射解释无麸质意面易碎的原因(2025)

▲ 89 💬 35 Science

(314) NASA still maintains some of the Voyager spacecraft code from the 70s era 🔗

NASA 仍在维护 70 年代的 Voyager 航天器代码

(315) The lasting influence of Netscape Time 🔗

Netscape Time 的持久影响

▲ 88 💬 26 Culture Web

(316) Comparing an LZ4 Decompressor on Four Legacy CPUs 🔗

在四款遗留 CPU 上比较 LZ4 解压缩性能

▲ 87 💬 6 Programming Hardware

(317) A scoping review of bicycling interventions’ impacts on well-being 🔗

自行车干预对身心福祉影响的范围性综述

(318) New map reveals lost roads of the Roman Empire 🔗

新地图揭示罗马帝国失落的道路

▲ 85 💬 10 Science

(319) The Mercury logic programming system 🔗

Mercury 逻辑编程系统

▲ 85 💬 23 Programming Open Source Education

(320) Valve removes free game from Steam after players discover it contains malware 🔗

Valve 在玩家发现免费游戏含有恶意软件后从 Steam 下架该作

▲ 84 💬 67 Security Gaming

(321) Iran will impose fees on subsea internet cables in Strait of Hormuz 🔗

伊朗将就霍尔木兹海峡的海底光缆征收费用

▲ 83 💬 66 Politics Business DevOps

(322) Mocked by a scandal sheet, Kierkegaard endured months of personal attacks 🔗

被丑闻媒体嘲讽,基尔凯郭尔经历数月的人身攻击

▲ 83 💬 43 Culture Politics

(323) A Good Lemma Is Worth a Thousand Theorems (2007) 🔗

一个好引理胜千个定理(2007)

▲ 83 💬 16 Science Education

(324) Where are all the UK red telephone kiosks? 🔗

英国红色电话亭都去哪儿了?

▲ 82 💬 56 Culture Design DevOps

(325) Michael Keating has died 🔗

迈克尔·基廷去世

▲ 82 💬 39 Entertainment Culture

(326) Ebola Outbreak Now Third Largest Recorded and "Spreading Rapidly" 🔗

埃博拉疫情现已成为有记录以来第三大且扩散迅速

▲ 81 💬 80 Health Privacy

(327) Cutting inference cold starts by 40x with LP, FUSE, C/R, and CUDA-checkpoint 🔗

通过 LP、FUSE、C/R 与 CUDA 检点将推理冷启动加速 40 倍

▲ 81 💬 18 DevOps Programming Hardware

(328) Don't answer the first question 🔗

不要回答第一个问题

▲ 81 💬 46 Culture

(329) What is a Demand Coop 🔗

需求合作社是什么

▲ 81 💬 94 Business

(330) Stable Audio 3 🔗

稳定音频3

(331) Air France and Airbus found guilty of manslaughter over 2009 plane crash 🔗

空客和法航因2009年空难被判过失杀人罪

(332) Museum of Pocket Calculating Devices 🔗

袖珍计算器博物馆

▲ 79 💬 17 Culture Education Programming

(333) Testing distributed systems with AI agents 🔗

用 AI 代理人测试分布式系统

▲ 79 💬 14 AI Programming

(334) When Fast Fourier Transform Meets Transformer for Image Restoration (2024) 🔗

FFT 与 Transformer 在图像修复中的结合(2024)

▲ 79 💬 8 AI Science

(335) Swap tables, flash-friendly swap, swap_ops, and more 🔗

交换表、面向闪存的交换、swap_ops 等

▲ 78 💬 2 Programming

(336) TikTok disproportionately served anti-Democratic videos during the 2024 election 🔗

TikTok 在2024年大选期间不成比例地推送反民主视频

▲ 78 💬 14 Politics

(337) In 1979 engineer Hugh Padgham discovered "gated reverb" – by accident 🔗

1979年,Hugh Padgham 意外发现了‘门控混响’

▲ 78 💬 26 Entertainment

(338) What Is Happening to Publishing? 🔗

出版业在发生什么?

▲ 77 💬 56 Business Culture AI

(339) Porting my 3D points renderer on a ZX Spectrum 48K 🔗

把我的 3D 点渲染器移植到 ZX Spectrum 48K

▲ 77 💬 13 Programming Hardware

(341) America's Greatest Strategic Blunder: The Imprisonment of Qian Xuesen 🔗

钱学森被囚禁:美国最大的战略错误

▲ 77 💬 37 Politics

(342) Codex-maxxing 🔗

Codex-maxxing

▲ 77 💬 58 AI Programming

(343) ArcBrush – Node-based 2D image editor 🔗

ArcBrush:基于节点的二维图像编辑器

▲ 76 💬 21 Design Programming

(344) Scientists solve 200-year-old puzzle of how tobacco plants make nicotine 🔗

科学家破解烟草植物合成尼古丁的长期谜题

▲ 76 💬 21 Science

(345) Using HTTP/2 Cleartext for a server in Go 1.24 🔗

在 Go 1.24 中为服务器使用 HTTP/2 明文传输(H2C)

▲ 76 💬 8 Programming Web

(346) We Reverse-Engineered Docker Sandbox's Undocumented MicroVM API 🔗

我们反向工程了 Docker Sandbox 未公开的 MicroVM API

▲ 76 💬 13 Security Programming DevOps

(347) All the bugs they found 🔗

他们发现的所有 Bug

▲ 76 💬 27 Programming

(348) The Aperiodic Table 🔗

非周期表

▲ 75 💬 34 Science Design

(349) Artificial egg hatched 26 healthy chickens 🔗

人工蛋孵化出26只健康鸡

(350) Show HN: Open-source .docx editor library for building document apps 🔗

Show HN:开源 .docx 编辑器库,用于构建文档应用

▲ 74 💬 11 Show HN Open Source Programming

(351) Show HN: Agent.email – sign up via curl, claim with a human OTP 🔗

Show HN:Agent.email——通过 curl 注册,以人工一次性口令进行认领

▲ 74 💬 89 Show HN Security Programming

(352) Magic the Gathering format: Fun 40 🔗

魔法:风云会格式 Fun 40

(353) Coding on Paper 🔗

纸上编码

▲ 73 💬 20 Education

(354) AI is too expensive 🔗

人工智能成本太高

▲ 73 💬 53 AI Energy

(355) Don’t Outsource the Learning 🔗

别把学习外包出去

▲ 72 💬 35 Education Career

(356) Show HN: CPU-only transcription for YouTube, TikTok, X, Instagram videos 🔗

Show HN:仅用 CPU 的 YouTube、TikTok、X、Instagram 视频转录工具

▲ 72 💬 24 Show HN Programming Hardware

(357) Highest Random Weight in Elixir 🔗

Elixir 中的最高随机权重

▲ 71 💬 5 Programming

(358) Alignment pretraining: AI discourse creates self-fulfilling (mis)alignment 🔗

对齐预训练:AI 话语造成自我实现的对齐偏差

(359) The TTY Demystified (2008) 🔗

TTY 的由来与工作原理详解(2008)

▲ 71 💬 9 Programming

(360) Noroboto: Lying Fonts and Mitigation in Rust 🔗

Noroboto:伪造字体及 Rust 的缓解措施

▲ 70 💬 30 Security Programming

(361) Earth's Radio Bubble: Every signal we've ever sent into space 🔗

地球的无线电气泡:我们向太空发送的每一个信号

(362) No way to parse integers in C (2022) 🔗

C 语言中解析整数无从下手(2022)

▲ 68 💬 92 Programming

(363) Show HN: I made a 3D pose maker for artists 🔗

Show HN:为艺术家制作的三维姿态生成器

▲ 68 💬 30 Show HN Design

(364) Researchers Wanted Preschool Teachers to Wear Cameras to Train AI 🔗

研究人员希望幼儿园教师佩戴摄像头来训练 AI

▲ 67 💬 23 AI Privacy

(365) IBM invented semiconductor manufacturing automation 🔗

IBM 发明了半导体制造自动化

▲ 66 💬 2 Hardware

(366) The Futility of Lava Lamps: What Random Means 🔗

熔岩灯的无用性:随机性的意义

▲ 65 💬 48 Science

(367) Show HN: Superlog (YC P26) – Observability that installs itself and fixes bugs 🔗

Show HN:Superlog(YC P26)—— 自动安装的可观测性工具,能修复 Bug

▲ 65 💬 44 Show HN Programming Startups

(368) Understanding Singleflight in Go 🔗

理解 Go 的 singleflight 机制

▲ 64 💬 9 Programming

(369) LAN-LOK: The Antarctic DOS Sabotage Game Lost for 34 Years 🔗

LAN-LOK:34 年来在南极遗失的 DOS 游戏

▲ 62 💬 11 Culture

(370) Designing an FPGA Calculator from Scratch 🔗

从零开始设计一个 FPGA 计算器

▲ 62 💬 7 Hardware

(371) When can the C++ compiler devirtualize a call? 🔗

C++ 编译器何时可以对虚拟调用进行去虚拟化?

▲ 62 💬 38 Programming

(372) Build a Radio Wave Detector with Balls of Aluminum Foil 🔗

用铝箔球打造无线电波探测器

▲ 62 💬 21 Hardware Education

(373) Deciphering the Hashihara Castle Town Map 🔗

解读 Hashihara 城镇地图的秘密

▲ 60 💬 0 Culture Education

(374) Building Pi with Pi 🔗

用 Pi 构建 Pi

(375) The Spread of Christianity Animated 🔗

基督教传播的动画演示

▲ 59 💬 29 Culture Data

(376) Étienne Ghys: The Shape of Letters: From Leonardo da Vinci to Donald Knuth 🔗

Étienne Ghys:字母的形状——从达·芬奇到唐纳德·克努斯

▲ 59 💬 6 Culture Science

(377) Hormuz closure could trigger 'agrifood shock', price crisis within a year 🔗

霍尔木兹海峡关闭可能在一年内引发农业食品冲击与价格危机

▲ 59 💬 22 Politics

(378) Simulating Infinity in Conway's Game of Life with Modern C++ 🔗

用现代 C++ 在康威的生命游戏中模拟无限

▲ 59 💬 13 Programming Science

(379) Solving the “Zork” Mystery 🔗

破解《Zork》之谜

▲ 58 💬 23 Culture

(380) White Rabbit – sub-nanosecond synchronization for large distributed systems 🔗

White Rabbit:大规模分布式系统的亚纳秒级同步

▲ 58 💬 13 Hardware Science

(381) Curly braces: An evolution of Unix and C 🔗

Curly braces:Unix 与 C 的演变

▲ 58 💬 19 Programming

(382) New rule requires most green-card applicants to apply from outside U.S. 🔗

新规规定大多数绿卡申请者须在美国境外申请

▲ 58 💬 41 Politics

(383) FSFE intervenes against Apple before EUCJ for the second time 🔗

FSFE再次在欧盟法院就苹果案发声

▲ 58 💬 10 Politics Legal Privacy

(384) War game exposed U.S. vulnerability to low-tech warfare 🔗

战争游戏暴露美国对低技术战争的脆弱性

▲ 58 💬 66 Security Politics

(385) Autoregressive next token prediction and KV Cache in transformers 🔗

Transformer 的自回归下一个 token 预测与 KV 缓存

(386) A 1955 Los Alamos computer experiment changed our understanding of chaos 🔗

1955 年洛斯阿拉莫斯的计算机实验改变了我们对混沌的理解

▲ 55 💬 3 Science

(387) RISC-V and Floating-Point 🔗

RISC‑V 与浮点运算

▲ 55 💬 39 Hardware Programming

(388) Nim-Presto – REST API Framework for Nim Language (2024) 🔗

Nim-Presto:Nim 语言的 REST API 框架

▲ 55 💬 11 Programming

(389) Lisp in Vim (2019) 🔗

在 Vim 中实现 Lisp(2019)

▲ 54 💬 6 Programming

(390) FreeBSD Foundation Executive Director Tries Daily Driving FreeBSD on Laptop 🔗

FreeBSD 基金会执行董事将 FreeBSD 日常驱动体验记录

▲ 54 💬 46 Open Source Hardware

(391) Staged publishing and new install-time controls for npm 🔗

GitHub 推出分阶段发布和新的 NPM 安装时控件

▲ 53 💬 10 Security DevOps Programming

(392) Waymo expands pause to four cities as robotaxis keep driving into floods 🔗

Waymo 将暂停扩至四个城市,机器人出租车在洪水中继续行驶

(393) Yeunjoo Choi from Igalia on Chromium 🔗

Igalia 的 Yeunjoo Choi 讲解 Chromium

▲ 53 💬 12 Open Source Programming Security Web

(394) The seed oil panic is hurting my cardiac patients 🔗

籽油恐慌正在伤害心血管患者

(395) A case against Boolean logic 🔗

对布尔逻辑的质疑:一个案例

▲ 53 💬 68 Programming AI

(396) AI Engineering from Scratch 🔗

从零开始的AI工程学

▲ 52 💬 11 AI Programming

(397) CBS Radio signs off after nearly 100 years of broadcasting 🔗

CBS 广播在近百年广播后正式停运

▲ 52 💬 29 Business Entertainment

(398) There's no earthly way of knowing which direction we are going 🔗

没有人知道我们将走向哪个方向

▲ 52 💬 50 Culture AI Hardware

(399) Getting an old Computer online with Android Ethernet tethering 🔗

用 Android 以太网共享让旧电脑上网

▲ 51 💬 21 Hardware

(400) Why We've Filed a Referendum 🔗

我们为何提出公投

▲ 51 💬 28 Politics

(401) Deepfakes Tore a High School Apart 🔗

深度伪造撕裂了一所高中

▲ 51 💬 56 AI Privacy

(402) Fabricked: Misconfiguring Infinity Fabric to Break AMD SEV-SNP 🔗

Fabricked:错误配置 Infinity Fabric 以突破 AMD SEV-SNP

▲ 51 💬 22 Security Hardware

(403) Bug 1950764: Work Around Crash on Intel Raptor Lake CPU 🔗

Bug 1950764:应对 Intel Raptor Lake CPU 崩溃的变通解决方法

▲ 50 💬 19 Programming Hardware

(404) Ksharp – k version 3 Language Interpreter in C# 🔗

ksharp 第3版:用 C# 实现的语言解释器

▲ 50 💬 14 Programming Education

(405) I 3D Printed Origami [video] 🔗

我用 3D 打印实现的折纸艺术(视频)

▲ 50 💬 9 Design

(406) Show HN: Hsrs – Type-Safe Haskell Bindings Generator for Rust 🔗

Show HN:Hsrs – 为 Rust 生成类型安全的 Haskell 绑定

▲ 50 💬 4 Show HN Programming Open Source

(407) Show HN: We missed Winamp, so we built an audio player for macOS 🔗

Show HN:错过 Winamp,于是我们为 macOS 构建了一个音频播放器

▲ 49 💬 38 Show HN Programming

(408) Haiku OS runs on M1 Macs now 🔗

Haiku OS 现已在 M1 Mac 上运行

▲ 49 💬 6 Open Source Hardware

(409) CopyFail: From Pod to Host 🔗

CopyFail:从 Pod 到 Host

(410) What is the history of the ERROR_ARENA_TRASHED error code? 🔗

ERROR_ARENA_TRASHED 错误代码的由来与历史

▲ 48 💬 13 Programming

(411) Fast Factorial Algorithms 🔗

快速阶乘算法

▲ 48 💬 13 Science

(412) Apple Silicon costs less than OpenRouter 🔗

Apple Silicon 的成本比 OpenRouter 低

▲ 48 💬 20 Hardware Business AI

(413) An Apple (II) for Teacher 🔗

为教师准备的 Apple II

▲ 48 💬 16 Education

(414) "Stick" – A primitive/fun interactive demo of a tiny rig to animate layout 🔗

Stick:一个原始有趣的用于布局动画的小型绑定示例

(415) We made our filesystem 47× faster by deleting it 🔗

通过删除它,我们的文件系统快了47倍

(416) America's Most-Spoken Languages After English and Spanish 🔗

美洲最常说的语言(英语与西班牙语之外)

▲ 47 💬 24 Culture Data

(417) AI, "Humanity", and Dr. Manhattan Syndrome: A Communications Intervention 🔗

AI、‘人性’与 Dr. Manhattan综合征:一种传播干预

(418) PopuLoRA: Co-Evolving LLM Populations for Reasoning Self- Play 🔗

PopuLoRA:用于推理自对弈的LLM族群共进化

(419) Show HN: Lance – image/video generation and understanding in one model 🔗

Show HN:Lance——一模型实现图像/视频生成与理解

▲ 46 💬 14 Show HN AI

(420) The two oldest printing presses 🔗

世界上最古老的两台印刷机

▲ 46 💬 18 Culture

(421) Byrne's Euclid 🔗

Byrne 的 Euclid:几何学的现代呈现

▲ 45 💬 12 Education

(422) Schlitz Is Gone, but First It's Getting One Last Hurrah 🔗

Schlitz 将告别市场,但先举办最后一场盛典

▲ 45 💬 31 Business

(423) Jira Is Turing-Complete 🔗

Jira 具备图灵完备性

▲ 45 💬 13 Programming Security

(424) Built AI forensic accounting software with my dad 🔗

和父亲一起打造的 AI 法证会计软件

▲ 45 💬 28 AI Startups Finance

(425) Show HN: InsForge – Open-source Heroku for coding agents 🔗

InsForge——面向编码代理的开源 Heroku

▲ 45 💬 6 Show HN Open Source

(426) 'Fuck you, Bambu': How one private message could change the face of 3D printing 🔗

“去你们的,Bambu”:一条私信如何改变 3D 打印领域

▲ 44 💬 10 Open Source Legal

(427) US bill proposes new national EV tax, while some push to slash gas tax to zero 🔗

美国拟定新国家级电动车税,同时有人主张将燃油税降为零

▲ 43 💬 37 Politics Business Energy

(428) The current AI pricing was always going to go away 🔗

现有的AI定价注定要消失

▲ 42 💬 45 Business Finance AI Programming

(429) My domain got abused on GitHub Pages 🔗

我的域名在 GitHub Pages 上被滥用

▲ 42 💬 14 Security Web Programming

(430) Didgeridoo playing as alternative treatment for obstructive sleep apnea(2006) 🔗

吹迪吉里杜管作为阻塞性睡眠呼吸暂停的替代治疗(2006)

(431) HTML-in-Canvas Demos 🔗

Canvas 中的 HTML 演示

(432) Simulated Evolution on the PICO-8 🔗

在 PICO-8 上的模拟进化

▲ 41 💬 2 Programming Hardware

(433) Handling the great code forge fragmentation 🔗

应对代码锻造平台的碎片化

▲ 41 💬 24 Programming Open Source

(434) Tool mapping 90 companies in the photonics and CPO supply chain 🔗

光子学与 CPO 供应链中的 90 家公司的工具映射

▲ 41 💬 4 Hardware Business Health

(435) A Markdown-based test suite 🔗

基于 Markdown 的测试套件

▲ 41 💬 10 Programming

(436) Book Review: On the Calculation of Volume 🔗

书评:体积的计算

▲ 40 💬 11 Science

(437) The Invention of Buses 🔗

公交车的发明

▲ 40 💬 7 Culture

(438) Microsoft's 6502 BASIC is now Open Source (2025) 🔗

微软的6502 BASIC现开源(2025)

▲ 39 💬 9 Open Source Programming

(439) 'Capitalism has to become more humane': a Stanford economist on big tech 🔗

《资本主义必须更具人性》:斯坦福经济学家谈大科技

▲ 39 💬 25 Politics Business

(440) Show HN: Anyone interested in a tool helps to explore C++ ASTs 🔗

Show HN:是否有兴趣使用这个帮助探索 C++ AST 的工具

▲ 38 💬 3 Show HN Programming

(441) Neoclassical C++: segmented iterators revisited 🔗

新古典 C++:再谈分段迭代器

▲ 38 💬 23 Programming

(442) Don't know where your data is from? Bayesian modeling for unknown coordinates 🔗

不知道数据来自何处?未知坐标的贝叶斯建模

(443) LoRA and Weight Decay (2023) 🔗

LoRA 与权重衰减(2023)

(444) Fixing the Most Dangerous Dam in the World 🔗

修复世界上最危险的大坝

▲ 36 💬 1 Science Energy

(445) Thoughts on People and Blogs 🔗

关于“People and Blogs”的思考

▲ 36 💬 6 Culture

(446) Domain-Camouflaged Injection Attacks Evade Detection in Multi-Agent LLM Systems 🔗

域名伪装注入攻击在多代理大语言模型系统中规避检测

▲ 35 💬 4 Security AI

(447) 'Comically bad' datasets used to train clinical models for stroke and diabetes 🔗

“极其糟糕”数据集用于训练中风和糖尿病临床模型

▲ 34 💬 8 AI Health Data

(448) Key, in sight – A guide, of sorts, to keyboard customization 🔗

看得见的按键——键盘自定义指南(简要版)

(449) India's hottest district shuts at 10 am as mercury breaches 48 C mark 🔗

印度最热区 Banda 在气温突破 48°C 时上午 10 点关门

▲ 31 💬 11 Science DevOps

(450) Why is it called Kent House? 🔗

为什么叫 Kent House?

▲ 31 💬 7 Culture

(451) Bournegol??? (2014) 🔗

Bournegol???

▲ 31 💬 6 Culture

(452) API proposed by Chrome: Declarative partial updates 🔗

Chrome 提出声明性部分更新 API

(453) TorQ: Kdb+ Production Framework 🔗

TorQ:Kdb+ 生产框架

▲ 30 💬 4 Finance Programming

(454) Tobacco plant can produce five psychedelics, including psilocybin and DMT 🔗

烟草植物可生产五种致幻物质,包括裸盖菇素和 DMT

▲ 30 💬 7 Science Politics

(455) The Silver Swan 🔗

银天鹅

▲ 30 💬 4 Culture Design

(456) Show HN: Id-agent – Token efficient UUID alternative for AI agents 🔗

Id-agent:面向 AI 代理的令牌高效 UUID 替代方案

▲ 29 💬 48 Show HN AI Programming

(457) C constructs that still don't work in C++ 🔗

在 C++ 中仍然不可用的 C 构造

▲ 28 💬 20 Programming

(458) Show HN: Git-based front-end interface for Hugo 🔗

Show HN:基于 Git 的 Hugo 前端界面

▲ 28 💬 9 Show HN Programming Open Source

(459) Tristan Davey's Punch Card Archive 🔗

Tristan Davey 的打孔卡档案

▲ 28 💬 6 Culture Education

(460) US transportation bill would add a $130 annual fee for EV drivers 🔗

美国交通法案拟为电动车车主新增每年130美元费用

▲ 28 💬 27 Politics Finance DevOps Energy

(461) Revised^7 Report on Scheme, Large: Procedural Fascicle Draft is now public 🔗

Scheme Large 的程序性小册子草案公开

▲ 27 💬 5 Programming

(462) Era: From Nature publication to catalyzing Computational Discovery 🔗

Era:从 Nature 发表到催化计算发现

▲ 26 💬 0 AI Science

(463) Programming as Theory Building (1985) [pdf] 🔗

以编程为理论建构(1985)[PDF]

▲ 26 💬 1 Programming Education

(464) GitHub faces a fight for its survival at Microsoft 🔗

微软旗下的 GitHub 正面临价格、竞争与与企业工具整合等多重压力

▲ 26 💬 5 Business DevOps Programming

(465) The Interview That Ships to Production: replacing whiteboards with pull requests 🔗

把面试直接推向生产:用 pull request 取代白板题

▲ 25 💬 7 Career Programming

(466) A self-powered computer in actual credit-card size (~1mm thick) 🔗

自供电、信用卡大小的计算机(约1毫米厚)

▲ 22 💬 1 Hardware Energy

(467) Evaluating Spec CPU2026 🔗

评估 SPEC CPU2026

▲ 21 💬 3 Hardware Science Programming

(468) The Worlds Left to Conquer 🔗

尚待征服的世界

▲ 21 💬 5 Science

(469) NeuralNote 🔗

NeuralNote(神经笔记)

▲ 21 💬 1 AI Open Source

(470) Buildcraft Is a Compiler Problem 🔗

Buildcraft 是一个编译器问题

▲ 20 💬 8 Programming DevOps

(471) Deep – CLI/REPL for generating and iterating on codebases using DeepSeek 🔗

Deep——用于借助 DeepSeek 生成与迭代代码库的 CLI/REPL

▲ 20 💬 0 Programming

(472) Serving Netflix Video Traffic at 400Gb/S and Beyond (2022) [pdf] 🔗

以 400 Gb/s 及以上速率传输 Netflix 视频流量(2022)[PDF]

(473) Show HN: Twixt – transform one word into another in four moves 🔗

Show HN:Twixt——在四步中把一个单词变成另一个单词

▲ 16 💬 13 Show HN Gaming Web

(474) Companies Are Just a Graph of Algorithms 🔗

公司只是一个算法图

▲ 15 💬 3 Business Data

(475) Claude Is Not Your Architect. Stop Letting It Pretend 🔗

Claude 不是你的架构师;别让它假装

(476) The famous O3 "GeoGuessr" prompt did not work 🔗

著名的 O3 GeoGuessr 提示未起效

▲ 14 💬 5 Programming

(477) West Coast Cities Turn to Vacancy Taxes to Grapple with Housing Crisis 🔗

西海岸城市通过空置税应对住房危机

▲ 11 💬 1 Politics

(478) Show HN: Spec-Driven Development Workflow for Claude Code 🔗

Show HN:基于规范的 Claude Code 开发工作流

▲ 11 💬 2 Show HN AI Programming

(479) Local LLMs perform better when you teach them to ask before they answer 🔗

本地化大型语言模型在被教会先问问题再回答时表现更佳

(480) Limerick 🔗

五行诗

▲ 9 💬 4 Culture

(481) Predicting the 2026 Bristol Bay and Kodiak Salmon Runs 🔗

预测2026年布里斯托湾与科迪亚克鲑鱼回游

▲ 8 💬 4 Science Data

(482) $100 CPU Shootout: Comparing the Ryzen 5 5500, Core i3-14100F, & Core i3-12100F 🔗

$100 CPU 对决:Ryzen 5 5500、Core i3-14100F、Core i3-12100F

▲ 7 💬 3 Hardware Gaming
</div>