https://tonybai.com/tags/consumer/Recent content in Consumer on Tony BaiHugozh-cn2004-2026 Tony Bai. 版权所有.Thu, 01 Jan 2026 00:00:00 +0800https://tonybai.com/2026/01/01/ai-is-the-fastest-way-to-forget-how-to-code/Thu, 01 Jan 2026 00:00:00 +0800https://tonybai.com/2026/01/01/ai-is-the-fastest-way-to-forget-how-to-code/本文永久链接 – https://tonybai.com/2026/01/01/ai-is-the-fastest-way-to-forget-how-to-code 大家好，我是Tony Bai。 在 Copilot、Cursor、Claude Code等普及的这两年，编程似乎变得前所未有的轻松。 Tab 键一按，十行代码倾泻而出；回车一敲，整个函数自动补全；一个Prompt发出，一个项目的框架...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 ...