Weekly Digest — 2026-W33 Weekly

(1) Firefox is now the last major browser that still supports uBlock Origin 🔗

Firefox 成为仍支持 uBlock Origin 的最后一款主流浏览器

(2) Qwen 3.8 27B 🔗

Qwen 3.8-27B 模型

(3) Tracking down the 16-year-old WAL-reset SQLite bug 🔗

追踪这起持续16年的 SQLite WAL 重置漏洞

(4) Muse Glimmer: 30B-parameter model optimized for always-on local agent workflows 🔗

Muse Glimmer：面向持续本地代理工作流优化的30B参数模型

(5) GLM-5.3: Frontier coding with emergent cyber capabilities 🔗

GLM-5.3：具备涌现性网络能力的前沿编码

(6) France to ban unsolicited telemarketing calls 🔗

法国将全面禁止未经同意的电话推销

(7) DeepSeek V4 Pro 0813 🔗

DeepSeek V4 Pro 0813

(8) AI is removing the middle class of software engineering? 🔗

AI 正在吞并软件工程的中产阶层

(9) Gemini 3.7 Flash 🔗

Gemini 3.7 快闪版

(10) As AI eats the web, the internet’s collective memory is disappearing 🔗

随着 AI 吃掉网络，互联网的集体记忆正在消失

(11) Why does Opus 5 feel worse to work with? 🔗

为什么 Opus 5 的使用感更差？

(12) Every Fucking Website (2020) 🔗

《Every Fucking Website》（2020）

(13) How I use LLMs to learn complex topics 🔗

我如何用大语言模型学习复杂主题

(14) DeepSeek Harness developer preview 🔗

DeepSeek Harness 框架

(15) Qwen3.8-2.4T 🔗

Qwen3.8-2.4T-A95B 模型

(16) Accelerating GPT-5.6 Sol Ultrafast 🔗

加速 GPT-5.6 的 Sol Ultrafast

(17) Spaghettifying DRAM 🔗

将 DRAM 拆解为意面状结构

(18) Stealing Reasoning Traces from Proprietary LLM APIs 🔗

从专有大语言模型 API 窃取推理痕迹

(19) Delta 🔗

Delta

(20) Docker Sandboxes – Disposable, isolated sandboxes for AI agents 🔗

Docker 沙盒：面向 AI 代理的一次性隔离沙箱

(21) Windows 11's built-in Weather app wastes more than 1 GB of RAM 🔗

Windows 11 内置天气应用耗费超过 1GB RAM

(22) The UK's war on anonymity has come to America 🔗

英国对匿名性的打压蔓延至美国

(23) Compression is prediction 🔗

压缩即预测

(24) Mark Zuckerberg attacks 'closed' AI rivals as Meta returns to open models 🔗

扎克伯格抨击封闭 AI 对手，Meta 重回开放模型

(25) Grok 4.6 🔗

Grok 4.6

(26) License plate reader searches should require a warrant 🔗

车牌识别搜索应当获得授权才可进行

(27) Tl;dv: Over 180k meetings left wide open 🔗

Tl;dv：超过18万次会议被暴露

(28) uBlock Origin Is Giving Up the Fight to Keep Ads Off Facebook 🔗

uBlock Origin 放弃对 Facebook 广告的拦截

(29) Mea Culpa – Dark Hours 🔗

致歉信：黑暗时刻

(30) Asus Bike Booster 🔗

华硕自行车智能助力器

(31) AI isn’t outthinking mathematicians, it’s out-remembering them 🔗

AI 不是在超越数学家，而是在超越他们的记忆力

(32) Claude: System Prompts 🔗

Claude：系统提示

(33) England set to be one of the first countries to eliminate hepatitis C 🔗

英格兰有望成为首批根除丙型肝炎的国家之一

(34) Firefox for iOS now has a native adblocker 🔗

iOS 版 Firefox 现已内置原生广告拦截器

(35) Show HN: Needle2: 14MB agentic LLM for phones, wearables, smart home and robots 🔗

Needle2：14MB 的设备端智能代理型大模型

(36) OpenAI’s head of ethics leaves less than a year after joining 🔗

OpenAI 道德与伦理主管任职不足一年即离职

(37) My server is a phone now 🔗

我的服务器现在是一部手机

(38) 2026 Eclipse Webcams 🔗

2026 年日食网络摄像头

(39) Google is making private AI practical with homomorphic encryption 🔗

谷歌通过同态加密让私有 AI 变得可实用

(40) Semaglutide linked to lower predicted dementia risk 🔗

西马鲁肽与较低的预测性痴呆风险相关

(41) Controversial creators are benefiting from monetization programs run by Meta 🔗

争议性创作者从 Meta 的变现计划获利

(42) LinkedIn CringeBot 3000 🔗

领英尴尬机器人 3000

(43) Count Binface receives over a quarter of votes in Clacton by-election 🔗

Count Binface 在 Clacton 补选中获逾四分之一票

(44) Codex in ChatGPT desktop app for Linux is now in preview 🔗

ChatGPT 桌面应用在 Linux 上的 Codex 功能现已进入预览

(45) Going Dark, and the era of law enforcement hacking 🔗

黑暗来临：执法黑客时代

(46) How Claude marks AI-generated content 🔗

Claude 如何标注 AI 生成的内容

(47) Gloomberb 🔗

Gloomberb

(48) Go is an ideal language for AI-assisted software engineering 🔗

为何 Go 是 AI 辅助软件工程的理想语言

(49) H3-metal – Native MiniMax-H3 inference for Apple Silicon 🔗

H3-metal — 面向 Apple Silicon 的本地 MiniMax-H3 推理

(50) Auto-research with codex: How I achieved a 232x Faster Kernel 🔗

用 Codex 自动化研究：我如何让内核速度提升 232 倍

(51) Understanding is the new bottleneck 🔗

理解力成为新的瓶颈

(52) Mojo 1.0 🔗

Mojo 1.0 发布

(53) Choose Boring Technology (2015) 🔗

选择无聊的技术（2015）

(54) Sonic Pi v5 🔗

Sonic Pi 5 发布

(55) Super El Niño Keeps Growing as New Forecasts Reach Record Territory Ahead Winter 🔗

超级厄尔尼诺继续增强，预报达到创纪录水平

(56) Stowaway – Take the window seat on any plane or satellite overhead 🔗

Stowaway：在任意航班抢靠窗座位并查看卫星的工具

(57) Deutsche Bank becomes first foreign yuan clearing bank in Europe 🔗

德意志银行成为欧洲首家清算人民币的境外银行

(58) Mistral OCR 4.1 🔗

Mistral OCR 4.1

(59) Mars Bar from 1991 found – and it's 20g bigger than today's 🔗

1991 年 Mars Bar 的新发现：重量比现今多 20 克

(60) A 3rd World Embedded Engineer Responds to "RISC-V They Should Have Known Better" 🔗

来自发展中国家的嵌入式工程师回应：RISC-V 他们本应更懂得

(61) Ordinary Abundance 🔗

日常的丰盈

(62) The other Sean Byrne doesn't exist 🔗

另一位 Sean Byrne 不存在

(63) Nine PBS sues Iron Mountain over blocked access to archival data 🔗

Nine PBS 因被限制访问档案数据而起诉 Iron Mountain

(64) Taxi drivers rarely die of Alzheimer's 🔗

出租车司机罹患阿尔茨海默病的风险较低

(65) What Happened to HackerOne? 🔗

HackerOne 到底发生了什么？

(66) Everything you do is being recorded 🔗

你所做的一切都在被记录

(67) Seven books I keep close because I love them 🔗

七本我最珍爱的书

(68) Hello, me. It's been a while 🔗

你好，我，是我。好久不见。

(69) Research papers using "kidney disappointment" instead of "kidney failure" 🔗

研究论文把“kidney disappointment”代替“kidney failure”？

