你是挽具
2 分•作者: learningstud•28 天前
我们都知道，在相同的模型下，线束（harness）能带来巨大的差异。然而，真正带来最大差异的是使用人工智能的程序员；从这个意义上说，你就是线束。当然，在许多其他意义上，你也是线束。另一方面，我一直不理解那种认为人工智能将瓶颈从编码转移到验证的观点，好像验证从来不是瓶颈一样。氛围编码（Vibe coding）让我意识到，大多数程序员，无论资历深浅，都因为喝了太多的“ Kool-aid”（一种比喻，指盲目相信某种理念）而使自己沉沦，并且对自己的处境如此麻木不仁，以至于他们承担了比实际思考所需多至少十倍的编码仪式，而这些思考是为了确保程序按预期工作并尽量减少副作用。如今，所谓的软件工程师已经将他们的仪式外包，比如红/绿 TDD/BDD 的角色扮演（至少为什么不直接使用模糊测试器呢？），他们面对的只剩下必需的复杂性，这需要一种近乎形式化的解决问题的方法，而这种方法一直存在但却被完全忽视了。从这个意义上说，程序员就是那个带来最大差异的线束。
查看原文
We all know that a harness makes a huge difference given the same model. However, what makes the greatest difference is the programmer using AI; in this sense, you are the harness. Of course, you are the harness in many other senses as well. On the other hand, I never understood the sentiment that AI shifts the bottleneck from coding to verification as if verification was never the bottleneck. Vibe coding has made me realize that most programmers, regardless of seniority, have been drowning themselves by drinking so much kool-aid and have been so unaware of their situation that they burden themselves with at least 10x more coding rituals than the actual thinking needed for making sure that the program works as intended with as few side-effects as possible. Now that so called software engineers have outsource their rituals like the red/green TDD/BDD role-playing (why not just use a fuzzer at the very least?), they are faced with nothing but the essential complexity that requires a near-formal approach to problem solving, which has always been there but completely ignored. In this sense, the programmer is the harness that makes the greatest difference.