工程哲学:Grace Hopper,让计算机说人类的语言
Grace Hopper 打造了第一个编译器,让程序得以用人类语言书写;她用一段电线把延迟变得触手可及,并向陈腐的教条宣战。
Engineering & Craft关于设计、开发、AI基础设施和产品构建的思考。
Grace Hopper 打造了第一个编译器,让程序得以用人类语言书写;她用一段电线把延迟变得触手可及,并向陈腐的教条宣战。
Engineering & CraftDonald Knuth 把编程当作写给人读的艺术。先测量再动手,只优化关键的 3%,并以匠心证明正确性。
Engineering & CraftEdsger Dijkstra 将简洁视为正确性的前提,将证明置于测试之上——优雅不是可有可无的点缀,而是整门学问的根基。
Engineering & CraftRich Hickey 在一个区分之上构建了 Clojure 和 Datomic:简单不等于容易。简单意味着不缠绕、每件事物只承担一个关注点;而容易只是意味着熟悉。
Engineering & CraftRuby 之父松本行弘为程序员的幸福而非机器来设计语言。最小惊讶原则——代码不应让人意外。
Engineering & CraftLinus Torvalds 把优秀品味定义为让特殊情况消失的代码——这是支撑 Linux 内核、git 以及"把代码拿给我看"背后的工程信念。
Engineering & CraftJohn Carmack 把性能视为一个道德问题。剥离到那个快速而简单的内核,把问题理解到根基,发布它,并公开你的全部过程。
Engineering & CraftAndrej Karpathy 将神经网络重新定义为 Software 2.0——一套由数据编译而成、而非手工编写的技术栈——并教会了整整一代人从零把它构建出来。
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 & Technology技术写作: Introl
本地运行大型语言模型的全面硬件建议和成本分析。
针对不同AI工作负载比较NVIDIA最新数据中心加速器的GPU选择指南。
深入技术分析Google张量处理单元从TPUv1到TPUv5的演进。
容器化环境中GPU集群的资源共享策略。
使用Ray框架构建和管理分布式AI计算的指南。
开源LLM经济学分析和DeepSeek的竞争定位。
未来数据中心电力需求和NVIDIA下一代GPU路线图。
为下一代AI基础设施供电的小型模块化反应堆解决方案。
DeepSeek多头压缩架构创新的技术分析。