惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

cs.CL updates on arXiv.org
cs.CL updates on arXiv.org
雷峰网
雷峰网
Recent Announcements
Recent Announcements
月光博客
月光博客
G
Google Developers Blog
腾讯CDC
S
Secure Thoughts
大猫的无限游戏
大猫的无限游戏
T
Tenable Blog
云风的 BLOG
云风的 BLOG
W
WeLiveSecurity
博客园 - 【当耐特】
cs.CV updates on arXiv.org
cs.CV updates on arXiv.org
博客园 - 聂微东
The Cloudflare Blog
阮一峰的网络日志
阮一峰的网络日志
人人都是产品经理
人人都是产品经理
P
Privacy International News Feed
MyScale Blog
MyScale Blog
K
Kaspersky official blog
T
The Blog of Author Tim Ferriss
Attack and Defense Labs
Attack and Defense Labs
Spread Privacy
Spread Privacy
Threat Intelligence Blog | Flashpoint
Threat Intelligence Blog | Flashpoint
aimingoo的专栏
aimingoo的专栏
I
Intezer
Vercel News
Vercel News
小众软件
小众软件
Simon Willison's Weblog
Simon Willison's Weblog
cs.AI updates on arXiv.org
cs.AI updates on arXiv.org
N
Netflix TechBlog - Medium
P
Proofpoint News Feed
Latest news
Latest news
freeCodeCamp Programming Tutorials: Python, JavaScript, Git & More
T
Tor Project blog
S
Security Affairs
P
Proofpoint News Feed
博客园 - 三生石上(FineUI控件)
博客园 - Franky
C
Cyber Attacks, Cyber Crime and Cyber Security
Exploit-DB.com RSS Feed
Exploit-DB.com RSS Feed
美团技术团队
Recent Commits to openclaw:main
Recent Commits to openclaw:main
S
Security @ Cisco Blogs
L
LINUX DO - 热门话题
Know Your Adversary
Know Your Adversary
Project Zero
Project Zero
D
Docker
L
Lohrmann on Cybersecurity
F
Full Disclosure

文章列表 on polarisxu

