好资源和短想法
只缘身在此山中：我在五台山做义工 [by 毛仔]
https://sspai.com/post/88078
https://sspai.com/post/88078
12.5 GPT 与进阶技巧：AI 内容检测 [by Fairyex]
https://sspai.com/post/85766
https://sspai.com/post/85766
出行锦囊 | 出去玩带什么：和你分享我的包 [by 煎饼饼]
https://sspai.com/post/83351
https://sspai.com/post/83351
我的购房指北：买房之前可以关注什么？ [by Wannz]
https://sspai.com/post/88238
https://sspai.com/post/88238
#有冇用 #Newsletter
🎪 有（冇）用 062｜一些关于「自己」的意识
🔗 官网 | 竹白
🥰 看着标题可能会觉得很玄，但这期其实关于「自己」话题的浅聊。因为了解到数字花园的概念，Kwen 开始有意识打造自己的花园，建立自己的脉络，一步步充盈。而 Abbie 则在大自然纪录片中，找到了让自己放松的感觉。
提到自己，在新年的时候 Kwen 因为逃离催婚话题，去埃及旅行了 14 天，7个城市，这期粤语播客有关于每个城市的感受。
🥸 论尽一周
▫️ 构建自己的数字花园
👀 得闲睇下
▫️ 我的章鱼老师
🌟 值得一读
▫️ 取悦自己的800种方法
▫️ 当中有个「之间」的概念很有意思：姜Dora×林桂枝
▫️ 你和你的研究
🍃 有（冇）用 Newsletter，由设计师 Abbie 和艺术编辑 Kwen 发起，每期没有固定的主题，正如生活没有固定的方向。我们相信每一种出乎意料所带来的感悟，总会在不久的将来，在某一个时刻，冇用终将转化为有用，成为生活中的一种养分。
频道：@NewlearnerChannel
🎪 有（冇）用 062｜一些关于「自己」的意识
🔗 官网 | 竹白
🥰 看着标题可能会觉得很玄，但这期其实关于「自己」话题的浅聊。因为了解到数字花园的概念，Kwen 开始有意识打造自己的花园，建立自己的脉络，一步步充盈。而 Abbie 则在大自然纪录片中，找到了让自己放松的感觉。
提到自己，在新年的时候 Kwen 因为逃离催婚话题，去埃及旅行了 14 天，7个城市，这期粤语播客有关于每个城市的感受。
🥸 论尽一周
▫️ 构建自己的数字花园
👀 得闲睇下
▫️ 我的章鱼老师
🌟 值得一读
▫️ 取悦自己的800种方法
▫️ 当中有个「之间」的概念很有意思：姜Dora×林桂枝
▫️ 你和你的研究
🍃 有（冇）用 Newsletter，由设计师 Abbie 和艺术编辑 Kwen 发起，每期没有固定的主题，正如生活没有固定的方向。我们相信每一种出乎意料所带来的感悟，总会在不久的将来，在某一个时刻，冇用终将转化为有用，成为生活中的一种养分。
频道：@NewlearnerChannel
用间隔重复系统来看穿数学概念 - Michael Nielsen
https://zhuanlan.zhihu.com/p/694032460
https://zhuanlan.zhihu.com/p/694032460
#书
每年的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原版书，五一之后就能送到了。
#Newsletter #CyberClip
✂️ CyberClip #52 忙碌成瘾
🔗 博客 | 竹白
↪️ CyberClip 是一份臻选互联网上有价值内容的赛博剪报，两周一期，涵盖新奇趣闻、热点议题、前沿科技以及其他关于生活、关于未来的事物。
👉 精神食粮
💡 生产力的幻觉：我们为何对忙碌上瘾
👉 随便看看
📕 我们为何迷恋于废土 废土文化美学
🔮 天文学的历史就是一部智慧生命从无创生的历史
👨👩👧👦 「狗屁新闻」如何包围了我们的生活？
👁 我们能指望社交媒体平台减少极化吗？
🎨 关于《龙珠》，你可能不知道的 10 件事 与 鸟山明和他最爱的小车—阿拉蕾篇
*️⃣ 专栏 | 群组 | 频道 | 日志 | 小红书
频道：@NewlearnerChannel
频道：@NewlearnerChannel
#Newsletter #CyberClip
✂️ CyberClip #52 忙碌成瘾
🔗 博客 | 竹白
↪️ CyberClip 是一份臻选互联网上有价值内容的赛博剪报，两周一期，涵盖新奇趣闻、热点议题、前沿科技以及其他关于生活、关于未来的事物。
👉 精神食粮
💡 生产力的幻觉：我们为何对忙碌上瘾
👉 随便看看
📕 我们为何迷恋于废土 废土文化美学
🔮 天文学的历史就是一部智慧生命从无创生的历史
👨👩👧👦 「狗屁新闻」如何包围了我们的生活？
👁 我们能指望社交媒体平台减少极化吗？
🎨 关于《龙珠》，你可能不知道的 10 件事 与 鸟山明和他最爱的小车—阿拉蕾篇
*️⃣ 专栏 | 群组 | 频道 | 日志 | 小红书
频道：@NewlearnerChannel
频道：@NewlearnerChannel
150/N #女性主义
《看不见的女性》这本书读了有些时间，一直没读完，今天吃了晚饭后把剩余的部分匆匆过完了。全书说的事情就一个：性别数据缺口很大。大白话就是，占人类一半的女性常常被忽略，很多东西都以男性的标准进行设计。书中各种数据和事实的罗列，的确刷新了不少认知。缩小性别数据缺口确实对每个人都会更好。
本书最大的价值在于，让更多的人认识到我们生活的社会，性别偏见是无可置疑的。要改变这一现状显然不容易，因为它涉及太多，包含经济、社会、政治、教育等方方面面。但有人在踏出这一步，相信后面会越来越好，一些小的改变在发生，例如 Emoji 在描述一些行为时，同时给出了不同性别的表情。
不过，本书的缺点也很明显——数据堆砌生硬，分析反而浅显。一些数据的引用，显得作者是拿着锤子找钉子，比如引用一些博客用户吐槽的描述，这显然是缺乏说服力的。
《看不见的女性》这本书读了有些时间，一直没读完，今天吃了晚饭后把剩余的部分匆匆过完了。全书说的事情就一个：性别数据缺口很大。大白话就是，占人类一半的女性常常被忽略，很多东西都以男性的标准进行设计。书中各种数据和事实的罗列，的确刷新了不少认知。缩小性别数据缺口确实对每个人都会更好。
本书最大的价值在于，让更多的人认识到我们生活的社会，性别偏见是无可置疑的。要改变这一现状显然不容易，因为它涉及太多，包含经济、社会、政治、教育等方方面面。但有人在踏出这一步，相信后面会越来越好，一些小的改变在发生，例如 Emoji 在描述一些行为时，同时给出了不同性别的表情。
不过，本书的缺点也很明显——数据堆砌生硬，分析反而浅显。一些数据的引用，显得作者是拿着锤子找钉子，比如引用一些博客用户吐槽的描述，这显然是缺乏说服力的。
supabase 最近开源了一个 PostgreSQL 插件，可以直接提供数据库索引的建议，以提高查询性能。
可以直接在 supabase 上进行安装，也可以直接学习 SQL 看看原理。
PostgreSQL Index Advisor | #插件
可以直接在 supabase 上进行安装，也可以直接学习 SQL 看看原理。
PostgreSQL Index Advisor | #插件
Craft 怎么在生产力工具里设计声音 | blog
Craft（Notion 的竞品）介绍了他们在产品里加入声音/音效的整个过程
开始单纯的点击音效很冷，也没有主题。之后选择了模拟真实世界里的声音，并且更微妙、低调地融入操作
声音设计师录制了翻书、写字、擦橡皮等自然声音，并把它们扩展成了一个声音的“设计系统”
Craft（Notion 的竞品）介绍了他们在产品里加入声音/音效的整个过程
开始单纯的点击音效很冷，也没有主题。之后选择了模拟真实世界里的声音，并且更微妙、低调地融入操作
声音设计师录制了翻书、写字、擦橡皮等自然声音，并把它们扩展成了一个声音的“设计系统”
这 100 年来，我们如何「听见」声音 [by 拾壹]
https://sspai.com/post/88090
https://sspai.com/post/88090
用没那么枯燥的方式学英语：我的沉浸式语言学习实践 [by Jiang]
https://sspai.com/post/87977
https://sspai.com/post/87977
教你如何正确使用健身器材的网站 | UNTAG
关于如何使用健身器材这件事，这个网站提供了一种“查字典式”的体验。
阅读全文
本文 《教你如何正确使用健身器材的网站》 首发于 #UNTAG
成为会员，享受全文 RSS
via #UNTAG (author: yarinzhang)
关于如何使用健身器材这件事，这个网站提供了一种“查字典式”的体验。
阅读全文
本文 《教你如何正确使用健身器材的网站》 首发于 #UNTAG
成为会员，享受全文 RSS
via #UNTAG (author: yarinzhang)
Flowershow：免费的 Obsidian 笔记发布服务，实现你的数字花园网站 | UNTAG
Flowershow 是一个基于 Obsidian 的整体发布服务，它可以将你的 Obsidian 笔记按照目录结构，转换为一个在线的数字花园网站。
阅读全文
本文 《Flowershow：免费的 Obsidian 笔记发布服务，实现你的数字花园网站》 首发于 #UNTAG
成为会员，享受全文 RSS
via #UNTAG (author: yarinzhang)
Flowershow 是一个基于 Obsidian 的整体发布服务，它可以将你的 Obsidian 笔记按照目录结构，转换为一个在线的数字花园网站。
阅读全文
本文 《Flowershow：免费的 Obsidian 笔记发布服务，实现你的数字花园网站》 首发于 #UNTAG
成为会员，享受全文 RSS
via #UNTAG (author: yarinzhang)
我有两个setapp的seat，自己用了一个，还有一个，一年114，仅限mac，有需要的朋友可以私信我