#分布式

UCSC（加州大学圣克鲁兹分校，University of California, Santa Cruz）的分布式课程：

http://decomposition.al/CSE138-2021-03/course-overview.html

对比起 MIT 6.824来，我感觉这门课涉及的点不太一样，所以可以补充来学习。

#杂
看了某些人的一些言论，因为我自己也是非科班的自学生，所以看了之后也在反问自己：如何避免自己成为一个民科？

能想到的有这些办法：

* Learn in public：将学习成功、知识整理、代码等输出都尽量开放出来，接受别人的检阅。
* 实事求是，避免自嗨。

BTW，关于“Learn in public”的概念，出自这篇文章：Learn in public

中译版本：[译] - 当众学习 - 最快的学习方式

不过，在我总结完毕这些办法之后，发现是否民科和是否科班出身，好像并无太大关系了，是否用科学的办法了解事实，才是这里的关键：）

#杂

虽然目前在国内，有那么一小撮“极端女权”的存在，导致“打拳”之类的反噬，但是从我一个男性的角度来看，能理解女性在生活、工作中面对由于女性身份导致的困难。

从我自己做起，能给纠正这类现象做的一些小事情包括：

* 在讨论一些职业、行为时，少加性别定语，比如女程序员、女司机、女高管，等等。
* 日常生活里，多让着点女生，少计较。虽然所谓的“平权”，字面意义上是两者享有同样的权利，但是在很多事情上，男性大方些多让让也没有什么大不了的。

#博客

《周刊（第22期）：图解一致性模型》

本文使用大量的图例，同时没有难懂的公式，意图解释清楚一致性模型要解决什么问题，以及三种一致性模型：顺序一致性、线性一致性、因果一致性。

公众号：https://mp.weixin.qq.com/s/Wv8VWEq7GFz5hJQ_iOtqsw
博客：https://www.codedump.info/post/20220710-weekly-22/
邮件：https://www.getrevue.co/profile/lichuang

#文章
《How to Write Software With Mathematical Perfection》

一篇对Lamport的采访，里面这句话印象深刻：

“What that involves is basically not trying to write algorithms in a programming language: If you really want to do things right, you need to write your algorithm in the terms of mathematics.”

下一步该学学TLA+了：）

#杂
https://twitter.com/Carlos_Gong/status/1549002811056484352

“经历过 90 年代国企员工大下岗+公务员发不满薪+教师靠补课和经营学生居家寄宿业务为生的情况，我在我一生的职业选择中都不会相信任何「铁饭碗」。

也想起郑渊洁当年有一个励志鸡汤：铁饭碗不是一辈子在一个地方吃饭，而是一辈子在任何地方都有饭吃。”

我也有类似的经历。赶上90年代末国企改革，那时候亲眼目睹身边很多大人都下岗，从那之后开始对所谓的“体制化“就持怀疑态度。

我最喜欢的两部文艺作品，《肖申克的救赎》和《一只特立独行的猪》，都在讨论”被体制化“的问题，现在回想应该是找到了经历里的共鸣。

#杂
《阿里人的答案书》

之前知道阿里的PUA话术，但是一直以为只是公司内部流传，没想到还出版成了正式出版物，是我草率了。

图片来自：https://book.douban.com/annotation/116958635/

#开源项目
腾讯柠檬清理这个项目在github上开源了：

https://github.com/Tencent/lemon-cleaner

不过，看提交记录应该不是以github为第一提交现场的，应该是定期从公司内部的私有仓库同步代码到github上。

所谓“开源”，并不仅仅是看到源代码，还包括issue、ci记录、以及相关的各种讨论等等，这种“同步代码式”的开源实际上少了很多中间过程，他人看到的只是结果，而且由于没有上面的那些讨论等等，并不能让社区开发者来贡献到项目中。

类似“同步代码式”的大公司开源项目，还有蚂蚁集团的OceanBase。

#杂
我看了某司号称很多重构的大版本，里面存元数据的模块用的btree实现，遗憾的是这里页面恢复用的journal机制，这个机制像sqlite这样的数据库都是最早使用的，属于20年前的技术了，后面都换成了WAL机制做页面备份恢复。

