https://douyixuan.github.io/tags/concurrency/Recent content in Concurrency on 兜忆轩 | Cedric's Compiler Noteshttps://douyixuan.github.io/images/papermod-cover.pnghttps://douyixuan.github.io/images/papermod-cover.pngHugo -- 0.146.0en-usSat, 31 Oct 2026 12:00:00 +0800https://douyixuan.github.io/posts/ai-silicon-papers/2026-10-31/Sat, 31 Oct 2026 12:00:00 +0800https://douyixuan.github.io/posts/ai-silicon-papers/2026-10-31/RESOLVE 用逐位测试连接原始 kernel 与低并发版本，再证明后者的代数等价性。这条混合证据链扩大了验证范围，也要求分清：哪些连接经过证明，哪些仍依赖有限执行。