(70) RISC-V: They Should Have Known Better 🔗

RISC‑V：本应更早看清问题

(71) The hardest working font in Manhattan (2025) 🔗

曼哈顿最忙碌的字体（2025）

(72) London Underground begins scanning passengers' faces 🔗

伦敦地铁开始对乘客进行人脸扫描

(73) AI by Hand 🔗

AI by Hand

(74) llama.cpp 🔗

llama.cpp 项目

(75) In Australia, a home battery boom has helped cut wholesale power prices 🔗

澳大利亚家庭电池热潮帮助削减批发电价

(76) Nvidia's Risky Business 🔗

英伟达的高风险商业策略

(77) Illinois just passed a law that puts Linux on the hook for age verification 🔗

伊利诺伊州通过法案，将操作系统纳入年龄验证责任

(78) Grok Bot 🔗

Grok Bot

(79) Grok 4.6 scores 61 on the Artificial Analysis Intelligence Index 🔗

Grok 4.6 在人工分析智能指数上得到61分

(80) RustDesk now supports true unattended remote access on Wayland 🔗

RustDesk 在 Wayland 上实现真实的无监督远程访问

(81) Why tiny JPEGs look different in Chrome 🔗

Chrome 中小尺寸 JPEG 的显示差异原因

(82) Abdominal fat predicts heart disease risk better than BMI 🔗

腹部脂肪比BMI更能预测心血管疾病风险

(83) Maximizing the value of your Claude Code sessions 🔗

最大化 Claude Code 会话的价值

(84) Ask HN: What are you working on? (August 2026) 🔗

Ask HN：你在做什么？（2026年8月）

(85) Apple Silicon and macOS VMs: Faster LLM Inference with llama.cpp 🔗

Apple Silicon 与 macOS 虚拟机：借助 llama.cpp 实现更快的 LLM 推理

(86) Tell HN: Cloudflare silently injects its analytics when you switch nameservers 🔗

Tell HN: Cloudflare 在切换域名服务器时悄然注入分析代码

(87) Working with AI feels more like leadership than coding 🔗

与 AI 共事更多是领导力，而非编码

(88) Show HN: Woxi - Open-source Mathematica / Wolfram Language reimplementation 🔗

Show HN：Woxi：开源的 Mathematica / Wolfram Language 重实现

(89) Someone is running mass vulnerability scans, spoofing AI bots like ClaudeBot 🔗

有人在进行大规模漏洞扫描，伪装成 ClaudeBot 等 AI 机器人

(90) Tim King, AmigaDOS developer, has died 🔗

AmigaDOS 开发者 Tim King 去世

(91) Qwen3.8-27B 🔗

Qwen3.8-27B 模型

(92) Chicken Scheme 6.0 🔗

Chicken Scheme 6.0 发布

(93) Silicon Valley misreads science fiction and undermines democracy 🔗

硅谷对科幻的误读正在削弱民主

(94) Show HN: Scroll through all 43252003274489856000 Rubik's Cube states 🔗

Show HN：滚动浏览全部 43,252,003,274,489,856,000 种魔方状态

(95) Cool URIs Don't Change (1998) 🔗

稳定的 URI 不会改变（1998）

(96) At-home test for infected ticks could improve Lyme Disease diagnosis 🔗

首个在家检测感染蜱虫的测试或提升莱姆病诊断

(97) Software Engineering fundamentals matter more 🔗

软件工程基础现在比以往任何时候都重要

(98) Auto mode is now the default in Claude Code 🔗

Claude Code 的自动模式现已设为默认

(99) Squeak 6.1 🔗

Squeak 6.1 发布

(100) Models Are Getting Dumber on Purpose 🔗

模型在有意降级以提升安全性

(101) Tom Stanton's supersonic trebuchet breaks sound barrier with gravity alone 🔗

汤姆·斯坦顿的超音速投石机仅靠重力突破声障

(102) Mushroom behind 'tiny people' hallucinations identified 🔗

识别出引发小人幻觉的蘑菇

(103) Principia Mathematica is modern and insightful 🔗

《Principia Mathematica》现代且富有洞见

(104) Donkey.bas is 45 Years Old – 131 line of Glory 🔗

Donkey.bas 已有 45 年——131 行的荣耀

(105) Asynchronous I/O in DuckDB: Work, Thread, Work 🔗

DuckDB 的异步 I/O：工作、线程、工作

(106) WorldClaw Agentic 3D open-world generation at scale 🔗

WorldClaw Agentic：大规模3D开放世界生成

(107) Learning more about Claude's mathematical capabilities 🔗

进一步了解 Claude 的数学能力

(108) Show HN: iPhone app takes simultaneous images from 2 lenses, fuses into 1 photo 🔗

Show HN：iPhone 应用实现两镜头同时拍摄并融合成一张照片

(109) A spectre is haunting Unicode 🔗

Unicode 遇到幽灵字符

(110) Woman pulled over twice after Flock-linked software connected her to homicide 🔗

Flock 系统误将她与凶杀案相关联，导致她两次被拦下

(111) More than 10 firms pay up to $100k a month for access to Truth Social posts 🔗

超过十家公司每月最高支付十万美元获取 Truth Social 帖子访问权限

(112) US conducted mass spying campaign against leftwing and anti-ICE protesters 🔗

美国对左翼团体与反移民执法抗议者进行大规模监控

(113) Nvidia Nemotron 3.5 Lightning and NeMo Switchyard 🔗

英伟达 Nemotron 3.5 Lightning 与 NeMo Switchyard

(114) What sort of maths are LLMs good at? 🔗

大型语言模型擅长哪些数学领域？

(115) Cultivating a state of mind where new ideas are born (2023) 🔗

孕育新想法的心态（2023）

(116) Single log line is 49KB+ (ext4) / 110KB+ (btrfs) of systemd-journald disk writes 🔗

systemd 日志单行在 ext4/btrfs 下的极大写入

(117) What's the best programming language for coding agents? 🔗

哪种编程语言最适合为智能代理编码？

(118) HTML over WebSockets: real-time SPAs with barely any JavaScript 🔗

通过 WebSockets 的 HTML：几乎不需要 JavaScript 的实时单页应用

(119) Shade Map 🔗

Shade Map 阴影地图

(120) Stop Killing Games: It's time to sue Sony, join us 🔗

停止扼杀游戏：现在就应该起诉索尼，加入我们

(121) NP-overrated 🔗

NP-被高估了吗

(122) DeepSeek peak/off-peak pricing update 🔗

DeepSeek 峰值与非峰值定价更新

(123) The AI Credit Resale Economy 🔗

AI 计算信用再销售经济

(124) Mistral Patent for “Code implemented tool calls” 🔗

Mistral 专利：‘代码实现的工具调用’

(125) France's top court blocks social media ban for under-15s 🔗

法国最高法院阻止未成年人使用社交媒体的禁令

(126) Parametron: 50s Japanese computer that uses neither transistors nor vacuum tubes 🔗

Parametron：不使用晶体管或真空管的50年代日本计算机

(127) I requested a copy of my data from McDonald’s loyalty program 🔗

我请求了麦当劳忠诚计划的数据副本

(128) Humanising LLM Outputs Is Dumb 🔗

将 LLM 输出人性化其实很愚蠢

(129) What happens when an LLM never sees material beyond fifth grade? 🔗

当大型语言模型从不接触五年级以上材料时会怎样？

(130) Where did the old web go? We followed 657,607 links to find out 🔗

旧网站去了哪儿？我们追踪了657,607条链接来找答案

(131) I made tinnitus my friend, then it disappeared [video] 🔗

把耳鸣当朋友，结果消失了 [视频]

(132) CFTC declares market emergency, orders Kalshi to continue to operate in New York 🔗

CFTC 宣布市场紧急状态，命令 Kalshi 在纽约继续运营

(133) I turned my RSS feeds into an e-ink newspaper to stop reading on my phone 🔗

