Мир сегодня с "Юрий Подоляка"

Труха⚡️Україна

Қарау

Николаевский Ванёк

Қарау

Мир сегодня с "Юрий Подоляка"

Қарау

Труха⚡️Україна

Қарау

Николаевский Ванёк

Қарау

codedump的电报频道

发布个人博客（主页 codedump.info）、想法、推荐等。RSS订阅地址：https://rsshub.app/telegram/channel/codedump_notes，过往汇总搜索可以到：https://app.shokichan.com/c/tg/codedump_notes。

TGlist рейтингі

ТүріҚоғамдық

Растау

Расталмаған

Сенімділік

Сенімсіз

Орналасқан жері

ТілБасқа

Канал құрылған күніJul 04, 2021

TGlist-ке қосылған күні

Mar 18, 2025

Мен каналдың иесімін

Өзгерістер тарихы

Қосылған топ

codedump的电报频道评论群

Telegram арнасы codedump的电报频道 статистикасы

Толығырақ

Жазылушылар

4 173

24 сағат00%Апта

130.3%Ай

521.3%

Дәйексөз индексі

0

Ескертулер0Каналдарда қайта жазылу0Каналдарда ескерту0

1 жазбаның орташа қамтуы

567

12 сағат430%24 сағат567

10.1%48 сағат651

13.8%

Қатысу деңгейі (ER)

3.49%

Қайта жазылды2Пікірлер0Реакциялар8

Қамту бойынша қатысу деңгейі (ERR)

0%

24 сағат0%Апта0%Ай

5.31%

1 жарнамалық жазбаның қамтуы

0

1 сағат00%1 – 4 сағат00%4 - 24 сағат00%

Толығырақ

Каналға біздің ботымызды қосып, осы каналдың аудиториясын біліңіз.

24 сағаттағы жазбалар саны

1

Динамика

"codedump的电报频道" тобындағы соңғы жазбалар

Барлық жазбалар

08.04.202504:00

#分布式
#共识算法

Paxos System，讲解Paxos实现的网站，对应论文《Paxos Made Moderately Complex》，提供Python版演示代码。

05.04.202504:23

#工具
我今天才知道沉浸式翻译可以上传pdf进行翻译，然后左右两边对比原文和翻译来阅读，这极大提升了阅读论文的速度。

03.04.202509:39

#杂
中国南方很大一块民间势力就是宗族。我以前没有什么感觉，直到我被拉进了宗族群（不是家族群）。这里的活动主要就是宗族相关的祭拜、扫墓、宗祠维护等等。我想可能是因为现在中国南方的很多人，往上数都是外地迁徙过来的，一群人到一个陌生的环境，就需要抱团，而宗族就是最好的抱团共识吧，这可能也是南方人如此重视清明节的原因吧。比如我们家，按照我爸的说法，就是明代从福建迁徙到了海南，附近的村里有不少李氏宗族的人。

2025年了，我也是第一次在我的日常生活里看到了“宗亲”这个词，过去只是在三国里一直听刘备自称自己“汉室宗亲”，对我来说真的是复古又遥远的称呼。

02.04.202504:15

#工具
国内很多网站（微博、知乎等）在跳转外链时，会弹出一个提醒确认界面。可以安装油猴脚本Open the F**king URL Right Now实现自动跳转。最新的版本里，还把微博跳转外链时加上的continueflag参数去掉了，这个功能在收藏网页的时候挺实用的，因为像Raindrop这样的收藏网页工具里，同一个地址带的参数不同会被认为是不同的网址。

作者是之前推荐过的Douban book+插件的作者OldPanda。

02.04.202500:55

#杂
特别喜欢下面这段话，尤其是“「专业化」是为虫子准备的”：

一个人应该懂得如何更换尿布、策划战争、杀猪、开船、设计建筑、创作诗歌、算清账目、搬砖砌墙、接续断骨、安抚将死之人、听从命令、发布命令、与人合作、独断独行、解方程组、分析前所未见的问题、清理肮脏的畜栏、编写计算机程序、烹制美味佳肴、高效地战斗，并勇敢地死去。「专业化」是为虫子准备的。

-- 罗伯特·海因莱因《时间足够你爱》

01.04.202504:02

#分布式
公众号荒了很久，转一篇XP写的《理解 Calvin - Fast Distributed Transactions》。

最近忙着写面试的论文题目，分布式教程的撰写又停滞了一段时间，目前写到分布式事务章节了，整体进度50%。

31.03.202510:26

#杂
去年十月份去了一趟普陀山。从舟山机场出来，还得转轮船才能到达普陀山所在的小岛。去往普陀山的码头门口上大字写着“彼岸”两个字，普陀山是中国佛教圣地，所以“彼岸”在这里有一语双关的意思，感觉太酷啦。

29.03.202514:41

#杂
今天扛叱扛叱写了1000多行代码。我感觉即使我在思路清晰的时候，一天的输出也就是1千多行代码，大概7个小时的高效工作时间，这个时长的专注度和输出对我来说顶天了。

28.03.202504:39

#共识算法
#分布式

最近面试一家做web3 infra方向的公司，给我发来一篇论文让我照着论文写一个项目（不限制语言，我选了Rust），论文与共识算法相关，只不过web3都是工作在拜占庭环境下（可以理解为里面有恶意节点存在）。

我粗浅得了解了一下如何在拜占庭环境下做共识。除了和基本的Raft这些算法一样，要使用全序版本来对日志保序以外，每个节点收到消息后还需要往外广播（类似于Gossip），于是时间复杂度到了O(n^2)，而Raft这类的算法只需要Leader节点广播即可，时间复杂度O(n)。

除此以外，过程中还需要使用对应的密码学工具来保证消息以及写入数据的合法性。

