#杂
以前看某网红数据库的Raft实现，本质是一个没有Term概念的玩具版，一个Raft实现没有term，最后一定会出各种问题，实际线上也证明了这一点。

但是即便如此，也并没有影响这个数据库产品最后拿到投资，有了钱之后，就可以招更厉害的人做更好的实现，还能招更多的人擦这个屁股，是不是玩具版已经不那么重要了。投资人信了这个故事，从投资人那里拿到的钱也让新来的人愿意加入。

我想起以前和一个中学同学吃早餐，彼时他想约同学打麻将，于是分别给甲、乙、丙另外三人都打了一通电话，核心内容就是：三缺一，就差你了。于是这就凑齐了一桌麻将。

这两个故事的共同点是：跟不同的人说不同的故事，最后把这些不同的资源攒在一起，做自己的事情，马云、贾跃亭都具备这种讲故事攒资源的能力，最后就看这些个故事，能不能成功的收尾了。

除了这些以外，我还想表达的是：如果方向找对了，中间一些实现细节的纰漏，如果不是致命性的，实际不是最大的问题，投资人也肯定不会去看细节，更多看方向。反过来说，也正是因为大方向正确，小细节存在问题，才给了其他人加入、投入资源进一步改进的机会，如果什么都是完备的，这就不能被称为“风险投资”。动态的来看，一时的问题只要不影响方向的正确，如果靠继续投入资源能解决，这就不是太大的问题。技术人，就不要太纠结于细节而忘记方向，以至于局限在自己的专业领域，忘了抬头看看。

#杂
小时候看父亲做木工，或者现在自动动手组装一些简单的家具，都看到拼装的时候有一个技巧：虽然两点可以确定一条直线了，但是实际操作起来中间会有误差，所以这两条直线中间还会有一些“锚点”，只有这些锚点也能对得上，才能认为这两块木板的拼装最后是对的。

我觉得这是很朴素的“单元测试”的想法：把一个复杂的问题，按照不同的步骤、维度参数分解成更容易解决的小问题，只有这些小问题都能通过，才能认为这个复杂的大问题得到了解决。

微积分里，也有类似的思想：曲线下的面积很难计算，于是把这个曲线细分成更小的矩形，当“足够细分”的时候，这些矩形的面积之和就能“近似”地认为是曲线的面积。而什么叫“足够细分”，这就是极限中无穷小的概念。

总而言之，一个大的问题如果很难一步到位去解决，不妨细分成更容易解决、或者能近似认为等价的子问题来解决。

#流浪地球2
《流浪地球2》的世界观解析，作者是《流浪地球2》的科学顾问团队成员，有公众号：甜草莓的科学小屋

#健康
字节邀请的协和医院专家做的科学减重分享：https://bytedance.feishu.cn/file/boxcnESdjHWKRAIqQmmeY8w3KCc

原始出处在豆瓣。

#工具
辅助论文（或任何网址的内容）阅读的工具，能够自动生成论文内容的摘要：https://labs.kagi.com/ai/sum
如图是输入Raft论文地址之后给的摘要。

#文章推荐

《一文讲透大数据列存标准格式 - Parquet》

#开源
《机器学习系统：设计和实现》：做世界上第一本全面讲述机器学习系统知识的开源书籍

#文章推荐
当年上大学刚开始学习编程的时候，彼时台湾的侯捷老师的著作刚刚引进大陆，这才让我了解了这位老师，翻译、撰写的技术书籍不一一阐述，看过的都知道质量。这里提一篇当时在他博客上看到的文章《迷时师度 悟了自度》，里面的观点至今还印象深刻，有了“悟了自度”这个观念之后，给后续的学习、生活提供了很多帮助，比如不要做伸手党、学会问出好问题，等等。在我刚开始学习编程的时候就看到这篇文章得以受启发，建立了一些正确的观念，实在是一件很幸运的事情。

“我知道我就要永远告别我的学生生涯，再也没有人度我，我要自己度化自己了”

遗憾的是，侯捷老师的博客很早就关闭了，所幸网上还是能找到别人保存的副本：《迷时师度 悟了自度》

#编程

《入行 14 年，我还是觉得编程很难》，编程最难的地方之一是“管理复杂度”。

结合最近Chatgpt火爆之后对程序员这个行业的冲击，我想类似Chatgpt这样的人工智能工具也许能辅助写一些代码，但感觉只能辅助那种有明确输入、输出的，比如写个排序算法，但是要说把功能模块如何组织在一起成为一个项目，还是得有靠谱的人。

作者著有书籍《Python工匠》。

