漏洞报告暴增十倍，Go 团队：我们睡不好了

GopherDaily

Go技术生态

漏洞报告暴增十倍，Go 团队：我们睡不好了
GopherCon EU 2026 上，Go 团队的 Roland Shoemaker 与 Jonathan Amsterdam 参加了一场圆桌问答。本文结合会议文字稿与公开>资料（Go 1.26／1.27 发布说明、curl 项目公告、Epoch AI 与 Google GTIG 数据等），梳理了五条主线：AI 引发的漏洞报告洪水与团队的应对策 略、Go 团队自己使用 AI 的边界、Go 的路线图（后量子、SIMD、LLM 友好）、小团队的取舍哲学，以及语言设计上的“克制”。

给Rust代码办一张“数学身份证”：亚马逊揭秘Nitro背后的形式化验证武器Verus
Rust 的类型系统能防内存越界和数据竞争，却证明不了“代码算出来的业务逻辑是对的”。本文深度揭秘亚马逊在 AWS Nitro 隔离引 擎等核心基础设施中引入的形式化验证利器——Verus。Verus 允许开发者直接在 Rust 源码中嵌入数学规约，依托自动求解器实现秒级证明反馈，甚>至能为脱离编译器保护的 unsafe 代码与自定义并发锁建立不可动摇的数学级正确性保证。文章详细拆解了 Verus 的工作流程、“幽灵代码擦除”机>制及开源生态的落地现状。

Rust 核心开发者发出“存在主义焦虑”：Agent 写代码的时代，语言设计者还有饭碗吗？
Rust 近期热度飙升，Meta 今年的 Rust 代码量已超过此前 9 年总和。Rust 核心开发者 Niko Matsakis 认为，原因在于 Rust 的“默认高性能”与“类型系统护栏”恰好契合 Agent 编程。本文结合他的文章，以及 Lean 社区的 lean-zip 实验和 AWS 工程师 Marc Brooker 的“反馈 回路假说”，梳理 Rust 的优势、局限，以及“证明系统 + 设计语言”这条可能的演进路线。

当90%代码由AI写完，程序员社区、编程语言、开发工具将何去何从？
Elixir之父José Valim近日在X发长文《Evolving programming languages in the AI era》，引发大量转发讨论。他认为当AI Agent写掉大部分代码后，编程语言的“人体工学”优化会失去意义，但编译器不会消失；真正该被重新设计的，是IDE、LSP、调试器这些“为人类交互而生 ”的工具——他提出用可查询的“程序数据库”取代LSP、用运行时可观测性取代传统调试器。本文完整梳理其核心观点及评论区激辩。

gopls中的交互式重构
在现代IDE或编辑器中编辑代码时，开发者依赖其重构功能来自动执行常见的代码转换。

PHP中的Rust/Go应用
在上一篇文章中，我们探讨了Rust静态分析的速度如何为非PHP语言分析PHP代码库打开了大门。它给PHP世界带来了什么影响？我们PHP开发者如何利用它来获得自己的利益？

云原生技术

你没有哪些需求？
问题在于：如果有人通过慢速互联网发送的HTTP请求每秒只到达一个数据包，这是否必须占用服务器进程的整个时间？Unicorn的回答是"是的，所以在它前面放置nginx或HAProxy"。

Daniel Temkin | Folders语言
_Folders_语言创建于2015年，最近更新于2026年，是Rivulet和Velato的作者创建的四十四种非常规编程语言之一。

Kubernetes事件和控制器设计
Kubernetes事件和控制器设计探讨了如何有效处理Kubernetes系统中的事件流以及如何设计高效的控制器来响应这些事件。

Rust中的热重载
热重载功能允许您更改正在运行的应用程序代码，而无需在每次更改后重新启动它。

类型的类型：Haskell的Kind系统
在为我的Haskell Redis服务器克隆添加类型化配置的过程中，我发现自己学习了一些新技巧，这些技巧都源于Haskell的Kind系统。

