多模态扩散模型开始爆发，这次是高速可控还能学习推理的LaViDa

近期基于扩散模型的视觉 - 语言模型 LaViDa 出现，它继承扩散语言模型优点。与自回归模型不同，扩散模型能并行、处理双向上下文。LaViDa 在多任务测试有竞争力，推理蒸馏和文本填空表现好，还能权衡速度与质量。

什么情况，一夜之间冲上热搜，狂揽29.6k星，再见吧SQLite！这个嵌入式分析引擎实在太香了

DuckDB是嵌入式OLAP数据库，被赞“分析型SQLite”。它采用列式存储和向量化查询引擎，性能佳，功能多，适合探索性数据分析等场景，能替代Pandas等，成本低。

英伟达重返中国！6月大量生产特供AI芯片，价格暴降40%

路透社消息，英伟达为突破美出口限制，将为中国推特供AI芯片，6月量产，价格降40%。该芯片基于RTX Pro 6000D，简化设计以控成本和符合管制。虽计算力低，但CUDA生态有优势。

突发！美国新法案，10年内禁止监管AI

美国众议院通过《HR1》法案，未来10年禁止各州监管AI。该法案对科技巨头有利，赞成者认为可终结各州AI法律拼凑局面，反对者觉得会让消费者失去保护。法案还涉及资金扶持等内容。

将对话界面直接引入Web，微软开源NLWeb，实现ChatGPT级别搜索

微软 Build 2025 开发者大会上，开源项目 NLWeb 受关注。它简化网站自然语言交互界面开发，原生支持 MCP，能让任意网站变智能应用平台，还可调用廉价模型，使用方便。

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 时代操作系统变化等。

刚刚，谷歌Gemini 3.8登场！姚顺宇：RSI巨大飞跃

深夜谷歌推出Gemini 3.8，六周内第三款Flash系列模型。含通用的Gemini 3.8 Flash和网络安全专用的Gemini 3.8 Flash Cyber，提升推理、代码能力，在多场景表现出色。已面向不同群体开放。

「重置之神」Tibo：Codex真的有一个「重置」按钮，实体的

OpenAI Codex产品负责人Tibo在播客透露重置按钮是实体。他谈了OpenAI文化、给创业者建议，还涉及AI开发流程、ChatGPT与Codex合并、额度重置原因等多方面内容。

梁圣一涨价，马斯克的订阅突然成了地球上最划算的。

DeepSeek官发涨价第三天，峰谷定价且整体涨幅大，实际体感比价格表夸张，Opencode go也涨价降额度。而马斯克的Supergrok heavy成全球性价比之王，买它送Cursor ultra，还附赠多项权益。