codedump的电报频道

#游戏 #开源项目 云风开源了自己正在开发的游戏，现在可以试玩了，相关博文：《极度未来（ Deep Future ）给我的启发》。

#开源项目 #Latex 《A Complete Guide to Standard C++ Algorithms》，一本关于 C++ 标准算法的完整指南，含书籍的Latex源码，也可以做为使用Latex写书的参考。

#杂 Excel可能是最早的“无代码平台”吧，竟然有Excel电竞比赛：Excel World Championship，B站介绍这项比赛的视频。

#系统编程 《Fundamental of Virtual Memory》

#分布式 我最近的一个想法：Redis是一个优先考虑可用性的AP存储系统，实现一个兼容Redis协议（即使用现有的Redis客户端就能访问）的CP存储系统，是否有意义？

#系统编程 《The Hardware Knowledge that Every Programmer Should Know》

#开源项目 xv6是MIT用于操作系统教学的实验操作系统内核，有人基于这个内核实现了一套TCP/IP协议栈。

#独立开发 今天看到知乎《玉伯去字节后，他留下的语雀会被蚂蚁高层一句话砍掉废弃吗？》的一个回答，特别有感触：

其实这也是在大公司打工的一个大问题，就是这个产品，是你呕心沥血，每时每刻都在思考，每个细节扣来扣去，最终做出来了并且获得了用户的喜好你觉得自己获得了权利，全心全意做好这个产品的权利然而，这个产品，从来都不属于你这个产品的命运，取决了高层的看法和考量一念之差，就可以让你好好打磨这个产品的权利给下放或者剥夺产品负责人也好，所谓有壁垒不可替代持续学习的的核心研发也好，都是无主之地上劳作的玉米工人。

这也是我Gap的这段时间的思考之一。本质上来说，工程师并不掌握生产资料，所以很多事情并不由自己控制：产品的方向、收入等等。也正是因为不掌握生产资料，才会被人挑选、评论，职业生涯早期可能被挑选的维度是学历、技术，后面年纪大了就被挑年纪了。 所以，还是得有自己能够完全掌握的产品（所谓产品，就是有人给你买单的那种商业型产品），这也是我写分布式教程的原因之一。 另外，在这个时代，各种基建已经很完备了，做一个个人作品的门槛没有这么高了，这也是所谓的“超级个体”雨后春笋般出现的原因。 总而言之，我认为或早或晚的，每个人都应该有自己的产品才可以。

#开源项目 微软开源了48年前公司创立时，由比尔盖茨写的第一版Basic解释器代码。 这应该是Github上年代最久远的开源项目了。

#博客 我在今年初写了一篇博客，好像还没有发过：《写代码与做菜》，里面讲解了我套用写代码的一些方法论来学习做菜的历程。 除此以外，里面还提到我做菜时的一个思考：

“在中文里，“火候”这个词真的很妙，“火”强调了要对食物做功，“候”说明了要耐心等待时间。”

我现在真的很喜欢做菜，是我进入心流的一种方式之一。而且，这类无法被加速时间的“低效率”工作，也许是未来人工智能时代的一个难以被替代的工作类型之一。我就想着啥时候闲下来就大片的gap时间，好好报一个班系统学习一下做菜。

#分布式 很多朋友想看看正在编写的《图解分布式系统原理》的样章，我公开“时间”这一章的样章（https://pan.baidu.com/s/14ClwzIZKg3RCGIc0CIV0dg?pwd=ugt2），这一章的完成度相对较高。另外，把时间、Happen Before、全序、偏序的概念讨论清楚，才能更好得理解分布式中的一些概念，所以用了一整章讨论这些话题。

#投资 #纪录片 #播客 前阵子看了腾讯视频上的《激流 第二季》，这一季最后一期采访了群核科技的黄晓煌（群核科技也是今年初提到的杭州六小龙之一）。 黄晓煌回忆还在英伟达工作时（大概在2009年左右），黄仁勋在那个年代也不知道GPU能用来做什么除了图形图像渲染以外的事情，但是他确定的是：当计算能力越来越强，一定有它其它的用武之地。回头看过去的十几年，GPU分别在挖矿、AI上获得了大量使用，这也是支撑英伟达过去十几年股价暴涨的业务。 这也提醒我了：如果GPU的计算能力还会往前走，那么未来还会有新的应用在这个硬件上发展起来，只是现在不知道是什么而已。就好比舞台越来越大，无法再用现在的思路去预期在这个更大的舞台上能呈现什么表演。所以结论是：可以找合适的机会，继续买入英伟达股票，一直拿到GPU的发展进入瓶颈期为止。 《Vol.172 专访群核科技黄晓煌：一个技术创业者的14年》，这期播客是上面视频节目的更完整的访谈版本。

