文章

本文围绕 Redis 之父 Salvatore Sanfilippo (antirez) 关于 AI 将彻底改变编程的观点展开，他认为在多数情况下“手写代码已不再必要”。文章首先引述了 Google 首席工程师和 Linux 之父对此的谨慎甚至保留态度，随后深入阐述了 antirez 的激进看法：AI 能够独立完成中等规模的编程任务，甚至完整项目，其表现取决于任务类型和开发者清晰的抽象能力。antirez 通过亲身经历，分享了 AI 在改进 linenoise 库、修复 Redis 测试瞬态失败、构建纯 C BERT 推理库以及复现 Redis Streams 内部实现等方面的强大助力，强调 AI 使“理解要做什么”和“如何去做”变得更为重要。文章同时也引用了 Hacker News 社区中开发者的质疑声音，认为目前的 AI 在复杂系统设计、长期维护和处理边界条件上仍有明显不足，且质量良莠不齐。尽管存在争议，antirez 仍坚持认为开发者不应逃避 AI 带来的变革，而是应积极探索其应用，并对 AI 推动的社会财富再分配和技术民主化抱有期待，同时也关注 AI 可能带来的失业问题和技术集中化的风险。

文章通过梳理从阿波罗计划、COBOL 语言、80 年代的 CASE 工具、90 年代的 Visual Basic 到如今 AI 编程助手的演进历程，分析了一个持续五十年的现象：每隔十年，技术界就会出现“让开发变简单、不再需要专业开发者”的愿景。然而，历史证明，尽管工具在不断进化并降低了门槛，但软件开发的瓶颈始终在于对业务逻辑、极端情况和系统设计的深度思考。作者强调，软件开发是“思考的可视化”，工具可以提高效率、扩大开发者群体，但无法消除处理复杂性所需的智力投入。AI 作为最新章节，依然遵循这一模式：它改变了工作方式，但并未消除对人类判断和专业知识的需求。

文章回顾了人工智能领域领军人物 Yann LeCun 在 Meta（原 Facebook）长达十余年的任职经历，特别是他如何创立 Facebook AI Research (FAIR) 并坚持“无为而治”的科学研究理念。文章详细阐述了 LeCun 对 PyTorch 开源的保护与推动，以及他对大语言模型（LLM）“预测下一个词”范式持有的异议，坚信“世界模型”才是智能的基石。然而，随着 AI 商业化浪潮的加速，特别是 Meta 在 AI 竞争中的压力，LeCun 的理想主义与公司的商业目标产生冲突。最终，在 Alexandr Wang 被引入并推崇“暴力美学”的商业策略下，LeCun 的影响力逐渐被边缘化，并最终选择离职创业。文章感叹 LeCun 的离开，标志着硅谷“理想主义”的衰落，并留下对未来 AI 发展道路的深刻反思。

该文记录了 CSDN 与前 DeepMind 研究员、星尘智能副总裁王佳楠的深度对话，探讨了她从纯算法研究转向具身智能领域的职业历程和深刻洞察。王佳楠强调具身智能是 AGI 的终极形态，不再局限于参数或论文，而是要面对硬件、数据和真实场景的复杂性。文章核心围绕具身智能的关键技术、痛点及发展路径展开，包括“快慢系统/大小脑”的工程逻辑、数据瓶颈、世界模型的定位、VLA 模型的关键作用，以及通用机器人的落地时间表。她还分享了投身具身智能的信念与挑战，并对行业开发者提出了共创共赢的建议。文章内容深入剖析了具身智能的现状与未来愿景，强调解决实际问题和场景落地的价值。

本文详细报道了 X 平台（原 Twitter）正式开源其核心推荐算法的重大事件。该算法托管于 GitHub 的 x-algorithm 仓库，上线短时间内即获得大量关注。技术上，该系统采用 Rust 和 Python 编写，核心架构从传统的启发式规则转向基于 Grok Transformer 模型的端到端学习。文章深入解析了推荐系统的七个执行阶段，包括用户数据补全、站内外内容召回、信息补全、前置过滤、多维度打分排序及最终验证推送。马斯克强调此举是为了实现「自由广场」的透明化承诺，尽管开源可能带来被「刷榜」的风险，但其长远意义在于将神秘的注意力分配机制转化为可理解、可监督的公共系统。

