「社区项目」共找到 1636 篇相关文章
让Agent真正“行动”起来，Agent Skill开发者大赛火热报名中！
人工智能下半场聚焦‘行动’，Agent Skill成关键桥梁。Agent Skill开发者大赛今日启动，由AIGC开放社区与算泥社区联合主办，设双赛道，有官方支持和丰厚奖励，报名通道已开启。
AI撑爆GitHub！天天宕机，18年老兵带5万星项目「决裂出逃」
GitHub第1299号用户、Vagrant之父Mitchell Hashimoto，因GitHub连续宕机和AI转型，带着5万星项目Ghostty出逃。AI让GitHub负载剧增，其资源向AI倾斜致基础设施维护变差，“去GitHub化”声音渐大。
免翻轻松用上Claude Code，这两个热门项目太香了！
GitHub上的`free-claude-code`和`cc-switch`两个项目，让开发者免翻用上Claude Code。前者是轻量级Python代理服务器，后者是跨平台桌面端助手工具。文章介绍了它们的核心亮点、快速上手步骤及对比情况。
让Agent真正“行动”起来，Agent Skill开发者大赛火热报名中！
人工智能下半场聚焦‘行动’，Agent Skill成关键桥梁。为推动AI落地，AIGC开放社区与算泥社区联合主办Agent Skill开发者大赛，设双赛道，官方提供支持，有丰厚奖励，报名通道已开启。
让Agent真正“行动”起来，Agent Skill开发者大赛火热报名中！
人工智能下半场关键词是“行动”，Agent Skill成关键桥梁。Agent Skill开发者大赛今日启动，由AIGC开放社区与算泥社区联合主办，聚焦真实任务执行，设双赛道，官方提供支持，有丰厚奖励。
吴恩达老师分享的做 MVP（最简可行产品，minimum viable product） 的技巧
吴恩达分享做MVP技巧，建议时间有限时缩减项目范围，如一小时内借助代码助手做小部分。他以做虚拟观众模拟器为例，说明此方法能推动项目、收集反馈，让创意快速落地。
陶哲轩重写20年本科经典教材！Lean编程数学证明，GitHub已放出
陶哲轩迷上形式化数学证明，开设YouTube账号分享用Lean形式化证明的视频，还发布开源项目，将经典教材《Analysis I》定义、定理和习题「翻译」成Lean代码，项目可作学习资料，部分内容已完成翻译。
让Agent真正“行动”起来，Agent Skill开发者大赛火热报名中！
人工智能下半场关键词是“行动”，Agent Skill成关键桥梁。Agent Skill开发者大赛今日启动，由AIGC开放社区与算泥社区联合主办，聚焦真实任务执行，设双赛道，官方提供支持，有丰厚奖励。
专访｜两位华人主导创办，Jeff Dean参投，伯克利开源项目SkyPilot转型初创
前沿模型团队算力瓶颈从不足变为分散，开源AI算力调度项目SkyPilot应运而生。7月末，它从高校走出成为初创公司，完成2000万美元种子轮融资。其免费版与商业版各有侧重，切入AI编排赛道潜力大。
AI 边说边画，200+ 模板自动出图，蚂蚁这个项目有点东西！
本文介绍蚂蚁集团AntV可视化团队开源的Infographic项目，这是专为AI生成优化的声明式信息图可视化引擎，支持AI边生成内容边渲染出图，内置200+模板，解决作图排版痛点，已形成开源生态。