标签: "primer"

单测通过，模型出错： GPU kernel 为什么会在端到端里坏掉

为什么一个 GPU kernel 能通过所有单测，却在端到端的模型运行里出错：测试和模型之间的七个缺口，每个都用 gfx1250 上线期间和 FlyDSL v0.3 到 v0.4 期间的公开 bug 说明，以及一套逐级关闭这些缺口的验证阶梯。

Autotune 全流程 · 从 Triton 到 FlyDSL

kernel autotune 在 Triton 里怎么设计、在 aiter / quack / CuteDSL 里怎么用、又怎么被 SGLang 这类推理引擎消费 —— 然后从这一切出发, 给 FlyDSL 设计一条真正的 autotune 路径。配一份带 6 张手绘 SVG 图的 HTML 深读。

从 Python 到硅片 · 给 ML 工程师的编译器与体系结构小科普

你可以把生产级 ML 系统写好几年，都不知道 IR、 MLIR、 LLVM、 ISA、 FFI 这些词指什么。这一篇是补丁 —— 写给本科 CS 念过、但是 Compiler 和 Computer Arch 没好好上过的 ML 工程师。配一份带 6 张 SVG 图、中英双语的 HTML 深读。