https://tonybai.com/tags/leslielamport/Recent content in LeslieLamport on Tony BaiHugozh-cn2004-2026 Tony Bai. 版权所有.Mon, 05 Aug 2024 00:00:00 +0800https://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 ...https://tonybai.com/2022/08/22/some-changes-in-go-1-19/Mon, 22 Aug 2022 00:00:00 +0800https://tonybai.com/2022/08/22/some-changes-in-go-1-19/本文永久链接 – https://tonybai.com/2022/08/22/some-changes-in-go-1-19 我们知道Go团队在2015年重新规定了团队发布版本的节奏，将Go大版本的发布频率确定为每年两次，发布窗口定为每年的2月与8月。而实现自举的Go 1.5版本是这一个节奏下发布的第一个版本。一般来说，Go团队都会在这两个窗口的中间位置发布版本，不过这几年也有意外，比如承载着泛...