#形式化规范

共 1 条 · 7 天 0 条 · 30 天 0 条

信息流里打上「形式化规范」标签的资讯、产品与论文，按刊登时间排，新的在上。

7月10日

行业 Agent 与开发者13:30

AI 让编码更灵活，但运行时变得更严格

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

#amasad #AI编程 #基础设施 #形式化规范

Amjad Masad@amasad原文