lidang 立党（劝人卖房/学CS/买SP500/纳100/OpenAI/Anthrop第一人）(@lidangzzz):Jarred在博客里讲的重写Bun，和微软重写TypeScript Go的逻辑是完全一致的，首先把pattern和type一一对应映射上，然后机械式地一行行从A语言翻译成B语言，一个个写测试跑测试，最后跑system-level test。实际上还是非常细颗粒地指导AI Agent完成一批automation的工作，不给任何design的空间和机会，也就是不相信他目前手里的claude code+某个模型自己的任何设计和架构的能力。所以他写了一个psuedo code来解释这个workflow big loop的基本逻辑。 Again，就是说，spec driven的设计，在bun重构的这件事上，并没有被接受和采纳，哪怕我已经激进地用onlyspecs写了typescript compilier in C++，写了Rust版本的SQLite，写了lean4的编译器in TypeScript，Jarred和微软这次并没有这么做，不是因为他们胆子比我小，只是因为他们选择了更稳妥的路线。这个案例至少证明了，从非常非常高无敌高的high level specs直接top down design推翻重写一个大型软件，这种缺德事儿连微软和bun都干不出来，人类还是要依赖机械transpile一个项目，人的经验和工作是不可能被替代的（至少截止到Jarred这篇博客发布之前）。

lidang 立党（劝人卖房/学CS/买SP500/纳100/OpenAI/Anthrop第一人）@lidangzzz

2026.07.10 18:08

Jarred在博客里讲的重写Bun，和微软重写TypeScript Go的逻辑是完全一致的，首先把pattern和type一一对应映射上，然后机械式地一行行从A语言翻译成B语言，一个个写测试跑测试，最后跑system-level test。实际上还是非常细颗粒地指导AI Agent完成一批automation的工作，不给任何design的空间和机会，也就是不相信他目前手里的claude code+某个模型自己的任何设计和架构的能力。所以他写了一个psuedo code来解释这个workflow big loop的基本逻辑。 Again，就是说，spec driven的设计，在bun重构的这件事上，并没有被接受和采纳，哪怕我已经激进地用onlyspecs写了typescript compilier in C++，写了Rust版本的SQLite，写了lean4的编译器in TypeScript，Jarred和微软这次并没有这么做，不是因为他们胆子比我小，只是因为他们选择了更稳妥的路线。这个案例至少证明了，从非常非常高无敌高的high level specs直接top down design推翻重写一个大型软件，这种缺德事儿连微软和bun都干不出来，人类还是要依赖机械transpile一个项目，人的经验和工作是不可能被替代的（至少截止到Jarred这篇博客发布之前）。