#开源项目
开源软件xz被爆出被植入后门，这篇文章《Everything I Know About the Xz Backdoor》把植入后门的Github作者在这个项目的活动拉了一个时间线，这个推里对这篇文章做了一个小结。
开源软件xz被爆出被植入后门，这篇文章《Everything I Know About the Xz Backdoor》把植入后门的Github作者在这个项目的活动拉了一个时间线，这个推里对这篇文章做了一个小结。
boehs.org
Everything I Know About the XZ Backdoor
Please note: This is being updated in real-time. The intent is to make sense of lots of simultaneous discoveries
#播客
#独立开发
《EP56 沉浸式翻译背后的故事| 对话创始人Owen》
沉浸式翻译（插件地址：FF、Chrome）是过去两年用到的最好用的效率工具，阅读外文网站必备，而且很良心，即便不开会员基本功能也够用了。
#独立开发
《EP56 沉浸式翻译背后的故事| 对话创始人Owen》
沉浸式翻译（插件地址：FF、Chrome）是过去两年用到的最好用的效率工具，阅读外文网站必备，而且很良心，即便不开会员基本功能也够用了。
Xiaoyuzhoufm
EP56 沉浸式翻译背后的故事 | 对话创始人Owen
听《硬地骇客》上小宇宙。 来自三位拥有10年+互联网创业者的深度思考和对话，我们关注前沿科技，分享创业故事，打造 “超级个体”，寻找利基市场，构建小而美的生意，同时也希望和广大 Hacker 一起探讨技术、产品和商业之美。
硬地骇客是一群追求自由充实的生活并喜欢挑战的 Builder，他们热爱技术，热爱构建产品，崇尚依靠产品驱动的增长方式构建出自己的小生意。
"每个人都值得拥有一个小生意”
本节目可以在Podwise.ai、小宇宙、YouTube、Apple podcast、Spotify、喜马…
硬地骇客是一群追求自由充实的生活并喜欢挑战的 Builder，他们热爱技术，热爱构建产品，崇尚依靠产品驱动的增长方式构建出自己的小生意。
"每个人都值得拥有一个小生意”
本节目可以在Podwise.ai、小宇宙、YouTube、Apple podcast、Spotify、喜马…
#书
每年的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原版书，五一之后就能送到了。
每年的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原版书，五一之后就能送到了。
#开源项目
对后台服务进行测试时，经常需要模拟一些异常情况看服务在这些异常情况下的表现，比如网络分区、延迟、硬盘IO延迟等，可以使用chaos-mesh项目来搭建环境模拟这类测试，非常强大且有完善的异常场景可供选择。
对后台服务进行测试时，经常需要模拟一些异常情况看服务在这些异常情况下的表现，比如网络分区、延迟、硬盘IO延迟等，可以使用chaos-mesh项目来搭建环境模拟这类测试，非常强大且有完善的异常场景可供选择。
chaos-mesh.org
强大的混沌工程平台 | Chaos Mesh®
#系统设计
#游戏服务端开发
《由「上线」产生的思考 》，作者在完整参与了一款游戏项目之后的总结，小十年前，作者刚出道时写过另外一篇文章《游戏服务端究竟解决了什么问题？ 》，也是非常好的游戏服务端开发文档。
#游戏服务端开发
《由「上线」产生的思考 》，作者在完整参与了一款游戏项目之后的总结，小十年前，作者刚出道时写过另外一篇文章《游戏服务端究竟解决了什么问题？ 》，也是非常好的游戏服务端开发文档。
Weixin Official Accounts Platform
由「上线」产生的思考
「上线经验」带给我的思考
#数据库
《第一个开源的大规模并行数据库突然 404，国内数仓市场或迎大变动 》
Greenplum关闭Github项目仓库的事情，好像没看到有太多讨论（如知乎、微博）。不知道未来Pivotal（中国）团队何去何从，有了解的可以来留言。
《第一个开源的大规模并行数据库突然 404，国内数仓市场或迎大变动 》
Greenplum关闭Github项目仓库的事情，好像没看到有太多讨论（如知乎、微博）。不知道未来Pivotal（中国）团队何去何从，有了解的可以来留言。
#开源项目
#sqlite
WCDB，微信基于sqlite实现的嵌入式数据库（各类微信终端上的聊天记录应该都是用这个数据库存储的），在sqlite基础上做了不少功能的增强。
《五年沉淀，微信全平台终端数据库WCDB迎来重大升级！ 》
#sqlite
WCDB，微信基于sqlite实现的嵌入式数据库（各类微信终端上的聊天记录应该都是用这个数据库存储的），在sqlite基础上做了不少功能的增强。
《五年沉淀，微信全平台终端数据库WCDB迎来重大升级！ 》
GitHub
GitHub - Tencent/wcdb: WCDB is a cross-platform database framework developed by WeChat.
WCDB is a cross-platform database framework developed by WeChat. - Tencent/wcdb