本文永久链接– https://tonybai.com/2024/10/19/go-crypto-package-design-deep-diveGo号称“开箱即用”，这与其标准库的丰富功能和高质量是分不开的。而在Go标准库中，crypto库(包括crypto包、crypto目录下相关包以及golang.org/x/crypto下的补充包)又是Go社区最值得称道的Go库之一。crypto库由Go核心团队维护，确保了最高级别的安全标准和及时的漏洞修复，为开发者提供了可靠的安全保障。crypto还涵盖了从基础的对称加密到复杂的非对称加密，以及各种哈希函数和数字签名算法等广泛的加解密算法支持，以满足Go开发者的各种需求为目的，而不是与其他密码学工具包竞争。此外，crypto库还经过精心优化，能够在不同硬件平台上尽可能地保证高效的执行性能。值得一提的是，crypto库还提供了统一的API设计，使得不同加密算法的使用方式保持一致，也降低了开发者的学习成本。可以说Go crypto库是Go生态中密码学功能的核心，它为Go开发者提供了一套全面、安全、保持现代化、提供安全默认值且易于使用的密码学工具，使得在Go应用程序中实现各种密码学功能需求时变得简单而可靠。不过要理解并得心应手的使用crypto库中的相关密码学包仍然并非易事，这是因为密码学涉及数学、密码分析、计算机安全等多个学科，概 ...继续阅读 (1)

本文永久链接– https://tonybai.com/2024/10/14/programming-in-ai-era自2022年末ChatGPT发布以来，人工智能（AI）正在深刻地改变软件开发的格局。从简单的代码补全到复杂的逻辑生成，AI正逐渐成为程序员不可或缺的助手。最近，OpenAI首席执行官山姆·奥特曼在其个人博客中发表的文章《智能时代》(The Intelligence Age)更让我们深切体会到，超级智能似乎离我们越来越近了。正如100年前的打孔卡编程方式与现今编程方式的天壤之别，如今的我们也难以完全预见超级AI时代的编程模式。尽管现阶段的大语言模型（如ChatGPT、Claude等）在AI辅助编程方面已经展现出强大的能力，并显著提升了开发效率，但它们仍面临诸多挑战。不过，与打孔卡时代的程序员相比，我们这一代程序员是幸运的，因为我们已经嗅到了超级AI的气息。当前AI辅助编程的现状目前，AI辅助编程主要有三种模式：IDE模式：通过使用工具（如Cursor等）智能分析代码上下文，仅需简单的TAB键操作即可生成代码片段甚至是完整代码，显著提高编程效率。Prompt模式：开发者提供描述性的prompt，AI据此生成代码块，然后开发者将其整合到项目中。这种模式要求开发者对prompt撰写有较高的理解与能力。Agent模式：在这种模式下，AI作为自主的编程助手，理解开 ...继续阅读 (3)

本文永久链接– https://tonybai.com/2024/10/11/go-evolution-dual-insurance-goexperiment-godebugGo语言自诞生以来就以其简洁、高效和强大的并发支持而闻名，Go团队承诺保持Go1向后兼容性，以确保用户的代码在未来的版本中继续正常运行。然而，保持语言的稳定性与不断创新(增加新特性)之间的平衡一直是Go团队面临的挑战。为了应对这一挑战，Go语言引入了两个关键机制：GOEXPERIMENT和GODEBUG来平衡新功能的试验、稳定发布和向后兼容。这两个机制共同构成了Go语言特性发布的“双保险”，确保语言能够稳步前进的同时，不会因为激进的改变而影响现有代码的稳定性。本文就来简单探讨一下这两个机制是如何保障Go语言新特性稳定发布的。1. GOEXPERIMENT：新特性的摇篮GOEXPERIMENT是一个Go语言的环境变量，是用于控制实验性特性的机制。它允许开发者在编译时（使用go build、go install、go run或go test）启用一些尚未正式发布的语言特性或优化。通过GOEXPERIMENT，Go团队能够在正式发布之前广泛测试新功能，收集反馈并进行必要的调整。比如，在今年8月发布的Go 1.23版本发布了一个实验特性：带有类型参数的type alias，就像下面代码一样，我们可以在编译时 ...继续阅读 (6)

