- [论文解读] GoDDaR:用扩展 CCS + 符号分析,静态检测并自动修复 Go 的部分死锁
arXiv 2610.08962 来自葡萄牙 NOVA LINCS。Go 运行时只检测已发生的全局死锁,部分死锁抓不到。本文把 Go 转 MiGo IR,扩展 CCS 加 external choice,符号分析得 19 TP / 0 FN(25 个真实案例),修复策略产 Go diff。
16 min - Ardan Labs Go Training 拆解：机械同情 + 数据导向设计 + 一致性哲学
逐章解析 ardanlabs/gotraining：47MB / 474 个 Go 文件 / 82 篇 Markdown 的 Go 深度教学仓库。从机械同情到 channel 信号语义，从指针语义到 interface 多态，从 fan-out 模式到 scheduler 行为，配 15 张原图 + 8 个经典样例
25 min
Back