本文深度剖析了同态加密作为隐私保护计算领域的“圣杯”，如何实现“数据可用不可见”的终极理想，并被视为对抗量子计算威胁的关键技术。文章详细介绍了同态加密的原理——在密文上直接进行计算，解密后结果与明文计算一致，以及其与传统加密及其他隐私保护技术的优势对比，特别是其基于数学证明的安全性，无需信任第三方硬件或平台。同时，文章也坦诚指出了同态加密当前面临的最大瓶颈：高昂的计算与存储开销，导致其“理论很完美，落地很遥远”。在此背景下，重点介绍了蚂蚁技术研究院计算系统实验室在同态加密领域的全栈布局和长期主义投入，通过软硬件协同优化，实现了显著的性能提升，并在学术界取得了突出成就。最后，文章探讨了同态加密生态建设的必要性，以及蚂蚁如何通过开放合作、推动产学研结合来降低技术门槛，促进同态加密从实验室走向产业界。

文章讲述了一个不懂代码的父亲如何运用 AI 工具，与 5 岁的儿子在短短一周内共同开发出一款《我的世界》风格的教育游戏。父亲利用 Gemini 和 GitHub Copilot 等工具，让儿子担任“产品经理”，用语音指令驱动 AI 编写和修改代码。开发过程中，文章记录了 AI 在处理复杂需求和代码量膨胀时遇到的挑战，以及不同 AI 模型（Claude Opus、Gemini、GPT）的性能对比。最终，这款寓教于乐的游戏成功激发了孩子学习兴趣，展现了 AI 辅助编程在降低开发门槛、实现个人创意方面的巨大潜力。

文章深入分析了 Linux 发行版 Zorin OS 18 在 Windows 10 停服期间异军突起，3 个月内实现 200 万下载量，并吸引约 150 万 Windows 用户尝试的关键原因。微软强制 Windows 11 升级、高硬件门槛（如 TPM 2.0 要求）以及日益增加的系统广告、捆绑 AI 功能等“生态控制”策略，导致大量性能尚可的老设备被淘汰，用户体验受损。在此背景下，Zorin OS 凭借其高度类 Windows 的桌面布局、开箱即用的常用软件、图形化设置和 Windows 应用兼容层，极大降低了 Windows 用户转向 Linux 的迁移成本，成为其首选。文章指出，Linux 桌面市场正悄然回暖，虽然与 Windows 仍有巨大差距，但这种用户迁徙已在桌面操作系统领域撕开了一道裂缝，预示着未来潜在的市场格局变化。

文章报道了 Oracle 旗下开源数据库 MySQL 的 GitHub 仓库在三个多月内没有代码提交，引发了社区对其开源项目前景的担忧。这一停滞现象被普遍认为与 2025 年 9 月 Oracle 对 MySQL 核心团队的裁员有关，约 70 名资深工程师被解雇。文章引用了 MySQL 之父 Michael 'Monty' Widenius 和前 AWS RDS 经理 Otto Kekäläinen 等行业专家的观点，指出 Oracle 正在将重心转向 MySQL 的专有产品线和云服务，而开源社区版本则被边缘化，其开发模式已不再符合真正的开源精神。Otto Kekäläinen 进一步揭示了 MySQL 近年在技术上的“滑坡”，包括版本更新引入问题、性能下降以及未推出实质性新功能等，并警示用户若不关注其开源属性和技术质量，将面临潜在风险。文章强调，尽管 MySQL 仍具有高知名度，但长期停滞可能导致其使用量下降，并促使企业重新评估数据库选型。

本文围绕 2025 年鲲鹏昇腾创新大赛全国总决赛，深入探讨了中国高校开发者在昇腾算力支持下，如何将 AI 从“模拟器”推向真实世界应用的实践。文章通过清华大学“要啥自行车”队的无人驾驶自行车、南昌航空大学“灵语视界”团队的手语 AR 眼镜，以及北京大学武汉人工智能研究院“济大夫”医疗大模型等案例，展示了昇腾开发板和昇腾生态在端侧智能和云端大模型领域的赋能作用。同时，文章也引出了产业界对高校创新的铺垫与转化，例如记忆张量利用强化学习自动优化算子，以及生境科技将空间 AI 大模型商业化的成功案例。文章强调，中国 AI 生态已进入“好用、易用”的繁荣期，并展现了中国新一代开发者在自主创新算力平台上的信心和实力。