总结下来就是：在拜占庭环境下，密码学解决信任问题，共识算法解决去中心化问题。总体感觉是挺有意思的。

等我全部写完，会公布一下论文题目和项目地址给大家看看。

21.03.202512:26

#方法论
写技术博客时，我很喜欢画图来表达原理。也因为自己画的图多了，有了一层感悟：但凡能把技术原理通过画图清晰表达出来的，一般文章内容也不会太差。这是因为，画图不同于文字和简单的贴代码，是经过作者理解了原理再翻译成图形语言的。

按照这个推论，得到一个搜索优质技术文章的技巧：使用Google搜索技术文章时，以前是根据关键字搜索相信搜索引擎的排名，现在可以试一下切换到Google搜索中“图片”那一栏看看。图片这一栏可以在不用点击文章的情况下马上看到文章中的一些缩略图，根据画的缩略图能大体判断文章的质量。

19.03.202504:13

#脚本语言
#解释器
#开源项目
《Crafting Interpreters》的中文翻译，看介绍已经基本完成了。

18.03.202507:23

#存储引擎
非常好的存储引擎文档，总共176页幻灯片：《Bedtime Stories For Children: Storage Engines》，可惜的是没有完全写完。

16.03.202506:15

#分布式
Paxos解决的核心问题是：分布式系统里如何确定一个值。Paxos的做法是：给每次提交一个版本号，一个版本确定之后就不再能修改。

这里的“版本号”不一样非得是自然数，只需要满足全序性（total order，简单理解一个全序关系里的任意两个元素都能对比大小）就可以了。正因为版本号必须满足全序关系，才能保证前面说的“版本的值确定之后，不能再进行修改”。

比如Raft里面的版本号就是(Term，Index)，这也是满足全序关系的，Raft里面对比(Term，Index)大小关系的算法大体是：

if (left.Term == right.Term)
return left.Index > right.Index
else
return left.Term > right.Term

所以从这个意义上来说，Raft本质上还是Paxos，可以理解为换了另外一种版本号来实现的Paxos。

多说一句，实际上定义一类新的数据类型时定义这类型数据之间的比较关系，C++里面早就有了，提供了operator >、>=、<、<= 这些操作符函数。很早之前学C++的时候就已经知道，但是那时候还没有上升到数学的层面理解为什么需要定义这些关系，一直到我接触了全序、偏序关系的概念才恍然大悟。

再推一次XP的这篇讲解Paxos原理的文章，其它讲Paxos的文章，多是一上来给读者按照论文给出流程，专注在How，而这篇文章反向来推导过程，给出了Paxos的Why。

16.03.202503:47

#人工智能
昨晚看完英超联赛曼城主场2：2险平布莱顿的比赛。

除去比赛本身，布莱顿这个球队，网传解雇了大部分球探，转而采用自己实现的一套大模型系统来选择球员买卖（甚至可能包括教练的选择），这几个赛季低价买入大量潜力新球员，即便在往外卖出大量的优秀球员的情况下，也能做到成绩稳步上升。

我又想起梁文锋给《征服市场的人》做的序里引用西蒙斯的那句话：“一定有办法对价格建模”。

坚信某个方向一定能够采用数学的方式进行建模，从而用技术手段来左右自己的决策，这算不算也是某种信仰。

14.03.202504:27

#开源项目
krep - 一个C写的高性能的字符串搜索工具
github.com/davidesantangelo/krep
krep 的设计以性能为主要目标：
🌟内存映射 I/O：避免昂贵的 read() 系统调用
🌟优化算法：默认使用 Boyer-Moore-Horspool 算法
🌟SIMD 加速: 在可用时利用 SSE4.2 或 AVX2
🌟多线程: 并行处理大文件的块
🌟最小化内存分配: 减少内存开销和碎片化

感觉可以拿来学一学SIMD编程，正好不会。

Барлық жазбалар

Ештеңе табылмады 😢

Толығырақ

Рекордтар

07.04.202523:59

4.2KЖазылушылар

23.02.202523:59

0Дәйексөз индексі

19.02.202516:53

1.1K1 жазбаның қамтуы

23.04.202503:37

0Жарнамалық жазбаның қамтуы

12.03.202516:53

8.72%ER

12.03.202516:53

25.87%ERR

Өсу

Толығырақ

Жазылушылар

Цитата индексі

1 хабарламаның қаралымы

Жарнамалық хабарлама қаралымы

ERR

Толығырақ

codedump的电报频道 танымал жазбалары

Барлық жазбалар

08.04.202504:00

#分布式
#共识算法

Paxos System，讲解Paxos实现的网站，对应论文《Paxos Made Moderately Complex》，提供Python版演示代码。

28.03.202504:39

02.04.202504:15

02.04.202500:55

#杂
特别喜欢下面这段话，尤其是“「专业化」是为虫子准备的”：

一个人应该懂得如何更换尿布、策划战争、杀猪、开船、设计建筑、创作诗歌、算清账目、搬砖砌墙、接续断骨、安抚将死之人、听从命令、发布命令、与人合作、独断独行、解方程组、分析前所未见的问题、清理肮脏的畜栏、编写计算机程序、烹制美味佳肴、高效地战斗，并勇敢地死去。「专业化」是为虫子准备的。

-- 罗伯特·海因莱因《时间足够你爱》

01.04.202504:02

05.04.202504:23

#工具
我今天才知道沉浸式翻译可以上传pdf进行翻译，然后左右两边对比原文和翻译来阅读，这极大提升了阅读论文的速度。

03.04.202509:39

29.03.202514:41

31.03.202510:26

Көбірек мүмкіндіктерді ашу үшін кіріңіз.