我把 RSS 订阅变成电子墨水报纸以减少看手机

(134) Don't classify, hallucinate 🔗

别再做分类，别让模型产生幻觉！

(135) Rust SIMD on the GPU 🔗

Rust 在 GPU 上的 SIMD

(136) Magnitude 7.7 Earthquake – 68 km NNW of Ende, Indonesia 🔗

印度尼西亚恩德附近地震：M7.7 级，北偏西68公里

(137) Stripe Clinches over $7B Deal to Buy AI Firm OpenRouter 🔗

Stripe 将以超过70亿美元收购 OpenRouter

(138) Choosing an AI model: one prompt, 11 models, different results 🔗

同一提示下 11 个模型输出迥异

(139) Introducing Toast 1 🔗

Toast 1 发布

(140) eigendrum 🔗

Eigendrum

(141) The “mechanical miracle” that ruined Mark Twain’s life 🔗

The 'mechanical miracle' that ruined Mark Twain’s life

(142) Dear people who work at the airport 🔗

致机场工作的你们

(143) US hires over 2k video gamers as air traffic controllers 🔗

美国雇用两千多名视频游戏玩家担任空中交通管制员

(144) Bluesky Protocol Services 🔗

Bluesky 协议服务上线

(145) How Compaction Works in Pi 🔗

Pi 中的压缩如何工作

(146) Show HN: Voice driven murder mystery, Interview AI suspects with your voice 🔗

Show HN：用语音与 AI 嫌疑人对话的谋杀悬疑游戏

(147) New Bedford police officer accused of using Flock cameras to track ex-partner 🔗

新贝德福德警官被指控使用 Flock 摄像头追踪前伴侣

(148) Flutter 3.47 🔗

Flutter 3.47 新特性一览

(149) Kubernetes on Oxide: How customer needs shaped our integrations 🔗

Oxide 上的 Kubernetes：客户需求如何塑造我们的集成

(150) Analyzing data from Silicon Valley ventures and founders prosecuted for fraud 🔗

分析来自硅谷风险投资与被控欺诈的创始人数据

(151) Company Offering '100% Human-Written, Never AI' Medical Research Is 100% AI 🔗

声称‘100% 人工撰写、从不使用 AI’ 的医学研究公司 实际上 全部由 AI 生成

(152) Facebook ads are so hard to block that uBlock Origin stopped filtering them 🔗

Facebook 广告难以拦截，uBlock Origin 停止过滤

(153) Amazon backs power plant that may become top source of US climate pollution 🔗

亚马逊支持的发电厂或成美国最大的气候污染源

(154) 50k Boat Names 🔗

5万条船名数据集

(155) Ask HN: In your experience, what are sound conventions for e-ink UI development? 🔗

Ask HN：在你们的经验中，电子墨水界面开发有哪些成熟的设计准则？

(156) The Human Is the Loop 🔗

人是循环中的一环

(157) Jolt: Clojure compiler implemented with Chez Scheme 🔗

Jolt：用 Chez Scheme 实现的 Clojure 编译器

(158) Magnitude 7.4 Earthquake – 5 km S of San José del Palmar, Colombia 🔗

哥伦比亚圣何塞德尔帕尔马尔以南5公里发生7.4级地震

(159) Thanks to social media, canned sardines are a scarcity on the supermarket shelf 🔗

多亏社交媒体，罐头沙丁鱼成了超市货架上的稀缺品

(160) What I learned by putting GitHub Copilot behind a MitM proxy 🔗

把 GitHub Copilot 放在中间人代理后学到的教训

(161) Exploiting System Management Mode with a very long interrupt 🔗

利用极长中断攻击系统管理模式

(162) 'Pervert glasses': Backlash against Meta's smart glasses grows 🔗

“变态眼镜”标签：对 Meta 智能眼镜的反对声日益高涨

(163) OpenChamber: An Agentic Development Environment 🔗

OpenChamber：一个具代理能力的开发环境

(164) Making holograms with a pen plotter 🔗

用笔绘图机制作全息图

(165) Show HN: Eigendrum - Draw any shape and hear what it sounds like as a drum 🔗

Show HN：Eigendrum——绘制任意形状并听到它的鼓声

(166) U of Michigan drops first-semester grades to ‘curb mental health crisis’ 🔗

密歇根大学将第一学期成绩下调以缓解心理健康危机

(167) AI in drug discovery – what it is, where we stand and the path forward 🔗

药物发现中的人工智能：现状、意义与未来路径

(168) The weekend is 100 years old 🔗

周末已成百年历史

(169) A controversial Alzheimer's surgery is said to reverse symptoms 🔗

一项有争议的阿尔茨海默病手术据称能逆转症状

(170) Run Android ARM64 VR APKs on Apple Vision Pro 🔗

在 Apple Vision Pro 上运行 Android ARM64 VR 应用包

(171) Patterns and problems in emerging multi-agent systems 🔗

新兴多智能体系统的模式与挑战

(172) When Genius Fails: The Intellectual Arrogance of the AI Labs 🔗

AI 实验室的傲慢：天才失败时刻

(173) Delphi 13 Community Edition Is Now Available 🔗

Delphi 13 社区版现已可用

(174) RISC-V: They should have known better 🔗

RISC-V：他们本应更清楚地知道的问题

(175) The TEMU-Fication of Software, Digital Goods and Services 🔗

TEMU 化的软件、数字商品与服务

(176) Confessions of a Long-Distance Sailor 🔗

远洋水手的自白

(177) The main way I've seen people turn ideologically crazy (2025) 🔗

我见过的人们走向极端的主要方式（2025）

(178) Pixel Watch 5 🔗

Pixel Watch 5

(179) Manus will return to operating as an independent company 🔗

Manus 将重新以独立公司身份运营

(180) The mathematical beauty of hyperbezier curves 🔗

超贝塞尔曲线的数学美

(181) Tail-call optimization in C is relatively recent (2025) 🔗

C 语言尾调用优化实现相对较新

(182) SparrowMap – Cameras that watch government vehicles 🔗

SparrowMap：监控政府车辆的摄像头

(183) AI agents lie, cheat and steal. That is putting off users 🔗

AI 代理在说谎、作弊和窃取数据——这让用户望而却步

(184) Ultraviolet Bird Photography 🔗

紫外线鸟类摄影

(185) How we used to get jobs: A newspaper classifieds story 🔗

找工作往事：报纸刊登的分类广告

(186) Show HN: Git-knife – Edit commit messages, authors, and dates like a spreadsheet 🔗

Git-knife：像电子表格一样编辑提交信息、作者和日期

(187) Show HN: Ante, a coding agent in a single binary that runs offline 🔗

Ante：离线单二进制的编程代理

(188) LFM2.5 2.6B model competitive with 4x larger models 🔗

LFM2.5 2.6B 模型：可与四倍规模的模型竞争

(189) Engineers will do anything to avoid learning from history 🔗

工程师为了避免从历史中学习会做任何事

(190) Lovable raises $400M Series C 🔗

Lovable 完成4亿美元C轮融资

(191) High-Res Photo Shows Sand-Capped Butte Rising from Mars Plain of Polygons 🔗

火星 polygons 平原上沙帽小丘的高分辨率照片

(192) St Lucie Nuclear Reactor Unit 1 manually shutdown, 3 control rods drop into core 🔗

St. Lucie 核电站1号机手动停机，三根控制棒落入堆芯

(193) Blog about things you don't understand yet 🔗

还不懂的事物的博客

(194) Breaking the WAL 🔗

打破 WAL：一个 WAL 重置漏洞的揭秘

(195) A fortuitous decade as an indie software developer 🔗

作为独立软件开发者的幸运十年

(196) Exploring Claude/GPT Knowledge Cutoffs and Pre-Training Timelines 🔗

探索 Claude/GPT 的知识截断与预训练时间线