通过一个例子让你彻底掌握 Go 工作区模式 这道题正确率竟然只有 22% Go 开源项目推荐:一个简单的 Go 练手项目 go test 如何禁用缓存? Go1.18 快讯:constraints 包被移除标准库 跟着 Go 作者学泛型 「2022 版」轻松搞定 Go 开发环境 鹅厂小哥用行动反对加班:程序员加班能被终结吗? Go 为什么选择 Gopher 作为吉祥物? 本地如何配置多个 GitHub/Gitee 账号? 为 Java 开发者准备的 Go 教程 02:Java 有而 Go 无 GitHub 发现了 studygolang 项目依赖的漏洞 Typora 宣布收费后,这款开源 Markdown 编辑器火了 为 Java 开发者准备的 Go 教程 01:漫游了 我的 2021 年终总结 泛型版 singleflight:Go 中如何防止缓存击穿? 2021 年你写了多少代码?这个 Go 工具帮你统计 Go1.18 新特性:TryLock Go 泛型入门教程 程序员瑞士军刀:各种结构的转换工具 终于有 Go 版的 Elasticsearch 了 Go泛型系列:maps 包讲解 Go 1.18 中的 any 是什么? Go1.18 快讯:新的 IP 包 Go编程模式:详解函数式选项模式 Go泛型系列:slices 包讲解 Nginx 竟然也有 playground — Go 语言构建的 Go泛型系列:Go1.18 类型约束那些事 Go1.18 快讯:Module 工作区模式 Go1.18 快讯:新增的 Cut 函数太方便了 Go1.18 快讯:废弃了这个 API Go1.18 快讯:新增字符串 Clone API Go:如何获得项目根目录? Go 如何获取和设置环境变量 重磅变动:更快找到微信公众号里的Go文章 Go 这样设置版本号:我们的项目也可以 假期结束,推荐 2 本 manning 出的 Go 图书 Go Fiber 框架系列教程 04:测试应用 Go Fiber 框架系列教程 03:中间件 Go泛型系列:提前掌握Go泛型的基本使用 推荐一个 Go GUI 实战项目 Go Fiber 框架系列教程 02:详解相关 API 的使用 Go Fiber 框架系列教程 01: 和 Express 对比学习 Go Module:私有不合规库怎么解决引用问题 Go1.17 新特性:go get 变了 Go1.17 新特性:testing 包的相关变化 StackOverflow 上关于 Go select 死锁的问题 新书推荐:用 Gin 框架构建分布式应用 Go 官网要变天。。。 Gin 这是要成为 Go 官方框架? 扬眉吐气:刚刚,Go 已经默认支持泛型了 Go 1.17 新特性:Module 有哪些变化? Go 第三方库推荐:类型转换如此简单 担心密码提交到 GitHub?建议使用这个 Go 开源工具 Go 的时间格式化为什么是 2006-01-02 15:04:05? GitHub 为 Go 社区带来安全支持 Go开源项目推荐:500行代码确认请求时间花在哪 一道关于 len 函数的诡异 Go 面试题解析 厉害了我的 Go:推荐系统都有开源实现 Go1.17 新特性:新版构建约束 这个工具真好:看看你的Go项目依赖有无漏洞 网友很强大,发现了Go并发下载的Bug Rust 劝退系列 09:函数 Go项目实战:一步步构建一个并发文件下载器 这本 Go 新书挺期待的:100 个常见错误 Go 启用新的官方问答社区 这是要干嘛?!微软招 Go 编译器全职开发人员 Go1.17 快报之标准库越来越注重易用性 Go1.17 新特性之切片变数组 回顾 Go 官网的演变史 站长8年前的Go代码竟然进入大厂的项目里了 Go图书翻译:一个好消息,一个坏消息 不怕烂尾!决定组织翻译这本 Go 图书 Rust 劝退系列 08:模式匹配 一本花了2.5年写成的Go免费在线图书 被黑惨了:一句话,说明自己会 Go,咋整? Go1.16 中的新函数 signal.NotifyContext 怎么用? Go 1.17 新特性提前学之测试执行随机化 Rust 劝退系列 07:流程控制 官方的 Go 多版本管理:使用和原理 Rust新书:给你一个劝退的理由 周刊题解:常量表达式这个规则应该了解下 盘点那些使用 Go 语言的国外公司 编写了50万行Go代码是一种什么体验 Rust 劝退系列 06:常量 Uber 使用 Go 的规模这么大?!都自己定制的 Go 编译器了 Go Team Leader — rsc 大神新开源了一个库,增强模板功能 再一次看到了 Go 的节制:int128 类型要不要支持? Rust 劝退系列 05:复合数据类型 Go 真的也可以进行 GUI 开发:还有这样的图书呢 Rust 劝退系列 04:基本数据类型 我的 Go 语言书单 Rust 劝退系列 03:变量 我又来推荐免费 Go 新书了:一本用 Go 讲架构的书 注释竟然还有特殊用途?一文解惑 //go:linkname 指令 这个功能,公众号、微信群会不会被玩坏? 一道 Go 闭包题,面试官说原来自己答错了:面别人也涨知识 Rust 劝退系列 02:第一个 Rust 程序 Rust 劝退系列 01:打造开发环境 答应我,这次一定彻底搞懂 Go 中的类型别名
「卷」有理论依据:海勒姆定律—Go又是怎么卷的
2021-05-06 · via 文章列表 on polarisxu

大家好,我是站长 polarisxu。

对开发人员来说,其实也是有不少定律或原则的,只是很多人可能经历了,但不知道原来是这么个定律。

「内卷」这个词很流行,几乎渗透到每一个角落:

  • 幼儿园小朋友都学一年级知识了,你家的不学,一年级跟不上。。。
  • 小学生就各种课外辅导班,你不报班,也没人一起玩,让他看电子产品?
  • 面试造火箭,工作拧螺丝的现象更加严重。。。
  • 公众号各种卷:标题、内容等,卷王之王都出现了。。。
  • 。。。

想起一个段子:「面试滴滴司机」,对话过程大概是这样的。(来源网络,如有雷同,纯属巧合)

看你简历,你已经有八年的开车经验,咱们聊一聊从你按下汽车点火按钮后,汽车发生的一系列的动作。

答:

1)按下按钮后0.5秒,车辆完成电路自检。 2)按下1秒后,启动机马达的电路被接通,带动马达高速运转,马达转子带动发动机飞轮运动,汽车发动机在轰鸣声中启动。 3)油门踏板控制着发动机进气门(亦称作节气门)的开合角度。油门踩得越深,进气门开合角度就越大,进气量也就越大。 4)然后,火花塞适时点火,引燃可燃气形成“爆燃”,巨大的冲击力使得活塞进行运动。每分钟这样的“爆燃”会发生几百上千次。活塞的运动带动发动机曲轴飞速旋转。发动机转速的,就是每分钟内曲轴旋转的圈数。 5)气缸活塞在封闭爆燃的推动下往复运动,产生连续不断的动力。

至此,发动机顺利完成启动,挂好档位踩油门,转速和车速逐步攀升,我们可以出发啦!

面试官接着问:

嗯,那有在之前的工作中,做过启动优化吗?尽量减少发动的时间,提高用户体验。

。。。

是不是卷的飞起?!

01 海勒姆定律

在程序设计中,接口和实现是很重要的两部分。通常在一个系统里面,接口就是一个与系统交互的抽象,比如汽车的方向盘和油门,刹车这些(我们通过这些来控制汽车,与汽车交互),而实现则是这个系统工作的一种方式,比如汽车的轮子和引擎(汽车实际是通过这些来工作的)。区分接口和实现的好处是非常明显的,当一个系统快速迭代,变得越来越复杂和难以理解的时候,抽象能非常好的帮助我们管理这些复杂性。

可见,一个接口在理论上需要清晰的将系统的使用者和该系统的实现隔离开。汽车系统是如此,其他系统也是如此。虽然设计者很努力,但现实往往是残酷的,当这个系统开始逐渐膨胀,一些用户开始依赖一些通过接口暴露出的内部的实现细节,「内卷」开始。。。

几年前,Google 的一名工程师,Hyrum(海勒姆)观察指出:

当 API 有足够多的用户时,你在合同中的承诺已不重要:你系统的所有可观察行为都将被某些人所依赖。

这也叫做「隐式接口定律」。

也就是说,当你的 API 有足够多的用户时,API 的所有行为(包括那些未囊括在公共说明中的一部分)最终都会被其他人所依赖。 一个简单的例子是 API 的响应时间这种非功能性因素;还有一个更微妙的例子是:用户使用正则表达式匹配错误提示来判断 API 的错误类型,即使 API 文档中没有任何关于错误提示的内容,而是指导用户应该使用相应的错误代码。一些用户依然会使用错误提示内容(而非错误代码),这种情况下变更 API 错误提示信息,实际上会破坏 API 的使用。

俗称:不按套路出牌

02 该定律在 Go 中的体现

随着使用 Go 的人越来越多,大家超越 Go 规范,不满足于 Go 公开的 API,「卷入」其内部实现了。你会写 Go 代码,写过大型项目可能都不够,你必须得符合「海勒姆定律」,挖挖 GMP、GC 等 runtime 很多实现细节。

虽然 Go 官方一直在避免大家陷入实现细节,依赖实现细节,但还是挡不住「爱学习」的人们。比如 Go 中的 map 是无序的,但某个版本的实现,用户测试输出,咦,发现是有序的。。。然后依赖它。Go 官方「一怒之下」,故意打乱顺序。

再比如一个包中多个文件的初始化顺序,规范并没有进行约定。但目前官方的实现是按照文件名顺序初始化的,于是很可能就有面试题,并且多半答案就说是文件名顺序,因为现在是这么实现的,源码在那摆着呢。。。

再比如,Go 中 slice 的扩容,太多太多文章解释,扩容的规则是怎么样的,1.5 倍?2 倍?规范并没有对此做约定。而且 Go 不同版本的实现还经常变。用好 slice 貌似基本不能满足要求,你必须得知道它怎么扩容的,每次扩容增加多少?这跟开车需要知道发动机原理似乎没啥区别~

还有很多很多例子,欢迎留言!

03 对我们有何启发

在实际工作中,我们一方面要尽量设计好接口,将接口和实现隔离,但同时也要留意隐式接口问题。特别是对外提供服务(包括公司的基础部门,对其他部门提供服务),要求我们在构建和维护复杂系统的时候思考的更全面一点。我们需要意识到,隐示接口会限制我们系统的设计和发展。虽然隐式接口理论上不是你的锅,但使用者不会这么认为。

所以,「卷」有了理论依据。谷歌很多年前就用理论证明了「卷」的普遍存在,卷的有理有据,你还能不倦吗?🤣

04 参考

海勒姆定律:https://www.hyrumslaw.com/