本文永久链接– https://tonybai.com/2024/10/11/the-cl-author-guide-to-getting-through-code-reviewGoogle在软件工程领域对IT界做出了卓越的贡献，从《Google软件工程》，到Google Style Guides，再到The Change Author’s Guide。这些实践参考不仅提升了软件工程的标准，也为全球IT行业的发展提供了宝贵的资源和指导。由于Go是Google开源的，其cl review基本上是遵循了Google内部的标准和实践，可以帮助开发人员更快地完成审核并获得更高质量的结果。因此在这篇文章中，我翻译一下The Change Author’s Guide，供大家参考。The Change Author’s Guide分为三部分，由于每一部分篇幅都不多，这里就放在一起了。本次翻译是基于Google Engineering Practices Documentation的commit 3bb3ec25b3b0199f4940b1aa75f0ac5c5753301c进行的。注：Google内部使用的术语CL代表“变更列表(changelist)”，指的是一个自包含的更改，该更改已经提交到版本控制系统或正在进行代码评审。其他组织通常称之为“变更”、“补丁”或“拉取请求(PR) ...继续阅读 (5)

本文永久链接– https://tonybai.com/2024/10/10/pass-torch-to-go-new-leadership-team在最近一期的GoTime播客“Russ Cox on passing the torch”中，主持人Angelica Hill邀请了Go团队的三个核心角色：前任Tech LeaderRuss Cox与现任Tech LeaderAustin Clements以及Go运行时和编译器的技术负责人Cherry Mui，一起讨论了Go的领导层交接以及对Go未来的规划。在播客中，这三人组成的Go的技术领导团队讨论了其内部的重要变动。担任Go技术负责人超过十年的Russ Cox正式卸任，将权杖交给了新的Go技术负责人Austin Clements。同时，Cherry Mui接任Austin之前的职位，成为Go运行时和编译器(也称Go core)的技术负责人。这些领导层变动标志着Go项目发展的一个重要时刻，Austin和Cherry都为各自的角色带来了新的视角，而Russ则转向探索人工智能和软件维护交叉领域的全新角色，继续为团队提供支持。Russ Cox：回顾12年的领导之路Russ Cox自2008年起参与Go项目，并于2012年成为其技术负责人。Russ分享了他卸任的想法，对他来说，这一决定是顺其自然的发展。他强调，定期更换领导者至关 ...继续阅读 (4)

本文永久链接– https://tonybai.com/2024/10/09/resonating-with-thorsten-ball-on-go-in-technical-writing近日，两本备受好评的畅销书《用Go语言自制解释器(Writing An Interpreter In Go)》和《用Go语言自制编译器(Writing A Compiler In Go)》的作者、前Sourcegraph工程师索斯藤·鲍尔（Thorsten Ball）发表了一篇名为“Glad I did it in Go”的文章。在这篇文章中，Thorsten表达了他对8年前编写这两本书时选择Go语言作为教学语言的庆幸之情。2021年12月17日，我的第一本Go技术图书《Go语言精进之路vol1和vol2》出版了，至今好像是已经是第4次重印了(修正了勘误表中的所有瑕疵)。作为该书作者，当我读到Thorsten Ball的这篇回顾文章时，我感到了一种强烈的共鸣，其中的许多观点与我的不谋而合。尽管我们的书主题不同，但我们都体会到了选择Go语言作为教学语言进行技术写作的巨大优势。在这篇文章中，在《Go语言精进之路》出版即将三年之际，我想借此机会分享我的thoughts，探讨Go语言如何为技术作者提供了独特的优势。1. Go的稳定性和向后兼容性首当其冲的优势就是Go的稳定性和向后兼容性，它们 ...继续阅读 (2)

本文永久链接– https://tonybai.com/2024/10/08/go-languages-versatility-from-devops-to-daily-scripts2024年初，TIOBE编程语言排行榜上，Go再次进入了前十，并在之后又成功冲高至第七名。Go语言的排名上升，至少在Reddit Go论坛上帖子数量和在线人数上得到了体现，尽管目前与Rust热度仍有差距，但可见Go的关注度在提升：2024年国庆节假期某天下午的实时在线数对比随着Go语言人气的上升，论坛中的问题也变得愈发多样化。许多Gopher常常问及为何Go是DevOps语言和Go适合用作脚本语言吗等问题，这些都反映了Go语言的多面性。从最初的系统编程语言，到如今在DevOps领域的广泛应用，再到一些场合被探索用作脚本语言，Go展现出了令人惊叹的灵活性和适应性。在本篇文章中，我们将聚焦于Go语言在DevOps领域的应用以及它作为脚本替代语言的潜力，聊聊其强大多面性如何满足这些特定场景的需求。1. Go在DevOps中的优势随着DevOps的发展，平台工程(Platform Engineering)这一新兴概念逐渐兴起。在自动化任务、微服务部署和系统管理中，编程语言的作用变得愈发重要。Go语言凭借其高性能、并发处理能力以及能够编译成单一二进制文件的特点，越来越受到DevOps领域开发人员的青 ...继续阅读 (3)

