关于斯蒂芬·沃尔夫勒姆（Stephen Wolfram）的《迈向程序错误理论》（Towards a Theory of Bugs），Hacker News 上的讨论反映出人们对其理论框架持深度怀疑态度。 沃尔夫勒姆认为，由于软件往往具有计算不可约性（computationally irreducible），我们无法完全理解其行为，因此程序错误是不可避免的结果。然而，批评者认为这种观点混淆了两个不同的过程：一是传统的软件工程——人类试图通过理解来设计正确的系统；二是沃尔夫勒姆那种通过试错法来“寻找”看似可行代码的实验性方法。 许多评论者认为，沃尔夫勒姆所使用的“规则学”（ruliology）和“计算等价性原理”等术语定义不清，与其说是严谨的科学，不如说是“古怪”的自我推销。参与者还讨论了“无错”软件的更广泛可行性。一些人援引停机问题（Halting Problem）来论证完美的代码在数学上是不可能的，而另一些人则反驳称，程序错误是一个关于成本与验证的实际问题，而非理论上的壁垒。归根结底，该讨论将程序错误归因于人类的局限性和过度自信，同时也质疑 AI 生成的代码是否需要超越当前以人为中心的编程抽象的、更严格的新验证方法。