JDK 28参考实现
此版本将是Java SE平台第28版的参考实现，由Java社区流程中的JSR 403指定。目前处于开发状态。

Microsoft Teams是一个危险信号
当一家公司使用Microsoft Teams和Outlook运行时，我可以对其决策方式做出一种假设：员工整天使用的工具是由几乎不使用它们的人选择的，而决定因素是许可协议中的一行内容。

Python的二进制wheel和供应链攻击
尽管Python是一种慢速语言，但以其快速包管理而闻名。最快的Python包是用C、C++或Rust等编译语言编写的，而Python仅起到粘合作用。

DuckDB 2.0和S3文件读取性能
DuckDB 2.0版本显著提升了与S3存储系统的文件读取性能，为大规模数据分析提供了更高效的解决方案。

更快、更好、更强不是一种策略
领导一个工程领域通常意味着你需要时不时地定义工程策略，而不仅仅是追求表面的改进。

压缩就是预测 | ngrok博客
最近我在阅读关于压缩的内容时偶然发现了一个惊人的事实：压缩器和大型语言模型在本质上试图解决的是完全相同的问题。

现代化VS Code用户界面
VS Code自2015年首次预览以来已经发生了很大变化，最新的UI更新旨在提升用户体验和开发效率。

iroh 1.0的发布之路 - Iroh
经过四年的工作和多次转型，我们终于发布了iroh 1.0。我们的网站不断扩展，描述了iroh的内部工作原理，但我们认为理解为什么创建它同样重要。

Linux 7.3内核已发布 [LWN.net]
Linus Torvalds如期发布了7.3内核。这次发布没有随机延迟，表明开发过程按计划进行。

关于借用检查的新思考方式（逆向）
本文介绍了一种关于借用检查的新方法，从逆向角度思考Rust语言中的借用检查机制，为理解内存安全提供了新视角。

享受编程仍然是OK的
阅读Hacker News让我觉得有必要写下这篇文章：享受编程仍然是OK的。在技术社区中，保持对编程的热情和乐趣非常重要。

使用OpenTelemetry Collector监控Supabase
Supabase为项目遥测提供了两种选择。Metrics API是一个Prometheus端点，涵盖Postgres、底层主机和堆栈的其余部分。

文件系统就是API（使用TigerFS）
如果文件系统由真实数据库支持会怎样？TigerFS探索了将文件系统与数据库结合的新方法，为数据存储提供了创新解决方案。

Uber在其服务网格中自动化依赖分析
Uber在其服务网格中实现了依赖分析的自动化，通过智能工具监控和分析系统间的依赖关系，提高了架构的可靠性和可维护性。

RustDesk 1.5.0：WebRTC直连和质量改进
我们最近分享了一个实际体验：升级到1.5.0后，从另一个大陆访问家里的Mac感觉比以前更流畅。原始文章描述了这一体验。

使COUNT和其余搜索真正快速（第二部分）
本文是系列文章的第二部分，重点介绍如何优化COUNT查询和其他搜索操作，显著提升数据库查询性能。

虚拟内存：页表、TLB和Linux内部机制
本文从基础原理出发，提供了关于页面错误、页表、TLB、NUMA拓扑、Linux内部机制以及在数据密集型系统中性能优化的实用指南。

AI

Claude Code 团队是如何进行代码审查的
在已有 90% 代码由 Claude 自主编写的背景下，Claude Code 团队首次公开了如何解决海量代码审查瓶颈的实战工程体系。面对日>均数万次合并的吞吐压力，团队摒弃传统逐行看代码的“人肉把关”，建立起涵盖提 PR 前自验、多 Agent 投票审查、阻断性安全校验、三档动态风>险审批以及合并队列的分级防御网。同时，通过引入事故转评测集与轮数硬封顶等收敛机制，团队在 PR 合并量翻倍的同时将回滚率压降超 40%，将人类极其有限的注意力精准锚定在架构决策与业务意图上。

