13:30Amjad Masad@amasadAI 降低了编码门槛,但基础设施团队开始首次编写形式化规范。系统变得更确定,基础设施韧性更强。移动速度越快,底层基础必须越稳固。该观点来自 amasad 的推特,有 5987 次浏览和 74 个点赞。行业amasadAI编程基础设施形式化规范推荐理由:Replit 创始人 amasad 分享了一个有意思的观察:AI 让写代码更随意,但底层基础设施反而要更死板才能撑住。原文