本文永久链接– https://tonybai.com/2024/10/05/using-git-submodules-in-go-projects在软件开发中，依赖管理一直是一个重要的议题，特别是在像Go这样的编程语言中，随着项目的扩展，如何有效管理依赖变得至关重要。Git Submodule作为Git的一个重要功能，允许在一个Git仓库中嵌入另一个仓库，从而方便地管理跨项目的代码共享。然而，Go语言引入的Go Module机制似乎已经解决了依赖管理的问题，那么在Go项目中，是否还有使用Git Submodule的必要呢？本文将简单探讨一下Go项目中Git Submodule的使用方法，并分析它是否还值得使用。1. Git Submodule是什么？Git Submodule是Git版本管理工具提供的一个功能，允许你将一个Git仓库作为另一个Git仓库(主仓库)的子目录。主仓库通过记录Submodule的URL和commit hash来追踪Submodule。当你克隆一个包含Submodule的仓库时，需要额外的步骤来初始化和更新Submodule。下面是一个将github.com/rsc/pdf仓库作为git submodule的示例。我们先建立主仓库：$mkdir main-project $cd main-project $go mod init main-pr ...继续阅读 (3)

本文永久链接– https://tonybai.com/2024/10/03/how-to-daemonize-go-program在后端开发的世界里，守护进程（daemon）这个概念与Unix系统一样古老。守护进程是在后台运行的长期服务程序，不与任何终端关联。尽管现代进程管理工具如systemd和supervisor等让应用转化为守护进程变得十分简单，我们甚至可以使用以下命令来在后台运行程序：nohup ./your_go_program &但在某些情况下，程序的原生转化为守护进程的能力仍然是有必要的。比如分布式文件系统juicefs cli的mount子命令，它就支持以-d选项启动，并以守护进程方式运行：$juicefs mount -h NAME: juicefs mount - Mount a volume USAGE: juicefs mount [command options] META-URL MOUNTPOINT ... ... OPTIONS: -d, --background run in background (default: false) ... ... ... ...这种自我守护化的能力会让很多Go程序受益，在这一篇文章中，我们就来探索一下Go应用转化为守护进程的实现方法。1. 标准的守护进程转化方法W.Ri ...继续阅读 (5)

本文永久链接– https://tonybai.com/2024/10/02/why-canonical-import-paths-no-longer-necessary-in-goGo语言自推出以来，一直以其简洁和高效的包管理系统著称。在Go 1.11版本之前，Canonical Import Path注释曾是一个重要的工具，用于防止包路径的导入冲突。然而，随着Go Modules的引入，这一工具的作用逐渐被淡化。那么Canonical Import Path注释是否还有必要存在呢？在这篇文章中，我就来介绍一下Canonical Import Path的历史及作用，并通过在Go Modules环境下的向后兼容性测试，讨论是否仍有必要继续使用这一注释。1. 什么是Canonical Import Path注释？Go在1.4版本中增加了Canonical Import Path，Canonical Import Path用于解决同一个包可能被通过多个导入路径导入的问题。比如当代码托管在像github.com这样的服务上时，导入路径会包含托管服务的域名，比如“github.com/rsc/pdf。但是Go开发者也可以为同一个包提供一个“自定义”或“vanity”导入路径，例如rsc.io/pdf。这样就会产生两个有效的导入路径，这会带来以下问题：同一个程序中可能会通过不同路 ...继续阅读 (5)

本文永久链接– https://tonybai.com/2024/09/30/how-to-keep-up-with-go-evolutionGo语言以其简洁、高效和强大的特性赢得了众多开发者的青睐。与许多主流编程语言有着明确的演进Roadmap或下一个版本spec不同，Go的演进过程更加独特、灵活与开放。这种看起来不那么正式和严肃的演进方式却也能让Go快速响应开发者的需求，同时保持语言的稳定性和一致性。作为一名Go开发者，跟上Go的演进步伐，甚至是参与到这个激动人心的过程中来，不仅能让你更好地利用语言的新特性，还能帮助你更深入地理解Go的设计哲学。但很多Go开发者只知道每年Go有两次的大版本Release，并通过大版本的Release Notes来了解Go的演进。这无可厚非，但对于那些想及时跟进Go演进的Gopher来说，光有一年两次的Release Notes还是不够的的，很难及时跟进Go的演进决策。但如果直接到Go语言项目的issue中去翻阅，面对Go丰富的社区讨论和频繁的更新，你可能会感到无从下手。别担心，本文将为你指明方向，让你只需关注几个关键点，就能轻松跟上Go的演进步伐。1. 开发计划早知道Go的版本规划具有很高的灵活性。每个Go 1.x版本在开发前，Go语言项目相关人员都会在golang-dev讨论组上发布一个帖子，这个帖子通常的标题为”Planning ...继续阅读 (3)