谷歌开源Harness²：不碰权重，让Agent学会了“自我进化”
LLM Agent 的能力取决于模型，也取决于包裹模型的执行Harness（harness）。谷歌 Cloud AI Research 提出 Harness²，一个即插 即用的“递归式 Agent Harness优化”框架：任务级递归通过“提出—探测—合成”的对照步骤，在没有真值验证器的情况下改进当前任务的Harness；Harness级递归则把改进过程沉淀为经验库，指导后续任务。在 3 个专业基准、4 种“模型—Harness”配置上，单步改进即可稳定提升表现，最高分别达>到 WorkBuddy-Bench +11.5、JobBench +4.5、LAB +11.8 个百分点，并随递归预算增加持续上升。

Claude Code团队如何进行代码审查 / claude.dev博客
Claude Code团队分享了他们的代码审查流程和方法，展示了如何利用AI辅助工具提高代码质量和开发效率。

为什么Harness对能源效率很重要
研究表明，一次深度缓存缺失的能耗相当于600次正常操作的预填充，这凸显了优化线束设计对提高能源效率的重要性。

智能体对Rust的意义（反之亦然）
本文探讨了大型语言模型(LLM)对编程语言设计的影响，特别是对Rust语言生态系统可能带来的变革和机遇。

超越Kubernetes：Modal如何在几秒内扩展100万个并发沙箱
Modal介绍了一种超越传统Kubernetes的解决方案，能够在几秒内扩展到100万个并发沙箱，为AI和机器学习工作负载提供了前所未有的可扩展性。

Cloudflare和OpenAI：为每个人改善AI发现体验
Cloudflare与OpenAI合作，通过整合AI技术，为用户提供更智能、更高效的发现体验，同时保持网络性能和安全性的平衡。

OpenSpec规范质量如何？一项对87个公共项目的研究
研究表明，OpenSpec的写作指南已经设定了正确的规则：每个需求一个SHALL，不包含实现细节，包含错误情况场景，每个规范都有明确目的。其验证器只检查语法，不检查这些规则。

自我改进的语音智能体
每次部署都会获得一个新的智能体，下一个版本应该已经从前一个版本中学习。这种持续学习机制使语音智能体能够不断改进其性能和用户体验。

Anthropic的招聘方式如何变化
Anthropic发布了一份关于其就业模式变化的报告，详细介绍了公司在人工智能安全领域的招聘策略、员工发展计划和未来工作趋势。

Uber如何将其AI智能体连接到模型和工具
Uber在2025年初为工程师构建了一个智能体平台，现在有数千个智能体在其数千个服务中工作。工程师面临两个主要问题：如何有效连接智能体与底层模型，以及如何管理复杂的工具生态系统。

流行工具与项目

alvinunreal/lazyskills
mission control for agent skills

google/ax
Agent Executor (AX) is Google's open agentic orchestration runtime

jasonxu114514/opencode2api
A Go-based OpenCode Zen / Zen Go API proxy with OpenAI & Anthropic API compatibility, key/proxy pooling, automatic routing, and WebUI.

ollama/ollama
Get up and running with Kimi, GLM, MiniMax, DeepSeek, gpt-oss, Qwen, Gemma and other models.

gitleaks/gitleaks
Find secrets with Gitleaks 🔑

github/github-mcp-server
GitHub's official MCP Server

gastownhall/beads
Beads - A memory upgrade for your coding agent

agent-substrate/substrate
Agent Substrate: the core system

VersusControl/versus-incident
The self-hosted AI SRE agent. You don't have to monitor your systems alone. Versus Incident will keep track of your services, applications, and systems, detect new or unexpected problems, and provide

mudler/LocalAI
LocalAI is the open-source AI engine. Run any model - LLMs, vision, voice, image, video - on any hardware. No GPU required.