Hacker News 首页 - 2025-12-13
1. OpenAI悄然引入技能功能，现已支持ChatGPT与Codex CLI
作者: simonw | 发布于: 2025-12-12 23:30
2. 证明辅助工具的50年历程
作者: baruchel | 发布于: 2025-12-12 23:26
3. 我能使用HTTPS RR吗？
作者: zdw | 发布于: 2025-12-12 22:34
4. Show HN：用 C 语言编写的微型虚拟机沙盒，支持 Rust、C 和 Zig 应用
作者: trj | 发布于: 2025-12-12 22:02
5. Capsudo：以对象能力重新思考Sudo
作者: fanf2 | 发布于: 2025-12-12 21:42
6. Motion（YC W20）招聘高级前端工程师
作者: ethanyu94 | 发布于: 2025-12-12 21:00
7. GNU Unifont
作者: remywang | 发布于: 2025-12-12 20:57
8. macOS 26.2 通过 Thunderbolt 实现 RDMA 支持，助力构建高速 AI 集群
作者: guiand | 发布于: 2025-12-12 20:41
9. 电子发票的安全隐患
作者: todsacerdoti | 发布于: 2025-12-12 20:28
10. 老鼠玩《毁灭战士》
作者: ano-ther | 发布于: 2025-12-12 20:15
11. 家得宝GitHub令牌暴露一年，内部系统访问权限遭泄露
作者: kernelrocks | 发布于: 2025-12-12 18:23
12. 谷歌开源新版Google Sans Flex字体
作者: CharlesW | 发布于: 2025-12-12 18:07
13. 异步DNS
作者: todsacerdoti | 发布于: 2025-12-12 16:52
14. 用中学数学揭开人工智能的神秘面纱
作者: zdw | 发布于: 2025-12-12 16:32
15. 弦论启发了一项卓越而令人困惑的新数学证明
作者: ArmageddonIt | 发布于: 2025-12-12 16:23
16. 找不到适合我库的日志库，于是我自己写了一个
作者: todsacerdoti | 发布于: 2025-12-12 15:46
17. CM0——一款你买不到的新款树莓派
作者: speckx | 发布于: 2025-12-12 15:19
18. 使用生成列实现SQLite JSON全索引速度
作者: upmostly | 发布于: 2025-12-12 13:25
19. 厌倦智能电视？这些替代方案值得考虑
作者: fleahunter | 发布于: 2025-12-12 12:51
20. 快速构建更小的Docker镜像
作者: steinuil | 发布于: 2025-12-12 10:23