当 AI 写代码快到 Git 撑不住：Anthropic 自研版本控制系统 Scion 全解读
Anthropic 的日合并量从 2,500 涨到 30,000+，为人类规模设计的 Git 彻底撑不住了。他们用 7 人团队、5 个月时间自研了版本控制系统 Scion 并完成迁移。本文图文解读它的设计原则、数据结构、分层缓存架构与 AI 时代工程师角色的变化，最后给出中型研发组织可直接上手的五个实践、三阶段落地路线，以及明确不该做的事。
21 min read
// Trail Segment · Tech
技术
9 / 28 篇 · 最近更新 2026.10.14
System One 模型与 Jev：把前沿智能做成一次函数调用——TypeSafe AI 的自动化新范式
TypeSafe AI 发布了首个 System One 模型 Jev：不生成字符串、只输出类型安全的结构化决策，快两个数量级、便宜两个数量级、数学上不可能产生类型错误。本文图文解读它与 LLM 的七维对比、评测证据、Doom 与 Wikiracing 演示与那些值得敬佩的自我质疑，并讨论在数据不能出境的受监管行业里，如何私有化落地这层「类型化决策」能力。
16 min read
Agent Skill 工程化：把 AI 编程助手的流程固化为可复用的作战手册
同一个 AI 助手，有人用出团队级产出，有人只会一问一答。差别往往不在模型，而在流程有没有被固化成 Skill。拆解 Skill 的结构、路由与编排、产物约定与质量门禁，以及什么时候根本不该写 Skill。
9 min read
AI 编程 Agent Skill 选型指南：从 200+ 技能中筛出真正高频的 20 个
把本机 200 多个 Agent Skill 按用途过一遍，挑出真正高频好用的那一批：防 AI 瞎编的纪律型、先想后写的流程型、并行隔离、评审门禁、测试自动化、元技能。附三条筛选标准、三个坑与安装目录约定。
14 min read
64 张空闲 GPU 为何跑不起 64 卡任务：AI 算力调度的 Gang Scheduling 与拓扑感知
空闲卡数不等于可用算力域。从 Gang Scheduling 到拓扑感知，拆解 AI 算力调度与普通 K8s 调度的五点本质差异，以及 Volcano、Kueue、DRA、Slurm topology 各自的解法。
16 min read
Comparison method violates its general contract 排查记：BigDecimal 排序的隐蔽陷阱
JDK7 之后用 stream().sorted() 排序偶发抛出 Comparison method violates its general contract——根因是 BigDecimal.intValue() 截断大数值导致比较器违反契约，本文拆解原理与三种修法
7 min read
J2EE 开发环境搭建清单：从 JDK、Maven 到 Tomcat、Zookeeper
2017 年搭一套 Java Web 商城项目开发环境的八件套清单：JDK8、Maven、Git、IDEA、SecureCRT、SQLyog、Tomcat、Zookeeper，每件干什么用
3 min read
Win10 下安装 Oracle 10g 全记录：兼容模式与十步流程
Oracle 10g 官方只认证到 Win XP/2003，在 Win10 上安装要走兼容模式。这篇记录当年十步装完 10.2.0.1.0 的完整流程与每步的实际表现
3 min read
Laravel Redis 队列任务重复执行排查记：reserved 超时机制的源码解析
Laravel 的 Redis 队列总是出现任务多次执行，根因是框架写死了 60 秒的 reserved 超时：任务没跑完就被重新放回队列。本文从源码定位并给出解法
4 min read