codedump的电报频道

#数据库
《Database System Concepts》第七版：

“The relational algebra select operation corresponds to the SQL where clause, not to the SQL select clause; the difference in meaning is an unfortunate historical fact. ”
（“关系代数的选择运算对应于SQL的where子句，而不是SQL中的select子句，这种含义上的差异是一件遗憾的历史事实。）

类似的命名问题，我能想起来的还有UNIX的creat()接口，本来应该叫create才对吧，见这里的回答。

#编程语言
Pascal语言之父Niklaus Wirth于2024.01.01辞世。“程序 = 算法 + 数据结构”，相信很多即便没学过Pascal的程序员（比如我），都应该听过吧。

#学术
Trending Papers，提供计算机科学多个领域不同分类的热门论文。

#数据库
#视频课程

清华大学的数据库课程：

* 讲义
* 课程视频
* 课程大项目

（我个人的感觉：清华的这门课程对新人要更友好一些）

#数据库
#技术科普文

《Database Fundamentals》：快速了解数据库内核的基础知识

#开源项目
#工具

jq，命令行下的Json分析器。
现在又出了一个加强版本fq，各种二进制格式文件（protobuf、webp，etc.）的命令行分析器。

#科普
#纪录片
腾讯视频出品的《青年理工工作者生活研究所》是一系列不错的科普纪录片，奈何质量有点参差不齐，比较长的有40分钟，有的短则十来分钟，我比较推荐其中两集和编程相关的视频：

《S01 EP03：游戏技术给我们的现实世界带来了什么？》
《S02 EP10：人类算力被锁死了吗？》

#系统设计
#技术科普文

《Load Balancing》，以动画图示的方式讲解了负载均衡问题及相关的算法。

#分布式
#一致性算法
#Raft

《Openraft 对 ReadIndex 的优化》

#工具
devv.ai，面向程序员的人工智能搜索引擎。

#开源项目
#工具
#Mac

XcodeBenchmark，对比了不同型号的iMac、MacBook、MacPro的性能。
看着里面的性能数据，觉得自己去年花了2W多买的64G M1有点不香了。

#计算机历史
#游戏开发

三集纪录片《中国游戏纪事》（腾讯视频），讲述了从90年代中国开始有自己的游戏产业之后的发展历程。

吸引我的是截图中的这句话。

时间回到2001年，彼时纳斯达克的互联网泡沫破裂，很多公司市值缩水严重，比如当时网易就快要退市了。丁磊找到的救命稻草就是网游，但是倾尽全力打造的《大话西游1》失败了，从网上找到一个开源了自己的游戏引擎的小伙云风，这才有了后面让网易起死回生的《大话西游2》。时至今日，这款“风魂”游戏引擎还是能下载到完整源码和文档的（当然了，这肯定不是后来网易在用的版本了）。

我不能说没有云风，网易就绝对开发不出来《大话西游2》，但是大概率会将进度延迟很久，质量也不好说，会不会像《大话1》那样失败下线，未得而知。在2001年那个时间点，濒临退市的网易已经再也承受不了一个大项目的失败了，再退后一步就是悬崖。从这个意义上说，有了云风的这款引擎才有的后来的《大话西游2》，才有的20多年后全球前十的游戏公司网易。

云风后来写了一个回忆录《那些日子》，这段经历见《那些日子（四）》。

另外从游戏在中国的发展可以看到：早年虽然技术大幅度落后，但是在背靠一个巨大人口市场、能够源源不断提供资金、技术迭代、人才的行业，追上来只是时间问题。

#工具
#开源项目
kondo，清理不同类型的项目构建时留下的各种依赖、临时文件等，看项目介绍目前支持Cargo、Node、Unity等，我用这个工具清理了大几十GB的Rust编译产生的文件。

#计算机历史
#编译器
#编程语言

《40 years of Turbo Pascal, the coding dinosaur that revolutionized IDEs》，以前学C语言时是从Turbo C 2.0起步的，至今仍然记得大一的暑假炎热的夏天自己在没有空调的宿舍里调试C程序的日子，TC 2.0 蓝色的背景是那段岁月最美好的回忆。

也正是因为TC，后来看了《Borland 传奇》了解了Borland公司的故事，也在这里知道了后来大名鼎鼎的编译器大师Anders Hejlsberg。我一直认为创造一门自己的编程语言是编程领域最有意思的事情，自己也在业余学习中。这本书已经绝版买不到了，网友提供了pdf电子版，不知道和纸版的区别大不大。

#系统设计

《四层负载均衡漫谈》，深入浅出介绍了负载均衡相关的技术，由于我的网络知识仅限于四层、七层，文章里讲到ECMP 技术、BGP这些内容就看不懂了。

#Rust
我司xuanwo的一篇文章《Rust std fs slower than Python!? No, it's hardware!》，还登上了hacker news的热门榜。
中文版本：《Rust std fs 比 Python 慢！真的吗！？》

PS：鄙视某些把本文题目篡改称”Rust比Python慢“的自媒体，真是为了点击率什么题目都能想出来。

#系统设计
滴滴前几天出了一个非常大的故障，会看到非常多的文章试图去分析故障的原因。

在《从滴滴的故障我们能学到什么》一文中，提到的k8s升级，可能源自这篇滴滴公众号上的文章《滴滴弹性云基于 K8S 的调度实践》。

尽管如此，目前也并不能确定就是文章提及的原因，至少滴滴官方并没有说明。不过，把《从滴滴的故障我们能学到什么》一文中提到的一些思路作为系统设计的参考倒是不错：降低复杂度、尽量控制出错的范围、拥抱重启。

#文章
《面壁人芒格: 融入现代但对抗现代》

昨天巴菲特的助手查理芒格去世，毫不意外地会有很多悼念的文字、文章，然而我都没有怎么看。

这篇文章同样是写于昨天的一篇关于查理芒格的文章，吸引我点开看的原因只是因为标题中“对抗现代”这个描述，感觉在过往对芒格的表述中没有看到类似的表述。

文章是篇好文章，其中拿孙正义和芒格做对比的部分尤其精彩。我也非常同意里面对芒格的描述：有边界感、有敬畏、恪守常识、不认为自己无所不能。

从这样来看，芒格的哲学确实很不“现代”（以上为褒义）。

#工具
昨天才发现，万能的RSSHub，也能给电报频道添加RSS，URL格式为：“https://rsshub.app/telegram/channel/[channel]”，比如我的电报频道URL为：“https://rsshub.app/telegram/channel/codedump_notes”，有需要的可以用这个RSS地址订阅。

但是，由于Twitter API的改动，要订阅Twitter账户需要登录，目前仍然没有找到办法订阅推特用户。

以前不怎么用RSS，觉得RSS就是能省掉一个一个打开站点浏览的时间成本，在现在推荐算法横行的年代，更觉得RSS是对抗推荐、只关注自己想看的内容的一个工具。

#资料
#调试器
GDB的调试指令和LLDB有不少区别，LLDB官方这篇文档给出了相同命令在两个调试器下的指令对比《GDB to LLDB command map》