本文永久链接– https://tonybai.com/2024/09/28/understand-deep-copy-in-go前不久，在“Gopher部落”知识星球上回答了一个Gopher关于深拷贝(Deep Copy)的问题，让我感觉是时候探讨一下深拷贝技术了。在日常开发工作中，深拷贝的使用频率相对较低，可能有80%的时间不需要使用深拷贝，只有在特定情况下才会遇到。这主要是因为大多数开发中处理的对象比较简单，通常只需使用浅拷贝(Shallow Copy)就能满足需求；此外，多数时候我们需要共享状态或数据，使用浅拷贝可以方便多个部分访问同一数据；最后，深拷贝通常比浅拷贝耗时更多，尤其是当对象嵌套较深时。因此，开发者倾向于选择更高效的浅拷贝。说了这么多，那究竟什么是深拷贝以及浅拷贝呢？深拷贝又是在哪些场合下适用呢？在Go中如何实现深拷贝呢？带着这些问题，我们在本文中就来探讨一下Go语言中的深拷贝技术，希望能让大家对深拷贝技术的概念、实现以及局限有一个全面的了解。1. 从细胞分裂看深拷贝我们在初中生物课上都学过细胞分裂(Cell Division)，有条件的学校的学生可以用显微镜观看到细胞分裂的全过程，大致就如下图所示：细胞分裂过程(图片来自网络)我们知道细胞分裂复制了整个细胞的所有成分，包括细胞核、细胞质等，生成了一个完全独立的新细胞。无论原始细胞如何变化，分裂出的新 ...继续阅读 (11)

...继续阅读 (5)

本文永久链接– https://tonybai.com/2024/09/10/programmer-mentors-and-their-classic-works早上送孩子去幼儿园的路上，收到一个小伙伴的微信：我这才意识到今天是教师节！为人师，自觉还不够格！但在这个特殊的日子，作为IT行业从业人员，我想向那些在计算机科学和编程领域给予我们启迪的“老师们”致敬。这些老师可能不是传统意义上站在讲台前的教育者，但他们通过自己的著作、思想和贡献，通过他们的智慧结晶，为我们指明了方向，为无数程序员的成长之路点亮了明灯。这里我列举的作者与其著作也都是我个人从大学开始至今在计算机编程学习和实践之路上受到深刻影响的重要参考资料。这些书籍不仅丰富了我的知识，也激发了我对编程的热情和探索精神。每一位作者的独特视角和深入浅出的讲解，都让我在理解复杂概念时受益匪浅。希望也能引起大家的共鸣。注：计算机领域巨匠甚多，笔者见识有限，不能一一列举，这里仅列出我亲自读过且对我影响深远的作者及其代表作品，至于像唐纳德·克努斯和他的巨著《计算机程序设计艺术》等，由于我并未拜读过，这里也就没有列出。注：书中的图书封面图片可能并非该书最新版的封面，而是笔者购买时的版本的封面图片。2. 编程语言2.1 C语言/Go语言领域2.1.1Dennis Ritchie大一的时候学校开设了C语言编程课，指定谭浩强老师的《C ...继续阅读 (6)

本文永久链接– https://tonybai.com/2024/09/06/go-doc-add-http-supportGo语言团队近期接受了Go团队成员、Go圣经《The Go Programming Language》合著者Alan Donovan的新提案，旨在进一步提升开发者体验。这个提案为go doc命令新增了一个强大的功能：通过go doc -http，开发者可以快速启动一个本地的文档服务器，并自动在浏览器中打开Go包的参考文档。该功能为开发者提供了类似pkg.go.dev的离线文档展示形式，同时增强了查看本地文档的交叉引用功能。看到这个提案功能，屏幕前的资深Gopher是不是感觉似曾相识呢:)。早在去年，我就写过一篇有关go包文档查看方式对比的文章《聊聊godoc、go doc与pkgsite》，在那篇文章中，我就对当前Go包文档查看的几种方式做了详细说明，如果你是Go初学者，不妨点击链接移步过去仔细阅读一番。当然，这里也会简单地再介绍一下Go包文档离线查看工具的演进。Go语言的包文档查看工具经历了三个重要阶段的演进，分别是godoc、go doc和pkgsite。以下是这些工具的发展历程：godoc是Go语言最早用于查看包文档的工具。它支持通过命令行查看文档，也可以通过-http参数启动一个本地文档服务器，用户在浏览器中以网页形式查看文档。这个工具提供 ...继续阅读 (25)

