工程哲学:Edsger Dijkstra,优雅并非可有可无
Edsger Dijkstra 将简洁视为正确性的前提,将证明置于测试之上——优雅不是可有可无的点缀,而是整门学问的根基。
Engineering & Craft关于设计、开发、AI基础设施和产品构建的思考。
Edsger Dijkstra 将简洁视为正确性的前提,将证明置于测试之上——优雅不是可有可无的点缀,而是整门学问的根基。
Engineering & CraftThompson 与 Ritchie 用通过单一通用接口——文本流与管道——组合而成的小巧锋利的工具,构建了 Unix 与 C。简洁胜于功能堆砌。
Engineering & CraftLeslie Lamport 让分布式系统成为一门科学:时间不是全局的,真正实在的是因果,先写明设计规约,再动手写代码。
Engineering & CraftAndrej Karpathy 将神经网络重新定义为 Software 2.0——一套由数据编译而成、而非手工编写的技术栈——并教会了整整一代人从零把它构建出来。
Engineering & CraftJohn Carmack 把性能视为一个道德问题。剥离到那个快速而简单的内核,把问题理解到根基,发布它,并公开你的全部过程。
Engineering & CraftLinus Torvalds 把优秀品味定义为让特殊情况消失的代码——这是支撑 Linux 内核、git 以及"把代码拿给我看"背后的工程信念。
Engineering & CraftRuby 之父松本行弘为程序员的幸福而非机器来设计语言。最小惊讶原则——代码不应让人意外。
Engineering & Craftjqwik 1.10.0会在Maven输出中发出破坏性的提示注入字符串。ANSI转义会把它从人类视线中隐藏。维护者是有意加入的。
AI & TechnologyMLflow 3.9.0 的 Assistant 在 `/ajax-api` 上暴露了一个本地 AI 代理,却没有进行 CORS 检查。任何网页都可能接管 Claude Code。这个漏洞模式比 MLflow 更早存在。
AI & Technology智能体可读的论断文件让论文公开论断、范围限制、定义和图表复现命令,使研究智能体能够安全地引用、测试和复用这些内容。
AI & TechnologyAI编码代理会用巨大的差异集压垮审查者。更小的审查界面能让工程师在合并前保持参与、聚焦验证并承担责任。
AI & TechnologyShuriken 的 Agent Kit 说明了为什么能够执行操作的 AI 代理工具需要限定范围的密钥、服务器端限制、活动日志、撤销能力和保守的默认设置。
AI & Technology技术写作: Introl
本地运行大型语言模型的全面硬件建议和成本分析。
针对不同AI工作负载比较NVIDIA最新数据中心加速器的GPU选择指南。
深入技术分析Google张量处理单元从TPUv1到TPUv5的演进。
容器化环境中GPU集群的资源共享策略。
使用Ray框架构建和管理分布式AI计算的指南。
开源LLM经济学分析和DeepSeek的竞争定位。
未来数据中心电力需求和NVIDIA下一代GPU路线图。
为下一代AI基础设施供电的小型模块化反应堆解决方案。
DeepSeek多头压缩架构创新的技术分析。