🔥 今日热点 Apple 发布搭载 M5 Pro 和 M5 Max 的 MacBook Pro 来源: Hacker News 热度: ⭐ 783 points 摘要: Apple 正式发布全新 MacBook Pro，搭载 M5 Pro 和 M5 Max 芯片，性能和能效再次突破。 链接: Apple Newsroom 配图: Motorola GrapheneOS 设备将支持 Bootloader 解锁/重新锁定 来源: Hacker News 热度: ⭐ 678 points 摘要: GrapheneOS 宣布 Motorola 设备将支持 Bootloader 解锁和重新锁定，为隐私和安全用户提供更多选择。 链接: GrapheneOS 配图: Claude’s Cycles - Donald Knuth 新作 来源: Hacker News 热度: ⭐ 636 points 摘要: 计算机科学大师 Donald Knuth 发布新论文《Claude’s Cycles》，探讨算法与 AI 的深层联系。 链接: Stanford PDF 配图: 🤖 AI & 机器学习 GPT-5.3 Instant 发布 来源: Hacker News 热度: ⭐ 348 points 摘要: OpenAI 发布 GPT-5.3 Instant 模型，在速度和成本优化方面有显著提升。 链接: OpenAI 配图: Agentic Engineering Patterns - Agent 工程模式指南 来源: Hacker News 热度: ⭐ 140 points 摘要: Simon Willison 发布 Agent 工程模式指南，总结构建可靠 AI Agent 的最佳实践。 链接: Simon Willison 配图: 当 AI 编写软件时，谁来验证？ 来源: Hacker News 热度: ⭐ 232 points 摘要: Leonardo de Moura 探讨 AI 生成代码的验证问题，提出形式化验证的重要性。 链接: leodemoura.github.io 配图: Speculative Speculative Decoding (SSD) 来源: Hacker News 热度: ⭐ 42 points 摘要: 新论文提出 SSD 方法，通过推测解码加速 LLM 推理，降低延迟和成本。 链接: arXiv 配图: 💻 开发者工具 & 开源项目 GitHub Trending 今日精选 1. agency-agents - 完整的 AI 代理机构工具包 热度: 🔥 593 stars today | ⭐ 4,464 total 简介: 从前端专家到 Reddit 社区运营，每个 Agent 都是具有个性的专业专家。 语言: TypeScript 链接: GitHub 配图: 2. airi - 自托管的 AI 虚拟伴侣 热度: 🔥 832 stars today | ⭐ 22,872 total 简介: 自托管 AI 伴侣，支持实时语音聊天、Minecraft、Factorio 等互动功能。 语言: TypeScript 链接: GitHub 配图: 3. OpenSandbox - 阿里开源的 AI 应用沙箱平台 热度: 🔥 1,150 stars today | ⭐ 5,659 total 简介: 通用沙箱平台，支持多语言 SDK、Docker/K8s 运行时，适用于 Coding Agents、GUI Agents 等场景。 语言: Python 链接: GitHub 配图: 4. superset - AI Agent 时代的 IDE 热度: 🔥 632 stars today | ⭐ 4,560 total 简介: 专为 AI Agent 时代设计的 IDE，可在本地运行 Claude Code、Codex 等多个 AI 编程助手。 语言: TypeScript 链接: GitHub 配图: 5. LMCache - 超快的 LLM KV Cache 层 热度: 🔥 135 stars today | ⭐ 7,487 total 简介: 为 LLM 提供最快的 KV Cache 层，显著提升推理性能。 语言: Python 链接: GitHub 配图: 6. agentscope - 可视化 Agent 框架 热度: 新项目 简介: 构建和运行可见、可理解、可信任的 Agent 系统。 链接: GitHub 配图: 🔧 系统编程 & 性能优化 Better JIT for Postgres 来源: Hacker News 热度: ⭐ 53 points 摘要: 新项目 pg_jitter 为 PostgreSQL 提供更好的 JIT 编译支持，提升查询性能。 链接: GitHub 配图: A CPU that runs entirely on GPU 来源: Hacker News 热度: ⭐ 92 points 摘要: 创新项目 nCPU 实现了完全在 GPU 上运行的 CPU，探索异构计算的新可能。 链接: GitHub 配图: Zero-copy Coroutine Tracer 来源: Hacker News 热度: ⭐ 5 points 摘要: 零拷贝协程追踪器，用于发现调度器的丢失唤醒问题。 链接: GitHub 配图: 🎮 图形 & 游戏开发 Voxile: 光线追踪游戏引擎 来源: Hacker News 热度: ⭐ 197 points 摘要: Voxile 是一个使用自研引擎和编程语言开发的光线追踪游戏，发布重大更新。 链接: Elbow Grease Games 配图: Graphics Programming Resources 来源: Hacker News 热度: ⭐ 95 points 摘要: 全面的图形编程资源集合，涵盖从基础到高级的图形学知识。 链接: GPVM 配图: 🌐 Web 开发 & 编程语言 Weave - 基于实体的语言感知合并算法 来源: Hacker News 热度: ⭐ 123 points 摘要: Weave 提供了一种新的代码合并算法，基于语言语法和语义实体进行智能合并。 链接: GitHub 配图: Textadept - 极简主义文本编辑器 来源: Hacker News 热度: ⭐ 139 points 摘要: Textadept 是一个快速、极简、可扩展的跨平台文本编辑器，专为程序员设计。 链接: Textadept 配图: Rust Compiler in PHP 来源: Hacker News 热度: ⭐ 29 points 摘要: 实验性项目，用 PHP 实现的 Rust 编译器，可生成 x86-64 可执行文件。 链接: GitHub 配图: 📊 数据库 & 安全 Intel 18A 工艺节点首秀：288 核 Xeon 来源: Hacker News 热度: ⭐ 286 points 摘要: Intel 的关键 18A 工艺节点首次应用于数据中心，推出 288 核 Xeon 6 CPU。 链接: Tom’s Hardware 配图: RFC 9849: TLS Encrypted Client Hello 来源: Hacker News 热度: ⭐ 58 points 摘要: 新 RFC 标准化了 TLS Encrypted Client Hello，增强隐私保护，防止流量分析。 链接: RFC Editor 配图: TikTok 表示不会引入端到端加密 来源: Hacker News 热度: ⭐ 239 points 摘要: TikTok 宣布不会引入端到端加密，称这会降低用户安全性，引发隐私争议。 链接: BBC 配图: 🎓 学习资源 An Interactive Intro to CRDTs 来源: Hacker News 热度: ⭐ 149 points 摘要: CRDT（无冲突复制数据类型）的交互式入门教程，适合学习分布式系统。 链接: Jake Lazaroff 配图: On the Design of Programming Languages (1974) 来源: Hacker News 热度: ⭐ 43 points 摘要: 1974 年的经典论文，探讨编程语言设计的核心原则，至今仍有启发意义。 链接: UC Davis PDF 配图: 📈 职业发展 Don’t Become an Engineering Manager 来源: Hacker News 热度: ⭐ 356 points 摘要: 文章讨论了为什么工程师不应该盲目转向管理岗位，以及 IC（独立贡献者）路径的价值。 链接: Manager.dev 配图: My Spicy Take on Vibe Coding for PMs 来源: Hacker News 热度: ⭐ 100 points 摘要: 产品经理如何看待"vibe coding"（基于直觉的编程），以及在 AI 时代的新角色定位。 链接: ddmckinnon.com 配图: 🔬 前沿研究 Reverse-Engineering the Wetware: Spiking Networks 来源: Hacker News 热度: ⭐ 21 points 摘要: 探讨脉冲神经网络（Spiking Networks）如何逆转工程生物神经网络，可能终结矩阵计算时代。 链接: MetaDuck 配图: You Can Use Newline Characters in URLs 来源: Hacker News 热度: ⭐ 78 points 摘要: Daniel Lemire 揭示了 URL 中可以使用换行符的有趣事实及其安全影响。 链接: lemire.me 配图: 🚀 Launch HN Cekura (YC F24) - Voice and Chat AI Agents 测试监控 来源: Hacker News 热度: ⭐ 83 points 摘要: YC F24 批次项目，为语音和聊天 AI Agent 提供测试和监控解决方案。 链接: Hacker News 配图: 📝 总结 今日科技圈重点：
...