100%纯手工编码

30/03/2026

我在想若干年后, 人们在购买软件的时候会优先挑选那些"纯手工编程,100%无AI编码"的产品.
就像现在我给我的孩子们挑选零食一样.

AI 工具链投毒

25/03/2026

今天发生了一件让所有 AI 开发者后背发凉的事。
Read more

第一性原理

20/03/2026

运用第一性原理 思考,拒绝经验主义和路径盲从,不要假设我完全清楚目标,保持审慎,从原始需求和问题出发,若目标模糊请停下和我讨论,若目标清晰但路径非最优,请直接建议更短、更低成本的办法。

所有回答必须分为两个部分:
• ​直接执行:按照我当前的要求和逻辑,直接给出任务结果。
• ​深度交互:基于底层逻辑对我的原始需求进行“审慎挑战”。包括但不限于:质疑我的动机是否偏离目标(XY问题)、分析当前路径的弊端、并给出更优雅的替代方案。

这是我学到的给 AI 用的提示词,似乎对自己的日常生活同样适用。

工作问题

14/03/2026

最近因为需要开发和 Support at Home 的相关功能,虽然有 AI 的帮助,但有可能是年纪大了,也可能是家里有两个孩子,老是觉得特别累。我想,如果可能…
Read more

Claude Code Max

14/03/2026

mmexport1773461521812-23cf1b5c

不用自己出钱就是爽

人形机器人

14/03/2026

其实我一直不理解,人形机器人为啥会成为主流,除了性爱场景,机器人为啥需要人形的.

1000017252-c9a8aaac

有人用 LLM 用 ...

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 的根本失败模式:不是写错代码,而是写出「看起来正确」的代码。

谷歌:旗下Gemin...

14/02/2026

谷歌:旗下Gemini遭遇大规模“蒸馏攻击”
Read more

上个季度,我给 40...

15/01/2026

上个季度,我给 4000 名员工部署了 Microsoft Copilot。
Read more

我不敢信这首歌是 A...

24/11/2025

我不敢信这首歌是 AI 生成的,就好像几百年人们不相信蒸汽机能拉动巨大的机器一样。

工业革命就在眼前。

第一次工业革命,以及后来的圈地运动,造就了大量的所谓无产者。
第二次工业革命,以及后来的大萧条,造就了更多的所谓无产者。
这一次,历史仿佛又走进了熟悉的甬道。

About me

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

Work in IT industry, AI is my working partner.