享受编程：在AI时代找回乐趣

It's still OK to enjoy programming

阅读 Hacker News 时，我常感到一种奇怪的社会压力，仿佛不再被允许享受编程。工作中，手写代码的经济价值确实变了，但工作不等于生活。我周末依然亲手写代码，哪怕只是做一个充满 Bug 的 Breakout 克隆，或是在 Java 中探索 Agda 的依赖类型思想。这些探索或许没有直接用处，但解决问题的过程本身带来快乐。理解高深概念如 Monoids 或 recursion schemes 需要时间沉淀，这种智力上的奖赏无可替代。我们不必为享受事物寻找经济理由，断开焦虑的噪音，回归初心，享受编程本身。