搜索：开源方法 - AI Reading Hub

「开源方法」共找到 3349 篇相关文章

从 Serverless 到 Agent：Cube 系统的一些设计思考

本文从 Serverless 面临的挑战出发，介绍 Cube 系统设计，包括分布式调度、资源池化等。还探讨其在 Agent 场景应用，如极速代码执行、高并发 Agentic RL 等，最后展望向行业开源，助力 Agent Infra 发展。

Sentry开源的XcodeBuildMCP项目，打破传统AI辅助开发手动验证循环，通过MCP和CLI让AI代理操作Xcode构建系统，实现自动化开发流程。它配置简单，能覆盖日常开发需求，助力iOS开发迈向‘无人值守’。

作者因读者反馈，意识到自己对中美AI竞争差距理解不全面。基模能力中国整体落后美国，但部分领域领先。模型能力提升难被多数用户感知，且中美在商业模式、模型开源等方面差异大。

智能体发展带来诸多安全问题，仅靠外部防护不合理。Simon Willison总结其致命三要素，指出间接提示词注入攻击难防。Invariant Labs等提出六种安全设计模式，可综合使用，多LLM方法值得关注。

文章借Anthropic的阐述，区分了Workflow与Agent概念。指出任务明确用Workflow，开放式问题用Agent，还介绍了构建blocks、workflows方法及Agent工作方式和实施原则。

开源五周年，昇思 MindSpore 成绩亮眼，下载量超 1300 万。它完善大模型、部署、科学计算等核心能力，还提出 HyperParallel 架构应对新挑战，正式版及套件明年上半年发布，未来社区将多方向推进。

加州大学圣地亚哥分校推出Orca浏览器，把网页视为可塑材料，浏览器变为可塑空间。用户能在无限画布中浏览、管理网页，调度智能体完成任务，还可进行大规模查看、管理等操作，项目将开源。

和容器打交道，过去首选可能是Docker Desktop，但它有商业许可限制、资源占用高等问题。今天分享免费开源的替代品Podman Desktop，它集成多项功能，还自带Kubernetes集成，很受开发者欢迎。

在大语言模型发展中，Transformer自注意力机制有计算复杂度问题且KV缓存成推理瓶颈。剑桥大学提出MTLA，结合时空压缩策略，提升推理效率，在多任务中表现出色，代码已开源。

陶哲轩迷上形式化数学证明，开设YouTube账号分享用Lean形式化证明的视频，还发布开源项目，将经典教材《Analysis I》定义、定理和习题「翻译」成Lean代码，项目可作学习资料，部分内容已完成翻译。