本文永久链接– https://tonybai.com/2024/08/27/a-new-syntax-quiz-after-go-1-18自Go 1.18版本以来，Go语言引入了许多令人兴奋，但也可能令你感觉难以理解的语法新特性。这些特性大大增强了语言的表达能力，但也增加了学习曲线。今天，我们通过几个小Quiz来测试你对这些新特性的理解。准备好挑战自己了吗？答案在文章末尾公布，但请先尝试独立思考每个问题！注：为了保证答案一致，这里的答案输出都是基于刚发布没多久的Go 1.23.0版本。Quiz 1: 泛型与类型集合（Go 1.18）import ( "fmt" "golang.org/x/exp/constraints" ) type Scalar interface { constraints.Integer | constraints.Float | ~string } func Plus[T Scalar](a, b T) T { return a + b } type MyString string func main() { fmt.Println(Plus(1, 2)) fmt.Println(Plus(1.5, 2.7)) fmt.Println(Plus("Hello, ", "World ...继续阅读 (26)

本文永久链接– https://tonybai.com/2024/08/22/go-as-first-languageGo语言自诞生以来，一直以其简洁、高效和面向工程的特性受到开发者的青睐，尤其是在后端开发和并发编程方面，Go表现出了独特的优势。然而，作为一门以简单著称的语言，它是否适合作为编程初学者的第一门语言呢？笔者今天在Reddit上看到有人提出此类问题，也做了一些思考，这里就通过本文从多个角度来和大家一起探讨下这一问题。我们先从Go适合作为第一门语言的特质说起。1. Go语言的简洁性在我的《Go语言精进之路第一卷》第3节“理解Go语言的设计哲学”中我就提到过：Go语言的设计哲学是“做减法”，拒绝走语言特性融合的道路，提供简单的用户界面，将复杂性留给语言自身的设计和实现者。这种简洁性让初学者能够更快地上手，将精力聚焦在理解编程的基本概念和程序的逻辑结构上，而不是被复杂的语法规则所困扰。例如，Go的语法简洁明了，没有太多冗余的语法糖(一个事情大多只有一种写法)，使得代码更容易阅读、理解和维护。此外，Go的静态类型系统提供了清晰的类型检查机制，这有助于初学者理解变量和类型的概念。与动态类型语言相比，Go的类型系统减少了初学者在学习过程中可能遇到的困惑。此外，Go仍保留了指针等底层概念，让学生在学习过程中还能够接触到内存管理和效率优化的基础知识，也便于学习数据结构与算法 ...继续阅读 (19)

本文永久链接– https://tonybai.com/2024/08/19/some-changes-in-go-1-23距离上一次Go 1.22版本发布又过去六个月了，我们如期迎来了Go 1.23版本的发布](https://mp.weixin.qq.com/s/IpDUOe0AUDKW2PYCWmvLYw)。对于Go项目乃至整个Go社区而言，这个版本还有一点额外的意义，那就是这是Russ Cox作为Tech lead，领导Go团队发布的最后一个Go版本了。8月2日，Russ Cox在golang-dev google group上发文，在领导了Go项目12年后，决定辞去Tech Lead，并将这一角色“传位”给Austin Clements，后者是现任Go core领域(围绕编译器工具链、运行时和发布)的Leader。Cherry Mui将递补，成为Go core领域的新Leader。注：除了Go core外，Go项目下面还有两个领域的子团队，分别是由Roland Shoemaker领导的Go安全团队（Go Security）和由Rob Findley、Hana Kim共同领导的Go工具链和IDE支持团队。注：Austin曾在Google担任实习生，在攻读博士学位期间参与了Go项目的早期工作。后来(2014年)，他加入了Go 团队，与Rick Hudson合作完成 ...继续阅读 (22)

本文永久链接– https://tonybai.com/2024/08/17/go-the-c-language-of-the-internet-era-come-true本文最初发表于我个人的微信公众号(iamtonybai)，但鉴于图片消息的篇幅受限(<=1000字)，一些内容没能如愿展开，这里在博客上重新发布一下，也顺道丰富一下文章的内容。2012年，七牛云创始人、goplus语言之父许式伟在一次演讲中给出一个大胆的预言：“Go，互联网时代的C语言”。十余年过去了，我们不禁要问：当初的那个预言是否已经成真？在讨论这个预言之前，我们先来看在同一份演讲稿中，老许给出的另外三个预判：它们是：Java语言份额继续下滑，最终被C和Go语言超越；C语言将长居编程榜第二的位置，有望在Go取代Java前重获第一的宝座；Go语言最终会取代Java位居编程榜榜首。编程语言排行榜有很多，我们就以名气最大的TIOBE刚刚发布的2024年8月排行榜为例，看看这些预判是否成真。很遗憾，一个也没命中。在这份最新榜单中，C位列第三、Java位列第四，Go位列第九，相对于前两个月的第七还下降了两位。不过不得不说，老许对C语言的预判还是相对准确的。那这是否意味着老许最初的那个预言也Miss了呢？个人觉得：并没有。因为这要看从哪个角度来审视。传统观点认为，C语言被视为系统编程语言的杰出代表，因其卓越的 ...继续阅读 (20)

