Redis作者是谁? 可以理解为 现存编程世界里的C语言上古大神
正在学习编程的同学或者想学编程的同学 请耐心看完本文
这不是传播焦虑 而是陈述正在发生的事实
2024年6月的一个晚上，Salvatore Sanfilippo，也就是大家熟悉的Redis创始人Antirez，在自己的博客上发表了一篇文章，标题为《别掉进反AI的 hype 陷阱》，他没有直接批评人工智能，也没有抱怨个人处境，而是指出完全依赖人工逐行编写代码的做法在逻辑上已经难以成立，他过去开发Redis时全部使用C语言，连代码中的空格格式都一丝不苟，如今却承认这种方式已经跟不上时代，这不是受到外界压力，而是他在亲自尝试过AI编程工具之后主动得出的结论。
他用Claude Code做了三件事，结果连他自己都愣住了，第一件事是让AI写一个小型BERT推理库，用纯C语言写，类似GTE-small那种，以前的做法是先读论文，再手写矩阵运算和指针管理，至少花两三周时间，AI只用了5分钟就写出917行代码，运行起来和PyTorch的结果一致，速度只慢了15%，第二件事是修复Redis里一个特别难处理的TCP死锁Bug，大家叫它“海森堡Bug”，因为一调试它就消失，人类专家经常卡好几天，AI自己分析了进程状态，模拟了时序，一步步追踪问题，直接定位并修复了Bug，全程没人帮忙，第三件事更让人惊讶：他把几周前写的Redis Streams重构文档交给AI，20分钟后，AI给出了完整的实现，他自己检查完说，剩下的时间全用在确认权限命令有没有漏写了。
对他而言，这件事不只是技术升级的问题，他过去一直很享受那种“每个比特都能由自己控制”的感觉，就像造物主一样，而现在他发现编程的本质变了，你不再是一个敲键盘的人，而是变成下指令的人，你把想要的说清楚，AI就能帮你搭出来，后来他自己也说，你赢不了它，但可以指挥它，这不是妥协，是重新调整了思路。
有人看到这里可能会笑，觉得人工智能不是万能的，经常出现幻觉和低级错误，网上流传着很多截图，比如把“for循环”打成“forr循环”，被大家当成笑话讲，Antirez把这种现象叫做“反AI迷魂汤”，意思是人们并不是真的认为人工智能不行，而是担心自己会被取代，于是用嘲笑来保持心理平衡，就像过去马车夫说汽车跑不远一样，结果几十年后没有人还记得马车夫是谁，这种“我还能手写代码”的坚持，表面上很勤奋，实际上是不愿意学习新东西。
他观察到，以后程序员会分成两类，一类是旧人类，坚持手写代码，用风格和匠心做借口，工资高、效率低，公司一算成本就先裁掉他们，另一类是半人马，把AI当成外挂大脑，自己负责提需求、查逻辑、调偏差，这些人不写代码，但管理整个协作流程，Antirez已经这样做了，他最近在GitHub上的提交里，90%的代码是AI生成的，他只管定方向、划边界。
其实他早就感觉到了，2018年他就基本不再参与Redis的日常开发工作，跑去写科幻小说《Wohpe》，里面谈到人工智能造成失业以及全民基本收入的问题，当时他还以为那是几十年之后才会发生的事，结果只过了四年，人工智能就一下子从工具变成了环境，他自己也亲身经历了什么叫“加速到来”，他是极少数的顶尖手艺人之一，在清醒的状态下，自己主动走下了神坛。
他没有谈论未来的发展，也没有强调人工智能的强大功能，只是轻轻放下键盘，打开对话框，输入了第一条指令。
如果你也想学习Python办公自动化，或者对AI编程感兴趣，欢迎：
📚 搜索百度：郑广学PYTHON
🌐 访问我的网站：py880.cn💬 课程咨询和定制服务：添加微信 EXCEL880B
10个月宝宝每天需要喝多少奶粉？
