前几天和群友一起学习了一下 Type-in-type 可能导致的问题。作为一个能够勉强背诵 ZFC 公理的工科🐖，感觉 Girard’s paradox 的构造十分神奇，遂做学习笔记，尝试在 Lea...

新标签：胡说八道 = 有 99% 的可能性有错 = 今天工科猪喵喵又和群友学了什么 --- 今天前几天跟 @Sharzy 和 @Lancern 学了 C 语言的指针转换什么时候是安全的。具体而言，X ...