I live in Tasmania, an island a little far from the rest of the world and very close to the sea.
Father of two little girls, have two puppies.
22 articles
20/03/2026
运用第一性原理 思考,拒绝经验主义和路径盲从,不要假设我完全清楚目标,保持审慎,从原始需求和问题出发,若目标模糊请停下和我讨论,若目标清晰但路径非最优,请直接建议更短、更低成本的办法。
所有回答必须分为两个部分:
• 直接执行:按照我当前的要求和逻辑,直接给出任务结果。
• 深度交互:基于底层逻辑对我的原始需求进行“审慎挑战”。包括但不限于:质疑我的动机是否偏离目标(XY问题)、分析当前路径的弊端、并给出更优雅的替代方案。
这是我学到的给 AI 用的提示词,似乎对自己的日常生活同样适用。
14/03/2026
07/03/2026
有人用 LLM 用 Rust 重写了 SQLite。576,000 行代码,能编译,能通过测试,README 写得漂漂亮亮。但做一个最基础的主键查询——比 SQLite 慢 20,171 倍。
为什么?不是语法错误。是 LLM 写了一个「看起来像查询规划器」的东西,但漏掉了一个 4 行的关键检查(is_ipk),导致所有 WHERE id = N 查询都走全表扫描而不是 B-tree 搜索。这个检查之所以存在于 SQLite 里,是因为 Richard Hipp 20 年前 profiling 真实负载时发现了这个瓶颈。
作者把这叫做 LLM 的根本失败模式:不是写错代码,而是写出「看起来正确」的代码。
24/11/2025
我不敢信这首歌是 AI 生成的,就好像几百年人们不相信蒸汽机能拉动巨大的机器一样。
工业革命就在眼前。
第一次工业革命,以及后来的圈地运动,造就了大量的所谓无产者。
第二次工业革命,以及后来的大萧条,造就了更多的所谓无产者。
这一次,历史仿佛又走进了熟悉的甬道。
I live in Tasmania, an island a little far from the rest of the world and very close to the sea.
Father of two little girls, have two puppies.
Work in IT industry, AI is my working partner.