(197) Worms: The Future of Yesterday's Worms Today 🔗

Worms：昨天的虫子的未来，今天的 Worms

(198) Anthropic's 'Watermark' Text Adulteration in Claude Is a Perversion of Writing 🔗

Anthropic 的 Claude 水印文本篡改是对写作的亵渎

(199) Launch HN: Discovered Materials (YC P26) – AI agents to discover new materials 🔗

Launch HN：Discovered Materials – 用 AI 代理发现新材料

(200) Reviving a four year old reMarkable 2 🔗

让四年前的 reMarkable 2 再焕发活力

(201) Kinney Drugs pulls back AI phone assistant after hundreds of customer complaints 🔗

Kinney Drugs 在数百起客户投诉后撤回人工智能电话助手

(202) John C. Lilly on solid state intelligence and the elimination of man (1978) 🔗

约翰·C·莉莉关于固态智能与消除人类的观点（1978）

(203) A shell exclamation mark is not for yelling. Be lazy 🔗

Shell 的感叹号并非用来喊话——要尽量简洁

(204) How We Pushed CDC into Postgres 🔗

我们如何把 CDC 引入 Postgres

(205) The tragedy of the commons, AI edition 🔗

AI时代的公地悲剧

(206) Stop sending me huge PRs; a rant 🔗

别再给我发超大 PR 的牢骚

(207) Does anyone run Postgres without PgBouncer? 🔗

有人在不使用 PgBouncer 的情况下运行 Postgres 吗？

(208) NIH is ending a key grant for budding clinical researchers 🔗

NIH 结束面向新兴临床研究者的关键资助

(209) I built a 500k-domain search engine for makers in a weekend for $10 🔗

周末用 10 美元建立一个面向 Maker 的 50 万域名搜索引擎

(210) The Ploopy A+ Trackball Is Here 🔗

Ploopy A+ 轨迹球来了

(211) Simplifying and Refactoring Introductory Calculus (2018) 🔗

对入门微积分的简化与重构（2018）

(212) Why Target Common Lisp for Code Generation? 🔗

为何将 Common Lisp 作为代码生成目标？

(213) Antiqua–Fraktur dispute 🔗

Antiqua–Fraktur 之争

(214) Racket v9.3 🔗

Racket 9.3 版发布

(215) Jane Street suffers $15B hit after meltdown at Situational Awareness 🔗

Jane Street 因情境感知问题遭受 150 亿美元损失

(216) Text AI watermarks will always be trivial to remove 🔗

文本 AI 水印总是容易被移除

(217) Chestnut – eGPU dock with open-source firmware 🔗

Chestnut：带开源固件的外接显卡盒

(218) Heart aerospace completes first flight of largest electric aircraft 🔗

Heart Aerospace 完成全球最大电动飞机首飞

(219) People who grew up with high economic connectedness earn more 🔗

在经济联系高度的成长环境中长大的人往往收入更高

(220) ATProto for Distributed Systems Engineers 🔗

ATProto：面向分布式系统工程师的协议

(221) The Grid That Doubles the Strength of the Ground 🔗

能把地基强度翻倍的网格

(222) The Dutch community where people live on strips of land in a lake 🔗

荷兰一个湖中带状土地居住社区

(223) New Zealand lost its music media, and what we're building to replace it 🔗

新西兰失去音乐媒介，我们正在构建替代方案

(224) Differential Heuristics 🔗

差分启发式算法

(225) Show HN: ThoughtDAG – An editable context graph for LLM conversations 🔗

Show HN：ThoughtDAG —— 可编辑的 LLM 对话上下文图

(226) To save C, we must save ABI (2022) 🔗

为拯救 C，我们必须拯救 ABI（2022）

(227) AI At Home Part 1: A Box Of Scraps 🔗

家庭 AI 第1部分：一箱碎片

(228) Tuxedo No. 2 – Cocktail recipes 🔗

Tuxedo No. 2 — 鸡尾酒配方

(229) Protobuf has LSP support. You're welcome 🔗

Protobuf 已支持 LSP（语言服务器协议）

(230) Super Mario Derivations 🔗

《超级马里奥》衍生作品

(231) How Organizations Use AI: Evidence from ChatGPT [pdf] 🔗

组织如何使用AI：基于ChatGPT的证据（PDF）

(232) Nvidia dramatically reduces amount of OpenAI infra financing it may guarantee 🔗

英伟达大幅削减对 OpenAI 基础设施融资担保金额

(233) Unearthing a 31 year old Easter egg in Ecco the Dolphin 🔗

在《Ecco the Dolphin》中发现一个31年前的彩蛋

(234) Better Gaussian Splatting in Julia 🔗

在 Julia 中实现更好的高斯喷溅法

(235) Coin-sized device can hack a Boeing 737 🔗

硬币大小的设备能黑进波音737

(236) Show HN: A Project Oberon System version running on RISC-V instead of RISC-5 🔗

Show HN：Oberon 系统在 RISC-V 上的实现，取代 RISC-5

(237) How Gödel's Proof Works (2020) 🔗

哥德尔证明如何起作用（2020）

(238) Should you stop cracking your knuckles? 🔗

你应该停止捏指节吗？

(239) Europe's scorched landscapes seen from space after summer heatwaves 🔗

夏季热浪后的欧洲地表景观

(240) In 1962, Egypt's Missile Program Lost Its Key Scientist Without a Trace 🔗

1962 年，埃及导弹计划失踪了一个关键科学家

(241) I Remain a Skeptic 🔗

我仍然持怀疑态度

(242) World Train Map – 1247 train routes around the world 🔗

World Train Map：全球 1247 条铁路线路

(243) Letter to Governor Abbott on responsible AI infrastructure in Texas 🔗

OpenAI 致德州州长阿博特的信：推动负责任的 AI 基础设施

(244) DeepSeek API Pricing Update 🔗

DeepSeek API 定价更新

(245) CEO who fired 900 people on Zoom just before Christmas wants his job back 🔗

在圣诞节前通过 Zoom 解雇 900 人的 CEO 想要回到原位

(246) Every fucking website: 2026 edition 🔗

2026 年版‘每一个他妈的网站’

(247) OpenSSH 10.5/10.5p1 🔗

OpenSSH 10.5/10.5p1 版本发布

(248) The Hacker's Renaissance (2025) 🔗

黑客的文艺复兴

(249) Guiding Ships with Moire Patterns (2018) 🔗

用莫尔纹引导船舶

(250) An Interesting Fourier Transform – 1/f Noise (2007) 🔗

有趣的傅里叶变换：1/f 噪声

(251) Tracking down a Zsh history data loss bug 🔗

追踪 Zsh 历史记录丢失的 bug

(252) The Government Is Monitoring Anti-Flock TikTok and Instagram Accounts 🔗

政府正在监控反 Flock 的 TikTok 与 Instagram 账户

(253) Publishing Schematics Before “Open Source” Was a Word 🔗

在“开源”一词出现之前出版原理图

(254) Pixel 11 Pro Fold 🔗

Pixel 11 Pro Fold（谷歌可折叠手机）

(255) CSS properties you should know for better text designs 🔗

提升文本设计的必知 CSS 属性

(256) Recycle – Floppydisks 🔗

Recycle—Floppydisks

(257) GPT 5.6 Cyber 🔗

GPT 5.6 Cyber

(258) Happy 45th Birthday to the IBM PC and Model F/XT 🔗

IBM PC 与 Model F/XT 的45周年庆

(259) My Agent Setup 🔗

Show HN：我的代理设置

(260) Picking berries is my meditation 🔗

采摘浆果是我的冥想

(261) Glaciers on the Climate Dashboard 🔗

气候仪表盘上的冰川数据

(262) Launch HN: Bullet (YC S26) – A Faster Coding Agent 🔗

Launch HN：Bullet（YC S26）— 更快的编码代理

(263) The lattice of sets of natural numbers is rich (2021) 🔗

