形式化规范

推荐理由：Replit 创始人 amasad 分享了一个有意思的观察：AI 让写代码更随意，但底层基础设施反而要更死板才能撑住。