大众的 OCaml
为何您要学习的下一种语言应该是函数式语言
函数式编程是一个历史悠久的古老概念。Lisp 是一种函数式语言，其灵感来自 Alonzo Church 的 lambda 演算，是最早在计算机时代初期开发的编程语言之一。OCaml 和 Haskell 等静态类型函数式语言更新，但它们的根基深厚。
在生产系统上调试
这更多的是一个社会问题，而不是技术问题。
我一直在尝试调试工作系统上的一个问题，但运行我们生产系统的控制狂们不想让我访问总是出现错误的系统。我无法在桌面上的测试环境中重现该问题，但每天该错误都会在多个生产系统上发生。我正考虑使用键盘记录器，以便窃取访问生产系统所需的密码，最终“在野外”看到问题。我整个职业生涯中从未为如此一群法西斯分子工作过。
软件行业本身就是问题
软件责任法的时候到了。
在七年前，肯·汤普森提出了一个新问题，这个问题的产生源于思考，并且致力于这样一个命题：那些信任计算机的人们正身处困境。我当然说的是汤普森的图灵奖演讲“论信任信任的反思”。除非您对这篇文章铭记于心，否则如果可能的话，您可能需要花点时间阅读它。
Java 安全架构再探
艰难的技术问题和严峻的商业挑战
本文回顾了从设计和工程角度来看的一些最艰难的技术问题，以及研究科学家很少接受培训的一些严峻的商业挑战。李功在此回顾了他之前四次有机会查阅旧笔记并刷新记忆时的情景。