工程哲学:Joanna Rutkowska
Joanna Rutkowska 基于一种合理的偏执构建了 Qubes OS:你无法让软件没有 bug,所以不妨假定系统已被攻破,不信任底层基础设施,并把破坏的波及范围隔离开来。
Engineering & Craft关于设计、开发、AI基础设施和产品构建的思考。
Joanna Rutkowska 基于一种合理的偏执构建了 Qubes OS:你无法让软件没有 bug,所以不妨假定系统已被攻破,不信任底层基础设施,并把破坏的波及范围隔离开来。
Engineering & CraftRadia Perlman发明了生成树协议,构建出能够自我修复的网络——无环路、自稳定,即便节点撒谎也依然正确。把健壮性当作第一原理。
Engineering & CraftSwift 6.2 反转了并发模型:将模块默认设为 MainActor(SE-0466),让 nonisolated async 在调用方运行(SE-0461),用 @concurrent 逃逸。
AI & TechnologyYann LeCun 用卷积奠定了深度视觉的基础,随后押注于另一条路:真正的智能来自以无监督方式学习世界,并把成果公开发表——而不是更大的 LLM。
Engineering & CraftApple 的 Foundation Models 框架:LanguageModelSession、@Generable 引导式生成、工具调用、可用性判断,以及何时该离开端侧模型。
AI & TechnologyRoberto Ierusalimschy 围绕一个原则设计了 Lua——提供机制,而非政策——一门小巧、快速、可嵌入的语言,交给你的是操纵杆,而不是规则。
Engineering & CraftFoundation Models 给你的是 Apple 那个封闭的端侧 LLM。MLX 则让你在 Apple Silicon 上运行自己的模型:量化的开放权重模型与 LoRA 微调。
AI & TechnologyApple 的 Translation 框架:通过 translationPresentation 与 TranslationSession 实现免费的端侧翻译,以及演示里总被跳过的离线下载边界。
AI & Technology在两次人工智能寒冬中,当整个领域都在嘲笑类脑神经网络时,Geoffrey Hinton依然押注于它——信念胜过潮流,直觉胜过形式化。
Engineering & Craft玛格丽特·汉密尔顿提出了"软件工程"一词,并编写了挺过1202警报的阿波罗飞行代码。防御式设计、错误恢复,以及没有第二次机会。
Engineering & CraftAdi Shamir 是 RSA 中的“S”,也是一位密码分析大师——他构建安全系统的方式,是同时学会攻破它们。以攻为守,把纯净的数论化为可用的机制。
Engineering & Craft拉吉·雷迪开创了可以与之对话的机器——语音识别、黑板模型——随后把最先进的人工智能瞄准了世界上最贫困的人,而非最富有的人。
Engineering & Craft技术写作: Introl
本地运行大型语言模型的全面硬件建议和成本分析。
针对不同AI工作负载比较NVIDIA最新数据中心加速器的GPU选择指南。
深入技术分析Google张量处理单元从TPUv1到TPUv5的演进。
容器化环境中GPU集群的资源共享策略。
使用Ray框架构建和管理分布式AI计算的指南。
开源LLM经济学分析和DeepSeek的竞争定位。
未来数据中心电力需求和NVIDIA下一代GPU路线图。
为下一代AI基础设施供电的小型模块化反应堆解决方案。
DeepSeek多头压缩架构创新的技术分析。