依然没有银弹：软件工程四十年后的经典判断
Fred Brooks 1986年提出的"没有银弹"观点，四十年后依然成立。软件工程的核心困难是本质性复杂，无法靠单一技术突破解决。 这篇文章回顾了Brooks经典论文发表四十周年，指出无论编程语言、框架还是AI工具，都无法消除软件工程的根本复杂性。
评论
点赞
收藏新一季升级记录：从 Gmail 迁移到 Protonmail
作者在搬家和度假期间测试了 Elm 语言的多个新版本（Eco、elm-run、Acadia alpha），同时完成了从 Gmail 到 Protonmail 的迁移。Elm 近期更新频繁，作者对 Acadia alpha 表示认可。
光之翻转：想再试一次
作者回顾曾评测Lightphone II但未使用的经历，对比当前用iPhone配合配置工具简化、以及用纸笔对抗数字干扰的现状。在假期离线状态下看到Light新手机发布，产生重新尝试极简智能机的念头。探讨数字极简主义与实用需求之间的拉扯，反映科技用户对“专注力”产品的持续兴趣与现实妥协。
解析，不要验证——在一种不希望你这样做的语言中
文章主张在 TypeScript 中采用“解析而非校验”的类型处理策略，认为这能带来更健壮且符合直觉的代码结构。作者指出 TS 类型系统存在局限，试图绕过这些限制往往导致复杂的类型体操。 通过重构类型逻辑，从运行时校验转向编译期解析，可以减少样板代码并提升开发体验。这一观点挑战了常见的 TS 最佳实践，容易引发关于类型安全与工程效率权衡的技术讨论。
如果没有耶稣，我将彻底绝望
作者回顾了自己对信仰依赖的个人感悟，引用朋友的话形容人在神面前的无助与谦卑，强调离开信仰指引后的糟糕状态。 这是一篇纯宗教灵修随笔，缺乏科技讨论价值。
在 Elm 架构中运行批处理作业
作者将 elm-run 从简单的 PoC 扩展到实际的大型批处理作业，以测试其在真实应用中的表现。 这是为了帮助 elm-run 开发者发现大规模使用下的性能瓶颈和潜在问题。
给外行讲函数式编程：其实就像用Excel
作者尝试向非技术人员解释函数式编程，发现传统的纯函数和不可变性概念让人难以理解。 对方误以为函数式编程是“自己写代码而不是让AI写”，这个误解揭示了大众对技术概念的认知偏差。
ArkType：我未曾预料到的“解析而非校验”续篇
作者在分享 TypeScript “解析而非校验”理念后，发现了 ArkType 库并进行了初步体验。文章记录了从手写类型到使用 ArkType 的过程，并坦诚地分享了个人看法。 作者承认尚未在生产环境使用该库，因此观点可能带有主观性，但认为 ArkType 契合其推崇的技术路线。
真正的原生 Elm：这次不再是跑在 Node 上的技巧
作者回顾此前将 Elm 运行在 Node.js 后端的做法，承认那只是利用端口传输数据的技巧，底层仍依赖 JS 运行时。本文介绍真正的原生 Elm 实现，不再依赖外部运行时。 这反映了开发者对语言底层实现的深入探索。对于关注 Elm 语言特性及后端架构的技术读者来说，这种关于运行时机制和性能优化的实战经验分享具有较高的参考价值。
codimg：将代码块转换为语法高亮的 SVG
作者指出 Webflow 处理代码块体验极差，缩进和引号会被自动修改。为此开发了 codimg 工具，将代码块转换为语法高亮的 SVG 图片以解决此问题。 该方案通过牺牲可复制性换取排版稳定性，适合博客等静态展示场景。
Hejlsberg 访谈：谁将制造 AI？
C# 之父 Anders Hejlsberg 在访谈中回应了 AI 是否会取代软件工程师的问题。作为拥有五十年经验的编译器与语言设计专家，他的观点具有极高的行业参考价值。 这次对话由 Sajjaad Khader 发起，核心议题围绕 2026 年 AI 对开发者的冲击。Hejlsberg 的回答温和但切中要害，展现了资深技术领袖对技术演进的独特洞察。
我创建了 learnelm.dev 这个 Elm 学习资源站
作者发布了一个名为 的 Elm 语言学习资源目录。 收录了官方指南、博客、视频和书籍等实用链接。
隐性维度：为何你最优秀的工程师无法说出他们所知道的一切
文章引用波兰尼“我们知道的比能说出的多”这一概念，探讨资深工程师为何难以将隐性知识转化为显性说明。 指出这是当前AI编程领域需要克服的核心障碍，因为许多关键判断依赖直觉而非明确规则。
如果你在用 Claude Code，请务必把它关进沙箱
作者建议在使用 Claude Code 等 AI 编程助手时，务必将其运行在沙箱或容器中，以防止意外破坏生产环境。文章假设读者已了解相关风险，重点在于提供具体的安全使用策略和工程实践建议。
GreenType：一个代码精美但糟糕的主意
作者使用 Lamdera 构建了一个名为 GreenType 的键盘应用。它除了播放 Cherry MX Blue 机械键盘音效和显示按键轨迹外没有任何实际功能。 这个作品被社区称为“代码精美但糟糕的主意”，体现了开发者在技术实现上的乐趣与产品实用性的反差。
规范化而非记忆：Kotlin 中的智能构造函数实践
作者通过购物车重复商品导致显示错误的实际案例，引出在 Kotlin 中使用智能构造函数的必要性。 核心观点是数据应在入口处规范化，而非依赖记忆状态，从而避免状态不一致引发的 Bug。
Book Update: RC 2 Is Out
RC 2 of the book is out. When I asked for readers a few weeks ago, I half expected polite “looks great!” replies. I got that, but also the opposite, which honestly is more helpful. Almost feels like ...
Architecture by Autocomplete
There’s a specific code smell that shows up in AI-generated code, and once you see it you can’t un-see it: primitive obsession all the way down to the domain core. string for emails. string for IDs. M...
LLMs Corrupt Your Documents (and the Theory Dies Twice)
This week a friend sent me a paper with a title that made me laugh out loud: “LLMs Corrupt Your Documents When You Delegate.” By Philippe Laban, Tobias Schnabel, and Jennifer Neville at Microsoft Rese...
git history: the best thing in Git 2.54
Git 2.54 dropped yesterday. 137 contributors, 66 of them first-timers. But the thing I keep thinking about is a small experimental command called git history. It does two things. git history reword l...
The Draft Is Done. Now I Need Reviewers and Feedback (Elm Language)
Remember when I said the book was almost done? It’s done. The first full draft, anyway 😅. Every chapter written, every code sample compiling, every paragraph existing in some form that I’m not immedi...
Effect Without Effect-TS: Algebraic Thinking in Plain TypeScript
A lot of people are reaching for Effect-TS. Every few months you’ll be three functions deep in some TypeScript service, squinting at a try/catch that swallows four different kinds of failure into one...