Forwarded from 黑洞资源笔记
supabase 最近开源了一个 PostgreSQL 插件，可以直接提供数据库索引的建议，以提高查询性能。
可以直接在 supabase 上进行安装，也可以直接学习 SQL 看看原理。
PostgreSQL Index Advisor | #插件
可以直接在 supabase 上进行安装，也可以直接学习 SQL 看看原理。
PostgreSQL Index Advisor | #插件
Forwarded from 随机漫谈
150/N #女性主义
《看不见的女性》这本书读了有些时间，一直没读完，今天吃了晚饭后把剩余的部分匆匆过完了。全书说的事情就一个：性别数据缺口很大。大白话就是，占人类一半的女性常常被忽略，很多东西都以男性的标准进行设计。书中各种数据和事实的罗列，的确刷新了不少认知。缩小性别数据缺口确实对每个人都会更好。
本书最大的价值在于，让更多的人认识到我们生活的社会，性别偏见是无可置疑的。要改变这一现状显然不容易，因为它涉及太多，包含经济、社会、政治、教育等方方面面。但有人在踏出这一步，相信后面会越来越好，一些小的改变在发生，例如 Emoji 在描述一些行为时，同时给出了不同性别的表情。
不过，本书的缺点也很明显——数据堆砌生硬，分析反而浅显。一些数据的引用，显得作者是拿着锤子找钉子，比如引用一些博客用户吐槽的描述，这显然是缺乏说服力的。
《看不见的女性》这本书读了有些时间，一直没读完，今天吃了晚饭后把剩余的部分匆匆过完了。全书说的事情就一个：性别数据缺口很大。大白话就是，占人类一半的女性常常被忽略，很多东西都以男性的标准进行设计。书中各种数据和事实的罗列，的确刷新了不少认知。缩小性别数据缺口确实对每个人都会更好。
本书最大的价值在于，让更多的人认识到我们生活的社会，性别偏见是无可置疑的。要改变这一现状显然不容易，因为它涉及太多，包含经济、社会、政治、教育等方方面面。但有人在踏出这一步，相信后面会越来越好，一些小的改变在发生，例如 Emoji 在描述一些行为时，同时给出了不同性别的表情。
不过，本书的缺点也很明显——数据堆砌生硬，分析反而浅显。一些数据的引用，显得作者是拿着锤子找钉子，比如引用一些博客用户吐槽的描述，这显然是缺乏说服力的。
Forwarded from Newlearnerの自留地 (ɪ̆̈ɴғᴏʀᴍᴀᴠᴏʀᴇ ᓚᘏᗢ)
#Newsletter #CyberClip
✂️ CyberClip #52 忙碌成瘾
🔗 博客 | 竹白
↪️ CyberClip 是一份臻选互联网上有价值内容的赛博剪报，两周一期，涵盖新奇趣闻、热点议题、前沿科技以及其他关于生活、关于未来的事物。
👉 精神食粮
💡 生产力的幻觉：我们为何对忙碌上瘾
👉 随便看看
📕 我们为何迷恋于废土 废土文化美学
🔮 天文学的历史就是一部智慧生命从无创生的历史
👨👩👧👦 「狗屁新闻」如何包围了我们的生活？
👁 我们能指望社交媒体平台减少极化吗？
🎨 关于《龙珠》，你可能不知道的 10 件事 与 鸟山明和他最爱的小车—阿拉蕾篇
*️⃣ 专栏 | 群组 | 频道 | 日志 | 小红书
频道：@NewlearnerChannel
频道：@NewlearnerChannel
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from Newlearnerの自留地 (ɪ̆̈ɴғᴏʀᴍᴀᴠᴏʀᴇ ᓚᘏᗢ)
#Newsletter #CyberClip
✂️ CyberClip #52 忙碌成瘾
🔗 博客 | 竹白
↪️ CyberClip 是一份臻选互联网上有价值内容的赛博剪报，两周一期，涵盖新奇趣闻、热点议题、前沿科技以及其他关于生活、关于未来的事物。
👉 精神食粮
💡 生产力的幻觉：我们为何对忙碌上瘾
👉 随便看看
📕 我们为何迷恋于废土 废土文化美学
🔮 天文学的历史就是一部智慧生命从无创生的历史
👨👩👧👦 「狗屁新闻」如何包围了我们的生活？
👁 我们能指望社交媒体平台减少极化吗？
🎨 关于《龙珠》，你可能不知道的 10 件事 与 鸟山明和他最爱的小车—阿拉蕾篇
*️⃣ 专栏 | 群组 | 频道 | 日志 | 小红书
频道：@NewlearnerChannel
频道：@NewlearnerChannel
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from codedump的电报频道 (老C)
#书
每年的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原版书，五一之后就能送到了。
Forwarded from 速学与笔记管理艺术 (Wall Discard)
用间隔重复系统来看穿数学概念 - Michael Nielsen
https://zhuanlan.zhihu.com/p/694032460
https://zhuanlan.zhihu.com/p/694032460
知乎专栏
用间隔重复系统来看穿数学概念 - Michael Nielsen
用间隔重复系统来看穿数学概念[1] Michael Nielsen 探索了一种深化数学理解的方法。这种方法能让人对数学的各个组成部分了如指掌，几乎能直观地看出数学结果。他用编写间隔重复记忆系统[2]的卡片来实现这一方法。…
Forwarded from Newlearnerの自留地 (glaze YP)
#App
⌨️ Pie Menu 属于每个应用的超级快捷键
✨ Features
- 针对每个应用定制快捷键
- 添加自定义键盘快捷键
- 支持 MacOS
Pie Menu 对于喜欢用快捷键，但是又记不住键盘快捷键的人非常有帮助。其思路和 Raycast，Paletro 类似，通过一个 Pie Menu 快捷键，你可以对当前应用进行快捷操作。
⚙️ 使用流程
按下 Pie Menu 快捷键，在鼠标周围会弹出一个圆环界面。在这个界面上有许多不同的快捷键，有着各自不同的图标，鼠标悬浮在上面会出现文字。这个圆环界面用户可以为每个 App 自定义，只要这个 App 支持键盘快捷键，用户就可以将其添加到圆环上。当用户的鼠标悬浮到圆环界面的某个按钮，并松开 Pie Menu 快捷键的时候，Pie Menu 就会除法对应的键盘快捷键。
🙋♂️ 使用体验
Pie menu 的使用体验非常类似 Raycast 和 Paletro。但是 Raycast 和 Paletro 更加针对重度键盘使用者。Pie menu 的键盘体验会有些变扭，你需要一个手按着 Pie menu 的快捷键，另一只手操纵触控板。如果你的 Pie menu 快捷键在鼠标上，相信会有一个更好的体验。
💰 价格
免费版用户每天可以使用十次，一个月订阅 $2.99，一年订阅 $24.99。目前 App Store 有且仅有的一条差评就在说定价模式不合理。
频道：@NewlearnerChannel
⌨️ Pie Menu 属于每个应用的超级快捷键
✨ Features
- 针对每个应用定制快捷键
- 添加自定义键盘快捷键
- 支持 MacOS
Pie Menu 对于喜欢用快捷键，但是又记不住键盘快捷键的人非常有帮助。其思路和 Raycast，Paletro 类似，通过一个 Pie Menu 快捷键，你可以对当前应用进行快捷操作。
⚙️ 使用流程
按下 Pie Menu 快捷键，在鼠标周围会弹出一个圆环界面。在这个界面上有许多不同的快捷键，有着各自不同的图标，鼠标悬浮在上面会出现文字。这个圆环界面用户可以为每个 App 自定义，只要这个 App 支持键盘快捷键，用户就可以将其添加到圆环上。当用户的鼠标悬浮到圆环界面的某个按钮，并松开 Pie Menu 快捷键的时候，Pie Menu 就会除法对应的键盘快捷键。
🙋♂️ 使用体验
Pie menu 的使用体验非常类似 Raycast 和 Paletro。但是 Raycast 和 Paletro 更加针对重度键盘使用者。Pie menu 的键盘体验会有些变扭，你需要一个手按着 Pie menu 的快捷键，另一只手操纵触控板。如果你的 Pie menu 快捷键在鼠标上，相信会有一个更好的体验。
💰 价格
免费版用户每天可以使用十次，一个月订阅 $2.99，一年订阅 $24.99。目前 App Store 有且仅有的一条差评就在说定价模式不合理。
频道：@NewlearnerChannel
Forwarded from Newlearnerの自留地 (abbiee)
#有冇用 #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
Forwarded from 少数派sspai
我的购房指北：买房之前可以关注什么？ [by Wannz]
https://sspai.com/post/88238
https://sspai.com/post/88238
少数派 - 高品质数字消费指南
我的购房指北：买房之前可以关注什么？ - 少数派
Matrix首页推荐Matrix是少数派的写作社区，我们主张分享真实的产品体验，有实用价值的经验与思考。我们会不定期挑选Matrix最优质的文章，展示来自用户的最真实的体验和观点。文章代表作者个人观点 ...
Forwarded from 少数派sspai
出行锦囊 | 出去玩带什么：和你分享我的包 [by 煎饼饼]
https://sspai.com/post/83351
https://sspai.com/post/83351
少数派 - 高品质数字消费指南
出行锦囊 | 出去玩带什么：和你分享我的包 - 少数派
五一假期要到了。虽然调休叫人苦不堪言，但这确实也是少有能用大块时间放松自己、出门走走或回家看看的时刻。如果你打算用这段时间旅游，在确定好行程之后，接下来就是打包行李等待出发，先来想象一下你的旅行，是想 ...
Forwarded from 少数派sspai
12.5 GPT 与进阶技巧：AI 内容检测 [by Fairyex]
https://sspai.com/post/85766
https://sspai.com/post/85766
少数派 - 高品质数字消费指南
12.5 GPT 与进阶技巧：AI 内容检测 - 少数派
当你阅读到现在，你应该已经能够熟练掌握GPT的大部分使用技巧，并体验到了它在不同方面的强大能力。使用GPT可以辅助甚至独立完成生活和工作中的各种任务，节省时间，提高效率。但在某些场景和任务中，我们不仅 ...
Forwarded from 少数派sspai
只缘身在此山中：我在五台山做义工 [by 毛仔]
https://sspai.com/post/88078
https://sspai.com/post/88078
少数派 - 高品质数字消费指南
我在五台山做义工 - 少数派
回望寺里的大白塔，分不清我是回到另一场梦里去，还是刚从这场梦里出来。又或者都是呢？
Forwarded from 少数派sspai
用 Keyboard Maestro 增强浏览器使用体验 [by TomBen]
https://sspai.com/post/83865
https://sspai.com/post/83865
少数派 - 高品质数字消费指南
07 用 Keyboard Maestro 增强浏览器使用体验 - 少数派
阅读本栏目的建议：本栏目文章的篇幅都较长，可以配合右侧目录，跳转到自己感兴趣的小节阅读；点击链接，下载本文所讲解的marcos，强烈建议读者在阅读本文的同时，打开KeyboardMaestro进行操作 ...
Forwarded from 少数派sspai
把宝贵的时间留给佳作，追剧观影少不了这些辅助 [by PostMeridy]
https://sspai.com/post/79491
https://sspai.com/post/79491
少数派 - 高品质数字消费指南
把宝贵的时间留给佳作，追剧观影少不了这些辅助 - 少数派
无论假期你想看美剧英剧还是国产剧，这些网站和应用帮你远离剧荒。
Forwarded from 少数派sspai
找回最简单的摄影乐趣：索尼 A7C2 [by Konstantine]
https://sspai.com/post/85853
https://sspai.com/post/85853
少数派 - 高品质数字消费指南
找回最简单的摄影乐趣：索尼 A7C2 - 少数派
在我各个社交平台的标签里，一直给自己的一个保留标签就是「摄影」。虽然在学生时代时间还允许的时候，接过一些商单，但其实我一直没有把摄影作为一个「职业」来看，而是仅仅作为「爱好」。在我和「摄影」相处的这些 ...
Forwarded from 速学与笔记管理艺术 (Wall Discard)
FSRS 是全世界最精确的间隔重复算法之一（最新基准测试更新）
https://zhuanlan.zhihu.com/p/692314506
https://zhuanlan.zhihu.com/p/692314506
知乎专栏
FSRS 是全世界最精确的间隔重复算法之一（最新基准测试更新）
本文取代了我之前关于基准测试的旧帖，并已将其加入到我 关于 FSRS 的文章合集中。你无需阅读旧帖，我也不会再链接到那篇文章。首先，任何「诚实」的间隔重复算法都必须能够预测在特定时间点 回忆一张卡片的概率，…
Forwarded from L,. G.
大爱 lesswrong 这个网站，能学到特别多
Lesswrong
A community blog devoted to refining the art of rationality