📰 AI 博客每日精选 — 2026-06-18
来自 Karpathy 推荐的 92 个顶级技术博客，AI 精选 Top 14
📝 今日看点
今日技术圈两大趋势凸显：AI正彻底颠覆代码生产的经济学，使代码从昂贵资产变为可丢弃的一次性产物；同时，苹果的防晕车AI功能与Snap的AR眼镜新品，分别展示了AI在移动端和硬件端的创新落地。此外，微软BASIC的历史回顾也提醒我们，技术变革的种子往往埋藏在数十年前。
🏆 今日必读
🥇 苹果车辆运动提示：那些神奇的防晕车小点
Formalizing a ring theorem with Lean 4 and Claude — johndcook.com · 06-17 14:23 · 🤖 AI / ML
苹果在2024年推出的Vehicle Motion Cues功能，利用设备内置的加速计和陀螺仪，在屏幕上显示动态小点来缓解晕车。作者在山区弯道驾驶时尝试，起初无效，但启用该功能后晕车感完全消失。该功能通过模拟视觉与身体感知的同步，减少感官冲突。实测证明，对于因看屏幕引发的晕车，Vehicle Motion Cues效果显著。文章认为这是苹果在健康辅助功能上的一次巧妙创新。
💡 为什么值得读: 作者亲身在颠簸山路中验证了苹果这一小功能的大效果，值得晕车党一试。
🏷️ Lean 4, Claude, theorem proving, formalization
🥈 Charity Majors：AI颠覆代码生产经济学
You Got Faster. Your Company Didn’t. — terriblesoftware.org · 06-17 17:39 · 💡 观点 / 杂谈
2025年，代码生产的经济学被彻底颠覆：生成代码从昂贵、耗时变得几乎免费且即时。代码从被珍视、复用、精心维护的资产，一夜之间变成可丢弃、可重新生成的一次性产物。这一转变源于AI代码生成能力的爆发，使得软件开发的成本结构发生根本性变化。开发者需要重新思考代码的维护策略和工程纪律。Charity Majors认为，AI要求更强的工程纪律，而非更弱。
💡 为什么值得读: 一句话点明AI对软件工程最根本的冲击——代码从资产变为消耗品，值得每个开发者深思。
🏷️ AI productivity, organizational inertia, software development
🥉 1979年6月的一款微软产品如何催生了IBM PC
GLM-5.2 is probably the most powerful text-only open weights LLM — simonwillison.net · 06-17 23:58 · 💡 观点 / 杂谈
文章回顾了1979年6月微软的两个里程碑事件：8080 Basic的安装量突破20万，以及6月18日发布的一个关键版本。这个产品——Microsoft BASIC——成为IBM PC选择微软作为软件供应商的决定性因素。IBM原本考虑使用其他操作系统，但微软BASIC的广泛兼容性和成熟度让IBM最终采用了MS-DOS。结论是这款看似简单的BASIC解释器，实际上奠定了微软在PC时代的霸主地位。
💡 为什么值得读: 一段鲜为人知的历史细节，揭示了微软早期产品如何意外地改变了整个PC产业的走向。
🏷️ AI safety, ethics, technology criticism
📝 其他
1. Pluralistic: The (real) dead economy theory (17 Jun 2026)
Pluralistic: The (real) dead economy theory (17 Jun 2026) — pluralistic.net · 06-17 18:27 · ⭐ 15/30
Today's links The (real) dead economy theory: Vibes and memestocks, all the way down. Hey look at this: Delights to delectate. Object permanence: Jim Baen has had a stroke; Blame Apple for iTunes DRM;
2. I hate compilers
I hate compilers — xeiaso.net · 06-18 00:00 · ⭐ 15/30
You'd think that given the same bytes of input you'd get the same bytes of output. lol. lmao. No, you don't. It's complicated.
3. Windows stack limit checking retrospective, follow-up
Windows stack limit checking retrospective, follow-up — devblogs.microsoft.com/oldnewthing · 06-17 14:00 · ⭐ 15/30
Choosing the register to use to pass the desired stack allocation size. The post Windows stack limit checking retrospective, follow-up appeared first on The Old New Thing.
4. Summoning the Demon
Summoning the Demon — geohot.github.io · 06-17 07:00 · ⭐ 15/30
Watch you hit the stage like a willing bomb Strapped to crippled children It’s hard to watch you whore out your damaged pride I spit on what you’re building – The Stephen Hawking
5. How a Microsoft product from June 1979 led to the IBM PC
How a Microsoft product from June 1979 led to the IBM PC — dfarq.homeip.net · 06-17 11:00 · ⭐ 15/30
June 1979 is a significant month in history for Microsoft for two reasons. That month, they crossed the threshold of an installed base of 200,000 on its flagship 8080 Basic. And on June 18, 1979, Micr
6. Vehicle Motion Cues — a.k.a. Apple’s Weird Anti-Nausea Dots
Vehicle Motion Cues — a.k.a. Apple’s Weird Anti-Nausea Dots — daringfireball.net · 06-18 01:15 · ⭐ 12/30
Thomas Ricker, writing for The Verge:
I’ll just work from the car, I thought. But after a few minutes of staring at my screen on quick mountain switchbacks I could feel the first signs of cold, co
🏷️ Apple, Vehicle Motion Cues, anti-nausea
7. Quoting Charity Majors
Quoting Charity Majors — simonwillison.net · 06-17 17:12 · ⭐ 10/30
What happened in 2025 was this: the economics of code production were turned upside
🏷️ Microsoft, IBM PC, history, BASIC
🤖 AI / ML
8. 苹果车辆运动提示：那些神奇的防晕车小点
Formalizing a ring theorem with Lean 4 and Claude — johndcook.com · 06-17 14:23 · ⭐ 23/30
苹果在2024年推出的Vehicle Motion Cues功能，利用设备内置的加速计和陀螺仪，在屏幕上显示动态小点来缓解晕车。作者在山区弯道驾驶时尝试，起初无效，但启用该功能后晕车感完全消失。该功能通过模拟视觉与身体感知的同步，减少感官冲突。实测证明，对于因看屏幕引发的晕车，Vehicle Motion Cues效果显著。文章认为这是苹果在健康辅助功能上的一次巧妙创新。
🏷️ Lean 4, Claude, theorem proving, formalization
9. Yours Truly on MacBreak Weekly: Is the New Siri AI Good?
Yours Truly on MacBreak Weekly: Is the New Siri AI Good? — daringfireball.net · 06-17 15:41 · ⭐ 22/30
MacBreak Weekly:
John Gruber of Daring Fireball joins the MacBreak Weekly panel this week! A deep dive into Apple’s new Siri following WWDC. Why Apple Intelligence & the new Siri are not coming to
🏷️ Siri, Apple Intelligence, AI, WWDC
💡 观点 / 杂谈
10. Charity Majors：AI颠覆代码生产经济学
You Got Faster. Your Company Didn’t. — terriblesoftware.org · 06-17 17:39 · ⭐ 23/30
2025年，代码生产的经济学被彻底颠覆：生成代码从昂贵、耗时变得几乎免费且即时。代码从被珍视、复用、精心维护的资产，一夜之间变成可丢弃、可重新生成的一次性产物。这一转变源于AI代码生成能力的爆发，使得软件开发的成本结构发生根本性变化。开发者需要重新思考代码的维护策略和工程纪律。Charity Majors认为，AI要求更强的工程纪律，而非更弱。
🏷️ AI productivity, organizational inertia, software development
11. 1979年6月的一款微软产品如何催生了IBM PC
GLM-5.2 is probably the most powerful text-only open weights LLM — simonwillison.net · 06-17 23:58 · ⭐ 22/30
文章回顾了1979年6月微软的两个里程碑事件：8080 Basic的安装量突破20万，以及6月18日发布的一个关键版本。这个产品——Microsoft BASIC——成为IBM PC选择微软作为软件供应商的决定性因素。IBM原本考虑使用其他操作系统，但微软BASIC的广泛兼容性和成熟度让IBM最终采用了MS-DOS。结论是这款看似简单的BASIC解释器，实际上奠定了微软在PC时代的霸主地位。
🏷️ AI safety, ethics, technology criticism
⚙️ 工程
12. Logic for Programmers v0.15, Livecoding
Logic for Programmers v0.15, Livecoding — buttondown.com/hillelwayne · 06-17 16:40 · ⭐ 18/30
There's a new release of Logic for Programmers! This one, version 0.15, is the first true release candidate. There's a couple of minor
🏷️ logic, programming, book release, livecoding
13. Snap Unveils Specs, Its $2,200 AR Glasses, and They’re Fugly
Snap Unveils Specs, Its $2,200 AR Glasses, and They’re Fugly — daringfireball.net · 06-18 01:33 · ⭐ 17/30
Jay Peters, The Verge (gift link):
Snap is finally launching augmented glasses for the public. Specs, which Snap describes as “a wearable computer built into see-through augmented reality glasses,
🏷️ Windows, stack, kernel, assembly
🛠 工具 / 开源
14. Yours Truly on The Vergecast: ‘# the Epic Story of Markdown’
Yours Truly on The Vergecast: ‘# the Epic Story of Markdown’ — daringfireball.net · 06-17 15:37 · ⭐ 19/30
David Pierce, host of The Vergecast:
So where did Markdown come from? It came from John Gruber. John joins the show, along with Anil Dash, to tell the story of where Markdown came from and how it
🏷️ Markdown, John Gruber, text formatting, history
生成于 2026-06-18 10:32 | 扫描 84 源 · 共 2491 篇 · 28h 内新发布 14 篇 · 精选 14 篇 基于 Hacker News Popularity Contest 2025 RSS 源列表，由 Andrej Karpathy 推荐