https://tonybai.com/tags/gopherconeurope/Recent content in GopherConEurope on Tony BaiHugozh-cn2004-2026 Tony Bai. 版权所有.Wed, 17 Sep 2025 00:00:00 +0800https://tonybai.com/2025/09/17/some-things-i-keep-repeating-about-go/Wed, 17 Sep 2025 00:00:00 +0800https://tonybai.com/2025/09/17/some-things-i-keep-repeating-about-go/本文永久链接 – https://tonybai.com/2025/09/17/some-things-i-keep-repeating-about-go 大家好，我是Tony Bai。 在阔别公众视野数年后，Go 社区的传奇人物 **Dave Cheney** 终于重返 GopherCon Europe 的舞台，发表了一场备受瞩目的**复出首谈**(注：我印象中的回归首谈^_^)。这场题为《那些...https://tonybai.com/2024/08/05/formally-verify-concurrent-go-programs-using-tla-plus/Mon, 05 Aug 2024 00:00:00 +0800https://tonybai.com/2024/08/05/formally-verify-concurrent-go-programs-using-tla-plus/本文永久链接 – https://tonybai.com/2024/08/05/formally-verify-concurrent-go-programs-using-tla-plus > Writing is nature’s way of letting you know how sloppy your thinking is – Guindon 在2024年6月份举办的GopherCon ...