Supabase 加入 SpaceXAI 合作伙伴网络，将 Grok Bot 与 Cursor 连接。团队可在聊天中提出需求，Cursor 通过 Supabase MCP 服务器自动编写并运行代码，查询数据库、检查架构、读取日志和部署边缘函数。代理会反复查询、测试和修复：92% 的调用继续查询，79% 的错误后继续执行，仅 2% 的错误终止会话。代理还会用 get_advisors 扫描安全问题，如缺少行级安全或未索引外键，并可通过规则自动执行检查。

数学家Thomas Bloom撰文讨论Erdős问题网站的变化。近一年AI从无用变为能解决难题，网站成为衡量AI能力的标尺。大量AI生成的无解释证明涌入，导致人类讨论减少。他决定暂停评论和证明提交功能，不再标注问题是否解决，也不再强调成果归属，以遏制刷题式炫耀。他呼吁保持数学作为人类活动，用AI但别放弃思考与交流。

JDK 27 将 G1 设为所有环境的默认垃圾回收器，小容器不再自动使用 Serial GC；紧凑对象头默认启用，对象头由 12 字节降至 8 字节以节省内存；JFR 默认对密码、令牌等敏感信息脱敏；移除 JVMCI，影响 Graal 相关项目；jcmd 新增安全属性查询；删除多个旧参数；G1 堆伸缩默认关闭；JSON 线程转储字段改为数字。

Empirik获2100万美元融资，推出自主基础设施工程平台。该平台以“变更”为核心信号，通过基础设施编译器将云、身份、CI/CD等元数据转化为实时统一图谱，使AI能理解变更意图并评估风险，从而主动预防故障、加速响应，服务复杂混合架构的企业。

文章讨论了软件开发中的瓶颈问题，指出主要瓶颈在于部署和处理变更的过程，而非编码和代码审查。许多团队在代码审查后仍有大量变更未部署，反映出行业普遍存在的可见性差距。尽管引入人工智能提高了代码审查效率，但并未解决实际瓶颈，反而可能加剧积压。因此，关注整个价值流的效率，识别真正的约束，才是提升软件交付速度的关键。

文章讨论了微服务独立部署的挑战，强调验证的重要性。尽管部署工具已成熟，团队仍倾向于批量发布，因对单个变更缺乏信任。随着编码代理的使用，变更量增加，调试变得困难。解决方案是快速验证单个变更，利用现有架构在真实环境中进行独立测试，以提高发布效率和信心。

Anthropic暂停了原定于6月15日实施的Claude Agent SDK计费变更，以减轻开发者负担，因新计费模式可能导致成本增加。公司正在调整计费策略，以更好地支持用户需求。

梅瑞迪斯·约翰逊自2019年起在CodeWeavers担任QA经理和CrossOver产品经理，拥有语言学博士学位，专注于自由和开源软件领域。

本文讨论了如何将Amazon EKS从1.32升级到1.35，强调逐版本升级的重要性。升级时需评估自管理和托管组件的风险，识别关键变更，如cgroup v1弃用和containerd升级。建议制定详细的升级路径，确保每个阶段完成必要的准备和验证，以降低风险并确保系统稳定。

美国管理和预算办公室提议对联邦拨款规则进行重大修改，这可能削弱同行评审的作用，增加行政负担，并限制科学家应对新机遇的能力。这些变化将影响基础研究的灵活性，阻碍意外发现和合作，进而影响科学竞争力。

Tanzu Spring 提供对 OpenJDK™、Spring 和 Apache Tomcat® 的支持与二进制文件，用户只需简单订阅即可获得服务。

JetBrains发布了Rider 2026.2 EAP 3版本，新增AI测试生成技能，减少测试生成的token使用。更新包括代码变更预览功能，简化新项目创建流程，支持Godot开发，重新设计的NuGet工具窗口提升了依赖管理体验，并优化了后台垃圾回收，减少内存使用。

Tanzu Spring 提供对 OpenJDK™、Spring 和 Apache Tomcat® 的支持及二进制文件，用户只需简单订阅即可获得服务。