Lotus Notes与从零开始的危险
Lotus Notes 在1989年发布时，加密、富文本、附件、阅读回执等功能比标准邮件早了数年，但它最终输给了SMTP。文章追溯了PLATO Notes的起源——1973年伊利诺伊大学的分时系统，Ray Ozzie在那里体验了最早的在线社区，后来把这种理念做成了Lotus Notes。 它功能超前但交互反直觉，最终被更开放的Web和标准邮件取代。
评论
点赞
收藏一个荒诞的 Commodore 64 外设、一个哑剧演员，和一些相当糟糕的广告
Mimic Systems 1984 年宣布推出 Spartan——一个让 Commodore 64 运行 Apple II+ 软件的扩展卡，但直到 1986 年才上市，此时 C64 上已有大量原生软件，产品失去意义。 上市评价惨淡，BUG 多、噪音大、DOS 卡还经常把磁盘驱动器变砖。然而 2024 年拍卖中一套完整 Spartan 拍出超过 5500 美元。文章同时揭露了公司管理混乱：总裁每周改设计又改回来、随意开除技术人员、按小时计薪连上厕所都要打卡，最终卷款跑路。
New Post: A Crash Course in Predicate Logic
Logic for Programmers has now been out for a month! To celebrate, I'm releasing the entire second chapter, "A Crash Course in Logic", for free on my blog. Read it here!
别被AI噪音吓到：程序员不会被取代，理由和当年外包恐惧一样站不住
AI不会取代程序员，这和当年外包恐惧如出一辙。软件开发的本质是发现需求，而不是按规格说明书写代码——这个发现过程无法外包，也无法交给AI。 所谓"Spec Driven Development"工具只是让prompt流程更结构化，核心算术没变。
炒面面包：一个三明治背后的日本百年饮食变迁
炒面面包（yakisoba-pan）是日本战后经济腾飞时期的标志性街头食品，用美式热狗面包夹炒面和伍斯特酱，售价约320日元。它的诞生串联起日本千年饮食史：从绳文时代以鱼为主、佛教禁肉，到明治维新打破1200年肉食禁忌引入洋食，再到二战后美国大量倾销小麦替代日本传统的米鱼体系。
Gateway 2000那些令人捧腹的90年代烂广告（第二部分）
Gateway 2000在90年代用奶牛、双关语和长达20多页的荒诞广告横扫科技杂志，从IPO到巅峰再到衰落，这些广告如今看来既滑稽又有效。 作者认为这是科技营销的黄金时代，充满了怪诞的创意。
Buttondown八年Django实战：我为什么爱它，以及果断放弃什么
Buttondown创始人回顾八年Django实战经验，分享五个最受益的设计选择：中间件、轻量继承的BaseModel、按动词拆分的Actions、纯函数式Views、手写pytest fixtures。 同时明确列出不用Signals、CBV、Django Apps、Form抽象的原因——跨app迁移难、上下文切换成本高、用weird tests替代。核心理念是limit innovation tokens，选Django是因为当时熟悉，八年未后悔。
Logic for Programmers is Done
It's done. Logic for Programmers is now 1.0 and available in print. Full announcement here, official website here, direct Amazon link here. If you got an early version of the ebook, you can go back to...
美国烤奶酪三明治散文（2024）
Talia Lavin 在《Notable Sandwiches》系列中为烤奶酪三明治写了一篇充满诗意的赞美散文，将其视为“小而完美的事物”，并引用多位诗人表达对平凡之美的感悟。 Lavin 认为烤奶酪无需讲究食材或做法，任何组合都是创造，能带来满足与平静；她强调生活中需要这种可靠的、普通的快乐来对抗焦虑和沉重。
I'm still alive
Between travel obligations and this last heads-down-gotta-get-the-book-done stretch I haven't had time to write any newsletters or even look at social media. The good news is that Logic for Programmer... 
How to talk about "AI" without adding to the anthropomorphization
语言学家 Emily Bender 和 Nanna Inie 在《Tech Policy Press》上发表文章，提出应避免将算法系统拟人化的语言。文中列出拟人化语言的六类（认知隐喻、情感、沟通、能动性、人类角色类比、名字代词、生物隐喻），并逐一给出更精确的替代表述：例如用"概率自动化"替代"AI"、用"图像标注"替代"图像识别"、用"不良输出"替代"幻觉"、用"概率性、未经核实的软件操作器"替代"AI 智能体"。 作者认为，这类替换虽然稍显笨拙，但能帮助人们更清醒地理解技术实际在做什么，并把"思考"和"能动性"归还给人而非算法，最终推动更清晰的公共讨论。
斯特劳斯楚普定律：为什么编程语言越老越“简”，越新越“繁”？
作者提出“Stroustrup定律”：新功能需要显式语法，成熟功能则趋向简洁。这反映了初学者与专家在认知负荷上的差异。 文章以Rust错误处理和Python海象运算符为例，说明语言设计如何在易用性与优雅性之间权衡。 作者还分享了在教授TLA+时的教学策略。
Logic for Programmers v0.15, Livecoding
There's a new release of Logic for Programmers! This one, version 0.15, is the first true release candidate. There's a couple of minor touch-ups I need to do but all content is in and copy edited and ...