Instagram迁移Compose降低AI编码成本
Instagram Direct将安卓界面从旧版Android View迁移至Jetpack Compose，打造更适合AI编码代理理解和维护的代码库。迁移后UI代码量减少50%，每次AI代理会话的token成本降低33%，工程师强调应通过架构设计引导代理生成可靠代码。
最新动态
谷歌Antigravity SDK支持本地模型
谷歌为 Antigravity SDK 增加本地模型支持，可让云端“架构师”规划任务、本地“构建者”处理代码密集型工作，兼顾代理协作与代码隐私。谷歌演示称，漏洞审计与修补任务中约 97.2% 的 Token 在本地消耗，源代码未上传云端。
PHP关键漏洞引发全球修复潮
PHP生态近日披露两项关键漏洞，影响约七成网站，部分组织被迫暂时关闭服务以完成修复。Wiz CTO警告，漏洞清理仍在持续，更多受影响系统可能在后续暴露。
HarmonyOS开发助手实测空工程开发与项目改造
InfoQ通过两个任务实测HarmonyOS开发助手：从空工程生成垫付款记录页，以及调整既有商品首页的平板布局。测试观察需求理解、代码生成、构建和模拟器运行效果，但作者指出这不构成复杂业务系统的全面评测。
OpenTelemetry Kubernetes属性处理器升至1.0稳定版
OpenTelemetry将Kubernetes Attributes Processor升至1.0.0，为日志、指标和追踪数据补充Pod、命名空间、节点等元数据，并提供API稳定性保障。升级涉及语义约定及多个属性名变更，性能分析功能仍在开发中。
VoidZero发布Vite+ 1.0统一JavaScript工具链
VoidZero发布Vite+ 1.0稳定版，以单一命令和配置整合Node.js、包管理器及Vite、Vitest等前端工具。新版强化CI支持、迁移能力与诊断命令，并通过Homebrew和Docker分发。
蚂蚁百灵开源Ling-3.1-flash-1019
蚂蚁百灵开源面向 Personal Agent 的 Ling-3.1-flash-1019，并同步开放基础模型 Ling-3.1-flash-base。新版本在复杂知识工作、流程自动化和科学问题求解等评测上较前代提升，旨在支持长程任务与复杂工作流。
开源工具可离线检查设备是否有商业间谍软件痕迹
GitHub热门项目Zero-Breach-Toolkit提供免费的离线检查，可在Windows电脑和Android手机数据集中搜索已知商业间谍软件痕迹。项目称已进行设备测试，近期获得577颗星。
AI时代软件工程师如何培养能力
Craft大会演讲指出，AI和自动化工具虽能加快交付，却可能削弱工程师对系统原理的理解和技能培养。软件工程学习需要在“摸索规律”阶段主动放慢速度，通过预测答案、集中注意力和间隔重复，帮助初级开发者建立长期认知能力。
开源中文AI姿势参考图库收获679星
anh ao/ai-pose-gallery-zh提供中文化的AI姿势参考图库，收录1439组、2878张图片，并以零依赖静态页面呈现。项目近期获得679颗GitHub星标。
JetBrains推出轻量级编辑器Thinkrail
V2EX 热门帖称，JetBrains在Fleet和Air之后再次推出轻量级编辑器Thinkrail，并附上官网与界面截图。
Survival LLM推出离线应急知识助手
开源项目Survival LLM将AI助手与应急资料库部署在本地电脑，断网后仍可查询医疗、食品安全、净水和维修等信息，并为回答标注来源与原文段落。资料库包含FEMA、CDC等指南及约93万篇维基百科文章。
Azure Container Apps Express正式发布
微软宣布 Azure Container Apps Express 与底层 Sandboxes 隔离计算层正式发布，开发者可通过容器镜像快速部署应用，平台自动处理算力、入口与扩缩容。沙箱支持硬件隔离的 microVM、按秒计费、缩容至零及状态快照恢复，面向智能体平台和安全代码执行场景。
agent-purge统一管理多款编码代理提示词
开源项目agent-purge可通过本地Web控制台，为Codex、Claude、OpenCode等多款编码代理替换或注入系统提示词。项目已获得574颗星。
GEOInflow开源生成式搜索流量分析工具
GEOInflow是一款可自托管的网站与AI爬虫分析工具，追踪AI搜索引荐、爬取日志、内容覆盖和转化情况。项目以MIT协议发布，已获得570颗星。
Claude Code动画技能可将SVG制作成动态场景
rossark-motion-skill是一款Claude Code技能，可将SVG转为60帧动画，并支持角色表演与场景动画。生成内容面向React Native和SwiftUI项目，已获得525颗星。
tv-fresh推出小米电视免Root焕新技能
开源项目tv-fresh提供小米电视去广告、清理预装、更换桌面及安装代理等功能，强调免Root且可逆。项目还包含固件逆向记录和一键脚本，已获得510颗星。
有限单群分类定理在Lean中完成形式化
研究团队在Lean定理证明器中完成有限单群分类定理的形式化，并在过程中发现已发表证明路线中的闭包断言反例。形式化工作还促成新的群论结果及相关文献勘误。
开源项目可用单张照片生成AI数字人视频
GitHub热门项目 digital-human-koubo 可从单张照片生成AI数字人 talking-head 视频，并提供多种剪辑风格和创作者包装组件。项目支持通过 Claude Code、Codex、OpenClaw 等工具调用。
Docker推出云端AI编码沙箱
Docker Cloud Sandboxes在Docker管理的基础设施上提供基于microVM隔离的托管执行环境，可通过统一CLI在本地与云端迁移沙箱。该服务面向长时间运行和并行执行的AI编码智能体任务。