Oxlint 1.0 稳定版发布：基于 Rust 的 JavaScript 静态检查器

Oxlint是基于Rust的JavaScript和TypeScript静态检查器，其1.0稳定版发布。它有快速检测、规则覆盖广等特点，性能比ESLint高50 - 100倍，能处理多文件规则，开发者反馈积极。

高盛上调腾讯目标价，AI 人才的核心投资选择

高盛上调腾讯目标价，因其业绩强劲且AI推动各业务线增长。腾讯2025年AI应用爆发，投入和专利向好。还提到行业AI人才需求大，腾讯有特别升级的AI产培项目，介绍了投递要求和福利。

2025年4月17日消息，OpenAI 连发o3和o4 mini，o3为强大推理模型，o4-mini专为高效推理优化。它们能调用ChatGPT工具，可基于图像思考。OpenAI还开源本地代码智能体Codex CLI，兼容所有模型。

1.5B参数！支持本地实时语音转录

Liquid AI发布首个端到端音频基础模型LFM2 - Audio - 1.5B，参数1.5B，能在本地设备处理高质量端到端音频任务。它是统一多模态模型，支持两种生成策略，多种应用场景，虽仅支持英文但性能出色。

谷歌掀桌：深度研究智能体进入自动驾驶时代

4月末谷歌DeepMind推出两款基于Gemini 3.1 Pro的AI研究智能体，标准版重速度，增强版求详尽。Max版在多测试获SOTA得分，能自主研究课题出报告，还可融合数据、生成图表，已开启公开预览。

通往通用人工智能的关键一步？DeepMind放大招，3D世界最强AI智能体SIMA 2

Google DeepMind发布SIMA 2，这是能在虚拟3D世界自主游戏、推理和学习的通用AI智能体。它集成Gemini模型，从指令跟随到主动认知跃进，泛化性能提升，还具备自我提升能力，为AI和机器人技术发展提供新路径。

英伟达发布物理AI和机器人顶级开发平台Nvidia Jetson Thor

英伟达官网发布专为物理AI和类人机器人打造的顶级平台Nvidia Jetson Thor。其AI计算能力强劲，相比NVIDIA AGX Orin性能和能效大幅提升，硬件配置、存储、多媒体处理及相机支持等方面表现出色，能应对复杂场景。

GitHub连续霸榜，难怪别人的图表这么高级优雅！

作者让AI画系统架构图效果不佳，朋友推荐diagram-design项目。它是给Agent用的出图技能包，能让AI生成编辑级质量图表，有多种图表类型，具备诸多亮点功能，还介绍了安装使用方法。

“如果你不能用300行代码写个Cursor，这行你就别待了！”Ralph Loop创造者、Claude Code核心技术设计者的暴论

Ralph Loop 创造者 Geoffrey Huntley 在播客称软件开发已死，任何人用 Cursor 就能生成代码。他还谈到 K 型分化下职业生存法则、Ralph Loop 设计哲学、代码审查问题，并给出学习和职业发展建议。

上交大 x vivo 团队：一个简单改动，让 diffusion 全面提升丨CVPR 2026

上交大与 vivo 团队提出 C²FG 方法，针对当前 diffusion 模型缺稳定可控生成机制问题，通过 score 差异实现动态引导控制。实验显示，该方法能提升多维度指标，改进生成分布，揭示生成机制新方向。