好资源和短想法
这个 New Repository Overview 里的快捷搜索真好用，推荐大家都开开
jvav终于终于有官方的playground了！ https://dev.java/playground/
这个新官网感觉还有很大优化空间啊，不过 oracle 居然搞了一个 .java 的顶级TLD，这个排面一下子就上去了。希望以后能开放注册吧，毕竟jvav的项目还是很多的
这个新官网感觉还有很大优化空间啊，不过 oracle 居然搞了一个 .java 的顶级TLD，这个排面一下子就上去了。希望以后能开放注册吧，毕竟jvav的项目还是很多的
大胆预测 COCOON 是今年的 Game of the Year！游戏设计/导演是为我们带来过 Inside 和 LIMBO 的 Jeppe Carlsen
https://www.cocoongame.com/
https://www.cocoongame.com/
#App
🍪 Hush：隐藏 Cookie 弹窗
🔗：Github | 官网
经常我们第一次打开一个国外网页的时候，网页总会以各种各样的形式跳出要求我们同意使用 Cookie 的弹窗。如果你也对这个征求同意的小弹窗感到厌烦，那么 Hush 可以帮上你的大忙。
✨ Features
Hush 是一个非常简单的开源 Safari 插件，兼容 Mac iPhone 和 iPad。它帮助用户隐藏 Cookie 弹窗。它不会帮助用户同意，也不会帮用户拒接 Cookie 使用，而是隐藏弹窗。
虽然产品就是这么简单，Hush 还有一个自己的网页，网页上还有示意动画。Hush 还有自己的 Product Hunt 页面。
⚙️ 开源
Hush 1.0 发布于 2020 年。目前 Hush 已经在 Github 上获得了 2.8k Star， 和 120 个 issue。Issue 大多反馈为个别网站的兼容性问题。
👀 感想
目前我使用过程中并没有碰到什么兼容性的问题。Hush 对我来说就和广告屏蔽插件一样，属于浏览器的必备工具。不过 Hush 目前只支持 Safari，相信绝大多数的读者的主力浏览器都是基于 Chromium 的，但还是推荐使用 Safri 的读者尝试一下 Hush。
频道：@NewlearnerChannel
🍪 Hush：隐藏 Cookie 弹窗
🔗：Github | 官网
经常我们第一次打开一个国外网页的时候，网页总会以各种各样的形式跳出要求我们同意使用 Cookie 的弹窗。如果你也对这个征求同意的小弹窗感到厌烦，那么 Hush 可以帮上你的大忙。
✨ Features
Hush 是一个非常简单的开源 Safari 插件，兼容 Mac iPhone 和 iPad。它帮助用户隐藏 Cookie 弹窗。它不会帮助用户同意，也不会帮用户拒接 Cookie 使用，而是隐藏弹窗。
虽然产品就是这么简单，Hush 还有一个自己的网页，网页上还有示意动画。Hush 还有自己的 Product Hunt 页面。
⚙️ 开源
Hush 1.0 发布于 2020 年。目前 Hush 已经在 Github 上获得了 2.8k Star， 和 120 个 issue。Issue 大多反馈为个别网站的兼容性问题。
👀 感想
目前我使用过程中并没有碰到什么兼容性的问题。Hush 对我来说就和广告屏蔽插件一样，属于浏览器的必备工具。不过 Hush 目前只支持 Safari，相信绝大多数的读者的主力浏览器都是基于 Chromium 的，但还是推荐使用 Safri 的读者尝试一下 Hush。
频道：@NewlearnerChannel
#课程
继续我的类型系统（当前在阅读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