Floating-Point on 兜忆轩 | Cedric's Compiler Noteshttps://douyixuan.github.io/tags/floating-point/Recent content in Floating-Point on 兜忆轩 | Cedric's Compiler Notes兜忆轩 | Cedric's Compiler Noteshttps://douyixuan.github.io/images/papermod-cover.pnghttps://douyixuan.github.io/images/papermod-cover.pngHugo -- 0.146.0en-usFri, 23 Oct 2026 12:24:00 +0800038 · 不知道 exp 怎么算，也能证明浮点 kernel 等价吗？https://douyixuan.github.io/posts/ai-silicon-papers/2026-10-23/Fri, 23 Oct 2026 12:24:00 +0800https://douyixuan.github.io/posts/ai-silicon-papers/2026-10-23/这篇论文把超越函数保留为不透明符号，证明生成 kernel 与形式规格对同一符号的使用一致。关键问题是：这种对任意函数都成立的定理，为什么仍依赖真实实现采用同一个函数？