自然数集合的格结构极其丰富（2021）

(264) Low-Tech Ceramic Water Filter 🔗

低技术陶瓷水过滤器

(265) Nvidia Nemotron 3.5 Lightning 🔗

英伟达 Nemotron 3.5 Lightning

(266) Turbo Pascal on CP/M, MSX-DOS and MS-DOS 🔗

Turbo Pascal 在 CP/M、MSX-DOS 与 MS-DOS 上的实现——小型机上的 Pascal

(267) The federal keyword lists that canceled billions in research funding 🔗

取消数十亿美元研究资助的联邦关键词清单

(268) Felix and I 🔗

Felix 与我

(269) Hax – a minimalist, terminal-native coding agent written in C 🔗

Hax：用 C 写成的极简、终端原生编码代理

(270) Faster floating point math with Rust's new API 🔗

Rust 的新 API 提升浮点运算速度

(271) Study links GLP-1 drugs to bigger jump in women's employment than a degree 🔗

研究显示 GLP-1 药物对女性就业的影响大于获得学位

(272) Itadakimasu: A word you say to the food, not the cook 🔗

Itadakimasu：对食物说的词，而非对厨师

(273) Show HN: C# Game Engine with its own scripting language and IDE 🔗

Show HN：带自研脚本语言与 IDE 的 C# 游戏引擎

(274) The lifesaving secret hidden inside a horseshoe crab's blue blood 🔗

马蹄蟹蓝血中的救命秘密

(275) The Alpha 21264 CPU: NT's Greatest RISC (1998) 🔗

Alpha 21264 CPU：NT 的伟大 RISC（1998）