#C++ #Rust #类型推断 C++后来引入了auto关键字用于类型推断，但是这个类型系统在Rust面前就是个弟弟，因为经常会给推出来可能编译报警的类型。 例如代码：

for (auto i = 0; i < expected_actions.size(); ++i)

这在某些编译器上会报警：comparison of integer expressions of different signedness 这是因为这里的auto i进行类型推断时使用了int，而vector的size类型是size_t，一个是有符号整型，一个是无符号整型，在数据溢出的时候这个对比会判断出错，所以才有的这个告警。 我的问题是：既然如此，这里的auto i就应该推断成size_t才对。不然要你这个类型推断有何用啊？

#科普 《A visual history of Visual C++》，Visual C++的界面演化历史。 我是从VC 6.0时代开始用Visual C++，随着后面转向后端编程就很少用VC了。当年还用过一款叫visual assist的插件，看了一下居然现在还在，这种一款产品能持续迭代更新20余年的感觉真棒。

#数据库 几类数据库的问题很形象。

#编程 CPTI 程序员 16 型人格测试 我的测试结果是：

IRGO 架构守护者 你是数字世界的建筑大师，在看不见的地基上构筑着坚不可摧的技术堡垒。如同古代的石匠，你对每一块代码的位置都精益求精，对每一个系统架构的细节都一丝不苟。在你的世界里，稳定性不仅是技术指标，更是一种信仰和承诺。你独自在深邃的系统迷宫中探索，用工匠般的耐心和智者般的洞察，为整个数字生态系统筑起最可靠的基石。你的每一行代码都承载着对完美的追求，每一个架构决策都体现着对未来的深远考量。 核心特质 基础设施稳定可靠工艺精神独立工作 优势特长 深度理解系统架构和基础设施 能独立设计和维护复杂的后端系统 对代码质量和系统稳定性要求极高 善于发现和解决系统性能问题 发展挑战 可能过度追求技术完美而影响进度 倾向于独自工作，较少团队协作 对新技术采用持谨慎态度 可能忽视用户层面的需求

#无用的知识 《代码明明是用手敲的，为什么叫脚本？》，无用的知识又增加了。 简单总结一下： * Script 这个词来源于拉丁语 scriptum，意思是 something written（写出来的东西）。同样的词根在拉丁语动词 scribere（to write，写）、名词 scriba（clerk，文员）中也可以见到，是英文 scrivener（抄写员）的词源。 * 也就是说，“写”是这个词或词根的核心。 * 到了现代，Script 最常见的意思是：事先写好的、决定最终作品呈现的文字，即影视、戏剧、广播等作品的剧本、台本。 * 换到“计算机”领域，就是决定最终程序运行的、“敲”出来的“代码” * “脚本”源自古代中国戏曲的“脚色”（“角色”的前身），“脚”是支撑起舞台角色的根基，有“根本”之意。

#播客 #独立开发 《Ep 56. 对话 Hawstein：从独立开发，到追寻人生的意义》 我特别喜欢这一期，应该是捕蛇者说里最喜欢的一期节目。 非常同意里面的一个观点：即便最后达到所谓的财务自由状态，也不应该把自己的时间全都花在纯消费（输入型）的事务上，还是得找一个输出型的事情沉浸在里面，这样才能找到自己存在的意义。 同时推荐嘉宾之前的文章《一个独立创造者的五年》

#分布式 我们都知道一天的时间是86400（24*60*60）秒，但是所谓“一天”其实是地球自传一天的时间，“地球自传”是一个天文学的概念。受潮汐等一系列因素的影响，实际上一天的时间并不总是86400秒，比如刚刚过去的2025年8月5日这一天，就是有史以来最短的一天，这一天比86400秒少了1.25毫秒。 这个事情之所以放在“分布式”标签下，因为在我正在撰写的分布式教程中，会提到为什么不能选用“物理时间”来做为分布式系统中判断事件先后顺序的原因。物理时间由于以上的天文学因素、网络延迟等因素，并不能作为分布式系统中判断发生在两个不同节点上的事件发生的先后顺序的依据，而事件的先后顺序在分布式系统尤其重要，这个话题的思考也诞生了分布式领域最重要的一篇论文《Time, Clocks, and the Ordering of Events in a Distributed System》。

#数学 #科普 关于本福特定理的两个有趣科普视频： 《【毕导】这个定律，预言了你的人生进度条》 《【漫士】世界是对数的……吗？为什么？》

在数学中，本福特定律（英语：Benford's law）描述了真实数字数据集中首位数字的频率分布。一堆从实际生活得出的数据中，以1为首位数字的数的出现概率约为总数的三成，接近直觉得出之期望1/9的3倍。推广来说，越大的数，以它为首几位的数出现的概率就越低。它可用于检查各种数据是否有造假。但要注意使用条件：1.数据之间的差距应该足够大。2.不能有人为操控。