我不知道是去哪里找（或抄）的这个思路，但是这样做的效率不会高，而且涉及文件格式的东西，一旦确定后面就很难改了😇😇。

关于journal和WAL这两种机制在sqlite中实现的分析，可以参考我博客的系列文章：
《sqlite3.36版本 btree实现系列文章》

#杂
看到的一首据称是外卖骑手的王计兵写的现代诗《赶时间的人》，这也算是这个时代一个群体的众生相了：

『
从空气里赶出风 从风里赶出刀子

从骨头里赶出火 从火里赶出水

赶时间的人没有四季 只有一站和下一站

世界是一个地名 王庄村也是

每天我都能遇到 一个个飞奔的外卖员

用双脚锤击大地 在这个人间不断地淬火
』
（原始出处未知）

#文章
《The Code Review Pyramid》，这篇文章提供了review代码的一些建议，列举了每个层次的关注重点。

#视频
《回村三天，二舅治好了我的精神内耗》，这大概就是所谓的“认清生活的真相之后依然热爱生活”的人。

#工具
日常需要在各种应用里面切换输入法，比如到了写代码相关的应用（终端、vscode等）大概率希望是英文输入法，但是到了需要输入中文的应用（IM、文档工具等）就大概率希望是中文输入法，来回切换输入法是个很细碎的事情。

keyboardholder 这个应用能自定义不同应用的输入法规则，解决这些问题。

#项目
小弟所在的Databend项目，开始进入外部用户试用阶段，欢迎申请试用及体验产品：https://app.databend.com/

https://twitter.com/Datafuse_Labs/status/1552897874031419393

#资料
Databricks的联合创始人辛湜分享的数据库学习相关的一些必读资料、论文：

《Readings in Databases》

#SQLite
SQLite 背后的故事

https://twitter.com/leyafo/status/1553752292997808128

#设计模式
看到推友关于设计模式的一句话：“设计模式的本质是为了弥补语言抽象能力不足产生的东西。比如 visitor 模式也就 OOP 在用，支持点 pattern matching / lambda 的 FP 向语言基本不用。”

我是比较同意这个说法的，写多了Rust之类的非OOP语言，确实没怎么感觉设计模式的存在，因为非OOP类语言自有自己的一套解决这类问题的方案。

不过，这并不意味着设计模式就一点都不值得学习，某种程度上我认为设计模式教会了我：在哪些地方，常用哪些招式来封装变化，每个招式都有哪些优缺点，等等。“封装变化”以使项目更好得适应变化、高内聚低耦合等等，就与具体的语言无关了，是软件设计都必须面对的问题。而至于当时初学时为了设计模式而用设计模式导致的过度封装，又是另外一回事了。

https://twitter.com/the_foreverbell/status/1553780395778654208

#文章

《【老万】谷歌新语言 Carbon 能干翻 C++ 吗？》

乍一看题目，是那种标题党文章，但是作者之前在Google（按文章的说法参与了gtest、gmock等google开源的C++项目开发）与Carbon作者有过共事和近距离接触，姑且当靠谱些的技术八卦看吧。

#数学

《一份不太简短的 LATEX 2ε 介绍》

#Rust

Rust里面的宏有点难度，以至于要单独拿出来写一份专门的教程了：
《The Little Book of Rust Macros》

#技术推
这条推下面的讨论太好玩了：

“职业生涯见过的最脑洞大开的代码是在10多年前的一个C++网络游戏项目。
大致情况是在服务端new一结构体，设置好相关字段后把指针放在消息包里传给客户端。
刚毕业的我直接被惊掉下巴：指针是服务器的内存地址，发到客户端怎么能用呢？而且指针也没留副本，那个结构体不会内存泄漏吗？
👇评论区揭晓答案”

（ 原推链接：https://twitter.com/disksing/status/1555444153588543488 ）

其中提到了 TensorFlow的一个优化，做法如截图，可以说是大开眼界了。

《案例分享 | TensorFlow 大规模稀疏模型异步训练的分布式优化》