(276) Bigos (Polish Hunter's Stew) Recipe Builder 🔗

Bigos（波兰猎人炖肉）食谱生成器

(277) How art invented humanity 🔗

艺术如何成就人类

(278) Using GCC's Nested Functions with Wide Pointers and No Trampolines II 🔗

在 GCC 的嵌套函数中使用宽指针且无需 trampoline II

(279) Show HN: Write.md – A free, open-source, themeable Markdown editor for macOS 🔗

Show HN：Write.md——免费、开源、可自定义主题的 macOS Markdown 编辑器

(280) The Psychedelic Toad of the Sonoran Desert 🔗

索诺兰沙漠迷幻蟾蜍

(281) ChatGPT starts blocking direct requests to copy an author's style 🔗

ChatGPT 开始阻止直接请求复制作者的风格

(282) Gödel, Escher, Elisp: The Beauty of Macros 🔗

Gödel、Escher、Elisp：宏的美

(283) The Life and Death of Direct File [pdf] 🔗

Direct File 的兴衰

(284) Qwen 3.8 27B is excellent, but it defaults to overthinking things 🔗

Qwen 3.8 27B：出色但默认易过度推理

(285) A True Telnet BBS on a Casio Calculator 🔗

在 Casio 计算器上实现的真实 Telnet BBS

(286) Show HN: LuaCAD – Parametric CAD Scripted in Lua 🔗

Show HN：LuaCAD——用 Lua 脚本实现的参数化 CAD

(287) Clamiga: Common Lisp for the Amiga 🔗

Clamiga：在 Amiga 上的 Common Lisp 实现

(288) Japanese court overturns Red RAW video patent 🔗

日本法院推翻了 Red RAW 视频专利

(289) The Color of White Light 🔗

白光的色彩

(290) German advocacy group lodges criminal complaint over Meta AI glasses 🔗

德国倡议团就 Meta AI 眼镜提起刑事起诉

(291) Why Wall Street is ignoring big tech's debt [video] 🔗

华尔街为何忽视科技巨头的债务

(292) Show HN: Ember – Redshift safe color palettes 🔗

Ember——适用于 Redshift 的安全调色板

(293) A SAT Attack on Tarski's High School Algebra Problem 🔗

对塔尔斯基高中代数题的 SAT 攻击

(294) A U.S. Strategy to Prevent the Creation of Mirror Life 🔗

美国防止镜像生命产生的策略

(295) Why Did OpenAI's Head of Ethics Chloé Bakalar Leave? 🔗

OpenAI 伦理主管 Chloé Bakalar 离职原因

(296) How Blackwing Pencils are Made [video] 🔗

Blackwing 铅笔的制作过程

(297) Finite State Machines in Forth (1994) 🔗

Forth 中的有限状态机（1994）

(298) The brain may be about to have its Ozempic moment 🔗

大脑也可能迎来它的 Ozempic 时刻

(299) Crickets as pets 🔗

蟋蟀作宠物

(300) The Tragedy of the Cognitive Commons 🔗

认知公共资源的悲剧

(301) The Wow signal was a strong narrowband radio signal detected on August 15, 1977 🔗

Wow信号：1977年8月15日探测到的强烈窄带无线电信号

(302) Printytron – Describe a part, get a printable STL 🔗

Printytron——描述一个部件，得到可打印的 STL 文件

(303) Build Wide, Ship Narrow 🔗

广泛构建，精简落地

(304) Because It's Not Fun Enough: why languages fail 🔗

因为它不够有趣：语言为何会失败

(305) Show HN: Mole – Deep research agent for your terminal 🔗

Show HN：Mole——为终端设计的深度研究助手

(306) Cursor is now a part of SpaceX 🔗

Cursor 加入 SpaceX

(307) Picophysics: Single file physics for games on platforms like N64, PSX, DC 🔗

Picophysics：适用于 N64、PSX、Dreamcast 等平台的单文件物理引擎

(308) $580M undersea cable rerouted to avoid the grave of Dobby the House Elf 🔗

5.8亿美元海底光缆改道以避开多比坟墓事件

(309) A Tale of Dynamic Programming (2022) 🔗

动态规划的故事（2022）

(310) Show HN: Mic Drop, a real-time multiplayer karaoke game 🔗

Show HN：Mic Drop，一款实时多人卡拉OK游戏

(311) Could a computer scientist build a brain? 🔗

计算机科学家能否构建大脑？

(312) SIMD in the 90s: Programming Intel's Pentium MMX 🔗

90年代的 SIMD：在英特尔 Pentium MMX 上的编程

(313) Launch HN: Stoa Markets (YC S26) – A Marketplace for GPUs and AI Servers 🔗

Stoa Markets：GPU 与 AI 服务器交易市场

(314) Turn satellite imagery into a paper globe you fold yourself 🔗

将卫星影像折叠成你自己可以组装的纸质地球仪

(315) Earth.nullschool.net 🔗

Earth.nullschool.net 地球实时风场可视化

(316) Bluesky's active user base is shrinking as its focus expands beyond the app 🔗

Bluesky 的活跃用户在缩减，焦点扩展至应用之外

(317) Tail-Call Interpreters in Rust – Jimmy Ostler 🔗

Rust 的尾调用解释器 – Jimmy Ostler

(318) WhatCable: Know what your USB-C cable can do 🔗

WhatCable：了解你的 USB-C 线能做什么

(319) Tess's Android Wayland Compositor 🔗

Tess 的 Android Wayland 合成器

(320) Ntfy – open-source Push to Mobile 🔗

Ntfy：开源推送至移动端

(321) Ruby 4.0 Universal RCE Deserialization Gadget Chain 🔗

Ruby 4.0 通用远程代码执行反序列化 gadget 链

(322) AI Coding Without the Vibes 🔗

没有花哨氛围的 AI 编码

(323) Möbius strips and differential equations 🔗

莫比乌斯带与微分方程

(324) A 'bananas' order for 5000 obscure book titles fuels suspicion 🔗

购买 5,000 本冷僻书名的神秘大单引发怀疑

(325) Bede Liu, a digital signal processing pioneer, has died 🔗

数字信号处理领域的先驱比德·刘去世

(326) 2D Gaussian Splatting for Bézier Spline Line Art Vectorization 🔗

用于贝塞尔样条线艺术矢量化的二维高斯喷涂

(327) Anton Chekhov played at love most of his life 🔗

契诃夫一生把爱情演得最为重要

(328) Halcyon Video – a 3D video store for your media server 🔗

Halcyon Video：面向本地媒体服务器的 3D 视频商店

(329) Retire the Abstractions 🔗

淘汰抽象化

(330) MathCode, Mathematical Coding Agent 🔗

MathCode：数学编码代理

(331) We're not done with point clouds 🔗

点云技术仍未完结

(332) Falstad Math and Physics Simulations 🔗

Falstad 的数学与物理仿真

(333) Show HN: Line9 – A Mermaid rendering engine with its own layout 🔗

Show HN：Line9——一个自带布局的 Mermaid 渲染引擎

(334) an ambiguity in C89 which will never be fixed 🔗

C89 标准中的一个永远无法解决的歧义

(335) Extreme 220GHz+Broadband Silicon Capacitor X2SC 0201M 22nF BV11 🔗

极端 220GHz+宽带硅电容 X2SC 0201M 22nF BV11

(336) A humble cabbage became one of the Forbidden City’s treasures (2025) 🔗

一颗普通白菜成为故宫珍宝之一（2025）

(337) GPS and the Lost Art of Getting Lost 🔗

GPS 与失去的迷路艺术

(338) Show HN: Mcptoon – Token-efficient MCP CLI client 🔗

Show HN: Mcptoon – 令牌高效的 MCP CLI 客户端

(339) Automatic1111 for Apple metal, 40% speed up sd1.5 🔗

Automatic1111 在 Apple Metal 上的降速加速，sd1.5 提升约 40%

(340) Numba in the Browser: Unlocking a New Scientific Python Stack in JupyterLite 🔗

浏览器中的 Numba：在 JupyterLite 中解锁全新的科学 Python 堆栈

(341) Superconducting monolayer cuprate with a single CuO2 plane 🔗

仅含一个 CuO2 平面的超导单层铜氧化物

(342) The Library of Ashurbanipal (2025) 🔗

阿舒巴尼帕尔藏书（2025）

(343) Show HN: Tamron Lens Utility Alternative on Linux 🔗

Linux 上的 Tamron 镜头控制工具替代方案

(344) Tocharian Online 🔗

Tocharian 在线资源

(345) How Golden Is Silence, Actually? 🔗

沉默到底有多珍贵？

(346) This Hi-Fi Tape Recorder Changed Radio Forever 🔗

这台 Hi-Fi 磁带录音机如何改变了广播

(347) Hyperspace 🔗

Hyperspace（超时空）

(348) We eliminated 1,400 CVEs in NanoClaw's container images 🔗

NanoClaw 容器镜像消除了 1,400 个 CVE

(349) AI Model Atlas – visualizing populations of ML models as interconnected 3D graph 🔗

AI Model Atlas：将 ML 模型族群可视化为互联的三维图谱

(350) GoAccess – Open-source real-time log analyzer and interactive viewer 🔗

GoAccess：开源实时日志分析与交互查看工具

(351) Tech leaders say AI means less work – staff say they work up to 90 hours a week 🔗

Tech 领袖称 AI 能减少工作量 — 员工却每周工作的时长高达 90 小时

(352) The Legend of the Novell NE2000 [video] 🔗

诺维尔 NE2000 的传说 [视频]

(353) Debian has begun voting on the future of AI/LLM contributions 🔗

Debian 开始就 AI/LLM 贡献的未来进行投票

(354) JDK 27 G1/Parallel/Serial GC Changes 🔗

JDK 27：G1/Parallel/Serial GC 变更

(355) I want extern "fil-C" 🔗

我想要 extern "fil-C"

(356) Come for ENIAC, Stay for UNIVAC and Skeduflo 🔗

从 ENIAC 到 UNIVAC 与 Skeduflo 的计算机史

(357) Self-hosted web push Cloudflare Worker, works on iOS 🔗

自托管的 Web Push：Cloudflare Worker，iOS 也能用

(358) Show HN: Silent Shark – tactical map-based WWII submarine sim 🔗

Show HN：Silent Shark——基于地图的二战潜艇战术模拟

(359) pg_clickhouse v0.10: Subquery pushdown and 1000x faster TPC-H queries 🔗

pg_clickhouse v0.10：子查询下推，TPC-H 查询速度提升千倍

(360) Emergent Introspective Awareness in Large Language Models 🔗

大型语言模型中的涌现式内省意识

(361) Bike Bureau: Report Bike Lane Obstructions 🔗

自行车局：自行车道阻塞上报

(362) Yadda 3.0.0: BDD in the Age of AI Agents 🔗

Yadda 3.0.0：AI 代理时代的行为驱动开发

(363) An image can overflow 🔗

图像也会溢出

(364) DeepSeek-V4-Pro-0813 Publish 🔗

DeepSeek-V4-Pro-0813 发布

(365) Andrew Wiles on proving Fermat’s Last Theorem (1995) [video] 🔗

怀尔斯在证明费马大定理的过程（1995）[视频]

(366) A new study of a bot running a store finds it is friendly but not very smart 🔗

对一家机器人商店的最新研究显示它友好但不太聪明

(367) Graduate student proves a quantum uncertainty principle for fractals 🔗

研究生证明了分形的量子不确定性原理

(368) Defending my own brain against enshittification 🔗

捍卫我的大脑，抵御平台堕落时代的影响

(369) The Ambition Project 🔗

The Ambition Project：Betonit AI 的野心计划

(370) Thunderbird's Desktop Calendar Visual Redesign 🔗

Thunderbird桌面日历的视觉重设计

(371) South Korea proposes talks to officially end war with North 🔗

韩国提出正式结束与朝鲜的战争进行谈判

(372) Understanding WCAG 2.2 as ePub and PDF 🔗

将 WCAG 2.2 转换为 ePub 和 PDF 格式

(373) Show HN: MCP Memory – Fast Agent Memory Using Google's OKF and SQLite FTS5 🔗

Show HN: MCP Memory—使用 OKF 与 SQLite FTS5 的高速代理内存

(374) Unsloth Qwen3.8-27B GGUF files 🔗

Unsloth Qwen3.8-27B GGUF 文件

(375) Geek Fighter – 2d fighter game 🔗

Geek Fighter：二维格斗游戏

(376) A quick look at zero-knowledge proofs 🔗

零知识证明速览

(377) Process as a Proxy for Motivation 🔗

把过程当作激励的代理

(378) Idol Mahjong Final Romance: A Slideshow Disguised as a Video Game 🔗

偶像麻将最终恋情：伪装成电子游戏的幻灯片

(379) Findphone: Locate a nearby Bluetooth device by signal strength 🔗

Findphone：通过信号强度定位附近的蓝牙设备

(380) Plastic mechanical computer from 1963: The Digi-Comp 1 [video] 🔗

1963 年塑料机械计算机：Digi-Comp 1 [视频]

(381) Human vs. AI – Diff-based line-level provenance for text under agentic editing 🔗

人类与 AI：基于差分的行级文本溯源，适用于代理编辑场景

(382) "The Persian MâR-Nâmeh Or, the Book for Taking Omens from Snakes" (1892) 🔗

波斯 MâR-Nâmeh：从蛇取兆之书（1892）

(383) Tea5767-Radio-Tuner 🔗

Tea5767 无线电调谐器

(384) The case for overhauling American science 🔗

全面改革美国科学的必要性

(385) Anthropic Risk August 2026 [pdf] 🔗

Anthropic 风险报告 2026 年 8 月 [PDF]

(386) France's tax authority had data stolen on 680k taxpayers 🔗

法国税务局数据被窃：68万名纳税人信息被盗

(387) Greenland issues "strong warning" as American oil firm illegally drills wells 🔗

格陵兰对美国石油公司非法钻探提出强烈警告

(388) Midlife Vascular Risk Burden and Dementia-Free Survival Years 🔗

中年血管风险负担与无痴呆生存年限

(389) The German Mittelstand 🔗

德国 Mittelstand：中小企业的创新动能与经济支柱

(390) Apple proposes to take a 15% cut of purchases made outside the App Store 🔗

苹果拟对 App Store 之外购买收取 15% 提成

(391) What an improv stage can teach you about leading cross-cultural teams in Tokyo 🔗

即兴舞台能教你在东京领导跨文化团队的道理

(392) The Case Against Formal Verification, 50 Years Later 🔗

对形式化验证的质疑：50年后

(393) Time to Move On: Querying Without Nulls and Bags 🔗

告别空值与集合袋语义的查询时代

(394) 'Not acceptable': Judge orders Google to make rival app store installs easier 🔗

“不可接受”裁定：法院命令谷歌简化对手应用商店安装

(395) Wednesday, August 12: GitHub, Incident with Pull Requests and Issues 🔗

8月12日（星期三）：GitHub PR 与 Issues 事故

(396) Nearest Pint 🔗

Nearest Pint：查找最近的酒吧地图

(397) I close SSH port 22 (and what I use instead) 🔗

我关闭 22 端口并用什么替代

(398) AI-Assisted GPU Porting of a 250k Line Legacy Weather Simulation Code 🔗

AI 辅助将 250k 行遗留天气仿真代码移植到 GPU

(399) Launch HN: Keet (YC S24) – An app to create video courses on anything 🔗

Keet（YC S24）——一款可创建任何主题的视频课程的应用

(400) The Ultimate Horse 🔗

终极之马

(401) The Bit Player: My Father with Steve Zissou 🔗

小人物：我的父亲与 Steve Zissou

(402) New Lower and Upper Bounds for the Grothendieck Constant 🔗

Grothendieck 常数的新上下界

(403) Moving integer division to floating-point is trivial 🔗

将整数除法移到浮点运算其实很简单

(404) Suzanne: AI tool for designing and manufacturing physical products 🔗

Suzanne：用于设计和制造实体产品的 AI 工具

(405) Show HN: Lumabri – Run Moe Models on a P2P Swarm with Colibri 🔗

Show HN：Lumabri——在 Colibri 架构的点对点大群中运行 Moe 模型

(406) RSI Simulator 🔗

RSI Simulator

(407) Dropbox is an obvious PE Target? 🔗

Dropbox 是私募股权目标吗？

(408) HashAgent – Share an AI agent as a URL, runs locally via WebGPU 🔗

HashAgent：以 URL 分享 AI 代理，本地通过 WebGPU 运行

(409) BriskDB 🔗

BriskDB 数据库项目

(410) Show HN: A public AI whose memory is shared across all users 🔗

Show HN：一个全体用户共享记忆的公共 AI

(411) The Essential Question: “What should I read next?” 🔗

核心问题：我接下来该读什么？

(412) The Indo-European Family Tree 🔗

印欧语系家族树

(413) Pizza Box Project Stack 🔗

披萨盒子项目栈

(414) US oil reserves are so low, the caverns holding them could be damaged 🔗

美国石油储备降至极低水平，储油洞穴可能受损

(415) DosTips, Windows scripting knowledge trove, scraped to death 🔗

DosTips：Windows 脚本知识宝库被大规模抓取

(416) A Contract-Grade Verifier for LLM-Generated GPU Kernels 🔗

面向合同级别的 LLM 生成 GPU 内核验证器

(417) SugarTrack – an offline Android logbook for blood sugar (no account, no cloud) 🔗

SugarTrack：一款离线的 Android 血糖日志本（无需账户、无需云端）

(418) Brain turns listening inward during REM sleep, EEG recordings suggest 🔗

REM 睡眠时大脑向内聆听，脑电图显示

(419) Ethical Cold Outreach 🔗

合乎伦理的冷邮件 outreach

(420) Signal is working on a paid option to create an account without a phone number 🔗

Signal 将提供无需手机号码即可创建账户的付费选项

(421) Show HN: Deltix – AI Driven Testing 🔗

Show HN：Deltix——AI 驱动测试

(422) We Got Better at Keeping You Alive. Not at Keeping You Healthy 🔗

我们在让你活下来方面做得更好，而不是让你保持健康

(423) Archive of Animal Photography Reveals 18,000 Species and Counting 🔗

动物摄影档案揭示 18,000 种物种及数量持续增加

(424) Back to the Future of Handwriting Recognition (2016) 🔗

回到手写识别的未来（2016）

(425) There is no “done”: Reflections on a completed Appalachian Trail thru-hike (2022) 🔗

没有“完成”：对完成的阿巴拉契亚山脉穿越的反思（2022）

(426) Show HN: A tiny LLM running at 21,000 tok/s on a $250 FPGA (Live Demo) 🔗

Show HN：在 25 美元 FPGA 上以 21,000 tok/s 运行的微型 LLM（现场演示）

(427) Impulse Tracker 🔗

Impulse Tracker（冲动追踪器）

(428) Neutrinos from Deep Inside Earth Provide a New Picture of the Mantle 🔗

来自地球深处的中微子揭示地幔的新图景

(429) Claude moves bound of the Riemann Hypothesis from 41.6% to 67.2% 🔗

Claude 将黎曼假设边界从 41.6% 提升到 67.2%

(430) Commodore 8-Bit 5¼" Disk Images 🔗

Commodore 8 位 5 ¼ 吋磁盘镜像

(431) 5th Heat Dome Expands Across Europe: 40°C+ Target Western and Central Europe 🔗

欧洲热浪扩大：西部和中欧将超过 40°C

(432) From rubber boots to Copa: When MicroProse Soccer revolutionized football 🔗

从橡胶靴到 Copa：MicroProse Soccer 如何革新足球

(433) Show HN: Bribes.fyi – Compare bribes statistics department wise 🔗

Bribes.fyi – 按部门比较行贿统计

(434) Closing Canario Terminal source code 🔗

关闭 Canario Terminal 的源代码

(435) Choral: Choreographic Programming for Java 🔗

Choral：为 Java 提供编排式编程

(436) Xorshift Generators 🔗

Xorshift 生成器

(437) T3X/0 a Minimal Procedural Language 🔗

T3X/0：一个最小的过程性语言

(438) Person Hides Prompt Injection in Legal Filing Telling AI to Side with Them 🔗

在法律文书中隐藏提示注入：让 AI 站在他们这边

(439) A partial digestion of the HRT counterexample 🔗

对 HRT 反例的部分解析

(440) Don't Look Up 🔗

别抬头

(441) Toxic underground fires spreading at California landfills 🔗

加州垃圾填埋场地下火灾蔓延

(442) Solving the Shortest Vector Problem in $2^{0.6039n}$ Time via Mid-Point Hessian 🔗

通过中点 Hessian 的方法在 2^{0.6039n} 时间内解决最短向量问题

(443) Updated GPG Key for Signing Firefox and Thunderbird Releases 🔗

用于签署 Firefox 与 Thunderbird 发行版的更新 GPG 密钥

(444) The Law of Jante (2015) 🔗

扬特法则（2015）

(445) Government sponsored study on alcohol doesn't stand up to scrutiny 🔗

政府资助的酒精研究经不起审视

(446) DEF CON crowd suspected in fake-hotspot attack on Delta flight 🔗

DEF CON 观众群体被指卷入达美航班的伪热点攻击

(447) My Rules for Using Spreadsheets 🔗

我在使用电子表格时的规则

(448) Immersion lithography saved Moore's Law (2023) 🔗

浸没式光刻在2023年拯救了摩尔定律

(449) Show HN: Ballet – Workflow automation that writes integrations against any API 🔗

Show HN：Ballet——为任意 API 写集成的工作流自动化工具

(450) Show HN: Quasicrystals Animation Playground with WebXR 🔗

Show HN：WebXR 的准晶体动画练习场

(451) California Uber, Lyft drivers win union recognition 🔗

加州的 Uber、Lyft 司机获工会承认

(452) Show HN: KidScreen, a finite YouTube shelf chosen by parents 🔗

Show HN：KidScreen——父母挑选的受控 YouTube 收藏夹

(453) I built a browser-native SysEx librarian for 80s/90s synthesizers 🔗

我用浏览器本地实现了一个用于 80/90 年代合成器的 SysEx 管理器

(454) Health benefits of Tai Chi 🔗

太极的健康益处

(455) Show HN: OJCP – an open protocol for agent-consumable job data 🔗

OJCP——面向代理可消费作业数据的开放协议

(456) The mathematical physics of rainbows and glories (2001) [pdf] 🔗

彩虹与辉光的数学物理（2001）

(457) Debugging Information for Inlined Functions 🔗

内联函数的调试信息

(458) The Three-Stroke Problem 🔗

三笔画问题

(459) Humazon 🔗

Humazon

(460) Nvidia discloses $21B stake in SpaceX at end of second quarter 🔗

英伟达披露在 SpaceX 的210亿美元持股

(461) Before Rightmove, there was the Cosmorama 🔗

在 Rightmove 之前的 Cosmorama：伦敦的房产信息创新

(462) From 13.5M installs to 499 active devices 🔗

从 1350 万次安装到 499 台活跃设备

(463) Locating an unknown source of radiation in a heterogeneous environment (2019) 🔗

在异质环境中定位未知辐射源（2019）

(464) Brazilian election filter in X For You timeline 🔗

X For You 时间线中的巴西大选筛选器

(465) Archie G. Norcross' Maine Forest Fire Maps (1918–22) 🔗

Archie G. Norcross 的缅因州森林火灾地图（1918–22）

(466) The deep history behind the Road to Nowhere inside the Great Smoky Mountains 🔗

大烟山中的“无路可走”之路的深层历史

(467) SQRL wan't wrong, it was early 🔗

SQRL 不是错在它，而是来得太早

(468) The Story of Mac: A Just-So Story 🔗

Mac 的故事：一个就像童话的叙事

(469) Show HN: I built a native app for coding agents with Rust and GPUI 🔗

Show HN：我用 Rust 与 GPUI 构建了一个用于编码代理的原生应用

(470) Strait of Hormuz Live Traffic Tracking 🔗

霍尔木兹海峡实时交通追踪

(471) Reticulum – Decentralized Mesh Network 🔗

Reticulum 去中心化网状网络

(472) Claude Is Down 🔗

Claude 已宕机

(473) Treasury Orders Erasure of Domestic Ownership Records 🔗

财政部下令抹去国内所有权记录

(474) Zapping Rocks Unlocks Stimulated Geologic Hydrogen 🔗

击打岩石释放受激的地质氢气

(475) Rhombus 1.1 is now available 🔗

Rhombus 1.1 发布

(476) Ordinary WiFi can now identify you with near-perfect accuracy 🔗

普通 WiFi 现可实现近乎完美的身份识别

(477) The Hat and the Spectre – Recent Groundbreaking Discoveries in Mathematics 🔗

帽子与幽灵：数学领域的最新突破

(478) Were Touch Bar's problems software rather than hardware? 🔗

Were Touch Bar 的问题是软件还是硬件？

(479) Anthropic CEO says the way for AI to win over the public is to cure cancer 🔗

Anthropic CEO：AI 赢得公众需要攻克癌症

(480) Anthropic IPO valuation hinges on $190-200B 2028 revenue forecast 🔗

Anthropic 的 IPO 估值取决于 2028 年的收入预测

(481) Claude Seems Down 🔗

Claude 似乎宕机

(482) Oracle – a photorealistic browser for every Magic card ever printed 🔗

Oracle：一个用于查看每张印刷过的《魔法：聚会》卡牌的高保真浏览器

(483) Site removes all the clutter from recipe videos and gives just the recipe 🔗

CutRecipe：将食谱视频中的冗余剔除，只呈现食谱步骤

(484) Bedtime Procrastination 🔗

就寝拖延

(485) GenRec: Towards LLM-Native Recommendation at Netflix 🔗

GenRec：Netflix 的 LLM 原生推荐之路

(486) Dancing with friends and enemies: boids' swarm intelligence 🔗

Boids 群体智能：与朋友和敌人的舞蹈

(487) TreasuryDirect: Prepare for ID.me – Your New Way to Log In 🔗

TreasuryDirect：为 ID.me 做好登录准备——您的新登录方式

(488) OpenAI talent exodus raises 'huge red flag' ahead of IPO 🔗

OpenAI 人才大举流失，为IPO提前敲响“巨大警报”

(489) Access to telemetry data: Automotive industry criticizes intelligence reform 🔗

汽车行业对情报改革的遥测数据访问提出批评

(490) Interview with Amit Patel, Creator of "Solar Realms Elite" 🔗

Amit Patel：Solar Realms Elite 的创作访谈

(491) Targeted marine cloud brightening weakens subsequent El Niño 🔗

定向海洋云增亮削弱后续厄尔尼诺

(492) Red queen hypothesis – a new way forward for self-improving AI 🔗

红皇后假设：自我提升 AI 的新前路

(493) Decoding smell: Study reveals how odor signals shapeshift in the wind 🔗

解码气味：研究揭示气味信号在风中如何被塑形

(494) Show HN: Grafana agent observability for Hermes Agent 🔗

Show HN：Hermes Agent 的 Grafana 观测代理

(495) Show HN: PyScrappy, self-healing web scraping selectors plus an MCP server 🔗

Show HN：PyScrappy — 自愈网页选择器与 MCP 服务器

(496) Program with Paint Brushes, Not Pencils 🔗

用画笔而非铅笔编程

(497) Modeling and Verification of Keeta's Consensus [pdf] 🔗

Keeta 共识的建模与验证 [PDF]

(498) 388 years ago, Galileo worked out why human giants can't exist 🔗

388 年前，伽利略算出人类巨人不可能存在的原因

(499) What I Learned Securing Sniffnet with the GitHub Secure Open Source Fund 🔗

通过 GitHub 安全开源基金保护 Sniffnet 的经验

(500) The 37signals Manager Playbook 🔗

37signals 的管理者指南

(501) In the Shadow of the (Berlin) Wall 🔗

在柏林墙的阴影下

(502) A Planet Position Widget 🔗

一个行星位置小组件

(503) TSMC Uses Old Fabs to Make New Chips [video] 🔗

台积电利用老 fab 制造新芯片

(504) z486: A 486-Class Pipelined FPGA CPU with Integrated Floating-Point 🔗

z486：集成浮点的 486 级流水线 FPGA CPU

(505) AGI-64 Brings Sierra Adventures to the Commodore 64 🔗

AGI-64 把 Sierra 冒险带进 Commodore 64

(506) Speaking for the Dead 🔗

为死者发声：讣告中的长篇报道

(507) Physicists discover a hidden gluon structure inside protons 🔗

质子内部的隐藏胶子结构

(508) Stop Turning every purchase into a tip request 🔗

别把每次购买都变成要小费的请求

(509) How a Sony Veteran Is Overhauling the Company He Grew Up In 🔗

一位索尼资深高管正在推翻他成长的公司

(510) Our Reality Is Shifting and It's Just the Start 🔗

我们的现实正在发生改变，这只是开始

(511) Show HN: Continuum – Financial simulations for DIY multimillionaires 🔗

Show HN: Continuum — 面向 DIY 富豪的金融仿真

(512) Testing Moonshot AI's Kimi K3 Inside Claude Code 🔗

在 Claude Code 中测试 Moonshot AI 的 Kimi K3

(513) The FastLanes Unified Transport Layout 🔗

FastLanes 统一传输布局