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

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

预测太阳磁暴全球最强！首个空间天气链式AI预报模型亮相WAIC

在WAIC上，我国发布全球首个全链式空间天气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和机器人技术发展提供新路径。

Meta 新成立超级智能实验室，让大模型RAG推理速度飙升30倍

Meta新成立超级智能实验室（MSL），首篇论文REFRAG将RAG推理速度提升30倍以上。它先把上下文压缩成摘要再解码，减少计算量和延迟，在多任务测试中表现出色，为大模型部署提供实用方案。

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 差异实现动态引导控制。实验显示，该方法能提升多维度指标，改进生成分布，揭示生成机制新方向。