AI与科学
分类「AI与科学」下的文章与资讯
Vibe Coding 兴起：用说话代替写代码的新一代编程
当你不再「写代码」而是「描述想要什么」，编程的门槛正在被重新定义。
MCP 协议：让 AI 编程工具连上你的数据库、API 和文件系统
Model Context Protocol 正在成为 AI 工具与外部系统对话的通用插头。
Cursor 3 与多 Agent 工作台：让 AI 在后台替你写代码
Cursor 从一个 AI 编辑器，进化为可以并行跑多个后台 Agent 的工作台。
Claude Code 爆发：终端里生长的自主编程 Agent
九个月增长六倍，SWE-bench 87.6% 登顶，Claude Code 为何成为高端开发者的首选。
Biopython：生物信息学的Python全能工具库
Biopython是专为计算分子生物学设计的Python开源工具库，整合序列处理、文件解析、序列比对、在线数据库检索、进化分析、蛋白结构解析等全套功能，是科研人员与生信从业者入门进阶的核心工具。
TS 7.0 编译器重写：构建速度提升 12 倍
微软正式发布 TypeScript 7.0，将编译器从 TypeScript/Node.js 完整重写为 Go 语言原生二进制。VS Code 项目（230万行）编译从 125.7 秒降至 10.6 秒，提速约 12 倍。
118B 碾压万亿模型：编程 Agent 效率新王
poolside.ai 发布 Laguna S 2.1，仅 118B 总参数（8B 激活）在多项编程基准测试中超越 DeepSeek-V4-Pro-Max（1.6T）等大模型。核心秘密不在参数量，而在后训练优化的'工作方式'。
Show HN：用 Rust + Bevy 写一个自运行的太空经济模拟器
一个开源项目用 Rust 与 Bevy 引擎实现「自运行」的太空经济模拟：飞船、空间站与市场在 ECS 架构下持续演化，是系统编程与仿真结合的好范例。
Jack Dorsey 的 Buzz：把团队聊天、AI Agent 与 Git 托管塞进一个应用
Block 创始人 Jack Dorsey 推出新应用 Buzz，将团队聊天、AI Agent 与 Git 代码托管整合为一体化协作空间，试图重画开发协作的边界。
Minecraft Java 改用 SDL3：游戏底层的现代化之路
Minecraft Java Edition 从 26.3 snapshot 4 起改用 SDL3（Simple DirectMedia Layer 3）作为底层库，取代了长期使用的自定义窗口和输入处理代码。这是这款全球最畅销游戏十余年来最重要的底层现代化改造之一，对游戏引擎和跨平台兼容性有深远影响。
The Zen of Parallel Programming：并行编程的禅意哲学
一篇名为《The Zen of Parallel Programming》的文章登上 Hacker News，用东方禅意哲学解读并行编程的核心原则。文章强调：并行不是"让更多 CPU 同时干活"那么简单，而是关于"减少协调、拥抱局部性、让数据流向计算"的系统哲学。
OpenAI 静默缩减 Codex 上下文：372K 到 272K 的成本权衡
OpenAI 在 2026 年 7 月将 Codex 上下文窗口从 372K 静默缩减到 272K tokens（27% 削减），未提前公告。配合内部推理算力参数 "juice" 从 960 降到 128，编程场景单轮 token 消耗降低 50%+。这是 OpenAI 在 Codex 流量翻倍压力下"优先保用户数而非…
Claude Code 静默切换到 Rust 版 Bun：Anthropic 的工程哲学
Simon Willison 通过 strings 命令在 Claude Code 二进制中发现，v2.1.181 起已内置 Rust 重写的 Bun 运行时，而非原来的 Zig 实现。Bun 作者 Jarred Sumner 确认，Linux 启动快约 10%，其余平台几乎无感。这次"用户无感"的底层重写，是 AI …
The Tower Keeps Rising：AI编程时代的巴别塔寓言
Jinja和Flask作者Armin Ronacher发文反思AI编程与共享理解。他以巴别塔为隐喻指出，AI编程工具消除了过去迫使开发者之间同步理解的"摩擦"，使得代码库在共享理解崩塌后仍能继续增长。塔不会倒塌，所以我们注意不到失去了什么——这正是最令人不安之处。
Tailscale SSH安全漏洞：一个"-i"参数让攻击者获得root权限
Tailscale披露高危漏洞TS-2026-009，攻击者通过将用户名设为"-i"即可利用getent命令的参数注入获取root权限。该漏洞源于Tailscale SSH未过滤以破折号开头的用户名，导致getent将其解释为命令行标志并打印整个passwd文件。修复方案为拒绝以破折号开头的用户名，升级至1.98.9及…
DSL让LLM更可靠：Martin Fowler详解领域特定语言的约束力量
Martin Fowler网站发文探讨DSL如何提升LLM输出可靠性。DSL通过约束变异空间、提供内置验证器（解析器、类型检查器等），让LLM在Agent模式下实现自动生成-检查-修复闭环。文章主张DSL和语义模型才是真正的source of truth，而非prompt本身。
生物信息学编程入门：从序列分析到蛋白质结构预测
生物信息学是生物学与计算机科学的交叉学科，利用编程技术处理和分析生物分子数据。本文从DNA序列分析入手，介绍序列比对算法、数据库查询工具以及蛋白质结构预测的计算方法。
Codex 加密子代理提示：AI 编程安全的新博弈
OpenAI 的 Codex 开始加密发送给子代理的提示信息，引发社区热议。这一举措旨在防止提示注入攻击和提示信息泄露，但也引发了关于 AI 编程透明度和可审计性的讨论。在 AI Agent 日益复杂的背景下，安全性正成为关键议题。
本周 AI 编程工具巡礼（Show HN 精选）
从本周 Hacker News 精选值得关注的编程 / AI 工具：DOM-docx（HTML 转原生可编辑 Word）、Clawk（一次性沙箱）、Tiny Emulators、Precursor 等。一篇速览，附上手要点与适用场景。
GhostLock：一个潜伏 15 年的 Linux 栈溢出漏洞启示
安全研究员披露 GhostLock——一个在所有主流 Linux 发行版中潜伏约 15 年的栈 Use-After-Free 漏洞，拿下 HN 347 分。本文讲清它是什么、为何能藏这么久，以及对工程实践的启示（非利用细节）。