codedump的电报频道
4.43K subscribers
151 photos
4 videos
2 files
622 links
发布个人博客(主页 codedump.info)、想法、推荐等。RSS订阅地址:https://rsshub.app/telegram/channel/codedump_notes,过往汇总搜索可以到:https://app.shokichan.com/c/tg/codedump_notes。
Download Telegram
#博客
《周刊(第19期):Rust并发安全相关的几个概念(上)》

本文介绍Rust并发安全相关的几个概念的几个概念:Send、Sync、Arc,Mutex、RwLock等之间的联系。这是其中的上篇,主要介绍Send、Sync这两个trait。

公众号:https://mp.weixin.qq.com/s/VRmzGv3njSHjQ7BxSrAVQw
博客:https://www.codedump.info/post/20220619-weekly-19/
邮件订阅:https://www.getrevue.co/profile/lichuang/add_subscriber
👍6
#播客

《与迟先生聊 Rust 与数据库系统》
https://www.xiaoyuzhoufm.com/episode/62aec422aeb35605b253f6c9?s=eyJ1IjogIjYwNDliYmI3ZTBmNWU3MjNiYjQ5M2U0YSJ9

由于播客里面会谈到迟先生参与实习的Singularity Data这个公司,不妨可以一起听一下该公司创始人聊流式数据库的一期节目:

https://www.xiaoyuzhoufm.com/episode/624d1487e90e615dbe20e97b?s=eyJ1IjogIjYwNDliYmI3ZTBmNWU3MjNiYjQ5M2U0YSJ9

我听下来才发现:好像Singularity Data的流数据库还在找应用落地场景?
#文章

在过去几天,在不同的地方至少看到了不下5篇宣传微信业务已经全部上云的新闻,比如这篇:

https://mp.weixin.qq.com/s/DfvNhwKY89Ny0vSk1xjdgw

服务上云的趋势不可逆,之前我的一个论断:以前在服务器上打造的基础服务,会在云上再被打造一次,而旧的基础服务厂商,就看看能不能跟上这个大环境的变化了。
#博客
《周刊(第20期):Rust并发安全相关的几个概念(下)》

本文介绍Rust并发安全相关的几个概念:Send、Sync、Arc,Mutex、RwLock等之间的联系。这是其中的下篇,主要介绍Arc,Mutex、RwLock这几个线程安全相关的类型。

公众号:https://mp.weixin.qq.com/s/aNrbk7L6SnAoUPusEU0tXQ
博客:https://www.codedump.info/post/20220625-weekly-20/
邮件订阅:https://www.getrevue.co/profile/lichuang/add_subscriber
👍5
#文章

非常棒的文章,解读了分布式领域里非常重要的论文《Time, Clocks, and the Ordering of Events in a Distributed System》,我这周周刊也打算解读这篇论文:
《分布式领域最重要的一篇论文,到底讲了什么?》
👍7🔥3
#项目
《Latency Numbers Every Programmer Should Know》

https://colin-scott.github.io/personal_website/research/interactive_latency.html

以前Jeff Dean总结过不同硬件的访问延时,这个项目可以认为是这些数据的“与时俱进”版本。实际并不需要牢记各种数字,对各种硬件的延迟有个数量级的感觉即可。
👍9
#书
即刻上看到flomo创始人少楠提的一个问题:有哪本不是你最近五年读的、且非虚构(即小说)的书,曾经深刻改变、影响了你?

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

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

很神奇,当价值观、世界观慢慢改变之后,生活也开始慢慢变好了。
👍7💩1🕊1
#音乐
昨晚看陈一发油管,意外听到《童话镇plus》。原来也听过《童话镇》,没有太多感觉,但是昨晚听到陈一发和原作者暗杠的联唱有点被惊艳到了:

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

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

这个live版本貌似是2017年的,六年过去了,歌词里面出生被起名“小念”的孩子,也该至少得有6岁了吧。
👍97
#博客
《周刊(第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
#视频
李永乐老师最近几天发布了几个科普相对论的视频:

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

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

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

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

就这几年研究分布式一致算法的体验,即便是没有感情的程序机器,“达成一致”也确实太难了。因为“一致”意味着首先要定义一个“标准”,“标准”本身就又是一个难题。
👍2
#文章
《使用二八法则省力地学习 awk

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

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

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

“学海无涯,回头是岸”,技能的精进并不意味着需要傻不拉几得从头学到尾,带有一些实用主义的角度来学,够用即可才能学得更快。
👍13👎1
#读资治通鉴

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

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

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

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

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

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

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

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

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

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

百度百科白起词条
👍20
说起来,我也有google搜索排名第一的页面和关键字了:

如何阅读一份源代码?(2020年版)
👍34
#文章
Explaining Code using ASCII Art
使用ASCII来画代码示意图,在我看来有几个好处:

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

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

之前写过的一篇技术配图指南:《技术配图的一些心得》 , 里面想表达的就是尽量用各种维度区分开想表达的元素。
👍6
#文章
讲解Git原理的文章:

Git from the inside out
👍4