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

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

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

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

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

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

#分布式
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。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

#分布式
#共识算法

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

#Latex
#开源项目
两本技术书的中译本Latex代码，看了一下排版效果挺好。鉴于我正在用Latex写书，无疑能给我提供了很多排版上的参考。

《Programming Rust》
《C++17 the complete guide》

#方法论
《如何发现一个20岁时就值得投资的人》

其实这篇文章也可以从个人角度来看：如何成为一个值得被人投资的人？文中的主要观点：好奇心、动手能力、执行力、自我迭代能力等等。

#工具
之前忘记在哪里看到别人推荐了只有几十块的cherry KC 1000的薄膜键盘，买下来用了几天，除了键盘感觉稍微紧了一些以外，意外地感觉还挺好用，手上的宁芝静电容用了五年多有点审美疲劳，可以放心出闲鱼了。

#分布式
《图解 paxos 论文《The Part-Time Parliament》》

这篇文章的图画的不错，按照以前提到的一个标准，应该是不错的技术文章。只不过我之前没有看过Lamport写的第一篇关于Paxos的论文，感觉有点晦涩，之前都是看的《Paxos Made Simple》，之后有时间结合这篇文章看看。