Hacker News 首页 - 2025-12-17
1. 美国人高估社交媒体用户发布有害内容的比例
作者: bikenaga | 发布于: 2025-12-16 23:28
2. Dafny：面向验证的编程语言
作者: handfuloflight | 发布于: 2025-12-16 22:50
3. 我用Codex CLI和GPT-5.2在几小时内将JustHTML从Python移植到JavaScript
作者: pbowyer | 发布于: 2025-12-16 22:48
4. 无AI*在此——回应Mozilla的下一篇章
作者: MrAlex94 | 发布于: 2025-12-16 22:07
5. 麻省理工学院教授在麻省家中遭枪击身亡
作者: mosura | 发布于: 2025-12-16 21:52
6. 逆向工程RK3588 NPU：突破限制运行视觉Transformer
作者: rcarmo | 发布于: 2025-12-16 21:18
7. Chat-tails：基于Tailscale的复古终端聊天工具
Tailscale推出基于其安全网络的终端聊天工具，可在任何设备间进行加密通信。
作者: nulbyte | 发布于: 2025-12-16 21:16
8. AI将推动形式化验证走向主流
作者: evankhoury | 发布于: 2025-12-16 21:14
9. Ty：一款快速的 Python 类型检查器与 LSP
作者: gavide | 发布于: 2025-12-16 20:52
10. Letta 代码
作者: ascorbic | 发布于: 2025-12-16 20:51
11. 无图形API
作者: ryandrake | 发布于: 2025-12-16 19:20
12. GPT图像1.5
作者: charlierguo | 发布于: 2025-12-16 18:07
13. GitHub将于2026年3月开始对自托管Action运行器收费
作者: nklow | 发布于: 2025-12-16 17:32
14. Artie（YC S23）招聘高级企业AES工程师
作者: j-cheong | 发布于: 2025-12-16 17:00
15. alpr.watch
作者: theamk | 发布于: 2025-12-16 16:54
16. 使用 Qt、QML、Rust 和 C++ 编写一个明目张胆的 Telegram 克隆版
作者: tempodox | 发布于: 2025-12-16 15:41
17. Mozilla任命新CEO安东尼·恩佐-德梅奥
作者: recvonline | 发布于: 2025-12-16 13:53
18. 四成fMRI信号与真实大脑活动无关
作者: geox | 发布于: 2025-12-16 13:46
19. Rust GCC后端：缘由与实现
作者: ahlCVA | 发布于: 2025-12-16 13:33
20. 世嘉频道：VGHF 找回逾百款世嘉频道ROM（及其他内容）
作者: wicket | 发布于: 2025-12-16 13:07