B 站上面有个序列视频讲得也不错： 【Git基本原理介绍(1)——代码仓库的初始化-哔哩哔哩】 https://b23.tv/sq3rOty

#数字指南 #Telegram

▎Telegram 文章排版指南 1.0

原文链接：我怎样发布Telegram频道信息？

赏心悦目的排版会令人舒适，在小小的文本框输入诸多文字，如何排版才能看起来清晰明了？运营 APPDO 数字生活指南 一年之久，对频道的文本有了一套自己的处理模式，想借此机会分享出来，希望本文能对大家Telegram频道的文本编辑工作和提高字体与排版审美有所帮助。

审美因人而异，因此没有固定的标准。欢迎各位朋友提出各自的见解，分享自己的频道。

频道 @AppDoDo

#足球

《因为一个《足球经理》主播，我觉得中国足球有救了》

因为我自己是20年的FM（全称Football Manager）老玩家（前身叫CM），看到这篇文章特别亲切和羡慕，讲述的是在中国很出名的一个FM玩家（阿飞，aka云指导），开档选择了执教当时还在中甲的梅州客家队，最后这个队伍还真的在现实中神奇升级的故事。

#文章

2021.07.13 我们是这样崩的
国内好像很少这个风格（详细）的线上故障复盘，不过我仔细看了下时间，这是2022.07.12写的2021.07.13故障的复盘了，也就是说故障已经过去了一年了。

#读资治通鉴
“荆轲刺秦王”的细节，有必要深究一下。

太子丹在最开始，给荆轲布置的任务是：最好能够生擒秦王，退而求其次是杀了秦王。（资治通鉴原文：“丹之私计愚，以为诚得天下之勇士使于秦，劫秦王，使悉反诸侯侵地，若曹沫之与齐桓公，则大善矣；则不可，因而刺杀之”）。

同时，给荆轲准备了一把见血封喉的毒匕首。（资治通鉴原文：“太子豫求天下之利匕首，使工以药焠之，以试人，血濡缕，人无不立死者。”）

这个任务有几个问题：

* 当荆轲拿着一把见血封喉的毒匕首时，心里想着生擒是优先级最高的任务，换言之，任务和准备的工具之间有不小的矛盾，会给执行者带来心理上的犹豫，荆轲在使用武器时会投鼠忌器。
* 别说生擒秦王了，即便是拿着见血封喉的毒匕首想要刺死秦王，在那种场景下也只是短短转瞬即逝的几秒钟时机。
* 一般生擒是在本方兵力占据绝对优势的情况下才采取的策略，在敌众我寡的条件下几乎不可能，因为更想生擒秦王，荆轲错过了最好的刺杀秦王的机会。

最后，心理犹豫导致错失刺杀机会的荆轲，留下了最后一段话证明了这个任务的布置给他带来的心理负担，资治通鉴原文：“荆轲废，乃引匕首擿王，中铜柱。自知事不就，骂曰：“事所以不成者，以欲生劫之，必得约契以报太子也！””。

在我看来，“荆轲刺秦王”的故事，是一个领导（太子丹）在面对资源有限、难度颇大、时机稍纵即逝等苛刻条件下，给下属（荆轲）布置了一个“既要、又要、还要”的任务，刺杀秦王失败太子丹要负大部分责任。

#文章

分布式系统一致性的发展历史 (一)

作者写了一个系列的文章来介绍分布式系统的一致性，都挺好挺有深度的。

#分布式

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