「实操案例」共找到 368 篇相关文章
优步针对微服务和大规模计算工作负载完成了大规模的 Kubernetes 迁移
优步成功将计算平台从 Apache Mesos 迁至 Kubernetes，覆盖多数据中心和云环境。工程团队详述迁移挑战、方案与教训。虽遇技术、文化难题，但迁移后运营效率等提升，为大公司提供借鉴。
陶哲轩重写20年本科经典教材！Lean编程数学证明，GitHub已放出
陶哲轩迷上形式化数学证明，开设YouTube账号分享用Lean形式化证明的视频，还发布开源项目，将经典教材《Analysis I》定义、定理和习题「翻译」成Lean代码，项目可作学习资料，部分内容已完成翻译。
个人开发者时代崛起！22岁印度开发者搞的业余项目被Groq看上，如今用户破6万
22岁印度开发者Zaid Mukaddam开发“Perplexity替代品”开源项目Scira，解决搜索难题。它功能强大，受多公司支持，用户破6万。还列举其他个人开发者成功案例，如TinyWow、Only Finders。
17 万模型背后：魔搭联合 AMD 送 1000 小时 GPU 的算盘
魔搭社区联合 AMD 推出「AMD 开发者激励计划」，提供最高 1000 小时 GPU 算力额度。魔搭社区对标 Hugging Face，托管超 17 万个开源模型。此次激励是三方匹配的生意，还释放了硬件去美元化和模型托管社区升级的信号。
长思维链里的推理步骤，哪些最关键？三招锁定LLM的「命门句子」
杜克大学和 Alphabet 研究者提出在句子层面分析推理痕迹，找出长思维链中关键步骤，提高 LLM 可解释性等。提出三种互补方法，还提供开源工具，研究为调试推理失败等提供可能。
Claude Agent Skills：从第一性原理深入剖析
本文深入剖析Claude的Agent Skills系统，它是基于提示的元工具架构，借助‘提示展开’与‘上下文改写’扩展大模型能力。文中以具体技能为例，介绍其机制、构建方法、编写规范及常见模式。
看到AI创作者不断被盗用和侵权，我有话想说。
本文讲述AIGC艺术家海辛、阿文、Wenvis作品被盗用，一家新公司拿他们作品当客户案例接单。创作者维权艰难，作者借此呼吁大家保护创作者权益，给行业敲响警钟。
被高薪吸引却遭愚弄！科学家怒曝AI科研黑幕：多为个人“捞金”，DeepMind百万成果是“垃圾”
物理学家 Nick McGreivy 分享应用 AI 做研究的经历，指出 AI 方法在解决偏微分方程上远不如宣传，如 PINN 效果差。还提到 DeepMind 成果遭质疑，研究存在数据泄露、报告偏差等问题，AI 加速科学或被夸大。
给企业当“AI管家”，以色列初创一年估值50亿
当地时间9月2日，荷兰AI初创公司Wonderful完成5.5亿美元C轮融资，估值达50亿。其提供AI操作系统，让不同AI共享数据、协作。它解决企业多智能体协同难题，产品已在以色列医疗保健机构取得良好效果。
Claude Code 工程师：像 Agent 一样思考
Anthropic 工程师 Thariq 分享构建 Claude Code 时 Agent 工具设计经验，通过 AskUserQuestion 工具迭代、Todo List 到 Task 系统演进等案例，指出工具设计无标准答案，要观察模型行为、反复实验。