技术学习 2026年8月10日 15 分钟阅读 MCP 2026-07-28:一场精心策划的“减法”革命 解读 MCP 2026-07-28 规范的核心变化:无状态化、移除协议级 session、server/discover、MRTR、resultType、订阅重做,以及 Roots、Sampling、Logging 等 deprecated 功能的迁移方向。 MCPAI 工程协议设计 阅读全文 →
技术学习 2025年12月30日 9 分钟阅读 Claude Skills 深度解析:比 MCP 更强大的 AI 能力扩展方案 全面解析 Anthropic 推出的 Claude Skills 功能,了解如何通过技能系统让 Claude 变得更专业、更高效,以及它与 MCP、Subagents 的区别和协同使用方式。 ClaudeAISkills 阅读全文 →
读书笔记 2025年12月14日 3 分钟阅读 《高效工程师》读书笔记:提升杠杆率的3大原则与实战技巧 深度解读《The Effective Engineer》核心理念:杠杆率思维、学习优化、高价值任务识别。包含代码审查、TDD、CI等实用技巧,帮助软件工程师提升工作效率。 读书笔记效率软件工程 阅读全文 →
读书笔记 2025年12月14日 9 分钟阅读 《随机漫步的傻瓜》深度解读:塔勒布的随机性哲学与反脆弱思维 深度剖析塔勒布《Fooled by Randomness》核心理念:幸存者偏差、替代历史、黑天鹅理论。结合LTCM崩溃等经典案例,揭示运气与技能的真相,学习在不确定性中生存的智慧。 概率论认知偏差投资哲学 阅读全文 →
读书笔记 2025年12月14日 13 分钟阅读 《反脆弱》深度解读:如何在不确定性中获益的实战指南 深度剖析塔勒布《Antifragile》核心理念:反脆弱三元组、凸性思维、杠铃策略、选择权思维。结合亚马逊、开源软件等案例,学习如何从波动和压力中变得更强大。 反脆弱系统思维风险管理 阅读全文 →
读书笔记 2025年12月14日 9 分钟阅读 《黑天鹅》深度解读:预测失败的世界中如何生存 深度剖析塔勒布《The Black Swan》核心理念:极端斯坦vs平均斯坦、叙事谬误、未知的未知。结合2008金融危机、COVID-19等案例,学习在不可预测性中管理风险的智慧。 黑天鹅事件极端斯坦认识论 阅读全文 →
技术学习 2025年12月14日 7 分钟阅读 Agent Engineering:AI 智能体工程的新学科解读与实践指南 深度解读 LangChain 提出的 Agent Engineering 概念,分析智能体工程为何成为独立学科,涵盖评估体系、可观测性、多智能体架构等核心实践,提供开发者行动指南。 AI AgentLangChain智能体工程 阅读全文 →
技术学习 2025年12月14日 9 分钟阅读 Anthropic MCP 代码执行深度解析:安全沙箱与 AI 编程的未来 深入分析 Anthropic 发布的 MCP 代码执行方案,详解安全沙箱架构、Docker 容器化实现、多层防护策略,探讨代码验证、数据分析等实际应用场景,展望 AI 辅助编程的未来发展趋势。 MCPAnthropic代码执行 阅读全文 →
技术学习 2025年12月14日 8 分钟阅读 Chrome DevTools MCP 完全指南:让 AI 助手控制浏览器调试 详细介绍如何使用 Chrome DevTools MCP 服务器,让 AI 助手能够直接与 Chrome 浏览器交互,进行网页调试、性能分析和自动化测试。 Chrome DevToolsMCPAI 阅读全文 →
技术学习 2025年12月14日 6 分钟阅读 DeepSeek-V3 深度技术解析:6710亿参数开源模型如何用557万美元挑战GPT-4 全面解析 DeepSeek-V3 的核心技术创新,包括 MLA 注意力机制、DeepSeekMoE 架构、FP8 训练、无辅助损失负载均衡等,揭示如何用十分之一成本达到顶级性能。 DeepSeekLLMMoE 阅读全文 →
技术学习 2025年12月14日 12 分钟阅读 Shell 入门完全指南:从零开始掌握命令行 面向初学者的 Shell 使用教程,涵盖基础命令、文件操作、管道重定向等核心概念,帮助你快速上手命令行操作。基于 MIT Missing Semester 课程整理。 Shell命令行Linux 阅读全文 →
技术学习 2025年12月14日 11 分钟阅读 Strands Agents SDK 完全指南:构建生产级 AI Agent 深入介绍 AWS 开源的 Strands Agents SDK,学习如何用 Python 构建可靠、可扩展的 AI Agent 应用。 AI AgentPythonAWS 阅读全文 →
技术学习 2025年12月14日 7 分钟阅读 Zoom AI 在 Humanity's Last Exam 中的突破:技术分析与行业影响 深入分析 Zoom AI 在 Humanity's Last Exam 测试中取得 26.8% 准确率的技术突破,探讨多智能体系统、RAG 技术和企业级 AI 的发展趋势。 AIZoom多智能体系统 阅读全文 →
图灵奖系列 2023年1月1日 20 分钟阅读 Avi Wigderson:他用数学之美揭示计算的本质,从随机性到交互证明,从复杂度到密码学,编织出一张理论计算的宏大图景 Avi Wigderson:他用数学之美揭示计算的本质,从随机性到交互证明,从复杂度到密码学,编织出一张理论计算的宏大图景 图灵奖计算机历史算法 阅读全文 →
图灵奖系列 2022年1月1日 20 分钟阅读 Robert M. Metcalfe:他发明的以太网让计算机从孤岛变成网络,用简洁优雅的设计统治局域网40年,从施乐实验室到全球数十亿设备 Robert M. Metcalfe:他发明的以太网让计算机从孤岛变成网络,用简洁优雅的设计统治局域网40年,从施乐实验室到全球数十亿设备 图灵奖计算机历史编程语言 阅读全文 →
图灵奖系列 2021年1月1日 24 分钟阅读 Jack J. Dongarra:他用标准数值库和性能基准,为高性能计算建立了统一语言,让超级计算机从竞速工具变成科学基础设施 Jack J. Dongarra:他用标准数值库和性能基准,为高性能计算建立了统一语言,让超级计算机从竞速工具变成科学基础设施 图灵奖计算机历史编程语言 阅读全文 →
图灵奖系列 2020年1月1日 24 分钟阅读 Alfred V. Aho & Jeffrey D. Ullman:他们写下的"龙书"训练了几代程序员,让编译器从黑魔法变成系统科学 Alfred V. Aho & Jeffrey D. Ullman:他们写下的"龙书"训练了几代程序员,让编译器从黑魔法变成系统科学 图灵奖计算机历史编程语言 阅读全文 →
图灵奖系列 2019年1月1日 25 分钟阅读 Ed Catmull & Pat Hanrahan:他们把计算机图形学从实验室搬进了好莱坞,让数字世界拥有了物理的真实感 Ed Catmull & Pat Hanrahan:他们把计算机图形学从实验室搬进了好莱坞,让数字世界拥有了物理的真实感 图灵奖计算机历史算法 阅读全文 →
图灵奖系列 2018年1月1日 17 分钟阅读 Yann LeCun、Geoffrey Hinton、Yoshua Bengio:深度学习三巨头,用反向传播与表示学习点亮AI新纪元 Yann LeCun、Geoffrey Hinton、Yoshua Bengio:深度学习三巨头,用反向传播与表示学习点亮AI新纪元 图灵奖计算机历史算法 阅读全文 →
图灵奖系列 2017年1月1日 21 分钟阅读 John Hennessy & David Patterson:RISC革命与"用数据说话"的计算机架构 John Hennessy & David Patterson:RISC革命与"用数据说话"的计算机架构 图灵奖计算机历史编程语言 阅读全文 →
图灵奖系列 2016年1月1日 21 分钟阅读 Tim Berners-Lee:万维网的发明者,把信息连成可点击的宇宙 Tim Berners-Lee:万维网的发明者,把信息连成可点击的宇宙 图灵奖计算机历史算法 阅读全文 →
图灵奖系列 2015年1月1日 24 分钟阅读 Whitfield Diffie & Martin E. Hellman:公钥密码学的革命,在不共享秘密的前提下达成共享秘密 Whitfield Diffie & Martin E. Hellman:公钥密码学的革命,在不共享秘密的前提下达成共享秘密 图灵奖计算机历史算法 阅读全文 →
图灵奖系列 2014年1月1日 20 分钟阅读 Michael Stonebraker:数据库的多形态革新者,从Ingres到Postgres,再到"一个引擎不能统治一切" Michael Stonebraker:数据库的多形态革新者,从Ingres到Postgres,再到"一个引擎不能统治一切" 图灵奖计算机历史算法 阅读全文 →
图灵奖系列 2013年1月1日 26 分钟阅读 Leslie Lamport:他让分布式系统从"混沌"变成"秩序",用逻辑时钟和Paxos算法,为云计算时代奠定理论基础 Leslie Lamport:他让分布式系统从"混沌"变成"秩序",用逻辑时钟和Paxos算法,为云计算时代奠定理论基础 图灵奖计算机历史算法 阅读全文 →
图灵奖系列 2012年1月1日 25 分钟阅读 Shafi Goldwasser & Silvio Micali:他们让密码学从"艺术"变成"科学",从零知识证明到可证明安全,重塑现代密码学的数学基础 Shafi Goldwasser & Silvio Micali:他们让密码学从"艺术"变成"科学",从零知识证明到可证明安全,重塑现代密码学的数学基础 图灵奖计算机历史算法 阅读全文 →
图灵奖系列 2011年1月1日 26 分钟阅读 Judea Pearl:他用数学撕开了"相关"与"因果"的迷雾 Judea Pearl:他用数学撕开了"相关"与"因果"的迷雾 图灵奖计算机历史算法 阅读全文 →
图灵奖系列 2010年1月1日 25 分钟阅读 Leslie G. Valiant:他用数学告诉我们"什么能学、什么能算" Leslie G. Valiant:他用数学告诉我们"什么能学、什么能算" 图灵奖计算机历史算法 阅读全文 →
图灵奖系列 2009年1月1日 25 分钟阅读 Charles P. Thacker:他在1973年就把"未来的电脑"搬上了你的桌面 Charles P. Thacker:他在1973年就把"未来的电脑"搬上了你的桌面 图灵奖计算机历史编程语言 阅读全文 →
图灵奖系列 2008年1月1日 18 分钟阅读 Barbara Liskov:她定义了"抽象数据类型"和"里氏替换原则",让面向对象编程真正可用 Barbara Liskov:她定义了"抽象数据类型"和"里氏替换原则",让面向对象编程真正可用 图灵奖计算机历史编程语言 阅读全文 →
图灵奖系列 2007年1月1日 23 分钟阅读 Clarke, Emerson & Sifakis:他们让"软件验证"从梦想变成现实,模型检验保障关键系统的安全 Clarke, Emerson & Sifakis:他们让"软件验证"从梦想变成现实,模型检验保障关键系统的安全 图灵奖计算机历史算法 阅读全文 →
图灵奖系列 2006年1月1日 23 分钟阅读 Frances E. Allen:她让编译器从"翻译器"变成"优化器",开创了程序优化的科学时代 Frances E. Allen:她让编译器从"翻译器"变成"优化器",开创了程序优化的科学时代 图灵奖计算机历史编程语言 阅读全文 →
图灵奖系列 2005年1月1日 23 分钟阅读 Peter Naur:从ALGOL 60到"编程即理论建构",他定义了程序设计的认识论 Peter Naur:从ALGOL 60到"编程即理论建构",他定义了程序设计的认识论 图灵奖计算机历史编程语言 阅读全文 →
图灵奖系列 2004年1月1日 27 分钟阅读 Vint Cerf & Bob Kahn:他们编织了连接世界的数字之网,TCP/IP让50亿人在线 Vint Cerf & Bob Kahn:他们编织了连接世界的数字之网,TCP/IP让50亿人在线 图灵奖计算机历史算法 阅读全文 →
图灵奖系列 2002年1月1日 22 分钟阅读 Ron Rivest, Adi Shamir, Leonard Adleman Ron Rivest, Adi Shamir, Leonard Adleman:RSA算法,数字时代的安全基石 图灵奖计算机历史算法 阅读全文 →
图灵奖系列 2001年1月1日 18 分钟阅读 Ole-Johan Dahl & Kristen Nygaard:面向对象编程的鼻祖,用Simula播下了OOP的种子,从此改变了整个软件世界 Ole-Johan Dahl & Kristen Nygaard:面向对象编程的鼻祖,用Simula播下了OOP的种子,从此改变了整个软件世界 图灵奖计算机历史编程语言 阅读全文 →
图灵奖系列 2000年1月1日 27 分钟阅读 Andrew Yao(姚期智):通信复杂性与量子计算的开拓者,首位华人图灵奖得主,从普林斯顿到清华的育人之路 Andrew Yao(姚期智):通信复杂性与量子计算的开拓者,首位华人图灵奖得主,从普林斯顿到清华的育人之路 图灵奖计算机历史算法 阅读全文 →
图灵奖系列 1999年1月1日 28 分钟阅读 Frederick P. Brooks Jr.:《人月神话》作者,软件工程的哲学家,用失败的教训照亮了整个行业 Frederick P. Brooks Jr.:《人月神话》作者,软件工程的哲学家,用失败的教训照亮了整个行业 图灵奖计算机历史编程语言 阅读全文 →
图灵奖系列 1997年1月1日 20 分钟阅读 Douglas Engelbart Douglas Engelbart:一次演示改变世界,他在1968年展示了2020年的未来 图灵奖计算机历史编程语言 阅读全文 →
图灵奖系列 1995年1月1日 16 分钟阅读 Manuel Blum:他将"计算困难性"变成了密码学的基石,创造了CAPTCHA,还培养出两位图灵奖得主 Manuel Blum:他将"计算困难性"变成了密码学的基石,创造了CAPTCHA,还培养出两位图灵奖得主 图灵奖计算机历史算法 阅读全文 →
图灵奖系列 1994年1月1日 15 分钟阅读 Edward Feigenbaum & Raj Reddy:他们让AI从"实验室玩具"变成"实用工具",从专家系统到语音识别,开启了应用AI时代 Edward Feigenbaum & Raj Reddy:他们让AI从"实验室玩具"变成"实用工具",从专家系统到语音识别,开启了应用AI时代 图灵奖计算机历史算法 阅读全文 →
图灵奖系列 1993年1月1日 14 分钟阅读 Juris Hartmanis & Richard Stearns:他们用数学证明了"时间是有价值的",为复杂性理论打下地基,让P vs NP成为可能 Juris Hartmanis & Richard Stearns:他们用数学证明了"时间是有价值的",为复杂性理论打下地基,让P vs NP成为可能 图灵奖计算机历史算法 阅读全文 →
图灵奖系列 1992年1月1日 17 分钟阅读 Butler Lampson:他在施乐PARC创造了现代计算的原型,从个人电脑到网络安全,用50年的创新定义了我们今天的数字生活 Butler Lampson:他在施乐PARC创造了现代计算的原型,从个人电脑到网络安全,用50年的创新定义了我们今天的数字生活 图灵奖计算机历史编程语言 阅读全文 →
图灵奖系列 1991年1月1日 14 分钟阅读 Robin Milner:他让类型系统从"编译器的限制"变成"程序员的助手",用数学语言驯服了并发的混乱 Robin Milner:他让类型系统从"编译器的限制"变成"程序员的助手",用数学语言驯服了并发的混乱 图灵奖计算机历史编程语言 阅读全文 →
图灵奖系列 1990年1月1日 33 分钟阅读 Fernando J. Corbató Fernando J. Corbató:分时系统之父,让计算机学会"一心多用" 图灵奖计算机历史编程语言 阅读全文 →
图灵奖系列 1988年1月1日 26 分钟阅读 Ivan Sutherland Ivan Sutherland:他用Sketchpad画出了计算机图形学与人机交互的未来 图灵奖计算机历史算法 阅读全文 →
图灵奖系列 1987年1月1日 23 分钟阅读 John Cocke:他用"少即是多"改变了计算机,从手机到超算都在用他的RISC哲学 John Cocke:他用"少即是多"改变了计算机,从手机到超算都在用他的RISC哲学 图灵奖计算机历史编程语言 阅读全文 →
图灵奖系列 1986年1月1日 17 分钟阅读 John Hopcroft & Robert Tarjan:他们让图算法达到了理论极限,用数据结构改变了编程的效率边界 John Hopcroft & Robert Tarjan:他们让图算法达到了理论极限,用数据结构改变了编程的效率边界 图灵奖计算机历史编程语言 阅读全文 →
图灵奖系列 1985年1月1日 33 分钟阅读 Richard M. Karp:他绘制了"计算难度"的地图,让我们学会与NP完全问题和平共处 Richard M. Karp:他绘制了"计算难度"的地图,让我们学会与NP完全问题和平共处 图灵奖计算机历史算法 阅读全文 →
图灵奖系列 1983年1月1日 14 分钟阅读 肯·汤普逊 & 丹尼斯·里奇:他们用Unix和C语言,为数字世界打下了地基 肯·汤普逊 & 丹尼斯·里奇:他们用Unix和C语言,为数字世界打下了地基 图灵奖计算机历史编程语言 阅读全文 →
图灵奖系列 1979年1月1日 15 分钟阅读 肯尼斯·艾佛森:他用APL语言,将数学符号变成了可执行的思想 肯尼斯·艾佛森:他用APL语言,将数学符号变成了可执行的思想 图灵奖计算机历史编程语言 阅读全文 →
图灵奖系列 1978年1月1日 17 分钟阅读 Robert Floyd:他让程序从"碰运气"变成"可证明" Robert Floyd:他让程序从"碰运气"变成"可证明" 图灵奖计算机历史编程语言 阅读全文 →
图灵奖系列 1977年1月1日 19 分钟阅读 John Backus:他发明了FORTRAN,两次解放了程序员 John Backus:他发明了FORTRAN,两次解放了程序员 图灵奖计算机历史编程语言 阅读全文 →
图灵奖系列 1976年1月1日 17 分钟阅读 Rabin & Scott:他们定义了计算的边界,让编译器和验证工具成为可能 Rabin & Scott:他们定义了计算的边界,让编译器和验证工具成为可能 图灵奖计算机历史编程语言 阅读全文 →
图灵奖系列 1974年1月1日 36 分钟阅读 Donald E. Knuth:算法之父,用一生书写计算机程序设计的艺术 Donald E. Knuth:算法之父,用一生书写计算机程序设计的艺术 图灵奖计算机历史编程语言 阅读全文 →
图灵奖系列 1973年1月1日 43 分钟阅读 Charles W. Bachman:把数据从程序里解放出来,开创数据库时代 Charles W. Bachman:把数据从程序里解放出来,开创数据库时代 图灵奖计算机历史算法 阅读全文 →
图灵奖系列 1972年1月1日 39 分钟阅读 Edsger W. Dijkstra:用结构化编程让复杂性有序退场 Edsger W. Dijkstra:用结构化编程让复杂性有序退场 图灵奖计算机历史编程语言 阅读全文 →
图灵奖系列 1971年1月1日 35 分钟阅读 John McCarthy:Lisp 之父与“人工智能”命名者 John McCarthy:Lisp 之父与“人工智能”命名者 图灵奖计算机历史算法 阅读全文 →
图灵奖系列 1970年1月1日 23 分钟阅读 James H. Wilkinson:数值分析的守护者,让计算“算得准”而非“算得快” James H. Wilkinson:数值分析的守护者,让计算“算得准”而非“算得快” 图灵奖计算机历史算法 阅读全文 →
图灵奖系列 1969年1月1日 36 分钟阅读 Marvin Minsky:人工智能之父,赋予机器“思考”的灵魂 Marvin Minsky:人工智能之父,赋予机器“思考”的灵魂 图灵奖计算机历史算法 阅读全文 →
图灵奖系列 1968年1月1日 18 分钟阅读 Richard Hamming:他发明了汉明码,让数据传输不再出错 Richard Hamming:他发明了汉明码,让数据传输不再出错 图灵奖计算机历史编程语言 阅读全文 →
图灵奖系列 1967年1月1日 16 分钟阅读 Maurice Wilkes:他建造了第一台实用计算机,发明了子程序,开创了微程序设计 Maurice Wilkes:他建造了第一台实用计算机,发明了子程序,开创了微程序设计 图灵奖计算机历史编程语言 阅读全文 →
图灵奖系列 1966年1月1日 7 分钟阅读 Alan Perlis:他定义了编译器,影响了所有编程语言,开启了计算机科学 Alan Perlis:他定义了编译器,影响了所有编程语言,开启了计算机科学 图灵奖计算机历史编程语言 阅读全文 →