最近感到颓废，常躺床上刷短视频，决定多出去活动。5月骑行345.92公里，骑车状态不佳，需要维护。阅读了《成为专业人像摄影师》，意识到实践的重要性。希望尽快摆脱颓态，继续专注于摄影、骑车和阅读。

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

JetBrains Academy本月提供最多40个全额奖学金，支持CSAI学士项目。新推出的AI工具课程帮助开发者利用生成性AI进行代码生成和调试。此外，JetBrains课程创作者计划允许教师将课程整合到JetBrains IDE中，提升学生实践体验。

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

微软发布了Azure DevOps Server的新补丁，建议所有用户更新到最新版本以确保安全。该补丁适用于多个版本，包括2022.2、2020.1.2和2019.1.2。用户可以通过命令验证补丁是否安装成功。

Tanzu Spring 提供对 OpenJDK、Spring 和 Apache Tomcat 的支持，用户只需简单订阅即可获得相关服务。

作者在五月的上海游记中分享了五一假期的经历，包括参观上海博物馆、办理银行业务和享受美食。选择虹桥宾馆住宿，体验外滩的繁华，特别提到米其林面馆的美味。文中还描述了与朋友的互动和旅行中的小插曲，期待下一次旅行。

OpenAI的Codex在下载量上超越了Anthropic的Claude Code，主要因Claude 4.7版本表现不佳，导致用户信任下降。Codex凭借稳定可靠的性能和良好的用户体验赢得了程序员的青睐。市场竞争加剧，用户对工具的忠诚度降低，选择更优者使用。Codex的成功源于其稳健表现和真实反馈。

本月，GeForce NOW将新增16款游戏，包括《极限竞速：地平线6》和《007：第一光》。Ultimate会员可享受RTX 5080级别的云游戏性能。同时，GeForce NOW庆祝Firaxis成立30周年，推出经典策略游戏供玩家访问。

五月推出了新的桌面壁纸系列，艺术家们创作了多款设计，供社区免费下载。这些壁纸展现了独特的创意，庆祝春天的到来，激发灵感。欢迎更多创作者参与分享作品。

PostgresEDI社区在四月的聚会上，Hugo Tunius介绍了基于ULID的ID类型plid，Jimmy Angelakos进行了SQL查询的现场编码演示。五月的聚会将采用闪电演讲形式，欢迎新讲者参与，活动免费但需注册。

DeepSeek V4正式开源，华为昇腾首发，性能媲美顶级闭源模型。该模型包括V4-Pro和V4-Flash，支持百万token上下文，适配多款主流产品。国产芯片厂商获得早期访问权限，英伟达不再是唯一选择。阿联酋计划在两年内让AI Agent接管50%政府工作，小米预计AGI将在两年内实现，中美模型差距仅两三个月。

本文回顾了作者在2025年5月的日本古都之旅，游览了京都的寺庙、宇治的抹茶文化，以及大阪的环球影城和世博会。作者分享了旅行中的趣事与遗憾，比较了京都与大阪的居住体验，并表达了对未来旅行的期待。

Rust项目正在推进40个项目目标，其中3个为旗舰目标。2024年下半年，Rust将稳定异步闭包，探索生成器设计，并开始开发dynosaur crate。2025年上半年计划改进异步函数在特征中的支持，简化迭代器和异步数据流的创建，并提升Pin的易用性。此外，Rust项目庆祝了Rust 1.0发布10周年，举行了大型会议，促进团队间的交流与合作。