Cursor 0.50 版本升级后如何省钱又高效？一份给开发者的避坑指南

本文围绕Cursor编程助手日常应用展开，讲解计费机制、工具调用等核心要点，结合实践给出高效使用方法论与避坑指南，如合理选模型、巧用工具、设置规则等。

空间智能率先落地国民APP！实测：时空决策很顺滑，直达千人N面出行体验

空间智能虽前沿，但在有场景和业务优势时能快速落地。高德地图2025版内测，其“小高老师”智能体按需提供出行和生活建议，AI导航有超视距感知能力，是迈向空间智能的国民APP。

爬虫界“瑞士军刀”！开源高性能爬虫工具，实施进度监控、全栈SDK支持、n8n深度集成！

在AI驱动的数据时代，WaterCrawl是基于Python和Scrapy的开源网页爬虫工具，专为大规模数据提取和LLM优化设计，支持多语言内容抓取、实时进度监控和深度AI平台集成，优势显著。

机器人顶会RSS 2025奖项公布！大牛Pieter Abbeel领衔研究获杰出Demo奖

机器人顶会 RSS 2025 于 6 月 21 - 25 日在美国洛杉矶举行，公布多个奖项。如杰出 Demo 奖论文提出 MuJoCo Playground 开源机器人学习框架，简化全流程，可分钟级训练策略。

TransDiff--最简洁的AR Transformer + Diffusion图像生成方法

文章分享图像生成新方法TransDiff，它结合AR Transformer与Diffusion，提出MRAR范式。通过Q&A解答其使用Transformer原因、小Diffusion Deocder效果等问题，还指出它有连续帧生成潜力，将用于视频生成。

CVPR 2025 Highlight｜北大联手智元发布首个基于说明书的家电操作评测基准

北大联合智元团队提出全新家电操作评测基准 CheckManual，被 CVPR 2025 接收并评为 Highlight。它有拟真说明书与多样资产、契合实际的评测任务、首个操作规划模型 ManualPlan 等优势，还做了相关实验。

奥特曼：假如给我一千倍算力，我会这样做

奥特曼在最新访谈展望下一代模型，认为完美AI是有超人推理能力等的微型模型。理想AGI能自主发现新科学，使全球科学发现提速。他还回应算力假设，为企业指明投入资源方向。

公开模型一切，优于DeepSeek-R1，英伟达开源Llama-Nemotron家族

英伟达推出面向高效推理的 Llama-Nemotron 系列模型，包括 Nano、Super、Ultra 等规模，具备卓越推理能力与效率，采用开放许可。模型支持动态推理切换，训练结合多方法，性能优于 DeepSeek-R1 等。

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

Lex Fridman 对话 DHH：Omarchy，才是真正属于 Agent 时代的操作系统

Omarchy 有望成今年最火 Linux 桌面系统、首个 Agent 时代操作系统。开发者 DHH 曾怀疑 Agent 编程，现 Quattro 代码全由 Agent 编写。DHH 做客播客，谈 Omarchy、AI 时代操作系统变化等。