🚀 Hacker News
1. Announcing the Beta release of ty
宣布 ty 发布 Beta 版本
2. Is Mozilla trying hard to kill itself?
Mozilla 正在努力自杀吗？
3. AI will make formal verification go mainstream
人工智能将使形式化验证成为主流
4. Gemini 3 Flash: Frontier intelligence built for speed
Gemini 3 Flash：为速度而生的前沿智能
5. AWS CEO says replacing junior devs with AI is 'one of the dumbest ideas'
AWS 首席执行官表示用人工智能取代初级开发人员是“最愚蠢的想法之一”
6. No AI* Here – A Response to Mozilla's Next Chapter
这里没有人工智能*——对 Mozilla 下一章的回应
7. GPT Image 1.5
GPT 映像 1.5
8. Tell HN: HN was down
告诉 HN：HN 已关闭
9. Coursera to combine with Udemy
Coursera 与 Udemy 合并
10. Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)
Sega Channel：VGHF 恢复超过 100 个 Sega Channel ROM（及更多）
11. Japan to revise romanization rules for first time in 70 years
日本70年来首次修改罗马化规则
12. A Safer Container Ecosystem with Docker: Free Docker Hardened Images
使用 Docker 打造更安全的容器生态系统：免费的 Docker 强化镜像
13. MIT professor shot at his Massachusetts home dies
麻省理工学院教授在马萨诸塞州的家中被枪杀
14. Bonsai: A Voxel Engine, from scratch
盆景：体素引擎，从头开始
15. I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
我在几个小时内使用 Codex CLI 和 GPT-5.2 将 JustHTML 从 Python 移植到了 JavaScript
16. The GitHub Actions control plane is no longer free
GitHub Actions 控制平面不再免费
17. VS Code deactivates IntelliCode in favor of the paid Copilot
VS Code 停用 IntelliCode，转而使用付费 Copilot
18. How SQLite is tested
SQLite 是如何测试的
1. Announcing the Beta release of ty
宣布 ty 发布 Beta 版本
2. Is Mozilla trying hard to kill itself?
Mozilla 正在努力自杀吗？
3. AI will make formal verification go mainstream
人工智能将使形式化验证成为主流
4. Gemini 3 Flash: Frontier intelligence built for speed
Gemini 3 Flash：为速度而生的前沿智能
5. AWS CEO says replacing junior devs with AI is 'one of the dumbest ideas'
AWS 首席执行官表示用人工智能取代初级开发人员是“最愚蠢的想法之一”
6. No AI* Here – A Response to Mozilla's Next Chapter
这里没有人工智能*——对 Mozilla 下一章的回应
7. GPT Image 1.5
GPT 映像 1.5
8. Tell HN: HN was down
告诉 HN：HN 已关闭
9. Coursera to combine with Udemy
Coursera 与 Udemy 合并
10. Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)
Sega Channel：VGHF 恢复超过 100 个 Sega Channel ROM（及更多）
11. Japan to revise romanization rules for first time in 70 years
日本70年来首次修改罗马化规则
12. A Safer Container Ecosystem with Docker: Free Docker Hardened Images
使用 Docker 打造更安全的容器生态系统：免费的 Docker 强化镜像
13. MIT professor shot at his Massachusetts home dies
麻省理工学院教授在马萨诸塞州的家中被枪杀
14. Bonsai: A Voxel Engine, from scratch
盆景：体素引擎，从头开始
15. I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
我在几个小时内使用 Codex CLI 和 GPT-5.2 将 JustHTML 从 Python 移植到了 JavaScript
16. The GitHub Actions control plane is no longer free
GitHub Actions 控制平面不再免费
17. VS Code deactivates IntelliCode in favor of the paid Copilot
VS Code 停用 IntelliCode，转而使用付费 Copilot
18. How SQLite is tested
SQLite 是如何测试的
