GopherConEurope

本文永久链接 – https://tonybai.com/2025/09/17/some-things-i-keep-repeating-about-go 大家好，我是Tony Bai。 在阔别公众视野数年后，Go 社区的传奇人物 Dave Cheney 终于重返 GopherCon Europe 的舞台，发表了一场备受瞩目的复出首谈(注：我印象中的回归首谈^_^)。这场题为《那些我反复强调的 Go 编程之事》的演讲，没有追逐时髦的技术热点，而是选择回归编程的本源，分享了他十五年 Go 编程生涯中，那些被反复实践、验证并沉淀下来的核心理念。 ...

本文永久链接 – 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 Europe Berlin 2024上，一个叫Raghav Roy的印度程序员(听口音判断的)分享了Using Formal Reasoning to Build Concurrent Go Systems，介绍了如何使用形式化验证工具TLA+来验证Go并发程序的设计正确性。 ...