AI与科学
分类「AI与科学」下的文章与资讯
Rust 2026 Edition五大核心特性：系统编程生产力的飞跃
Rust 2026 Edition 没有走激进语法革新路线，而是在"系统编程生产力"上持续深耕。Polonius 2.0 让借用检查不再与直觉作对，原生异步特质性能提升 20 倍，RTFM 带来编译期验证的并发模型，const fn 全面进化，unsafe 安全抽象更容易写对。
2026年AI编程助手横评：Cursor、Windsurf、GitHub Copilot、Claude Code
2026 年 AI 编程工具已从"代码补全"进化为"全项目 Agent"。Cursor 凭借 Composer + Agent 模式领先，Windsurf 以多文件协同编辑追赶，GitHub Copilot 生态整合最广，Claude Code 终端原生体验最纯粹。选哪个取决于你的工作流偏好。
本地大模型部署实战：vLLM比Ollama快16倍的背后
2026 年本地大模型部署已分化为两条路线：Ollama 适合单用户开发，vLLM 在多并发生产环境中以高达 16 倍的优势胜出。本文从架构差异、PagedAttention、量化策略到成本分析，全面解析本地 LLM 部署的优化实践。
免费编译器教材：从零构建C语言到X86/ARM编译器
圣母大学 Douglas Thain 教授的《Introduction to Compilers and Language Design》是一本完全免费的在线教材，涵盖从词法分析到代码生成的完整编译器构建流程，帮助学生用一个学期时间构建一个能将类 C 语言编译为 X86/ARM 汇编的编译器。
2026年AI Agent框架全景：12大主流框架深度横评
从 LangChain 到 AutoGen，从 CrewAI 到 PydanticAI，2026 年 AI Agent 框架已分化为企业级、开发者生态、轻量级生产就绪等多个赛道。本文基于 GitHub Stars、功能完整性和生态活跃度，对 12 大框架进行深度横评。
青少年科技周刊#1：AI会偷懒？不懂编程的人造出了编程工具
本周科技趣闻速读：AI会偷懒、越聪明越容易犯错、不懂编程的人用AI造出编程工具、电脑卡了怎么看体检报告。专为青少年打造的通俗科技解读。
LTAP 架构：Databricks 让 Postgres 以 Parquet 格式统一事务与分析
Databricks 推出 LTAP（Lake Transactional/Analytical Processing）架构，将 Postgres 事务数据在物化时即转换为 Parquet 列式格式，一份数据同时供事务引擎和分析引擎读取，彻底消除 CDC 管道的复杂性和延迟。
Zig 架构进化：包管理功能从编译器迁移到构建系统
Zig 语言将所有包管理功能从编译器可执行文件移出，转移到构建系统（maker 进程）中。这一架构变更使二进制缩小 4%、增强了可修补性和安全性，并为构建服务器协议铺平了道路。
Claude Code 会话隔离漏洞：企业版 ZDR 工作区疑似跨账户内容泄漏
一位企业用户报告 Claude Code 在 ZDR 工作区中突然开始讨论 Minecraft 神庙建造，尽管用户从未提及。GitHub issue 中的讨论揭示了如何区分本地上下文泄漏和服务端跨账户泄漏，对企业 AI 工具安全评估至关重要。
不懂 Rust 的开发者用 AI 重写 PHP 引擎：Phargo 通过 17.4% 测试并运行 WordPress
一位不会 Rust 的开发者用 AI Agent 从零编写了一个 Rust 实现的 PHP 解释器 Phargo，通过了 PHP 上游 22,000 个测试中的 17.4%，甚至成功运行了 WordPress。其方法论核心是：用外部测试套件作为不可贿赂的验证者。
更好的模型，更差的工具：Flask 作者揭示 LLM 工具调用退化现象
Flask 作者 Armin Ronacher 发现，Anthropic 最新的 Opus 4.8 和 Sonnet 5 在调用非标准工具接口时，会"发明"不存在的参数字段，而旧模型没有此问题。根因是 RL 后训练在 Claude Code 宽容 harness 中进行，模型缺乏不要发明字段的梯度信号。
GPT-5.5 Codex 推理令牌聚类异常：固定阈值截断或致复杂任务性能退化
一位开发者分析了 39 万条 Codex 遥测数据，发现 GPT-5.5 的推理令牌在 516、1034、1552 等固定值处异常聚类，步长精确为 518。这一现象与推理令牌强度下降同时出现，暗示存在量化推理预算截断机制，可能导致复杂任务性能退化。
阿里巴巴禁止 Claude Code：企业 AI 工具安全审查的新红线
2026年7月3日，路透社报道阿里巴巴已禁止员工在工作场所使用 Anthropic 的 AI 编程工具 Claude Code，原因是该工具被指包含检测用户环境的"后门"机制。此前 Anthropic 指控阿里巴巴对其模型发起"蒸馏"攻击。这一事件凸显了 AI 编程工具在企业安全中的新风险维度。
crustc：将 Rust 编译器整体翻译为 4600 万行 C 代码
开发者 FractalFir 在 GitHub 上发布了 crustc 项目——将 Rust 编译器（rustc）的完整代码翻译为 4600 万行 C 代码，且生成的 C 代码可以用 GCC 编译出一个功能完整的 Rust 编译器。这背后是他三年开发的 cilly 工具链，目标是让 Rust 代码能编译到任意有 C 编…
Safari MCP Server：WebKit 为 Web 开发者推出专用 MCP 服务
WebKit 团队在 Safari Technology Preview 247 中推出了 Safari MCP Server，让 AI 编程代理能够直接连接 Safari 浏览器窗口，自主检查 DOM、网络请求、截图和控制台输出。这是继 Claude Code 和 Cursor 之后，MCP 生态在浏览器调试领域的重…
Short Leash：一个资深开发者的 AI 编程方法论
okTurtles 创始人 Greg Slepak 发表文章，提出「Short Leash」（短绳）AI 编程方法。与流行的「Vibe Coding」不同，该方法强调开发者必须全程参与，通过 diff 审查、频繁干预和逐行代码审查来保证质量。
Godot 宣布禁止 AI 生成代码：开源项目的 AI 困境
知名开源游戏引擎 Godot 基金会宣布，将在贡献政策中明确禁止 AI 生成的代码、由 AI Agent 提交的 PR，以及人与人之间通信中的 AI 生成文本。大量"AI 垃圾 PR"正在消耗维护者精力，这一决定在开源社区引发广泛讨论。
调试的底层真相：从 x86 调试寄存器到 GPU 专用调试单元
每个程序员都用过调试器：在 IDE 里点一个红点，程序跑到那里就停住；按 F10 逐行执行，看变量值的变化。这些操作看起来如此自然，以至于我们很少追问：
Qwen 3.6 27B：本地LLM开发的甜点模型
Qwen 3.6 27B被广泛评价为本地LLM开发的"甜点模型"。它在27B参数规模下达到了约GPT-5/Claude Sonnet 4.5级别的综合能力，可以在48GB统一内存的Apple Silicon设备上流畅运行。8-bit量化后仅需28GB内存，配合多token预测技术可达32 tokens/s的生成速度，为…
GLM 5.2 开源：中国大模型首次在网络安全任务上超越 Claude
2026年6月， 智谱 AI 发布了 GLM 5.2。这个时刻值得记录，不仅因为它是目前全球排名第一的开源权重模型，更因为一家安全公司 Semgrep 的独立基准测试显示：在一个毫无辅助提示的 IDO…