#课程
《Grep by example: Interactive guide》：交互式Grep命令教程，也可以直接下载pdf版本。

#开源项目
开源软件xz被爆出被植入后门，这篇文章《Everything I Know About the Xz Backdoor》把植入后门的Github作者在这个项目的活动拉了一个时间线，这个推里对这篇文章做了一个小结。

#播客
#人工智能

我非常喜欢的科技类访谈记者张小珺，前阵子分别就人工智能话题采访了三个人：月之暗面创始人杨植麟、投资人朱啸虎和技术出身的CEO王小川，被人称为“AI三部曲”，历时几个月终于等到了这三篇采访的文字稿和播客都上线了。三人的介绍，可以点击下面名字中的链接跳转到我整理的百度百科词条，简单的说：杨植麟技术理想男、朱啸虎现实投资人、王小川则兼具技术和商业思维。

* 上篇杨植麟：《对话月之暗面杨植麟：向延绵而未知的雪山前进》（播客）
* 中篇朱啸虎：《朱啸虎讲了一个中国现实主义AIGC故事》（播客）
* 下篇王小川：《王小川想提出中国AGI第三种可能性》（播客）

在这里可以看到对这三篇采访做的简单总结。

杨植麟的采访中有一句话：

如果你能用scale解决的问题，就不要用新的算法解决。新算法最大价值是让它怎么更好的scale。当你把自己从雕花的事中释放出来，可以看到更多。

我觉得可以把这句话和程序设计中“过早优化是万恶之源”的原则结合起来一起理解。

#数学
#科普视频

《The Map of Mathematics》，将数学分为纯数学和应用数学两个部分，将这里常见的方向大体讲解了一下，比较浅也肯定不够全，姑且看看。

#课程
#LaTex
#开源项目

《The Missing Semester of Your CS Education》的中文LaTex重排版

#播客
#独立开发
《EP56 沉浸式翻译背后的故事| 对话创始人Owen》

沉浸式翻译（插件地址：FF、Chrome）是过去两年用到的最好用的效率工具，阅读外文网站必备，而且很良心，即便不开会员基本功能也够用了。

#书

每年的4.23是世界读书日，推荐一本过去一年在精读的技术书《Types and Programming Languages》（简称TAPL）。

我与这本书的缘分是这样的：

最开始，想要看懂databend里面的表达式系统代码，看迟先生的类型体操系列文章《用 Rust 做类型体操》，发现看不懂。

于是请教了负责表达式系统的同事，给我推荐了TAPL这本书。

开始阅读TAPL，但是发现里面很多符号看不懂，需要补一些数理逻辑和Lambda演算的基础。

补习了上述基础之后，继续看TAPL，能看懂部分了。第一刷TAPL花了半年多的时间（包括补习基础的时间）。

现在又重新整理了一下之前做的笔记，也看了部分EOPL（全称“Essentials of Programming Languages”）的内容，开始第二刷。在完善了前面的基础之后，第二刷就流畅很多了。

这个过程中有如下的收获：
1、体验到了数理逻辑形式化的美感。做工程的时候，经常会做工程上的trade-off，但是在类型系统这里，一个类型能否转换为另一个类型，需要严谨的推导，可以就是可以，不行就是不行，不存在trade-off。我特别喜欢这种符号形式化、确定性的美感。
2、重拾了对PL的兴趣。我接下来会把EOPL和TAPL刷完，打算接着学习一下OCaml，再看看能不能给Rust贡献一些代码。
3、后面会学习抽象代数和范畴论，学习范畴论是为了更好理解PL里面的一些理论。
4、Rust最开始吸引我的是它的内存安全特性，现在除此以外，还有它强大的类型系统，强类型系统的语言写起来放心、方便很多。我后续可能不太能接受用非强类型的语言来做为主力编程语言了。

为了纪念这个学习的过程，我前两个月趁着JD搞活动，花重金（大几百人民币）买了一本TAPL原版书，五一之后就能送到了。

#游戏开发
#博客
云风《重新启程》

Reference：https://t.me/codedump_notes/497

#播客
《对话玉伯：字节是我在阿里的第16年，今天是Last Day》

#系统设计
《42 things I learned from building a production database》，中文解读版

#开源项目
对后台服务进行测试时，经常需要模拟一些异常情况看服务在这些异常情况下的表现，比如网络分区、延迟、硬盘IO延迟等，可以使用chaos-mesh项目来搭建环境模拟这类测试，非常强大且有完善的异常场景可供选择。

#杂
来一点网络正能量吧，前两天在微博看到的知乎回答《有什么软件官方已经停更了或者公司已经倒闭了，但是你还在用并且觉得很好用的？》，故事的主角是中国著名黑客sunwear（人称“日娃”）。

#算法
《从零开始 ICPC》（国际大学生程序设计竞赛，旧称ACM竞赛）。

作者jiangshibiao用之前寸的OI 知识图，根据自己的理解标上了难度和注释，给从零开始学 ACM 的同学参考。难度分为了 1,2,3三层。

熟练应用难度1，leetcode 周赛题应该能乱杀了。
熟练应用难度1和2，差不多能和队友混个 acm 金牌了。
熟练应用难度3，应该能单挑拿 acm 金/组队出线 WF 了。

#系统设计
#游戏服务端开发
《由「上线」产生的思考 》，作者在完整参与了一款游戏项目之后的总结，小十年前，作者刚出道时写过另外一篇文章《游戏服务端究竟解决了什么问题？ 》，也是非常好的游戏服务端开发文档。

#数据库
《第一个开源的大规模并行数据库突然 404，国内数仓市场或迎大变动 》

Greenplum关闭Github项目仓库的事情，好像没看到有太多讨论（如知乎、微博）。不知道未来Pivotal（中国）团队何去何从，有了解的可以来留言。

#播客
《世界好像变难了，我们该如何应对？》，世界变化的频率变快，极端现象比以往更频繁出现，应该如何应对？

#开源项目
#sqlite
WCDB，微信基于sqlite实现的嵌入式数据库（各类微信终端上的聊天记录应该都是用这个数据库存储的），在sqlite基础上做了不少功能的增强。

《五年沉淀，微信全平台终端数据库WCDB迎来重大升级！ 》

#sqlite
《SQLite的文艺复兴》，文章里更吸引我的是后半部分，讲解sqlite在很多不同领域的扩展。

#英伟达
#芯片
#播客
过去一周，听了两期季宇（知乎账号）做客聊英伟达、芯片的播客节目：

《英伟达的阳谋、破绽与野心| 对话行云创始人Mackler 季宇》
《如何成为下一个英伟达：与Mackler季宇聊AI芯片的突围之路》

#字体
#开源项目
#Latex
《思源字体背后的中国公司- 造福亿万国人，默默无闻 40 载，让中国字体走向世界》
对应知乎问题：《参与思源黑体项目的常州华文（Changzhou SinoType）是一家怎样的公司？》

BTW：我自己最近把浏览器、Latex使用的字体切换为开源的霞鹜文楷，目前感觉良好。