#杂
知乎上看到一个有趣的问题《五个同事决定计算他们的平均工资，在大家互相不告诉薪水的情况下，如何才能做到这一点？》

底下的两个回答思路很有意思：
https://www.zhihu.com/people/zhang-xiao-yun-43-14/answers/vote
https://www.zhihu.com/question/60042833/answer/173025969

我感觉这两个解题思路，指不定会在哪天用上。

#杂
如果人工智能这一波起来，不知道该投哪家公司，不知道谁最终获胜，那买英伟达大概率是不会错的，毕竟GPU谁都得用不是。

利益相关：本人持有英伟达股票。

#工具
Douban Book+，一款浏览器插件，安装之后打开豆瓣读书的条目，会显示出来这本书的电子书资源。

#工具
之前推荐过flomo这个闪念笔记工具，用于记录只有自己能看到的”个人微博“，且带上tag能够在笔记之间双向链接。

有网友做了一个纯开源的版本memos，但是跑起来比较麻烦，需要docker。

有网友基于memos做了一个obsidian的插件，现在在ob里面就能记录类似flomo的闪念笔记了，我体验了一下，如果没有很强的手机上记录的需求，这个插件也够用了，重要的是ob记录的笔记是完全自己可控的。

#Databend
《Databend 1.0正式发布》

通常版本号都是由开发者来决定，“1.0”这个特殊的版本号想向外传递的信息是：产品的功能、稳定性、性能等指标已经到了可以面向用户商用的程度了。

从零到1.0，只用了团队两年的时间，我觉得除了技术水平的因素以外，选择纯Rust打造也是很大的原因，选c艹等语言的话，可能时不时会卡壳停下来查一查内存导致的泄露、崩溃等问题。

Rust Magazine 第二期发布！
https://rustmagazine.org/issue-2

#Scheme
最近在看SICP，需要提前学一学Scheme，网上找来一本简明教程 《Teach Yourself Scheme in Fixnum Days》 ，把Scheme的核心内容都讲到了，足够入门用了。

#杂
Atom编辑器原团队使用Rust打造的zed编辑器，目前闭源，个人的10个邀请码：https://zed.dev/invites/2JPChj2D_jlXtjP7 ，送完即止了。

#公众号
公众号【工具艺术家】，每一期采访一位独立开发者，最新的一篇文章《对话开发者第29期：我们更在乎的是，到老了，回顾这贫困潦倒的一生，是否做了几件有意思的事？》。

#文章推荐
《野心与梦想：国产大飞机浮沉五十年》

由于毕业于北航的缘故，在我的同学里有不少（曾经）参与国产大飞机的研发工作。去年C919获得适航证，同学群里着实欢呼了一番。

外界对C919的质疑之一，就是这里的零件很多都是外包生产的，如何体现所谓自主研发的优势？我想时间拉长一些，过去我们只能给别人生产零件，如今慢慢地也能自己设计制造了。

引用文中的话来回答这个质疑：

“
争议也因此甚嚣尘上：核心零部件大多进口而来，到底能不能叫自主研发？

实际上，飞机能组装成功，就已经是一种顶级制造能力。

飞机制造本质上考验的是对几十万零部件进行选型、协调、管理的“系统集成能力”，以及整体设计规划和精密控制的水平。

做消费电子，把CPU内存硬盘等零部件往主板上一插，就是台能用的电脑；但造飞机，把发动机买回来装进飞机壳里——这玩意它飞不起来。

最重要的是，飞机组装也意味着零部件的自主采购权，带动的是整个产业链的进步。和消费电子不一样，“拼起来的飞机”本质上是一个供应链平台。
”

用发展的眼光看问题，而不是仅仅只看一个时间的截面得到一个静止的结论。小时候经常看到的一句话“几代人的努力”去做某件事请，长大了以后觉得这样的话并不是空话，在很多领域咱们落后，于是就需要几代人接力去逐步靠近这个目标。

#Databend
Databend是一款基于云原生的数据库，底层的数据存储都跑在各种云服务之上（AWS、阿里云、华为云、腾讯云，etc），于是就需要一个数据访问层（Data Access Layer）去屏蔽底层不同存储介质的差异。

一年多以前，团队内的小伙开始构思将这部分功能独立出来成一个单独的模块，这样也能方便其他有类似需求的项目，这个项目就是后来的OpenDAL。后来也确实有不少项目用到了这个库，包括：sccache、GreptimeDB、RisingWave等。

经过一年多的生长，最近OpenDAL项目进入Apache基金会的孵化器了。