本文永久链接– https://tonybai.com/2024/08/11/understand-functional-programming-in-go一个孩子要尝试10次、20次才肯接受一种新的食物，我们接受一种新的范式，大概不会比这个简单。– 郭晓刚 《函数式编程思维》译者函数式编程(Functional Programming, 简称fp)是一种编程范式，与命令式编程(Imperative Programming)、面向对象编程(OOP)、泛型编程(Generics Programming)、逻辑编程(logic Programming)等是一类的概念。注：尽管面向对象范式引入了新的编程思想和技术，但它本质上与命令式编程一样，都关注程序的状态和如何通过改变状态来控制程序的执行流程，因此，OOP仍然属于命令式编程的一个分支。OOP可以看作是命令式编程的一种扩展和补充，它增强了代码的模块化、复用性和可维护性。在接下来，我会统一使用命令式编程范式来指代它们。但几十年的编程语言的演进和实践已经证明：函数式编程并非银弹，它有优势，更有不足。从编程社区的实际反映来看，纯函数式编程语言(比如：CLisp、Haskell、Scala、Clojure、Erlang等)始终处于小众地位。此外，即便很多主流命令式编程语言在近些年融入了一些函数式编程的语法特性，采用函数式 ...继续阅读 (23)

本文永久链接– https://tonybai.com/2024/08/05/formally-verify-concurrent-go-programs-using-tla-plusWriting 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并发程序的设计正确性。TLA+是2013年图灵奖获得者、美国计算机科学家和数学家、分布式系统奠基性大神、Paxos算法和Latex的缔造者Leslie B. Lamport设计的一种针对数字系统(Digital Systems)的高级(high-level)建模语言，TLA+诞生于1999年，一直低调演进至今。TLA+不仅可以对系统建模，还可以与模型验证工具，比如：TLC model checker，结合使用，对被建模系统的行为进行全面的验证。我们可以将TLA+看成一种专门用于数字系统建模和验证的DSL语言。注：T ...继续阅读 (93)

本文永久链接– https://tonybai.com/2024/08/04/gopherdaily-add-feed-support在《Russ Cox“退位”，Go语言将迎来新领袖，未来将如何发展》一文的评论区，有Gopher问及gopher-daily.com的HTTPS证书过期的问题，这里再正式声明一下：gopher-daily.com并非Gopher Daily的官方邮件列表，而是由一位名为Bastengao的热心Gopher维护的第三方邮件列表。Gopher Daily以前没有官方邮件订阅功能，该邮件列表弥补了广大Gopher通过邮件订阅Gopher Daily的需求，这里再次表示感谢。不过，一年前，我为Gopher Daily增加了官方邮件列表，大家可以在Gopher Daily主页实现邮件订阅。接下来，还是那位提问的Gopher又询问Gopher Daily是否支持RSS订阅，我当时如实相告：暂不支持。不过，这个周末针对邮件列表支持RSS订阅的功能需求，我也简单调研了一下，似乎很多技术类Newsletter都不支持。不过，我询问了一下Claude 3.5 Sonnet邮件列表和RSS订阅的优缺点，下面是它的回答摘录：邮件列表和RSS订阅都是传播信息的有效方式，但各有优缺点。 邮件列表的优点： 1. 直接送达：信息直接发送到订阅者的收件箱，更容易引起注 ...继续阅读 (25)

本文永久链接– https://tonybai.com/2024/07/20/sql-query-execution-orderSQL查询语句是关系数据库操作的核心。SQL查询语句有简有繁，简单的SQL查询语句，比如：SELECT column1, column2 FROM table_name WHERE condition;对于这种查询语句，即便初学者也十分容易理解和掌握。但复杂的SQL查询语句，比如：SELECT department, AVG(salary) AS avg_salary FROM employee_table WHERE department IN ('IT', 'HR', 'Finance') GROUP BY department HAVING AVG(salary) > (SELECT AVG(salary) FROM employee_table) ORDER BY avg_salary DESC LIMIT 3;这种包含了SELECT、FROM、WHERE、GROUP BY、HAVING、ORDER BY和LIMIT等多个子句的复杂查询语句，即便是有多年开发经验的开发人员，如果不清楚各个子句的执行顺序，也很容易写错，并导致非预期的查询结果。关于SQL查询语句的执行顺序，互联网上有很多类似下面这样的速查表式(cheetsheet)的图：这 ...继续阅读 (32)

