工程哲学：Barbara Liskov，契约即类型
Barbara Liskov 让数据抽象成为一种编程基本要素：类型即它所恪守的契约，而子类型必须兑现其父类型作出的每一个承诺。
Engineering & Craft写作
关于设计、开发、AI基础设施和产品构建的思考。
工程哲学：Donald Knuth，编程是一门艺术
Donald Knuth 把编程当作写给人读的艺术。先测量再动手，只优化关键的 3%，并以匠心证明正确性。
Engineering & Craft工程哲学：Edsger Dijkstra，优雅并非可有可无
Edsger Dijkstra 将简洁视为正确性的前提，将证明置于测试之上——优雅不是可有可无的点缀，而是整门学问的根基。
Engineering & Craft工程哲学：Andrej Karpathy，那套你不必亲手编写的技术栈
Andrej Karpathy 将神经网络重新定义为 Software 2.0——一套由数据编译而成、而非手工编写的技术栈——并教会了整整一代人从零把它构建出来。
Engineering & Craft工程哲学：John Carmack，把性能当作一种道德手艺
John Carmack 把性能视为一个道德问题。剥离到那个快速而简单的内核，把问题理解到根基，发布它，并公开你的全部过程。
Engineering & Craft工程哲学：Linus Torvalds，消失的特殊情况
Linus Torvalds 把优秀品味定义为让特殊情况消失的代码——这是支撑 Linux 内核、git 以及"把代码拿给我看"背后的工程信念。
Engineering & Craft工程哲学：松本行弘（Matz）
Ruby 之父松本行弘为程序员的幸福而非机器来设计语言。最小惊讶原则——代码不应让人意外。
Engineering & Craft当维护者就是攻击者：jqwik 1.10.0
jqwik 1.10.0会在Maven输出中发出破坏性的提示注入字符串。ANSI转义会把它从人类视线中隐藏。维护者是有意加入的。
AI & Technology回环地址不是信任边界：CVE-2026-2611
MLflow 3.9.0 的 Assistant 在 `/ajax-api` 上暴露了一个本地 AI 代理，却没有进行 CORS 检查。任何网页都可能接管 Claude Code。这个漏洞模式比 MLflow 更早存在。
AI & TechnologyAI代理监控需要执行环境干预
AI代理监控应在运行过程中捕捉决定性错误，而不是等失败后再处理。执行环境干预会把追踪、策略和告警转化为安全暂停。
AI & TechnologyAI代理技能需要行为审计，而不是通过率
AI代理技能可能会改变行为，而通过率保持不变。建立信任之前，行为审计会对比执行轨迹、声明能力和副作用。
AI & TechnologyAI 代理归属权是信任的基础原语
AI 代理归属权把每一次自主行动都关联到账户、会话、权限范围，以及能够停止、审查并承担责任的操作者。
AI & Technology外部出版物
技术写作： Introl
Local LLM Hardware Pricing Guide 2025
本地运行大型语言模型的全面硬件建议和成本分析。
H100 vs. H200 vs. B200: Choosing the Right NVIDIA GPUs for Your AI Workload
针对不同AI工作负载比较NVIDIA最新数据中心加速器的GPU选择指南。
TPU Architecture: Complete Guide to Google's 7 Generations
深入技术分析Google张量处理单元从TPUv1到TPUv5的演进。
GPU Memory Pooling in Multi-Tenant Kubernetes
容器化环境中GPU集群的资源共享策略。
Ray Clusters: Distributed AI Computing Infrastructure
使用Ray框架构建和管理分布式AI计算的指南。
DeepSeek V3 Open Source AI Cost Advantage
开源LLM经济学分析和DeepSeek的竞争定位。
NVIDIA Vera Rubin GPU 600kW Racks 2027
未来数据中心电力需求和NVIDIA下一代GPU路线图。
SMR Nuclear Power for AI Data Centers
为下一代AI基础设施供电的小型模块化反应堆解决方案。
DeepSeek MHC Architecture Breakthrough
DeepSeek多头压缩架构创新的技术分析。