好资源和短想法
#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有什么区别。
* 油管上的一个视频课程：内容挺好的，但是貌似没有继续更新了。
除此以外，暂时这类课程好像找不到其他视频类的教程了。