工程哲学:Adi Shamir
Adi Shamir 是 RSA 中的“S”,也是一位密码分析大师——他构建安全系统的方式,是同时学会攻破它们。以攻为守,把纯净的数论化为可用的机制。
Engineering & Craft关于设计、开发、AI基础设施和产品构建的思考。
Adi Shamir 是 RSA 中的“S”,也是一位密码分析大师——他构建安全系统的方式,是同时学会攻破它们。以攻为守,把纯净的数论化为可用的机制。
Engineering & CraftRadia Perlman发明了生成树协议,构建出能够自我修复的网络——无环路、自稳定,即便节点撒谎也依然正确。把健壮性当作第一原理。
Engineering & Craft玛格丽特·汉密尔顿提出了"软件工程"一词,并编写了挺过1202警报的阿波罗飞行代码。防御式设计、错误恢复,以及没有第二次机会。
Engineering & CraftEdsger Dijkstra 将简洁视为正确性的前提,将证明置于测试之上——优雅不是可有可无的点缀,而是整门学问的根基。
Engineering & CraftLeslie Lamport 让分布式系统成为一门科学:时间不是全局的,真正实在的是因果,先写明设计规约,再动手写代码。
Engineering & CraftDonald Knuth 把编程当作写给人读的艺术。先测量再动手,只优化关键的 3%,并以匠心证明正确性。
Engineering & CraftGuido van Rossum把Python建立在一个判断之上:代码被阅读的次数远多于被编写的次数,因此语言本身应当为正在读它的人而优化。
Engineering & CraftGrace Hopper 打造了第一个编译器,让程序得以用人类语言书写;她用一段电线把延迟变得触手可及,并向陈腐的教条宣战。
Engineering & CraftThompson 与 Ritchie 用通过单一通用接口——文本流与管道——组合而成的小巧锋利的工具,构建了 Unix 与 C。简洁胜于功能堆砌。
Engineering & CraftBarbara Liskov 让数据抽象成为一种编程基本要素:类型即它所恪守的契约,而子类型必须兑现其父类型作出的每一个承诺。
Engineering & CraftRich Hickey 在一个区分之上构建了 Clojure 和 Datomic:简单不等于容易。简单意味着不缠绕、每件事物只承担一个关注点;而容易只是意味着熟悉。
Engineering & CraftAlan Kay 通过转换视角发明了未来:把计算视为思考的媒介,用相互之间以消息通信的对象来构建系统。
Engineering & Craft技术写作: Introl
本地运行大型语言模型的全面硬件建议和成本分析。
针对不同AI工作负载比较NVIDIA最新数据中心加速器的GPU选择指南。
深入技术分析Google张量处理单元从TPUv1到TPUv5的演进。
容器化环境中GPU集群的资源共享策略。
使用Ray框架构建和管理分布式AI计算的指南。
开源LLM经济学分析和DeepSeek的竞争定位。
未来数据中心电力需求和NVIDIA下一代GPU路线图。
为下一代AI基础设施供电的小型模块化反应堆解决方案。
DeepSeek多头压缩架构创新的技术分析。