Show HN：我打造了一个在浏览器中运行的 Lovable 替代品
playplanet.dev 推出浏览器内全栈应用开发平台，基于 WebAssembly 运行 Linux 类系统，支持 Astro、React、Angular、Vue、Svelte，用户接入自己的 OpenRouter 账号调用大模型生成代码，发布的应用以 MIT 协议开源、可自由克隆部署。
Show HN：面向智能体与软件工程师的 CLI 购物工具
StoreRouter 推出统一搜索/浏览 API 与 CLI，覆盖数千家电商店铺，为 AI 智能体提供高效购物接口，搜索质量在部分场景优于 Shopify 的 shop.dev。
PaperFormalizer：作者参与式的研究论文 Lean 自动形式化
PaperFormalizer 是一个基于 Lean 的智能体流水线，帮助作者发现并修补论文证明中的漏洞，把论文转成经 Lean 验证的版本，关键决策交由作者确认。
英语和普通话中的居高临下与屈尊语言检测
研究提出自动检测居高临下与屈尊语言（PCL）的系统，对比静态词向量加卷积神经网络与微调BERT两种方案，后者在开发集上F1达0.528，可用于识别针对弱势群体的隐性有害语言。
Phronix：面向智能体的能力中心学习范式
Phronix 提出能力中心学习范式，让智能体从自身执行中获取、验证并精炼可复用能力，重复任务首次成功率93%-95%，每任务仅耗38-40万token，比基线省三到四倍。
Show HN：Graph-MIND——为 AI 编程智能体提供本地记忆，无需调用大模型即可保存
Graph-MIND 在 Hacker News 亮相，为 AI 编程智能体提供本地记忆，保存记忆时不调用大模型，可降低开销并保护隐私，适合关注智能体记忆与成本的开发者。
Mainplane：运行在旧电脑上的Go语言智能体，可远程操控你的笔记本
前Browser Use二号员工Alexander发布Mainplane，一个用Go编写的本地智能体控制平面。服务端跑在旧台式机上，通过WireGuard把工具调用路由到其他机器执行，密钥和会话状态留在服务端。
Java 近期新闻：Grails 8、Open Liberty、GlassFish、Infinispan、LangChain4j、Spock
Java 生态近期多项更新，涵盖 Grails 8、Open Liberty、GlassFish、Infinispan、LangChain4j 与 Spock，其中 LangChain4j 为 Java 开发者提供接入大模型与智能体能力的框架。
Grok 发布其 AI 生成《奥德赛》的前七分钟片段
Grok 公布 AI 生成影片《奥德赛》的前七分钟画面，视觉效果尚可，但缺乏艺术性、灵感与人文温度，显示当前 AI 视频生成在叙事与审美上仍有明显短板。
用伪造工具输出的LLM对AI智能体监控器进行红队测试
Hacker News讨论了一种红队测试方法：用一个能伪造工具输出结果的LLM来检验AI智能体监控器是否可靠，对做智能体安全与对齐的团队有参考价值。
Block发布新语音模型，听感近乎真人
Block推出新语音模型，可在MacBook M4 Max上本地运行，生成语音听感接近真人，为开发者提供无需云端算力的语音合成方案。
Show HN：将 Claude Code 等 AI 编程助手嵌入你的应用
开发者推出 genaicode 工具，可将 Claude Code 等 AI 编程助手嵌入应用内，用于开发、日常运维和任务自动化，通过 npx genaicode embed 即可试用。