IndenScale (@david0520782123) “@LotusDecoder 很多行业实际上是缺编程语言（具体来说就是缺 Spec IR 和 Impl IR）、” — TopicDigg
IndenScale
@david0520782123
Agent Reliability Engineer.
The creator of Typedown.
Crazy for Everything as Code.
加入 May 2025
2K 正在关注 628 粉丝
@LotusDecoder 很多行业实际上是缺编程语言（具体来说就是缺 Spec IR 和 Impl IR）、缺 Verifier（Linter、Compiler、Static Analysis 和 Dynamic Analysis）、缺Target Description (TD) 和平台配置Platform Config。
这些都没有，AI 就很难发挥作用，因为给出一个方案你也不知道可不可行。
显示更多
