好资源和短想法
#课程
继续我的类型系统（当前在阅读TAPL）自学之旅，找到几个以这本书为主要教材的课程及视频：
* 北大《编程语言的设计原理》：基本按照TAPL书上的内容来讲解的，可以认为划出了每章的重点。
* cornell的CS4110《Programming Languages and Logics》：有很多TAPL以外的内容，还讲了类型系统这部分内容的数理逻辑基础。
* cornell的CS6110《Advanced Programming Languages》：还没仔细看，不知道和CS4110有什么区别。
* 油管上的一个视频课程：内容挺好的，但是貌似没有继续更新了。
除此以外，暂时这类课程好像找不到其他视频类的教程了。
继续我的类型系统（当前在阅读TAPL）自学之旅，找到几个以这本书为主要教材的课程及视频：
* 北大《编程语言的设计原理》：基本按照TAPL书上的内容来讲解的，可以认为划出了每章的重点。
* cornell的CS4110《Programming Languages and Logics》：有很多TAPL以外的内容，还讲了类型系统这部分内容的数理逻辑基础。
* cornell的CS6110《Advanced Programming Languages》：还没仔细看，不知道和CS4110有什么区别。
* 油管上的一个视频课程：内容挺好的，但是貌似没有继续更新了。
除此以外，暂时这类课程好像找不到其他视频类的教程了。
导出多年微信聊天记录，我用可视化分析了出自己的口头禅 [by JamesHopbourn]
https://sspai.com/post/82577
https://sspai.com/post/82577
X/Twitter RSS 订阅可用实例
https://nitter.privacydev.net/UserID
这个链接目前可以订阅 X/Twitter RSS，将用户 ID 添加到后面组成订阅源即可（替换 UserID）。目前效果不错，爬取链接会转到 Nitter 界面，点击 Twitter 图标可跳转原文。（来自群友）
Niter 是个开源轻量的 Twitter 前端替代，关于它的 Github Issus 可以关注。（R.I.P. Nitter）
Reference
Musk 封锁 X/Twitter API
RSS 源的全平台烧制
#tools
https://nitter.privacydev.net/UserID
这个链接目前可以订阅 X/Twitter RSS，将用户 ID 添加到后面组成订阅源即可（替换 UserID）。目前效果不错，爬取链接会转到 Nitter 界面，点击 Twitter 图标可跳转原文。（来自群友）
Niter 是个开源轻量的 Twitter 前端替代，关于它的 Github Issus 可以关注。（R.I.P. Nitter）
Reference
Musk 封锁 X/Twitter API
RSS 源的全平台烧制
#tools
#播客
最近读到的一本书《金钱心理学》，主要讲述人和金钱如何相处，如理财、投资、储蓄等等，是本好书，这期播客《E15.《金钱心理学》，它真的好会！更适合普通人的“宝典”》把书里的核心内容串讲了一遍，无论是书和这期播客都推荐。
最近读到的一本书《金钱心理学》，主要讲述人和金钱如何相处，如理财、投资、储蓄等等，是本好书，这期播客《E15.《金钱心理学》，它真的好会！更适合普通人的“宝典”》把书里的核心内容串讲了一遍，无论是书和这期播客都推荐。
#Rust
早年学C++的时候，觉得如果只推荐一本C++的书，那一定是《Effective C++》，这本书总结了C++里最重要、常见的一些知识点，事实上我甚至认为任何领域都需要这样一本总结出最常见知识点的书。
如今网上有人写了一个《Effective Rust》出来，也是类似的思路。
早年学C++的时候，觉得如果只推荐一本C++的书，那一定是《Effective C++》，这本书总结了C++里最重要、常见的一些知识点，事实上我甚至认为任何领域都需要这样一本总结出最常见知识点的书。
如今网上有人写了一个《Effective Rust》出来，也是类似的思路。