本文永久链接– https://tonybai.com/2024/07/15/understand-the-ways-to-access-databases-in-go关系数据库操作是Go应用开发中的重要一环，尤其是Go Web应用、微服务等。作为Gopher，我们需要了解几种主流的数据库访问和操作方法，以便在项目中做出适当的选择。我个人在日常开发中较少涉及CRUD类应用，因此使用Go访问和操作数据库的机会并不多，在这方面也算是有一些“短板”。通过在这篇文章中对数据库访问方式进行全面的梳理，我也算是补全一下技能树，同时也能为读者小伙伴提供一些参考。我搜集了目前Go社区的主流数据库访问和操作方式，大致有如下几种：使用Go标准库database/sql+特定数据库的driver，外加像sqlx这种无缝兼容的功能增强包使用对象关系映射ORM，如GORM等使用代码生成+ ORM方式，如sqlc、Fackbook开源的Ent等。在这篇文章中，我会建立一个简单的关系数据库实例，并用一个简单的学校院系选课关系模型作为示例，分别用上述几种方法实现数据库访问以及CRUD操作，并对比各种方式的操作性能。通过对比，你可以了解每种方法的特点。希望这些例子能帮助各位读者在实际项目中更好地处理数据库操作。1. 建立示例数据库和数据库模式(schema)为了便于后续代码示例的讲解和实现，我们先来建立 ...继续阅读 (33)

本文永久链接– https://tonybai.com/2024/07/05/go-fundamentals-translation嘿，各位Gopher们！猜猜发生了什么？我们团队翻译的《Go Fundamentals：Gopher Guides》中文版终于出版啦！没错，就是那本被我们亲切地称为《Go语言编程指南》的Go入门宝典。说实话，看到这本书终于摆在书架上，我的心情就像是刚刚用Go写出了一个超高效的并发程序一样兴奋！翻译这回事儿，我可不是新手先让我跟大家聊聊我的“翻译前传”。其实这已经是我第二次和人民邮电出版社合作翻译技术书籍了。第一次是什么？就是那本豆瓣评分高达8.0的《七周七语言》！没错，就是这本让很多程序员大呼过瘾的语言大乱斗。那次我和其他几位未曾谋过面的译者一起，在杨海玲和李松峰编辑老师的指导下完成了翻译。说实话，那次经历给了我不少信心，也让我爱上了这种通过翻译学习新知识的感觉。这次，我带了“一个团队”来翻译这一次翻译《Go语言编程指南》，可就不一样了。我们睿驰车联网先行产品团队的一群Gopher集体出动！想想看，一群平时用Go撸产品的工程师聚在一起翻译Go的书，那场面，简直是Gopher的狂欢啊！我们的翻译天团是这样的：我，白明：虽然是领队，但也得撸起袖子干活，包揽了第1~3章的翻译，还得负责全书的校对。累？不存在的！刘瑞强：专攻第4、8、11和13章， ...继续阅读 (37)

本文永久链接– https://tonybai.com/2024/06/28/go-and-nn-part3-handwritten-digit-recognition在上一篇文章《Go与神经网络：线性回归》中，我们借由传统的机器学习方法：线性回归解决了房价预测问题。按照我初步设想的从传统机器学习到大语言模型的学习路线，是时候在这一篇中切换到学习神经网络了。1. 从线性回归到神经网络我们已经知道了如何使用多元线性函数构成的线性回归模型预测房价，其实线性模型也可以看作是一个神经网络。我们在上一篇文章中使用的假设函数如下图：我们可以将y’表示成一个神经网络的结构：这里x1、x2和x3是神经网络的输入，y’是神经网络的输出（这里省略了偏置参数b），y’也是该网络里唯一一个具有计算功能的神经元，即计算神经元。一个更具通用意义的与线性模型等价的神经网络结构如下图，该图只显示连接模式，即只显示每个输入如何连接到输出，隐去了权重和偏置的值：在上面神经网络中，输入为x1、x2…、xn，它们共同构成了该神经网络的输入层(input layer)。没错，在神经网络结构中，我们引入了“层(layer)”的概念。神经网络中一般有三类层，它们分别是输入层、隐藏层和输出层。大家耳熟能详的（但却不知道具体是什么的）卷积层、池化层等，都可以被视为广义的隐 ...继续阅读 (34)

