➡️
继续阅读
-
AI时代学编程：别背语法了，学逻辑才是正经事！
AI时代学编程，重点不在背语法，而在学逻辑。文章通过实例说明，编程思维能帮人精确表达需求，避免AI误解。核心是掌握循环、条件、调试等基础概念，用结构代替模...
-
系统设计两种抽象：Java藏细节 TLA+砍细节 根本两码事！
本文区分系统设计中两种抽象：模块化抽象（如Java）通过隐藏内部细节简化使用，建模抽象（如TLA+）通过削减无关信息提炼核心以精确推理。前者隐藏并发，后者...
-
从AI代码到可信软件：工程约束的实践
文章探讨了“工程约束”如何通过仓库强制执行标准，确保AI生成代码的质量与问责。它强调权限、质量门、证据和可观测性，并描述了从辅助到自主的成熟度阶段。核心是...
-
数据并行与 ZeRO：三级分片各省多少
本文介绍数据并行与ZeRO优化技术。ZeRO通过三级分片（优化器状态、梯度、权重）减少显存占用，前两级不增通信量，第三级需额外all-gather。ZeR...
-
流水线并行：1F1B、虚拟段与气泡
本文介绍流水线并行中气泡的产生与优化。将模型按层切段、批次分微批后，段间等待形成气泡。四代调度各改一点：GPipe先全前向再全反向，显存高；1F1B改交替...
-
在实地录音中探索全球
Earth Garden是一款基于Freesound环境音频的互动应用，灵感源自Radio Garden，让用户通过旋转地球聆听全球各地的实地录音，如海浪...
