工程案例

非 AI 的工程实践 — Figma、Stripe、Instacart 等

(2026-09-18) 把 Codex 额度放到 MacBook 刘海旁：CodexSatellites 开发复盘

(2026-09-14) OpenAI 主动欠下两笔债，第三笔没人签字

(2026-08-02) AI 构造假证明破解 Lean 4？剥开内核 #14576 漏洞与形式化验证的信任真相

(2026-07-30) 所有软件终将病于中介：解读 Palantir 的「运维责任」硬核宣言

(2026-07-29) 为什么大模型改写搜索，DoorDash、Instacart 和 Uber Eats 选了三种完全不同的路？

(2026-07-14) BWA 的继任者来了：minibwa 不是加速版，而是一次设计换代

(2026-07-12) 你不需要看懂所有色块：读完 HuggingFace 的 PyTorch Profiling 系列，我学到的只有一件事

(2026-07-02) 真正替你刷爆 LLM 账单的，不是人，是“善意的重试”

(2026-06-11) 当 AI Agent 学会自己定时上班

(2026-05-31) 一个上午和四年的距离

(2026-05-28) 最强大模型也搞不定 K8s 排障？ITBench-AA 给 AI Agent 热浇了一盆冷水

(2026-05-14) 我用 Python 脚本扫了 3000 首 FLAC，四分之一是假无损

(2026-05-11) 30秒出报告，但关键不是快——是知道什么时候不用AI

(2026-05-07) 刷榜不是道德问题——从 Open ASR Leaderboard 的私有数据说起

(2026-05-06) Elasticsearch 到 pgvector：Instacart 如何用 Postgres 干掉一堆专业搜索引擎

(2026-05-01) pip 26.1 终于有了锁文件，但 Python 包管理的仗还没打完

(2026-05-01) 读了Wise 2025技术栈，我发现真正厉害的公司都在做减法

(2026-04-30) Stripe 的 100 毫秒

(2025-02-12) 造轮子还是买轮子？Figma 数据管线重构背后的账本