标签
这条推文讨论了自然语言编程如何提高了编程的门槛，批评了缺乏清晰思考时，无论使用多少令牌，输出仍然糟糕。
一条推文，赞同 ProgramAsWeights 可以替代正则表达式，并演示了一个从自然语言编译的电子邮件验证函数。
Gilad Bracha 设想了一个未来，软件工程师使用AI将非正式需求转化为形式化规范并加以审查，而AI则实现代码并用定理证明器验证其是否符合规范。人类负责确保形式化规范正确，他们仅需编写自然语言。