codedump的电报频道 @codedump_notes Channel on Telegram

codedump的电报频道

@codedump_notes


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

codedump的电报频道 (Chinese)

codedump的电报频道是一个专注于发布个人博客(主页 codedump.info)、想法、推荐等内容的频道。如果你想及时获取 codedump 的最新动态和想法,不妨关注一下这个频道。你可以通过订阅其 RSS 地址(https://rsshub.app/telegram/channel/codedump_notes)来获取更多内容。此外,如果你想查看过往的内容汇总,可以前往 https://app.shokichan.com/c/tg/codedump_notes 进行搜索。无论是想了解技术分享、生活感悟还是其他领域的内容,codedump的电报频道都能为你提供丰富的信息。赶快点击关注,一起探讨、交流吧!

codedump的电报频道

23 Jan, 09:47


我特别喜欢在技术文章中画图,有两个原因:对作者而言,如果能用图表达思路,侧面说明是真的掌握了;对读者而言,图形也比一维的文字更容易理解、信息量更大,图形中可以增加联系、颜色、形状等多维度信息。

所以一方面要让自己真的掌握一个知识点,另一方面要锻炼自己的画图表达的能力,以画图来反向验证自己对知识的掌握。画图的一些心得,参考我以前写的文章:《技术配图的一些心得》。

至于我用的画图工具,现在如果是随手画的图,就用excalidraw;一些更为正式的图,就用Mac上的OmniGraffle,可以很方便得对齐、调整颜色、字号大小等等,大几百买断的单机单平台软件,但是超值。

codedump的电报频道

22 Jan, 08:53


#分布式
从2025年开年后开始写一本分布式教程,到现在过去了20天(中间还花了小一周时间准备面试,最后还不合适),初步写好了两章,大家可以看看。由于只是初稿,错漏在所难免,就是给大家看看目前的完成度。两章内容里,自己手画了20多张图,按照我预估全部完成可能有8章的内容,所以最后可能要画200+张的图。我挺喜欢画图解释原理的,一图胜千言。

codedump的电报频道

21 Jan, 07:38


#杂
一个国家的最高领导人,明目张胆发币敛财,叹为观止、闻所未闻。

(本来不想发这顿吐槽,实在是这几天被评论区的spam搞烦了)

codedump的电报频道

20 Jan, 04:21


#Rust
国内知名Rust社区贡献者Folyd,之前曾经给Rust贡献了一个优化的二分查找实现:《优化 Rust 标准库的 binary_search》。

但是这个实现,会导致在有多个重复元素的情况下,返回是不确定的,最终导致了币圈某产品的翻车,这里可以看到作者的后续推文。
我们回到这个问题本身:除了撤销这个修改,下一步应该在Rust标准库里增加多个重复元素的测试用例了吧?

codedump的电报频道

20 Jan, 04:05


#人物
前阵子推过DeepSeek背后公司幻方量化的消息,这家公司的创始人梁文锋在网上能找到的公开信息很少,正好看到一篇文章更详细介绍了他和他的公司。(题目过于标题党就不贴出来了,可以点击上面的文章链接直达网页)

codedump的电报频道

17 Jan, 04:15


#数据库
#sqlite
前两天和一位同行聊起来:给传统的tp型数据库,增加列式数据处理能力,比如存取parquet数据、比如增加时序型数据的处理,好像还有点搞头。

有不少给postgresql增加了这些能力的项目了(例如pg_duckdb),我在想:也许也可以把这些做法照搬到sqlite上面。

另外,他也提到另一个观点:对于大部分企业来说,时序类+文本搜索类场景,应该覆盖了90%以上的AP需求了。

codedump的电报频道

14 Jan, 07:27


#算法
演示HyperLogLog算法原理的网站

codedump的电报频道

14 Jan, 04:22


#数据库
看到一个很有意思的视角(出处): 把数据库当做一个VM(Virtual Machine)的话,SQL就是操作这个VM的高级语言。

codedump的电报频道

08 Jan, 03:53


#独立开发
《2024: 独立开发的第一年,我的收获与成长》

codedump的电报频道

07 Jan, 04:02


#系统编程
《Welcome to Lord of the io_uring》,io_uring教程

codedump的电报频道

06 Jan, 06:41


#独立开发
《我是如何从零开始手搓一个独立游戏并上架 Steam 的》,作者记录自己从2018年从零开始开发游戏,直到2025年元旦上线steam的历程。

codedump的电报频道

02 Jan, 09:32


#分布式
开写我的分布式原理教程,初步想好的名字是《图解分布式系统原理》。想写这个教程,是因为重读DDIA的过程中,发现在分布式这块,有很多地方没有展开写。例如happen before关系,例如共识算法(作者一笔带过,我严重怀疑他可能不会:)。

目前先在Latex上写,后续写好了会逐章公布在网站上。

codedump的电报频道

01 Jan, 01:17


#新年
2025年了,我隐约预感到未来不少于我很重要的事情,都会在今年有一个开始。

codedump的电报频道

31 Dec, 03:55


#数据库
《Excel电竞大赛2024年决赛试题讲解》

从数据库的视角来看,Excel算是一款AP型数据库,只不过:
* 不能使用SQL查询语句,使用的是Excel里面的函数;
* 存储数据的格式是CSV。

codedump的电报频道

29 Dec, 08:45


#Rust
#C++
2024年了,C++项目解决库依赖管理还是一坨XX

codedump的电报频道

28 Dec, 04:08


#人工智能
#开源项目
前两天的Deepseek v3发布,效果有点震惊,看论文所说,只用了2048张H800显卡,2个月不到时间训练完毕,计算预算只有不到600万美元就训练出来了新的模型。

与其他大模型玩家不同的是,deepseek背后是一家叫幻方量化的公司,不是传统的互联网企业,前几个月看到的采访《揭秘DeepSeek:一个更极致的中国技术理想主义故事》,更早的一篇采访《疯狂的幻方:一家隐形AI巨头的大模型之路》。

codedump的电报频道

27 Dec, 04:05


#人工智能
最近一周,看到的两个机器人相关的视频:
《百米高空,四川电网首次应用机器人“上线”除冰!》
《宇树科技的Unitree B2-W 工业轮足机器人》

codedump的电报频道

25 Dec, 09:45


#人工智能
《2024年AI盘点:投资高歌猛进、基础设施重构、技术采用加速》,英文原文《2024 Backward Pass: The Definitive Guide to AI in 2024》

codedump的电报频道

25 Dec, 04:16


#播客
《E176|SpaceX 的商业版图与太空经济的崛起》,科普了很多太空经济的概念,很喜欢这期的嘉宾张璐,里面提到的使用人工智能在赞比亚发现铜矿见新闻《人工智能将引燃赞比亚的铜矿热潮》。

codedump的电报频道

12 Dec, 03:51


#书
清华大学严蔚敏老师去世(见微博)。

当年学习数据结构,就是看的严蔚敏的数据结构书入门的。大一的暑假,只剩我一个人的宿舍里,对着蓝色界面的TC2.0,把书里的伪代码敲成C语言,调试代码里的问题,至今那个暑假的夏天仍然是我美好的回忆。

codedump的电报频道

11 Dec, 04:04


#数据库
#sqlite

turso在官网上宣传自己使用Rust重写sqlite的项目Limbo:《Introducing Limbo: A complete rewrite of SQLite in Rust》

我个人的看法:
* Rust的类型安全、内存安全等特性,似乎并不是sqlite这个项目目前最大的痛点;
* sqlite自身庞大的测试集合,并不开源(原文中有一句话“SQLite’s test suite is proprietary”),没有这些测试用例的支持,很难说这个项目的质量如何;
* sqlite项目也有自身的一些问题,这个世界实例最多的数据库项目,在我看来“开源但并不开放”,只接受几位核心开发团队的代码贡献,不像一般的开源项目那样可以接受来自社区的pr,所以turso自己才fork了一个libsql出来,也许正是因为sqlite非社区维护,才让人对它有所担心。

codedump的电报频道

07 Dec, 11:48


#杂
昨天阿里大文娱的负责人樊路远在灵犀互娱为入职五年的员工举行授戒仪式时发表了一番讲话,摘要见附图,更详细内容见:《阿里合伙人:腾讯网易5年内优势不再,灵犀互娱8年内做到第二》,长一点的摘要可以参考微博。

我通读下来,感觉这一篇讲话里包括但不限于以下元素:服从性测试、PUA、地域歧视、封建迷信、外行指导内行、领导抢功。这让原本只有刻板印象的阿里味儿更加生动、立体、鲜活了起来。

codedump的电报频道

07 Dec, 09:40


#开源项目
又一种很“新颖”的往开源项目里下毒的手法:有人对Python 包 ultralytics 发了 PR,其中包含如图分支名,当 GitHub 执行 CI 任务时,执行脚本获得仓库密钥,进而在发布包中植入加密货币挖矿程序

https://lwn.net/Articles/1001215/

codedump的电报频道

04 Dec, 10:25


#人工智能
《第80期:拒绝 AI 焦虑》

现在要警惕一类所谓的“开发者”:他们编了一个X小时用AI开发项目的故事,号称获得了多少的成绩,然后营销引流到自己的卖课培训上,本质上这个生意还是在卖焦虑。

codedump的电报频道

03 Dec, 04:13


#开源项目
#Latex

Latex-css:一个css库,作用就是让网站看上去像是一个LaTeX文档,这里看demo

codedump的电报频道

21 Nov, 03:59


#世界观
我最近很喜欢的一句话(已经忘了出处):我知道我可以做到,只不过要多花一点时间。

现在每当我开始怀疑自己的时候,都会拿出这句话来提醒自己:多点耐心,你可以的。

在这个时代,“耐心”真的是一个很宝贵的品质。《士兵突击》里,袁朗第二次和许三多见面,彼时钢七连已经解散,许三多一个人守着空无一人的营地宿舍大半年,每天仍然按照正常作息出操。袁朗对许三多说:“我喜欢你,不太焦虑。耐得住寂寞,有很多人天天都在焦虑,怕没得到,怕寂寞,我喜欢不焦虑的人” 。

codedump的电报频道

10 Nov, 03:50


#Python
#技术文章

系列文章《Let’s create a Python Debugger together》:Part1、Part2、Part3、Part4

codedump的电报频道

08 Nov, 07:17


#独立开发
#Latex

前阵子推荐过的ppresume作者,写了一篇长文讲解排版引擎的工作原理:

中文版:《排版引擎纵谈:程序员的视角》
英文版:《On Typesetting Engines: A Programmer's Perspective》

codedump的电报频道

03 Nov, 07:22


#杂
2024年阿里巴巴全球数学竞赛的“姜萍事件”,终于有了结果。

做为当时也在本频道传播了姜萍初赛成绩的人,我感到非常羞愧。身为一个理科生,面对这种非常“异常”的数据,没有选择再等等、再看看,而是第一时间转发了新闻,非常惭愧。

本频道是一个完全由我个人维护的频道,虽然选择哪些新闻转发,都是个人的主观选择,但是我力求每个转发的新闻都有较为详细的出处、来源,能够让这个频道的订阅者都可以自行去校验、查证。《掌控习惯》(英文名《Atomic Habits》)一书中说:系统比目标重要,即建立一个良好运作的系统,比达成目标更为重要。就这次而言,我的判断系统暴露出了不小的问题,值得我后期多去反思改进。

codedump的电报频道

25 Oct, 10:18


#文章
Joel Spolsky关于抽象泄露(Leaky Abstractions)的文章,作者通过多个例子说明了渗漏抽象的普遍性,并指出了解底层原理对于处理这些渗漏至关重要。

原文:《The Law of Leaky Abstractions》
翻译:《软件开发中的抽象泄露法则 》

codedump的电报频道

24 Oct, 06:45


#开源项目
众所周知,知乎的内容需要登录之后才能看全文,这给分享带来很大不便,使用fxzhihu项目,将对应的知乎链接中zhihu替换为fxzhihu就可以,最好加上"?redirect=false"参数禁止跳转回知乎原贴,例子。

codedump的电报频道

23 Oct, 06:47


#开源项目
tcpcopy项目的作者,最近写了一个开源文档《How to Make MySQL Better》,主要内容是MySQL的性能优化。

codedump的电报频道

21 Oct, 04:08


#独立开发
之前推荐过赵纯想的胃之书,最近哥们又开发了新的独立应用陌生人闹钟(看他的评论只用了20多天时间就完成了,而且是IOS、安卓双端都有),对于一个两年前才开始写代码的人而言,我只能说动手能力太强了。

我对于类似他这样,不仅有想法,还能通过学习(新技能)把想法落地实践的人都充满敬畏,剧本、小说、产品、编程,不过是这类人表达想法的工具和手段而已。

codedump的电报频道

18 Oct, 00:43


#杂
《如何找到愿意为之付出一生的研究事业?》,作者讲述了自己如何从一个讨厌复习的高中生,到接触Anki之后提升了学习成绩,进而慢慢进入“记忆研究”这一领域的经历。

codedump的电报频道

09 Oct, 09:58


#开源项目
这段时间都在做自己的开源项目replited,用于备份sqlite数据库文件,项目参考了litestream如何利用sqlite的WAL机制做到增量备份,由于使用了opendal,这样接入各类型的存储后端会更方便一些。

这是我打算在sqlite生态上做一点事情之后,交出的第一个项目,我也想看看最后自己能做到什么程度。

codedump的电报频道

05 Oct, 11:50


#杂
转自推特的视频:看起来这些球整体是以圆形在运动,但是仔细看每个单独的球又都是在跑直线。一起在跑直线的球,只是施以时间、空间上的偏差,就形成了整体在跑圆形的错觉。

codedump的电报频道

25 Sep, 04:47


#杂
去年承德程序员的后续,看来是没事了,”让子弹再飞一会儿“。

codedump的电报频道

24 Sep, 04:00


#杂
我已经忘了在哪里看到的这个文生图,感觉对程序员的描述还是挺到位的。

codedump的电报频道

12 Sep, 09:35


#开源项目
前两天在朋友圈看到别人发代码截图觉得微软出的这款Cascadia Code字体真好看,马上下载下来做为编辑器字体了。

codedump的电报频道

10 Sep, 06:03


#播客
《EP 59. 对话硅谷连续创业者梁胜:20年3家公司总并购金额10亿美金,征战GenAI的走心创业思考》

两篇关于这次采访嘉宾梁胜的文章:
《云农场的放牧人 Rancher》
《梁胜博士:写给程序员的话》

codedump的电报频道

09 Sep, 04:07


#算法
校验信用卡号码用到的Luhn 算法,我试了一下中国的信用卡用的也是算法。
图片里的第二步“add the digits of the product(e.g. 1+6=7)”,也可以这么做:如果第一步得到的数大于9,说明是一个二位数,这时候需要减去9重新变成一位数。

codedump的电报频道

05 Sep, 03:55


#数据库
#系统设计

《Things I Wished More Developers Knew About Databases》

codedump的电报频道

04 Sep, 04:03


#游戏
《《云宫迅音》是怎么来的》

小时候《云宫迅音》的音乐响起,就知道寒暑假期到了,和这首歌一样享有“假期提示器”功能的,大概只有后来《还珠格格》的片头曲《当》了。

codedump的电报频道

30 Aug, 04:25


#开源项目
#sqlite

我最近打算看看个人能不能在sqlite生态上做点事情,花时间整理了一下sqlite相关项目、资料,见:https://github.com/lichuang/awesome-sqlite

欢迎star、提issue。

codedump的电报频道

29 Aug, 04:45


#播客
#世界观
《E97 就我这三瓜俩枣的,也需要像顶级富豪一样考虑财富传承?》
《E153 高净值人群大观察:2024 年,他们有钱人在烦恼什么?》

很有意思的两期节目,嘉宾李璞的职业是理财规划师,简单理解就是给有钱人规划财富的,节目里谈到了财富、传承、子女教育等观念,还有一些野史、八卦(比如乾隆也许是故意把和珅留给儿子收割、洛克菲勒家族的传承)等等。

codedump的电报频道

28 Aug, 04:01


#分布式
#一致性算法

《将 paxos 和 raft 统一到一个协议下: abstract-paxos》

所以还是那句话:“There is only one consensus protocol, and that's “Paxos” — all other approaches are just broken versions of Paxos(世界上只有一种共识协议,就是 Paxos,其他所有共识算法都是 Paxos 的退化版本。)”

codedump的电报频道

19 Aug, 04:13


#开源项目

《Software Engineering at Google》一书的中英文对照版。

codedump的电报频道

15 Aug, 04:15


#播客
虽然从来没打过网球,也没看过完整的网球比赛,但是我觉得网球这项运动区别于其它运动最特别的一点是:一旦运动员上场比赛,中间就不能再获得教练的帮助,要自己独自面对场上发生的一切情况。所以李娜的自传书名是《独自上场》。

实际上,不止于网球,很多事情上我们都是“孤独”的,需要随时做好“独自上场”的准备。“独自上场”,才是生活的常态。

前几年听过张潇雨的播客《网球(上)——孤独和它所创造的》,专门介绍网球这项运动,这次奥运会想起来这期节目,只可惜好像这期节目没有下半段了。

这期播客里提到的《The Inner Game of Tennis》(中文《身心合一的奇迹力量》),多抓鱼上一直买不到。

codedump的电报频道

08 Aug, 04:21


#播客
《E162|清华姚班如何培养天才:给最有挑战性的问题和足够的自由度》,帮我了解了一点姚班这个“神秘组织”,最后一部分讲姚班培养机制的内容不错。