3. 使用迪杰斯特拉算法程序构造对Advent of Code进行形式化验证 ↑ 4 HN Points 02:39 Formally verifying Advent of Code using Dijkstra''s program construction (haripm.com)
4. 美光宣布退出关键消费业务 ↑ 49 HN Points 02:04 Micron Announces Exit from Crucial Consumer Business (investors.micron.com)
6. 李群对物理学中若干最基础的理论至关重要 ↑ 17 HN Points 03:12 Lie groups are crucial to some of the most fundamental theories in physics (www.quantamagazine.org)
8. "汽车涂鸦"现象日益猖獗——但并非所有人都对此感到欣喜 ↑ 17 HN Points 02:56 ''Carspreading'' is on the rise – and not everyone is happy about it (www.bbc.co.uk)
9. Valve透露其是推动Windows游戏登陆Arm架构的幕后推手 ↑ 29 HN Points 12-03 Valve reveals it’s the architect behind a push to bring Windows games to Arm (www.theverge.com)
11. 卫星首次捕捉到巨型海啸的详细影像 ↑ 25 HN Points 12-03 Satellite captures the first detailed look at a giant tsunami (www.earth.com)
12. 波士顿地铁系统正逐步替换1890年代建造的木质悬挂接触网系统 ↑ 11 HN Points 12-02 Boston''s subway system replacing 1890s-era wooden catenary system (www.mbta.com)
15. Launch HN: Phind 3(YC S22)——每个答案都是一个微应用 ↑ 8 HN Points 01:47 Phind 3 (YC S22) – Every answer is a mini-app (news.ycombinator.com)
16. 逆向工程破解价值10亿美元的法律AI工具,导致逾10万份机密文件外泄 ↑ 21 HN Points 01:44 Reverse engineering a 1B Legal AI tool exposed 100k confidential files (alexschapiro.com)
17. Show HN: Fresh – 一款用Rust语言构建的新型终端编辑器 ↑ 3 HN Points #Show HN 12-03 Fresh – A new terminal editor built in Rust (sinelaw.github.io)
18. 发现1D康威生命游戏滑翔机,长达37亿个细胞 ↑ 3 HN Points 01:24 1D Conway''s Life glider found, 3.7B cells long (conwaylife.com)
19. Rocketable(YC W25期)正在招聘创始工程师,致力于实现软件公司的自动化。 HN Link #Job 01:01 Rocketable (YC W25) is hiring a founding engineer to automate software companies (www.ycombinator.com)
20. Steam Deck负责人透露Valve正在资助Windows游戏的ARM架构兼容性开发 ↑ 54 HN Points 01:00 Steam Deck lead reveals Valve is funding ARM compatibility of Windows games (frvr.com)
21. React 服务器端组件中的关键安全漏洞 ↑ 32 HN Points 12-03 Critical Security Vulnerability in React Server Components (react.dev)
22. React 和 Next.js 中的远程代码执行漏洞 ↑ 18 HN Points 00:00 RCE Vulnerability in React and Next.js (github.com)
23. VA工作人员指出甲骨文公司开发的电子健康记录系统存在危险错误 ↑ 19 HN Points 12-03 VA staff flag dangerous errors in Oracle-built electronic health record (www.washingtonpost.com)
24. universal-tbxi-patchset:用于启动System 7.5的Mac OS New World ROM补丁集 ↑ 11 HN Points 11-29 universal-tbxi-patchset: Mac OS New World ROM patchset to boot System 7.5 (github.com)
25. React 和 Next.js 中的关键远程代码执行漏洞 ↑ 28 HN Points 00:03 Critical RCE Vulnerabilities in React and Next.js (www.wiz.io)
27. 为什么每次运行游戏时我的耳机都会嗡嗡作响? ↑ 23 HN Points 12-03 Why are my headphones buzzing whenever I run my game? (alexene.dev)
28. 我们是否正在重蹈电信业崩盘的覆辙?这次的导火索是人工智能数据中心。 ↑ 10 HN Points 12-03 Are we repeating the telecoms crash with AI datacenters? (martinalderson.com)
31. 追踪美国5万亿美元医疗体系中的每一美元 ↑ 19 HN Points 12-03 Mapping Every Dollar of America''s 5T Healthcare System (healthisotherpeople.substack.com)
33. 据报道,Anthropic正筹备3000亿美元的首次公开募股(IPO)。 ↑ 23 HN Points 12-03 Anthropic reportedly preparing for 300B IPO (vechron.com)
34. C编译器的优化:实践之旅 ↑ 8 HN Points 11-29 Optimizations in C compilers: a practical journey (queue.acm.org)
35. 国会议员在选股方面比普通投资者高出47个百分点 ↑ 15 HN Points 12-03 Congressional lawmakers 47% pts better at picking stocks (www.nber.org)
36. 关键任务高级调度(ALAP/ASAP)系统 ↑ 5 HN Points 11-28 Mission Critical Advanced Scheduling (ALAP/ASAP) System (github.com)
37. 《地狱潜者2》开发者将安装体积从154GB大幅缩减至23GB ↑ 4 HN Points 12-03 Helldivers 2 devs slash install size from 154GB to 23GB (www.tomshardware.com)
38. 印度取消在智能手机预装国营网络安全应用的命令 ↑ 24 HN Points 12-03 India scraps order to pre-install state-run cyber safety app on smartphones (www.bbc.com)
40. HBO Max平台4K版《广告狂人》的惨败 ↑ 48 HN Points 12-03 The "Mad Men" in 4K on HBO Max Debacle (fxrant.blogspot.com)
42. 数学对数学家来说也很难理解 ↑ 10 HN Points 11-28 Mathematics is hard for mathematicians to understand too (www.science.org)
43. 我制作了以时间而非空间为坐标的地图 [视频] ↑ 3 HN Points 11-27 I made maps that show time instead of space [video] (www.youtube.com)
46. 研究人员发现微生物能从火星土壤中产生氧气 ↑ 7 HN Points 12-03 Researchers Find Microbe Capable of Producing Oxygen from Martian Soil (scienceclock.com)
47. 手写识别技术已显颓势 ↑ 6 HN Points 11-26 The Writing Is on the Wall for Handwriting Recognition (newsletter.dancohen.org)
48. Zig退出GitHub,称微软对人工智能的痴迷已毁了该平台 ↑ 9 HN Points 12-03 Zig quits GitHub, says Microsoft''s AI obsession has ruined the service (www.theregister.com)
49. 接受美国汽车标准将危及欧洲民众生命安全 ↑ 60 HN Points 12-03 Accepting US car standards would risk European lives (etsc.eu)
50. 音乐认知中是否存在普遍性特征?(2024) ↑ 3 HN Points 11-26 What, if anything, is universal to music cognition? (2024) (www.nature.com)
51. 人工智能正在瓦解现代社会的道德根基 ↑ 8 HN Points 12-03 AI Is Breaking the Moral Foundation of Modern Society (eyeofthesquid.com)
52. Quad9 DOH HTTP/1.1 服务终止公告,2025年12月15日 ↑ 5 HN Points 12-03 Quad9 DOH HTTP/1.1 Retirement, December 15, 2025 (quad9.net)
53. PostgreSQL 19中的超快速聚合操作 ↑ 9 HN Points 11-26 Super fast aggregations in PostgreSQL 19 (www.cybertec-postgresql.com)
54. 发送DMARC报告存在一定风险 ↑ 3 HN Points 12-03 Sending DMARC reports is somewhat hazardous (utcc.utoronto.ca)
55. 《过山车大亨》制作人克里斯·索耶访谈(2024年) ↑ 8 HN Points 12-03 Interview with RollerCoaster Tycoon''s Creator, Chris Sawyer (2024) (medium.com)
57. 日本游戏开发商面临字体困境,授权费从380美元飙升至2万美元 ↑ 28 HN Points 12-03 Japanese game devs face font dilemma as license increases from 380 to 20k (www.gamesindustry.biz)
58. 人工智能代理在日常压力下打破规则 ↑ 17 HN Points 11-27 AI Agents Break Rules Under Everyday Pressure (spectrum.ieee.org)
60. 反伽罗瓦洋葱:Tor电路流量的增强加密方案 ↑ 16 HN Points 11-26 Counter Galois Onion: Improved encryption for Tor circuit traffic (blog.torproject.org)
61. 加载ZX Spectrum——首个专门献给我们第一台个人电脑的博物馆 ↑ 6 HN Points 11-27 Load ZX Spectrum – first Museum dedicated to our first personal computer (loadzx.com)
62. 科勒可访问"端到端加密"马桶摄像头的图片 ↑ 14 HN Points 12-03 Kohler Can Access Pictures from "End-to-End Encrypted" Toilet Camera (varlogsimon.leaflet.pub)
63. StutterZero:针对口吃转录与修正的语音转换技术 ↑ 5 HN Points 11-26 StutterZero: Speech Conversion for Stuttering Transcription and Correction (arxiv.org)
65. id Software太懒了——《毁灭战士》本可以拥有PC扬声器音乐 ↑ 3 HN Points 12-03 Id Software was Lazy – DOOM could have had PC Speaker Music (lenowo.org)
67. 探索网络上的大型HTML文档 ↑ 4 HN Points 12-03 Exploring Large HTML Documents on the Web (calendar.perfplanet.com)
68. Show HN: 大黄 – 拉丁语C89图书馆 ↑ 7 HN Points #Show HN 11-30 Rhubarb – C89 Libraries in Latin (github.com)
72. 我们投入62.5亿美元,为2500万儿童提供财务上的先机。 ↑ 39 HN Points 12-03 We''re committing 6.25B to give 25M children a financial head start (www.onedell.com)
73. Qwen3-VL能够扫描两小时的视频,并精准定位几乎每个细节。 ↑ 33 HN Points 11-30 Qwen3-VL can scan two-hour videos and pinpoint nearly every detail (the-decoder.com)
76. 免费静态网站生成器,专为小型餐厅和咖啡馆打造 ↑ 12 HN Points 12-03 Free static site generator for small restaurants and cafes (lite.localcafe.org)
77. 使用MiniZinc解决鹧鸪包装问题 ↑ 8 HN Points 11-26 Solving the Partridge Packing Problem Using MiniZinc (zayenz.se)
79. 微软拒绝让我支付24美元账单,导致数千美元的Azure支出被冻结 ↑ 43 HN Points #Ask HN 12-03 Microsoft won''t let me pay a 24 bill, blocking thousands in Azure spending (news.ycombinator.com)
80. 诅咒电路:电荷泵电压减半 ↑ 8 HN Points 12-03 Cursed circuits: charge pump voltage halver (lcamtuf.substack.com)
81. 代码维基:加速您的代码理解 ↑ 9 HN Points 11-26 Code Wiki: Accelerating your code understanding (developers.googleblog.com)
84. IBM首席执行官称,在人工智能数据中心上的投资"不可能"获得回报 ↑ 35 HN Points 12-03 IBM CEO says there is ''no way'' spending on AI data centers will pay off (www.businessinsider.com)
86. 校园手机禁令与学生学业成就(NBER摘要) ↑ 5 HN Points 12-03 School Cell Phone Bans and Student Achievement (NBER Digest) (www.nber.org)
87. OpenAI宣布进入"红色警戒"状态,谷歌在人工智能竞赛中迎头赶上 ↑ 55 HN Points 12-02 OpenAI declares ''code red'' as Google catches up in AI race (www.theverge.com)
89. 100000 TPS处理十亿行数据:SQLite的超乎寻常的效能 ↑ 21 HN Points 12-03 100000 TPS over a billion rows: the unreasonable effectiveness of SQLite (andersmurphy.com)
91. TypeScript 7 进展报告 – 2025年12月 ↑ 17 HN Points 12-03 Progress on TypeScript 7 – December 2025 (devblogs.microsoft.com)
93. 430万浏览器遭感染:揭秘ShadyPanda长达7年的恶意软件攻击行动 ↑ 16 HN Points 12-03 4.3M Browsers Infected: Inside ShadyPanda''s 7-Year Malware Campaign (www.koi.ai)
94. 苹果智能手机出货量将首次超越三星,创14年来之最 ↑ 8 HN Points 12-03 Apple to beat Samsung in smartphone shipments for first time in 14 years (sherwood.news)
97. Poka Labs(YC S24)正在招聘创始工程师 HN Link #Job 12-03 Poka Labs (YC S24) Is Hiring a Founding Engineer (www.ycombinator.com)
98. 彼得·蒂尔的末日世界观是危险的幻想 ↑ 56 HN Points 12-03 Peter Thiel''s Apocalyptic Worldview Is a Dangerous Fantasy (jacobin.com)
99. 我设计并打印了一个定制鼻罩,帮助患有面部红斑狼疮的狗狗缓解症状。 ↑ 8 HN Points 11-30 I Designed and Printed a Custom Nose Guard to Help My Dog with DLE (snoutcover.com)
100. 《辐射2》的克里斯·阿维隆阐述其游戏设计理念 ↑ 8 HN Points 12-02 Fallout 2''s Chris Avellone describes his game design philosophy (arstechnica.com)
101. Show HN: RunMat – 带自动CPU/GPU路由的密集数学运算运行时 ↑ 4 HN Points #Show HN 12-02 RunMat – runtime with auto CPU/GPU routing for dense math (github.com)
104. Show HN: 土拨鼠——单二进制数据目录(不使用Kafka,不使用Elasticsearch) ↑ 17 HN Points #Show HN 12-02 Marmot – Single-binary data catalog (no Kafka, no Elasticsearch) (github.com)
105. Nixtml:用Nix编写的静态网站和博客生成器 ↑ 16 HN Points 12-02 Nixtml: Static website and blog generator written in Nix (github.com)
108. 同事间的亲近感能促进长期发展,但会降低短期产出。 ↑ 45 HN Points 12-02 Proximity to coworkers increases long-run development, lowers short-term output (pallais.scholars.harvard.edu)
109. 用于集合论类型的更简洁二进制决策图 ↑ 4 HN Points 12-02 Lazier Binary Decision Diagrams for set-theoretic types (elixir-lang.org)
110. 在浏览器中学习编写音乐代码,使用strudel.cc(免费开源) ↑ 5 HN Points 11-26 Learn to code music in the browser with strudel.cc (Free and open-source) (terryds.notion.site)
111. 加里·谭声称,由于Vibe编码技术,Zoho将面临破产。 ↑ 11 HN Points 12-02 Gary Tan claims Zoho will be out of business due to vibe coding (twitter.com)
113. TypeScript API 客户端/SDK 的向前兼容性与容错性 ↑ 3 HN Points 11-29 Forward compatibility and fault tolerance in TypeScript API Clients/SDKs (www.speakeasy.com)
114. 童年与职业生涯初期的系列片段 ↑ 11 HN Points 12-02 A series of vignettes from my childhood and early career (www.jasonscheirer.com)
115. 一块LED面板,显示你周围的航空动态 ↑ 3 HN Points 11-27 An LED panel that shows the aviation around you (github.com)
118. 男子接受干细胞移植后意外治愈艾滋病 ↑ 5 HN Points 12-02 Man unexpectedly cured of HIV after stem cell transplant (www.newscientist.com)
120. 2025年末跨运行时环境比较AWS Lambda ARM64与x86_64架构性能 ↑ 8 HN Points 12-02 Comparing AWS Lambda ARM64 vs. x86_64 Performance Across Runtimes in Late 2025 (chrisebert.net)
121. YouTube提升FreeBASIC性能(2019) ↑ 3 HN Points 11-30 YouTube increases FreeBASIC performance (2019) (freebasic.net)
123. 布莱恩·伊诺如何创造环境音乐1:机场音乐(2019) ↑ 3 HN Points 12-02 How Brian Eno Created Ambient 1: Music for Airports (2019) (reverbmachine.com)
124. Stride游戏引擎4.3版,支持.NET 10 ↑ 5 HN Points 11-26 Stride Game Engine 4.3 with .NET 10 Support (www.stride3d.net)
126. 为何Replicate加入Cloudflare ↑ 9 HN Points 12-02 Why Replicate is joining Cloudflare (blog.cloudflare.com)
127. Windows 更新后,密码图标不可见,请点击原位置 ↑ 13 HN Points 12-02 After Windows Update, Password icon invisible, click where it used to be (support.microsoft.com)
129. 苹果发布开放式体格分类视频模型 ↑ 6 HN Points 12-02 Apple Releases Open Weights Video Model (starflow-v.github.io)
130. 一次公交之旅与(至少)三次用户体验失败 ↑ 4 HN Points 11-30 A Bus Ride and the (At Least) 3x UX FAILs (bsdly.blogspot.com)
138. 2026年哪些作品将进入公共领域? ↑ 16 HN Points 12-02 What Will Enter the Public Domain in 2026? (publicdomainreview.org)
140. 逆向数学揭示了难题为何难以攻克 ↑ 3 HN Points 12-02 Reverse math shows why hard problems are hard (www.quantamagazine.org)
141. 荷兰将于2028年起对未实现资本利得征收年度税款 ↑ 14 HN Points 12-02 Netherlands to start taxing unrealized capital gains yearly from 2028 (kpmg.com)
142. 测试车型:1981年款日产280ZX涡轮增压版 ↑ 8 HN Points 11-30 Tested: 1981 Datsun 280ZX Turbo (www.caranddriver.com)
145. 未持有真实身份证件的美国航空旅客将被收取45美元费用 ↑ 20 HN Points 12-02 US air travelers without REAL IDs will be charged a 45 fee (apnews.com)
148. Anthropic:人工智能代理发现区块链智能合约漏洞,价值460万美元 ↑ 17 HN Points 12-02 Anthropic: AI agents find 4.6M in blockchain smart contract exploits (red.anthropic.com)
150. Genesis DB 是一个事件溯源数据库,以下是其技术洞察: ↑ 7 HN Points 11-26 Genesis DB is a event sourcing database and there are the technical insights (docs.genesisdb.io)
152. 苹果人工智能主管因Siri失败宣布退休 ↑ 44 HN Points 12-02 Apple AI Chief Retiring After Siri Failure (www.macrumors.com)
153. Codex、Opus、Gemini 试图打造反恐精英 ↑ 41 HN Points 11-29 Codex, Opus, Gemini try to build Counter Strike (www.instantdb.com)
156. 救命,我的Java对象消失了(而且不是GC的错) ↑ 12 HN Points 11-28 Help, My Java Object Vanished (and the GC Is Not at Fault) (arraying.de)
157. 为什么我生个孩子要花4万美元? ↑ 26 HN Points 12-02 Why Am I Paying 40k for the Birth of My Child? (aaronstannard.com)
158. 基于形状射线估算的无姿势3D高斯喷溅技术 ↑ 5 HN Points 12-02 Pose-free 3D Gaussian splatting via shape-ray estimation (arxiv.org)
159. 立法者欲禁用VPN——却根本不懂自己在做什么 ↑ 7 HN Points 12-02 Lawmakers Want to Ban VPNs–and They Have No Idea What They''re Doing (www.techdirt.com)
160. 家谱与NRS:当企业家谱界风波四起 ↑ 4 HN Points 11-27 Ancestry and the NRS: when the corporate genealogy world turns ugly (scottishgenes.blogspot.com)
161. 亚马逊因配送无人机在得州扯断互联网电缆面临美国联邦航空管理局调查 ↑ 11 HN Points 11-26 Amazon faces FAA probe after delivery drone snaps internet cable in Texas (www.cnbc.com)
162. Instagram首席执行官要求员工在2026年每周五天返岗办公 ↑ 11 HN Points 12-02 Instagram chief orders staff back to the office five days a week in 2026 (www.businessinsider.com)
163. 《如何参加会议》——《纽约时报》内部指南 ↑ 10 HN Points 12-02 "How to Attend Meetings" – Internal Guidelines from the New York Times (docs.google.com)
164. 谄媚是LLM的首个"黑暗模式" ↑ 20 HN Points 12-02 Sycophancy is the first LLM "dark pattern" (www.seangoedecke.com)
167. React 与 Remix 选择不同的未来 ↑ 9 HN Points 12-02 React and Remix Choose Different Futures (laconicwit.com)
169. Ghostty通过xterm.js API兼容性编译为WASM ↑ 27 HN Points 12-02 Ghostty compiled to WASM with xterm.js API compatibility (github.com)
171. 英特尔可能在2027年重返苹果电脑 ↑ 5 HN Points 12-02 Intel could return to Apple computers in 2027 (www.theverge.com)
172. Durin 是一个用于读取和写入矮人调试格式的库。 ↑ 3 HN Points 12-02 Durin is a library for reading and writing the Dwarf debugging format (github.com)
173. 高收入岗位的流失正在抑制住房需求 ↑ 14 HN Points 12-02 High-income job losses are cooling housing demand (jbrec.com)
174. 对《Ruby 不是一种严肃的编程语言》的回应 ↑ 8 HN Points 12-02 Response to Ruby Is Not a Serious Programming Language (robbyonrails.com)
175. Ask HN: 谁想被雇佣?(2025年12月) ↑ 26 HN Points #Ask HN 12-02 Who wants to be hired? (December 2025) (news.ycombinator.com)
176. DeepSeek-v3.2:推动开源大型语言模型的边界 [pdf] ↑ 30 HN Points 12-01 DeepSeek-v3.2: Pushing the frontier of open large language models [pdf] (huggingface.co)
177. Runway推出新型AI视频模型,在关键基准测试中超越谷歌与OpenAI ↑ 5 HN Points 12-01 Runway rolls out new AI video model that beats Google, OpenAI in key benchmark (www.cnbc.com)
178. 印度要求智能手机制造商预装国有网络安全应用 ↑ 35 HN Points 12-01 India orders smartphone makers to preload state-owned cyber safety app (www.reuters.com)
183. ImAnim:为ImGui应用程序提供现代动画功能 ↑ 6 HN Points 12-02 ImAnim: Modern animation capabilities to ImGui applications (github.com)
184. Ask HN: 谁在招聘?(2025年12月) ↑ 21 HN Points #Ask HN 12-02 Who is hiring? (December 2025) (news.ycombinator.com)
185. Show HN: 我构建了一个1.8MB的原生应用,其中包含自建的UI、视觉和AI库。 ↑ 11 HN Points #Show HN 12-01 I built a 1.8MB native app with self-built UI, vision and AI libraries (github.com)
187. 谷歌、英伟达与OpenAI——本·汤普森的战略洞见 ↑ 7 HN Points 12-01 Google, Nvidia, and OpenAI – Stratechery by Ben Thompson (stratechery.com)
188. 无聊激光眼模拟器:用网络摄像头为你的眼睛添加激光束 ↑ 5 HN Points #Ask HN 11-22 Boring Laser Eyes Simulator: Add laser beams to your eyes with your webcam (news.ycombinator.com)
189. Netflix从其移动应用程序到大多数现代电视机上移除了选角功能 ↑ 34 HN Points 12-01 Netflix Kills Casting from Its Mobile App to Most Modern TVs (www.macrumors.com)
190. WordPress插件漏洞导致英国政府预算办公室预算泄露[pdf] ↑ 22 HN Points 12-01 WordPress plugin quirk resulted in UK Gov OBR Budget leak [pdf] (obr.uk)
191. Ask HN: 戴尔/联想笔记本电脑近几代产品的质量是否不如十年前? ↑ 13 HN Points #Ask HN 12-01 Quality of recent gens of Dell/Lenovo laptops worse than 10 years ago? (news.ycombinator.com)
193. 一台70年代的矢量图形工作站 ↑ 19 HN Points 12-01 A vector graphics workstation from the 70s (justanotherelectronicsblog.com)
195. 制图师一直在瑞士地图中暗藏隐秘插图 ↑ 4 HN Points 12-01 Cartographers Have Been Hiding Covert Illustrations Inside of Switzerland''s Maps (eyeondesign.aiga.org)
196. 历史工程奇迹:揭秘建造过程的珍贵照片 ↑ 10 HN Points 11-25 Historic Engineering Wonders: Photos That Reveal How They Pulled It Off (rarehistoricalphotos.com)
197. WhatsApp将与其他即时通讯应用实现互通 ↑ 10 HN Points 12-01 WhatsApp will become interoperable with other messaging apps (tuta.com)
199. 维多利亚风格网页设计:等宽元素应用 ↑ 4 HN Points 11-25 Victorian-Style Lines for the Web: Elements of Identical Width (jacobfilipp.com)
200. 埃森哲将80万员工称为"革新者",推动向人工智能转型 ↑ 21 HN Points 12-01 Accenture dubs 800k staff ''reinventors'' amid shift to AI (www.theguardian.com)
202. 拥抱鱼——一款用于安全物理交互的柔性漂浮机器人 ↑ 4 HN Points 11-24 Cuddle Fish – A Soft Floating Robot for Safe Physical Interaction (kaikunze.de)
203. 1GB树莓派5,以及内存驱动的价格上涨 ↑ 6 HN Points 12-01 1GB Raspberry Pi 5, and memory-driven price rises (www.raspberrypi.com)
204. 英国政府计划赋予新权力,将异议运动定性为"颠覆活动" ↑ 18 HN Points 12-01 UK Government plans new powers to label dissenting movements as ''subversion'' (netpol.org)
206. Xlibre 是 Xorg Xserver 的一个分支,包含大量代码清理工作。 ↑ 22 HN Points 12-01 Xlibre is a fork of the Xorg Xserver with lots of code cleanups (x11libre.net)
207. 亚马逊云服务数据中心用水量与俄勒冈州癌症及流产率激增相关 ↑ 22 HN Points 12-01 AWS data centers'' water use tied to spike in cancer and miscarriages in Oregon (techoreon.com)
208. KDE Plasma 6.8 将彻底停止对 X11 的支持 ↑ 7 HN Points 12-01 KDE Plasma 6.8 Set to Drop X11 Support Completely (itsfoss.com)
209. 创造数学/建筑结构中的全身学习 [pdf] ↑ 3 HN Points 11-25 Whole-body Learning in Creating Mathematical/Architectural Structures [pdf] (archive.bridgesmathart.org)
210. Trifold 是一款利用 CDN 快速且低成本托管静态网站的工具。 ↑ 5 HN Points 11-24 Trifold is a tool to quickly and cheaply host static websites using a CDN (www.jpt.sh)
211. 使用反作弊系统的游戏及其与 GNU/Linux 或 Wine/Proton 的兼容性 ↑ 13 HN Points 12-01 Games using anti-cheats and their compatibility with GNU/Linux or Wine/Proton (areweanticheatyet.com)
212. DeepSeek发布开放权重数学模型,其性能达到国际数学奥林匹克竞赛金牌水平 ↑ 15 HN Points 12-01 DeepSeek releases open-weights math model with IMO gold medal performance (huggingface.co)
214. 工程师改造蚊子口器,打造3D打印喷嘴 ↑ 19 HN Points 11-27 Engineers repurpose a mosquito proboscis to create a 3D printing nozzle (techxplore.com)
216. Show HN: 奇趣探索——一款简单有趣的网络知识问答游戏 ↑ 3 HN Points #Show HN 12-01 CurioQuest – A simple web trivia/fun facts game (curioquest.fun)
217. N体模拟器——交互式三体问题与引力物理 ↑ 3 HN Points 11-25 N-Body Simulator – Interactive 3 Body Problem and Gravitational Physics (trisolarchaos.com)
218. 谷歌反重力公司刚刚清空了整个驱动器的数据 ↑ 37 HN Points 12-01 Google Antigravity just deleted the contents of whole drive (old.reddit.com)
223. 适用于Windows 2000的NVMe驱动程序,同时支持x86和Alpha AXP平台 ↑ 15 HN Points 11-26 NVMe driver for Windows 2000, targeting both x86 and Alpha AXP platforms (github.com)
224. "全面危机": 美国民众为医疗成本激增做好准备 ↑ 67 HN Points 12-01 ''A full-blown crisis'': Americans brace for a surge in healthcare costs (www.ft.com)
225. 仅返回ChatGPT公开发布前创建内容的搜索工具 ↑ 54 HN Points 12-01 Search tool that only returns content created before ChatGPT''s public release (tegabrain.com)
226. X210Ai是用于升级ThinkPad X201/200系列的新款主板。 ↑ 20 HN Points 12-01 X210Ai is a new motherboard to upgrade ThinkPad X201/200 (www.tpart.net)
227. Ly – 适用于 Linux 和 BSD 的轻量级 TUI(类似 ncurses)显示管理器 ↑ 14 HN Points 12-01 Ly – A lightweight TUI (ncurses-like) display manager for Linux and BSD (codeberg.org)
228. Show HN: 适用于Windows Shell的"速成测试"脚本 ↑ 3 HN Points #Show HN 11-27 A "Cram tests" script for windows shells (github.com)
229. 我测试了M5 iPad Pro的神经加速AI,发现宣传名不虚传 ↑ 12 HN Points 12-01 I Tested the M5 iPad Pro''s Neural-Accelerated AI, and the Hype Is Real (www.macstories.net)
230. 用谷歌浏览器替换我的窗口管理器 ↑ 8 HN Points 11-28 Replacing My Window Manager with Google Chrome (foxmoss.com)
233. 人工智能刚刚证明了埃尔德什问题第124题 ↑ 118 HN Points 11-30 AI just proved Erdos Problem #124 (www.erdosproblems.com)
235. 植入音频驱动程序的恶意软件正在通过系统麦克风进行隐蔽录音 ↑ 21 HN Points 12-01 Malware embedded into audio driver is silently recording from system mic (twitter.com)
236. 关于:23andMe公司客户数据安全漏洞诉讼案 ↑ 10 HN Points 12-01 In Re: 23andMe, Inc. Customer Data Security Breach Litigation (www.23andmedatasettlement.com)
237. 迈克·戈登与硬件验证 ↑ 4 HN Points 11-24 Mike Gordon and Hardware Verification (lawrencecpaulson.github.io)
239. 美国就业市场是否临近悬崖? ↑ 15 HN Points 12-01 Is America''s jobs market nearing a cliff? (www.economist.com)
240. Grokipedia 是维基百科的对立面 ↑ 6 HN Points 12-01 Grokipedia Is the Antithesis of Wikipedia (www.404media.co)
243. Bricklink暂停35个国家市场平台运营(事件持续发展中) ↑ 8 HN Points 12-01 Bricklink suspends Marketplace operations in 35 countries (developing story) (jaysbrickblog.com)
245. Tekserve联合创始人戴维·勒纳去世 ↑ 3 HN Points 11-27 David Lerner, cofounder of Tekserve, has died (www.nytimes.com)
249. "胸部检查"——用于验证CDN后端网站是否托管在伊朗的技术 ↑ 65 HN Points 12-01 "Boobs check" – Technique to verify if sites behind CDN are hosted in Iran (twitter.com)
251. 如何在遭遇自杀式无人机袭击时操作手机 ↑ 4 HN Points 12-01 How to run phones while being struck by suicide drones (nasa.cx)
252. 据我统计,Linux在桌面市场占有11%的份额。以下是我的计算过程: ↑ 13 HN Points 12-01 By my count, Linux has 11% of the desktop market. Here''s how I got that number (www.zdnet.com)
254. 你想要微服务,但你真的需要吗? ↑ 13 HN Points 12-01 You Want Microservices, but Do You Need Them? (www.docker.com)
255. 思维程序提示比思维链提升15% ↑ 7 HN Points 12-01 Program-of-Thought Prompting Outperforms Chain-of-Thought by 15% (arxiv.org)
258. 加里·谭表示,如今MCP(男性控制计划)"几乎不起作用"。 ↑ 8 HN Points 12-01 Garry Tan says MCP "barely works" today (www.reddit.com)
264. ETH苏黎世:数字设计与计算机体系结构;227-0003-10L,2025年春季学期 ↑ 26 HN Points 12-01 ETH-Zurich: Digital Design and Computer Architecture; 227-0003-10L, Spring, 2025 (safari.ethz.ch)
265. 欧洲航天局哨兵-1D卫星传回首批高分辨率图像 ↑ 12 HN Points 12-01 ESA Sentinel-1D delivers first high-resolution images (www.esa.int)
266. Langjam 游戏开发马拉松:创建一门编程语言,然后用它制作游戏 ↑ 6 HN Points 11-30 Langjam Gamejam: Build a programming language then make a game with it (langjamgamejam.com)
267. 我做了一个更安静的空气净化器 ↑ 16 HN Points 11-25 I Made a Quieter Air Purifier (chillphysicsenjoyer.substack.com)
268. LLVM-MOS – Clang LLVM分支,专为6502处理器优化 ↑ 10 HN Points 12-01 LLVM-MOS – Clang LLVM fork targeting the 6502 (llvm-mos.org)
269. RetailReady(YC W24)正在招聘助理产品经理 HN Link #Job 12-01 RetailReady (YC W24) Is Hiring Associate Product Manager (www.ycombinator.com)
270. Show HN: 修复Rust中的谷歌纳米香蕉像素艺术 ↑ 13 HN Points #Show HN 11-26 Fixing Google Nano Banana Pixel Art with Rust (github.com)
271. 谷歌首席执行官表示,“氛围编程”让软件开发变得“更有趣” ↑ 5 HN Points 12-01 Google CEO says ‘vibe coding’ made software development ‘so much more enjoyable’ (www.google.com)
273. 《思考游戏》纪录片——谷歌DeepMind专题片 ↑ 3 HN Points 12-01 The Thinking Game Film – Google DeepMind Documentary (thinkinggamefilm.com)
274. 现代汽车正在监视你。以下是你可以采取的应对措施 ↑ 14 HN Points 11-30 Modern cars are spying on you. Here''s what you can do about it (apnews.com)
276. Show HN: 我设计了一款2毫米微型轴承D20环,可自由旋转20秒。 ↑ 8 HN Points #Show HN 11-26 I engineered a 2mm micro-bearing D20 ring that free-spin for 20 seconds (news.ycombinator.com)
278. 南德克萨斯地热技术突破为德州电力可靠性委员会开启新纪元 ↑ 7 HN Points 11-30 Geothermal Breakthrough in South Texas Signals New Era for Ercot (www.powermag.com)
279. 发现智能手机已渗透进我的生活 ↑ 5 HN Points 11-30 Discovering that my smartphone had infiltrated my life (utcc.utoronto.ca)
282. 别扔掉你的旧电脑——它比市面上任何NAS设备都更出色 ↑ 7 HN Points 11-30 Don''t throw away your old PC–it makes a better NAS than anything you can buy (www.howtogeek.com)
283. Windows驱动器号不限于A-Z ↑ 15 HN Points 11-30 Windows drive letters are not limited to A-Z (www.ryanliptak.com)
284. 挪威主权财富基金将在微软人权报告投票中支持该报告,反对纳德拉 ↑ 15 HN Points 11-30 Norway wealth fund to vote for human rights report at Microsoft, against Nadella (www.cnbc.com)
285. 斯坦福大学发布保罗·赫加蒂更新版CS193p SwiftUI课程 ↑ 4 HN Points 11-26 Paul Hegarty''s updated CS193p SwiftUI course released by Stanford (cs193p.stanford.edu)
288. 犯罪分析师转型数据科学家的建议 ↑ 9 HN Points 11-23 Advice for crime analyst to break into data science (andrewpwheeler.com)
289. 硅谷在白宫的代言人正为自己和朋友谋取私利 ↑ 25 HN Points 11-30 Silicon Valley''s Man in the White House Is Benefiting Himself and His Friends (www.nytimes.com)
291. RL比你想象的更不信息高效 ↑ 5 HN Points 11-27 RL is more information inefficient than you thought (www.dwarkesh.com)
292. CachyOS:快速且可定制的Linux发行版 ↑ 19 HN Points 11-30 CachyOS: Fast and Customizable Linux Distribution (cachyos.org)
293. 哥本哈根陷阱:西方如何将消极被动塑造成唯一安全策略 ↑ 36 HN Points 11-30 The Copenhagen Trap: How the West made passivity the only safe strategy (aliveness.kunnas.com)
294. Show HN: 实时系统追踪新闻在20万个网站上的传播轨迹 ↑ 5 HN Points #Show HN 11-26 Real-time system that tracks how news spreads across 200k websites (yandori.io)
295. 以色列国防军禁止使用安卓手机:iPhone现为强制要求 ↑ 5 HN Points 11-30 Israel''s IDF Bans Android Phones: iPhones Now Mandatory (www.forbes.com)
296. 哈瑞宝移动电源和耳机里藏着什么? ↑ 12 HN Points 11-28 What''s Hiding Inside Haribo''s Power Bank and Headphones? (www.lumafield.com)
297. 微缩世界中的魔法师(2014) ↑ 3 HN Points 11-25 Magicians of the Miniature (2014) (nzpetesmatteshot.blogspot.com)
299. Jiga(YC W21)正在招聘产品设计师 HN Link #Job 11-30 Jiga (YC W21) Is Hiring Product Designer (www.ycombinator.com)