📰 AI 博客每日精选 — 2026-07-30
来自 Karpathy 推荐的 92 个顶级技术博客，AI 精选 Top 16
📝 今日看点
今日技术圈聚焦三大趋势：AI治理与安全漏洞的交叉引发关注，从面向决策者的AI风险指南到因用户名下划线差异导致的司法误判，凸显技术细节的深远影响；AI基础能力与逻辑思维重回视野，程序员逻辑学专著完稿与GPT-2权重对比实验，折射出对模型可解释性和底层原理的追问；平台退化与反向半人马现象被指正向全球蔓延，SQLite创始人对声明式查询的经典论述则提醒技术本质的回归。
🏆 今日必读
🥇 C++/WinRT中Windows Runtime委托的敏捷实现（第8部分）
Quoting Matthew Green — simonwillison.net · 07-29 18:18 · 🔒 安全
本系列文章探讨如何在C++/WinRT中创建敏捷的Windows Runtime委托。第8部分聚焦于lambda捕获中隐藏的异常问题。lambda捕获可能意外地捕获异常并导致其被静默忽略，从而引发难以调试的错误。文章分析了异常隐藏的常见场景，并提供了避免该问题的编码技巧。结论是开发者需要谨慎管理lambda捕获的生命周期和异常传播，以确保委托的健壮性。
💡 为什么值得读: 深入剖析C++/WinRT中lambda捕获的异常陷阱，对编写可靠Windows Runtime组件的开发者极具实践价值。
🏷️ post-quantum, cryptography, RSA, ECC
🥈 《程序员逻辑学》完稿
Why compute might get 10x+ more expensive in coming years — dwarkesh.com · 07-29 15:01 · 🤖 AI / ML
《Logic for Programmers》一书现已完成1.0版本并正式出版。该书专为程序员设计，系统讲解逻辑学在编程中的应用。作者Hillel Wayne在公告中提供了购买链接和官方网址。早期电子版用户可通过Leanpub下载更新。全书内容覆盖命题逻辑、谓词逻辑、证明技巧等，旨在帮助程序员提升推理和代码验证能力。
💡 为什么值得读: 一本将逻辑学与编程实践紧密结合的实用指南，适合希望提升代码严谨性的开发者。
🏷️ compute cost, H100, AI economics
🥉 AI：给决策者的思考
AI Worming through Word — simonwillison.net · 07-29 18:43 · 🔒 安全
作者在公共服务机构网络（NPD）和科学、技术与创新咨询委员会（AWTI）的两次演讲基础上撰写了本文。文章面向需要制定AI政策的决策者，分享了关于AI技术现状、风险与治理的关键见解。重点讨论了AI的局限性、数据偏见、监管挑战以及如何平衡创新与伦理。结论是决策者应基于对AI实际能力的清醒认识来制定政策，避免过度承诺或恐慌。
💡 为什么值得读: 为政策制定者提供AI领域的务实视角，帮助在复杂环境中做出明智决策。
🏷️ prompt injection, worm, Word, AI security
💡 观点 / 杂谈
1. 平台退化与反向半人马走向全球
Pluralistic: Enshittification and Reverse Centaurs go global (29 Jul 2026) — pluralistic.net · 07-29 08:09 · ⭐ 23/30
文章探讨“平台退化”（enshittification）和“反向半人马”（reverse centaurs）现象如何从局部蔓延至全球，并称之为“好的全球化”。作者通过一系列事件——包括Linux与Fonz的冲突、CBC对抗DRM、澳大利亚商场禁止拍照、英国小镇拆除监控、科技巨头避税、Games Workshop起诉玩家、Delta航空的监控定价等——展示了技术权力结构在全球范围内的演变。核心观点是这些趋势并非孤立，而是系统性的权力转移，需要公众关注和应对。
🏷️ enshittification, platform decay, reverse centaurs, globalism
2. 引用D. Richard Hipp
Quoting D. Richard Hipp — simonwillison.net · 07-29 21:15 · ⭐ 21/30
SQLite创始人D. Richard Hipp指出，在SQL出现之前，查询大型数据集需要昂贵的COBOL程序员专门编写代码。SQL提供了一种简洁的声明式规范，让任何人都能直接指定查询需求，从而自动生成原本需要人工编写的代码。这一变革大幅降低了数据查询的门槛，淘汰了COBOL程序员这一职业。Hipp的观点揭示了技术简化如何颠覆传统工作流程，并推动数据库民主化。
🏷️ AI, governance, policy, Netherlands
3. The AI Aesthetic
The AI Aesthetic — blog.jim-nielsen.com · 07-29 19:00 · ⭐ 20/30
Every zeitgeist comes with new design idioms unique to its challenges. Many of them disappear as fads change, but others bake themselves into deeper parts of existing software interaction paradigms
🏷️ AI, design, aesthetics, UX
4. Logic for Programmers is Done
Logic for Programmers is Done — buttondown.com/hillelwayne · 07-29 15:43 · ⭐ 16/30
It's done.
Logic for Programmers is now 1.0 and available in print. Full announcement here,
🏷️ logic, programming, book
📝 其他
5. Apple Says iOS 27 ‘Restricted Mode’ Isn’t for Users Who Miss Payments in New Apple Upgrade Program
Apple Says iOS 27 ‘Restricted Mode’ Isn’t for Users Who Miss Payments in New Apple Upgrade Program — daringfireball.net · 07-29 20:56 · ⭐ 18/30
Last week 9to5Mac reported on code in the latest iOS 27 developer beta seemingly meant to restrict leased devices after the user had missed one or more payments. When engaged, Restricted Mode limits t
🏷️ iOS 27, Restricted Mode, Apple, leasing
6. Apple Upgrade — New Program With Klarna for Leasing iPhones, Macs, iPads, and More for Near-Zero Interest
Apple Upgrade — New Program With Klarna for Leasing iPhones, Macs, iPads, and More for Near-Zero Interest — daringfireball.net · 07-29 16:51 · ⭐ 17/30
Apple Newsroom:
Apple today announced Apple Upgrade, a new product leasing program provided by Klarna for iPhone, Apple Watch, Mac, and iPad available on the Apple Store online, in the Apple Store
🏷️ Apple Upgrade, Klarna, leasing, iPhone
7. AI: Overwegingen voor wie erover gaat
AI: Overwegingen voor wie erover gaat — berthub.eu · 07-29 13:20 · ⭐ 15/30
Onlangs presenteerde ik kort na elkaar bij het Netwerk van Publieke Dienstverleners en bij de Adviesraad Wetenschap, Technologie en Innovatie over AI. In deze twee verschillende maar korte presentatie
8. Clive Sinclair: a US perspective
Clive Sinclair: a US perspective — dfarq.homeip.net · 07-29 11:00 · ⭐ 10/30
Who did more than any other person in history to make computers affordable? My nomination goes to Sir Clive Sinclair, who was born July 30, 1940. And I’m an American who never used one of his computer
🏷️ Clive Sinclair, history, computing
🔒 安全
9. C++/WinRT中Windows Runtime委托的敏捷实现（第8部分）
Quoting Matthew Green — simonwillison.net · 07-29 18:18 · ⭐ 26/30
本系列文章探讨如何在C++/WinRT中创建敏捷的Windows Runtime委托。第8部分聚焦于lambda捕获中隐藏的异常问题。lambda捕获可能意外地捕获异常并导致其被静默忽略，从而引发难以调试的错误。文章分析了异常隐藏的常见场景，并提供了避免该问题的编码技巧。结论是开发者需要谨慎管理lambda捕获的生命周期和异常传播，以确保委托的健壮性。
🏷️ post-quantum, cryptography, RSA, ECC
10. AI：给决策者的思考
AI Worming through Word — simonwillison.net · 07-29 18:43 · ⭐ 23/30
作者在公共服务机构网络（NPD）和科学、技术与创新咨询委员会（AWTI）的两次演讲基础上撰写了本文。文章面向需要制定AI政策的决策者，分享了关于AI技术现状、风险与治理的关键见解。重点讨论了AI的局限性、数据偏见、监管挑战以及如何平衡创新与伦理。结论是决策者应基于对AI实际能力的清醒认识来制定政策，避免过度承诺或恐慌。
🏷️ prompt injection, worm, Word, AI security
11. ‘eBay’s Bizarre Cyberstalking Saga Ends With a $56 Million Settlement’
‘eBay’s Bizarre Cyberstalking Saga Ends With a $56 Million Settlement’ — daringfireball.net · 07-29 14:43 · ⭐ 20/30
Emma Roth, The Verge:
eBay and three former executives will pay $55.7 million as part of a settlement with a Massachusetts couple targeted with a bizarre harassment and cyberstalking campaign in 2
🏷️ eBay, cyberstalking, settlement, harassment
🤖 AI / ML
12. 《程序员逻辑学》完稿
Why compute might get 10x+ more expensive in coming years — dwarkesh.com · 07-29 15:01 · ⭐ 25/30
《Logic for Programmers》一书现已完成1.0版本并正式出版。该书专为程序员设计，系统讲解逻辑学在编程中的应用。作者Hillel Wayne在公告中提供了购买链接和官方网址。早期电子版用户可通过Leanpub下载更新。全书内容覆盖命题逻辑、谓词逻辑、证明技巧等，旨在帮助程序员提升推理和代码验证能力。
🏷️ compute cost, H100, AI economics
13. Why do OpenAI's GPT-2 weights beat mine?
Why do OpenAI's GPT-2 weights beat mine? — gilesthomas.com · 07-29 15:30 · ⭐ 19/30
When I finished my project training an LLM from scratch, I was
left with a minor mystery. Why were my models worse at instruction-following than the original OpenAI
🏷️ GPT-2, LLM, instruction fine-tuning, model comparison
⚙️ 工程
14. 数一数那些下划线
Count Those Underscores — daringfireball.net · 07-29 15:28 · ⭐ 23/30
一起因用户名中下划线数量差异导致的司法错误：警察在Kik上搜索嫌疑人“fus__ro_dah”（两个下划线），却误请求了“fus_ro_dah”（一个下划线）的用户记录。这一字符之差让加拿大男子Brandon Klayme无辜入狱18个月，尽管调查未发现任何证据。案件暴露了执法系统在数字身份识别上的粗疏，一个微小的输入错误即可引发严重误判。文章结论强调，技术系统的精确性对司法公正至关重要，任何疏忽都可能付出沉重代价。
🏷️ underscore, Kik, search error, false arrest
15. Making an agile version of a Windows Runtime delegate in C++/WinRT, part 8
Making an agile version of a Windows Runtime delegate in C++/WinRT, part 8 — devblogs.microsoft.com/oldnewthing · 07-29 14:00 · ⭐ 16/30
Exceptions hiding in lambda captures. The post Making an agile version of a Windows Runtime delegate in C++/WinRT, part 8 appeared first on The Old New Thing.
🏷️ C++/WinRT, Windows Runtime, delegate, lambda
🛠 工具 / 开源
16. Pastebot 3
Pastebot 3 — daringfireball.net · 07-29 16:07 · ⭐ 16/30
New from Tapbots: version 3 of their excellent clipboard manager for Mac. There are so many clipboard managers for the Mac. I run two other apps — Keyboard Maestro and LaunchBar — that offer good clip
🏷️ Pastebot, clipboard manager, Mac, Tapbots
生成于 2026-07-30 08:33 | 扫描 85 源 · 共 2536 篇 · 28h 内新发布 16 篇 · 精选 16 篇 基于 Hacker News Popularity Contest 2025 RSS 源列表，由 Andrej Karpathy 推荐