2025-07-17 | 程序员如何提升：在脑海中推导“小证明”，让代码趋于正确

Hacker News - 2025-07-17 | 程序员如何提升：在脑海中推导“小证明”，让代码趋于正确