codedump的电报频道

#博客

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

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

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

#杂

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

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

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

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

能想到的有这些办法：

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

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

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

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

#分布式

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

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

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

#文章

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

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

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

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

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

这个任务有几个问题：

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

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

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

#文章

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

#足球

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

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

#数字指南 #Telegram

▎Telegram 文章排版指南 1.0

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

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

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

频道 @AppDoDo

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

#文章
讲解Git原理的文章：

《Git from the inside out》

#文章
《Explaining Code using ASCII Art》
使用ASCII来画代码示意图，在我看来有几个好处：

* 能用在代码注释里，实现“代码即文档”。
* 用在页面里能显著减小加载页面的大小，提升加载速度。

除此之外，好像也没有别的好处了。我更喜欢自己画图，这样能展示的“元素”更多：颜色、不同的线状等等，这样更方便区分。

之前写过的一篇技术配图指南：《技术配图的一些心得》 ， 里面想表达的就是尽量用各种维度区分开想表达的元素。

说起来，我也有google搜索排名第一的页面和关键字了：

如何阅读一份源代码？（2020年版）

#读资治通鉴

都知道战国历史上发生的著名长平之战：秦国将领白起，击败后来被称为只会“纸上谈兵”的赵国将领赵括，随后坑杀了投降的45万赵军。

以前只是简单知道这么一个故事概要，其实这里还有很多细节以及后续的发展。

白起并没有坑杀了所有45万赵军，而是故意放走了其中年纪较小的几百人回赵国，目的是为了让这些人回到赵国之后，以亲身经历继续散布赵军全军覆没的惨状，击溃后方赵国人最后一道心理防线。

白起是个狠人，既要把人杀完，还要诛心。

故事到这里，又有了一个转折。在白起看来，一鼓作气乘胜追击就能拿下赵国，这个时机稍纵即逝；而秦国时任宰相范雎害怕白起继续立下大功，于是谏言秦昭襄王暂缓进攻。将相由此失和。

隔年秦国再次继续讨伐赵国时，没有以白起做为将领，而这时赵国已经缓过来并且他国援军已到，这次战役打的并不顺利。遇到挫折的秦国，打算在前线重新启用白起，但是白起以已经错失时机为由拒绝出战。

最后秦国伐赵战争失利，这是秦国自商鞅变法之后遭遇到的罕见失利，而且考虑到前面已经坑杀了赵国45万有生力量，这样的失利就更难让人接受了。

如果这次战争能取得胜利，白起尚能活命，因为他可以做为秦王“英明果断”的反衬；可是一旦失败，白起的命就难保了。最后，白起以被赐自刎结束了自己的生命。

长平之战发生在公元前260年，短短3年之后白起自刎。换言之，一代战神白起在长平之战之后达到自己职业生涯的顶峰，仅用3年时间就断崖式下落，最后以自刎离开人世。

赢下了一场局部战争巨大胜利的白起，并没有在这之后走得更远、更好，反而早早退出了历史舞台。这个事件给我的启示，一场局部战争的胜利或者失败，过去了就是过去了，时间往前走，前面还有各种可能性，这些“局部战争”，对普通人来说可能包括但不限于：一场考试、一次面试结果，等等等等。既要想办法对局部结果进行“局部优化”，也要意识到可能局部的最优不代表全局的最优，反过来也是这样的。

百度百科白起词条

#文章
《使用二八法则省力地学习 awk》

二八原则适用于很多方面，“技能学习”上也不例外。以我的经验来看，除非是那种天天都用到、需要了解方方面面犄角旮旯知识的技能，否则对于大部分技能而言，掌握最常用的那个20%就足够了。

于是乎，使用二八原则来学习技能又需要拆解成：如何找到最需要学习的那20%的知识，这就有赖于对这个技能大体知识体系能有个了解。

本文就是使用这个法则学习一项具体技能的示范。

“学海无涯，回头是岸”，技能的精进并不意味着需要傻不拉几得从头学到尾，带有一些实用主义的角度来学，够用即可才能学得更快。

#视频
李永乐老师最近几天发布了几个科普相对论的视频：

https://www.youtube.com/watch?v=TD4ZUcxzyys
https://www.youtube.com/watch?v=3uEROgJ9etg
https://www.youtube.com/watch?v=iFWsUUSNoe8

正好我这周看了Lamport时钟的论文，写了一篇介绍Lamport时钟的博文（见上一条推荐）。里面一个重要的观点是：物理时间用于分布式系统中并不靠谱，因为系统之间不同的进程中的物理时间并不尽相同，这才需要引入一种逻辑意义上的时间，这就是Lamport时钟。

虽然仍然看不懂相对论，但是没有绝对意义上的“时间”和“空间”，这点倒是能体会。

前一阵子看了《十三邀》第一季中贾樟柯的采访，里面有一段话印象深刻：年纪大了以后，越来越对“达成一致”这个事情没有了兴趣（大意如此）。

就这几年研究分布式一致算法的体验，即便是没有感情的程序机器，“达成一致”也确实太难了。因为“一致”意味着首先要定义一个“标准”，“标准”本身就又是一个难题。

#博客
《周刊（第21期）：Lamport时钟介绍》

在分布式系统中，由于有多个机器（进程）在一起协调工作，于是如何定义分布式系统中事件的先后顺序就成了难题，本文介绍论文 《Time, Clocks, and the Ordering of Events in a Distributed System》中提到的Lamport时钟。

博客：https://www.codedump.info/post/20220703-weekly-21/
公众号：https://mp.weixin.qq.com/s/T71D09_5PMQEuHw2yu_taQ
邮件订阅：https://www.getrevue.co/profile/lichuang

#文章
《rsync: Series Overview》

作者写了一个系列的文章来分析rsync的原理，有空找来看看。

https://michael.stapelberg.ch/posts/2022-06-18-rsync-overview/

#音乐
昨晚看陈一发油管，意外听到《童话镇plus》。原来也听过《童话镇》，没有太多感觉，但是昨晚听到陈一发和原作者暗杠的联唱有点被惊艳到了：

https://www.youtube.com/watch?v=L1SBtcUULng

今天B站找到了暗杠主页，一路又找到了《童话镇》+《童话镇plus》的两首联唱live版本，有生之年要听一次现场，B站也充值支持了：
https://www.bilibili.com/video/BV1NM4y1A7jq

这个live版本貌似是2017年的，六年过去了，歌词里面出生被起名“小念”的孩子，也该至少得有6岁了吧。

#书
即刻上看到flomo创始人少楠提的一个问题：有哪本不是你最近五年读的、且非虚构（即小说）的书，曾经深刻改变、影响了你？

https://web.okjike.com/originalPost/62bdb2d4d8a14e546f925277

我仔细想了一下，满足这个条件的书，对我来说应该是《庄子》。五年之前焦虑、中年危机、晋升无望等等，是庄子的一些豁达思想把我从这些情绪里面拯救出来，具体的表现在：开始接纳只是普通人的自己，减少在无关人事上浪费精力、情绪，换一种不那么功利、世俗的视角来做事。

很神奇，当价值观、世界观慢慢改变之后，生活也开始慢慢变好了。