好资源和短想法
我的购房指北：买房之前可以关注什么？ [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，有需要的朋友可以私信我
#AI #Tools #Web
🧠 Refind - 个性化的优质内容发现平台
Website
🌟 Features
- 利用机器学习，每天推送若干篇可能感兴趣的高质量文章
- 聚合了多个领域优质信息源
- 支持导入 Pocket 等平台的收藏，让个性化推荐更精准
- 提供高亮、笔记等实用功能
在这个信息过载的时代，优质内容的发现成为一大难题。RSS 等工具能带来信息广度，但良莠不齐，筛选成本高。算法推荐虽然方便，却可能加剧信息茧房。Refind 则致力于在两者之间寻找平衡。Refind 从你的阅读行为出发，建立个人兴趣模型，再从汇聚的海量优质信息源中挑选出最匹配的内容。个性化是 Refind 的一大特色。除了智能推荐，它还支持导入 Pocket 等平台的收藏，让兴趣模型更加完善。
类似其他的阅读应用，Refind 还提供高亮、笔记等实用功能。同样也提供文字转语音，但效果很差，远不如 Omniover。移动端 App 是套壳 Web，使用体验不佳。
Refind 提供收费订阅，但是在功能上我没觉得和免费账户有什么很重要的分别。订阅价格是 9.99 USD/Month，或者 366 USD 永久。这个价格非常昂贵，但有意思的事是 Refind 允许通过邀请新用户来免费获得订阅。你可以用我的邀请链接来注册 Refind，我们都会获得 Refind Coins 奖励。
Refind 中不包含任何中文内容。如果你想学学英文，扩充一下视野，欢迎通过我的邀请链接来注册使用 Refind。
频道:@NewlearnerChannel
🧠 Refind - 个性化的优质内容发现平台
Website
🌟 Features
- 利用机器学习，每天推送若干篇可能感兴趣的高质量文章
- 聚合了多个领域优质信息源
- 支持导入 Pocket 等平台的收藏，让个性化推荐更精准
- 提供高亮、笔记等实用功能
在这个信息过载的时代，优质内容的发现成为一大难题。RSS 等工具能带来信息广度，但良莠不齐，筛选成本高。算法推荐虽然方便，却可能加剧信息茧房。Refind 则致力于在两者之间寻找平衡。Refind 从你的阅读行为出发，建立个人兴趣模型，再从汇聚的海量优质信息源中挑选出最匹配的内容。个性化是 Refind 的一大特色。除了智能推荐，它还支持导入 Pocket 等平台的收藏，让兴趣模型更加完善。
类似其他的阅读应用，Refind 还提供高亮、笔记等实用功能。同样也提供文字转语音，但效果很差，远不如 Omniover。移动端 App 是套壳 Web，使用体验不佳。
Refind 提供收费订阅，但是在功能上我没觉得和免费账户有什么很重要的分别。订阅价格是 9.99 USD/Month，或者 366 USD 永久。这个价格非常昂贵，但有意思的事是 Refind 允许通过邀请新用户来免费获得订阅。你可以用我的邀请链接来注册 Refind，我们都会获得 Refind Coins 奖励。
Refind 中不包含任何中文内容。如果你想学学英文，扩充一下视野，欢迎通过我的邀请链接来注册使用 Refind。
频道:@NewlearnerChannel
各種 Readwise Reader 的有用插件和延伸應用整理。
🔗 Github
—
昨晚發現 Readwise Reader 介面更新了，還在體驗中！初步感覺更清楚。
比較大的功能更新是：Ghostreader prompts 可以自行寫 Prompt 跟自訂 API（GPT-4）
🔗 我的數位閱讀和學習工作流
🔗 Github
—
昨晚發現 Readwise Reader 介面更新了，還在體驗中！初步感覺更清楚。
比較大的功能更新是：Ghostreader prompts 可以自行寫 Prompt 跟自訂 API（GPT-4）
🔗 我的數位閱讀和學習工作流
#Readwise #AI #APP
🔗 Readwise Reader 更新：中文 AI 摘要、自订 Ghostreader prompts
🔖 一站式的阅读工具 Reader 迎来了有感更新。以往在 Reader 上的内容虽会自动产生摘要，但输出的结果皆为英文。现在开放自订后，终于可以设计自己想要的 AI 摘要模式。
📍 于是我自行设计了一套「不只是摘要的」 Prompt 语法，除了最基本的内容摘要，还加上了「高亮重点引入」+「设计问答模块」，让产出的内容更个人化、也更能增加吸收成效。以往只能从文章标题或点进去快速浏览来判断这则 feed 要删除、封存还是稍后阅读，一篇通常要 30 秒，现在能直接从内容列表的「个人化摘要」判断，大幅加速了我内容筛选的效率。
1. Reader 中文 AI 摘要应用＆原本自带的对比差异
2. 为什么不要让 AI 自己无脑摘要？Prompts 语法解析
3. 怎么使用我撰写好的 Ghostreader Prompts？
作者频道｜作者电子报
🔗 Readwise Reader 更新：中文 AI 摘要、自订 Ghostreader prompts
🔖 一站式的阅读工具 Reader 迎来了有感更新。以往在 Reader 上的内容虽会自动产生摘要，但输出的结果皆为英文。现在开放自订后，终于可以设计自己想要的 AI 摘要模式。
📍 于是我自行设计了一套「不只是摘要的」 Prompt 语法，除了最基本的内容摘要，还加上了「高亮重点引入」+「设计问答模块」，让产出的内容更个人化、也更能增加吸收成效。以往只能从文章标题或点进去快速浏览来判断这则 feed 要删除、封存还是稍后阅读，一篇通常要 30 秒，现在能直接从内容列表的「个人化摘要」判断，大幅加速了我内容筛选的效率。
1. Reader 中文 AI 摘要应用＆原本自带的对比差异
2. 为什么不要让 AI 自己无脑摘要？Prompts 语法解析
3. 怎么使用我撰写好的 Ghostreader Prompts？
作者频道｜作者电子报