本文永久链接– https://tonybai.com/2024/06/24/range-over-func-and-package-iter-in-go-1-23在《Go 1.23新特性前瞻》一文中，我们提到了Go 1.23中增加的一个主要的语法特性就是支持了用户自定义iterator，即range over func试验特性的正式转正。为此，Go 1.23还在标准库中增加了iter包，这个包对什么是Go自定义iterator做了诠释：An iterator is a function that passes successive elements of a sequence to a callback function, conventionally named yield. The function stops either when the sequence is finished or when yield returns false, indicating to stop the iteration early. 迭代器是一个函数，它将一个序列中的连续元素传递给一个回调函数，通常称为"yield"。迭代器函数会在序列结束或者yield回调函数返回false(表示提前停止迭代)时停止。除此之外，iter包还定义了标准的iterator泛型类型、给出了有关it ...继续阅读 (93)

本文永久链接– https://tonybai.com/2024/06/22/how-things-get-done-on-the-go-team在Go 1.23版本即将发布(2024.8)之前，在GopherCon 2024开幕(2024.7)之前，Go团队成员Cameron Balahan(Go产品负责人)、 Sameer Ajmani（Go团队工程总监）和Russ Cox（Go团队技术负责人）参加了业界知名的播客栏目GoTime的最新一期活动，主题是“How things get done on the Go Team”。在这期活动中，Go团队这三个leader分享了Go团队的工作方式，包括：Go团队的组成、现状与职责划分、与社区互动、决策与规划流程、产品管理等方面。这里基于这期播客的脚本提炼了其中主要的观点，贴到这里供大家参考。1. Go团队组成及职责划分Go团队从2007年诞生，至今已经有17年了。最初的Go团队由罗伯·派克(Rob Pike)、罗伯特·格瑞史莫(Robert Griesemer)和肯·汤普森（Ken Thompson）三个Go语言之父组成。之后Russ Cox和Ian Lance Taylor加入团队，形成了Go团队最核心的五人组。Sameer Ajmani在Go 1.0发布前后加入，当时团队有10几个人，我们熟悉的context包就是由他和 ...继续阅读 (36)

本文永久链接– https://tonybai.com/2024/06/16/gopher-rust-first-lesson-managing-deps在上一章《Gopher的Rust第一课：Rust代码组织》中，我们了解了Rust的代码组织形式，知道了基于Cargo构建项目以及Rust代码组织是目前的标准方式，同时Cargo也是管理项目外部依赖的标准方法，而项目内部的代码组织则由Rust module来完成。在这一章中，我们将聚焦Rust的依赖管理，即Cargo对外部crate依赖的管理操作。我将先介绍几种依赖的来源类型（来自crates.io或其他Package Registries、来自某个git仓库以及来自本地的crate等），然后说说Cargo依赖的常见操作，包括依赖的添加、升降版本和删除；最后，聊一下如何处理依赖同一个依赖项的不同版本。作为Gopher，我们先来简略回顾一下Go的依赖管理要点，大家可以在学习Cargo依赖管理后自己做个简单的对比，看看各自的优缺点是什么。5.1 Go依赖管理回顾从Go 1.11版本开始，Go引入了Go Modules以替代旧的GOPATH方式进行依赖管理。我们可以使用go mod init命令初始化一个新的Go模块。go mod init会创建一个go.mod文件，该文件记录了当前项目的模块路径，并通过require dir ...继续阅读 (39)

本文永久链接– https://tonybai.com/2024/06/10/go-and-nn-part2-linear-regression离发表上一篇与机器学习相关的文章《Go与神经网络：张量运算》已经过去整整一年了，AI领域，特别是大模型领域的热度不仅未有减弱，反而愈演愈烈。整个行业变得更卷，竞争更加激烈，大模型你方唱罢我登场，层出不穷，各自能力也都在不断提升，并在自然语言处理、问答、生成等方面展现出强大的能力。同时基于RAG(Retrieval-Augmented Generation)等技术，大模型还可以实时检索相关知识并融合到生成结果中，进一步提升了大模型在专业领域的应用价值。很多人说用好大模型不必非要了解大模型的底层原理，也许这句话是对的。但对于后端程序员的我来说，对底层原理的不理解，始终让我有一种“不安全感”。我认为即使大模型的使用变得日益简单和广泛，但如果我们无法深入理解其工作机制，恐怕还是难以充分发挥它们的潜力，甚至无法准确评估它们的局限性和风险。但对大模型原理的学习是一个循序渐进的学习过程，我们不能一蹴而就地达到对大模型原理的深入理解。我决定从最基础的机器学习入手，从传统机器学习解决问题的一般步骤开始，以线性回归这个传统传统机器学习的”Hello, World”示例为切入点，逐步探讨机器学习的基本概念和实现流程，这也是本篇文章的初衷与主要内容。1 ...继续阅读 (44)