好资源和短想法
https://sive.rs/pg 数据校验写进约束、业务逻辑用 PL/pgSQL 写进存储过程，甚至直接在数据库层用视图生成JSON返回给 “前端”，作者列举了很多理由认为这是 “简化”，看评论区赞同的人也不在少数，这是值得了解的「data base as a backend」还是盲目地重演历史呢...
想起之前面试的时候面试官就说（大意）「像金融电信这些客户，性能和效率都不是他们最关心的，最重要的是对SQL的支持要全，特别是触发器还有存储过程这些容易被忽视的特性，他们用得很多，业务逻辑几乎全放里边，一定要支持好...」
这篇文章是我在回顾1983年的经典论文 A Critique of the SQL Database Language 时偶然看到的，希望深入阅读这篇论文后能总结出一些值得分享的体会。
想起之前面试的时候面试官就说（大意）「像金融电信这些客户，性能和效率都不是他们最关心的，最重要的是对SQL的支持要全，特别是触发器还有存储过程这些容易被忽视的特性，他们用得很多，业务逻辑几乎全放里边，一定要支持好...」
这篇文章是我在回顾1983年的经典论文 A Critique of the SQL Database Language 时偶然看到的，希望深入阅读这篇论文后能总结出一些值得分享的体会。
年度征文 | 来自一个准妈妈的孕期不完全记录 [by Txrtt]
https://sspai.com/post/77621
https://sspai.com/post/77621
#杂
这段时间给Databend增加增删列的功能，基本功能已经通过，加了如下截图的用例，目的是验证一顿增删列、插入数据之后的查询都是正确的。
可还是很忐忑，因为这个功能涉及了很多对原有数据格式的修改，要保证所有场景都兼容到了。
我最近复习数学，反过来看，编程在大部分时候，都不能算是“科学”，更多算是“工程”。个中原因，我认为大部分时候，无法从数学角度严格证明一个功能是100%完全没有bug的。
复杂参数的场景姑且不论，就以最简单的整数为参数的问题来说。数学归纳法的原理是先证明n=1的时候结论成立，再假设为n的时候结论成立，最后以这个为前提来证明n+1时结论成立，这在数学上是可行的。但是呢，来到编程领域，一个“千年虫”问题，不过就是表示年份的整数划到了2000而已，就能触发bug了，数学归纳法在这里失效了。
在知乎上看到过著名的“一个测试工程师走进一家酒吧”：
“
一个测试工程师走进一家酒吧，要了一杯啤酒
一个测试工程师走进一家酒吧，要了一杯咖啡
一个测试工程师走进一家酒吧，要了0.7杯啤酒
一个测试工程师走进一家酒吧，要了-1杯啤酒
一个测试工程师走进一家酒吧，要了2^32杯啤酒
...
”
很多时候人们当成段子来看，但是现实中就是这样，无法去归纳某个场景的测试就是完备的，只能靠：堆用例的场景去验证。
sqlite是业内最稳定的数据库之一，号称几万个用例，可即便是它的作者也不敢打包票100%无bug，也是一边补充用例一边增加现有用例。
总而言之，一个事情如果无法用数学原理严谨证明其正确性，总会出问题；反过来说，编程在大部分时候无法用数学证明其正确性，所以编程不是科学，更接近于工程：靠经验、靠堆用例等等手段去保证（而不是验证）其正确性。
这段时间给Databend增加增删列的功能，基本功能已经通过，加了如下截图的用例，目的是验证一顿增删列、插入数据之后的查询都是正确的。
可还是很忐忑，因为这个功能涉及了很多对原有数据格式的修改，要保证所有场景都兼容到了。
我最近复习数学，反过来看，编程在大部分时候，都不能算是“科学”，更多算是“工程”。个中原因，我认为大部分时候，无法从数学角度严格证明一个功能是100%完全没有bug的。
复杂参数的场景姑且不论，就以最简单的整数为参数的问题来说。数学归纳法的原理是先证明n=1的时候结论成立，再假设为n的时候结论成立，最后以这个为前提来证明n+1时结论成立，这在数学上是可行的。但是呢，来到编程领域，一个“千年虫”问题，不过就是表示年份的整数划到了2000而已，就能触发bug了，数学归纳法在这里失效了。
在知乎上看到过著名的“一个测试工程师走进一家酒吧”：
“
一个测试工程师走进一家酒吧，要了一杯啤酒
一个测试工程师走进一家酒吧，要了一杯咖啡
一个测试工程师走进一家酒吧，要了0.7杯啤酒
一个测试工程师走进一家酒吧，要了-1杯啤酒
一个测试工程师走进一家酒吧，要了2^32杯啤酒
...
”
很多时候人们当成段子来看，但是现实中就是这样，无法去归纳某个场景的测试就是完备的，只能靠：堆用例的场景去验证。
sqlite是业内最稳定的数据库之一，号称几万个用例，可即便是它的作者也不敢打包票100%无bug，也是一边补充用例一边增加现有用例。
总而言之，一个事情如果无法用数学原理严谨证明其正确性，总会出问题；反过来说，编程在大部分时候无法用数学证明其正确性，所以编程不是科学，更接近于工程：靠经验、靠堆用例等等手段去保证（而不是验证）其正确性。
RWR 解决微信公众号图片显示问题
Readwise Reader 作为可以 All In One 的阅读神器，也有如微信公众号图片显示不全问题。而最初一个解决方法，将公众号文章下拉全部加载后再用插件收藏，但仍有些加载不全。又学到这个，可以解决：
- 安装油猴脚本：禁止Web版微信延迟加载图片
- 安装网页美化插件：如 Stylish，Stylus，xStyle，Stylebot 等，我就直接用 Stylish.
- 复制此 CSS 字段到美化插件的自定义（Stylish Editor）
然后微信公众号文章导入 Reader，图片支持就很好啦。
#tools![404 [[ ]] KIDS SEE GHOSTS](/static/https://cdn5.telesco.pe/file/rFg8aDYEL1x4xKtqOl6nmojV877EotydPqUqyvauYJE75wDXGGVdNeufQRoCgRHGdMa_b6DIXPx4cqzFAtBcupCSveiNwQgdAk4CwShpSn2aIj_wk0GmNWr_16hdXfn6oGWZ-v9g3PMoKNb5txm0aCo_RUskBpUFjdc8x4EipiBcYPHTfjR5senOVklc0LlZavyQ0etxbE-u7rlBfTIQdcE1cAJhQg21Hls_hYoj_3luURPjeg9c30DnlZ3KJWfEHGfRMGoN-d0BJGq8XoOQZWQjdLlyTRik5WqrxxG3YDNyhJg3LalKDqr2HXBzLVv7P_9NwswvTZnCSg8QEq4ZaQ.jpg)
Readwise Reader 作为可以 All In One 的阅读神器，也有如微信公众号图片显示不全问题。而最初一个解决方法，将公众号文章下拉全部加载后再用插件收藏，但仍有些加载不全。又学到这个，可以解决：
- 安装油猴脚本：禁止Web版微信延迟加载图片
- 安装网页美化插件：如 Stylish，Stylus，xStyle，Stylebot 等，我就直接用 Stylish.
- 复制此 CSS 字段到美化插件的自定义（Stylish Editor）
.js_img_placeholder { display:none}然后微信公众号文章导入 Reader，图片支持就很好啦。
#tools
Telegram
404 [[ ]] KIDS SEE GHOSTS
信息源分类与美化
晚上好，诸位。最近高强度使用 Readwise Reader (RWR)，完全替代 Cubox（沦为移动端信息同步电脑，顺手）。如果我的年度生产力工具 2021 年是 Roam，那么今年必是 RWR（留一手 Tana），它的强悍之处在我看来还是丝滑，UI 舒服，书籍阅读强大，自动分类（query），更别说老手艺平台同步高亮了。
下面就先分享我在 RWR 中摸索的 query 语法与分类，以及某些信息源网站的 UI 美化。我自定义的四个分类：
Articles：排除下面几种分类的纯文章和链接，可以直接在…
晚上好，诸位。最近高强度使用 Readwise Reader (RWR)，完全替代 Cubox（沦为移动端信息同步电脑，顺手）。如果我的年度生产力工具 2021 年是 Roam，那么今年必是 RWR（留一手 Tana），它的强悍之处在我看来还是丝滑，UI 舒服，书籍阅读强大，自动分类（query），更别说老手艺平台同步高亮了。
下面就先分享我在 RWR 中摸索的 query 语法与分类，以及某些信息源网站的 UI 美化。我自定义的四个分类：
Articles：排除下面几种分类的纯文章和链接，可以直接在…
#Books #Music #Movies #Blog
📩 接读者来稿，他向我们介绍了通过 NeoDB 自建书籍、电影、音乐和游戏收藏评论空间的心得
🎥 NeoDB：书影音标记 – 豆瓣、GoodReads 和 Google Book 的替代品
🔗：Web
📝 文章概述
- 引
- 备选方案
- 我的选择：NeoDB
- 讨论
👨🏻💻 作者的话
NeoDB 是一个通过 Mastodon 登陆的书籍、影视、音乐收藏评论社区，是很好的豆瓣替代品
NeoDB 支持豆瓣， Goodreads， The Movie Database， Steam， Spotify， IMDB， Bangumi， Bandcamp 数据导入
① NeoDB 的优点
- 免费；
- 支持多个数据库，聚合各平台的优势内容，
- 对中英文内容都支持的很好；
- Mastodon 登陆，能看到 Mastodon 好友的动态，兼顾 社交属性；
- 学习成本低；
- 小众，同温层。
② NeoDB 也有很多缺点
- NeoDB 的开放性有所欠缺，由站长 @alphatownsman 一人维护；
- 「导出个人数据」功能在优化中；
- 豆瓣和 Goodreads 有丰富的扩展和插件，如 wp-douban （ 示例）；
- 小众，欠缺社区活力。
频道：@NewlearnerChannel
📩 接读者来稿，他向我们介绍了通过 NeoDB 自建书籍、电影、音乐和游戏收藏评论空间的心得
🎥 NeoDB：书影音标记 – 豆瓣、GoodReads 和 Google Book 的替代品
🔗：Web
📝 文章概述
- 引
- 备选方案
- 我的选择：NeoDB
- 讨论
👨🏻💻 作者的话
NeoDB 是一个通过 Mastodon 登陆的书籍、影视、音乐收藏评论社区，是很好的豆瓣替代品
NeoDB 支持豆瓣， Goodreads， The Movie Database， Steam， Spotify， IMDB， Bangumi， Bandcamp 数据导入
① NeoDB 的优点
- 免费；
- 支持多个数据库，聚合各平台的优势内容，
- 对中英文内容都支持的很好；
- Mastodon 登陆，能看到 Mastodon 好友的动态，兼顾 社交属性；
- 学习成本低；
- 小众，同温层。
② NeoDB 也有很多缺点
- NeoDB 的开放性有所欠缺，由站长 @alphatownsman 一人维护；
- 「导出个人数据」功能在优化中；
- 豆瓣和 Goodreads 有丰富的扩展和插件，如 wp-douban （ 示例）；
- 小众，欠缺社区活力。
频道：@NewlearnerChannel
https://youtu.be/1yyRvyNQ5rQ 今天Bernie给我推荐的一个视频，很有意思，我当听力练习，但是解答了很多简单的问题，值得一看。
Lunar 的开发者列举了很多无法上架 App Store 的优质 app，比如 CleanShot，Alfred，BetterTouchTool 等等
https://alinpanaitiu.com/blog/apps-outside-app-store/
https://alinpanaitiu.com/blog/apps-outside-app-store/
Alinpanaitiu
Why aren't the most useful Mac apps on the App Store?
While developing a simple app that I really wanted to publish on the App Store, I ran into a lot more limitations than I was prepared for. This is a story of how I overcame those limitations and then tried to understand why other useful apps chose the self…
一款在线 epub 阅读器，支持 Dropbox 同步，打开速度还挺快的，支持划线、评论，而且还是开源的，太棒了。在左边的工具栏，可以看到该书中所有的图片，以及你阅读的时间线。
地址：https://flowoss.com/zh-CN
地址：https://flowoss.com/zh-CN
网易：2022年我们的集体记忆
#媒体2022年度总结
网易新闻的2022年总结：https://youtu.be/qWfd2YyNalM
BBC的全球2022年总结：https://twitter.com/bbcchinese/status/1608453579630645248
新华社的中国2022年总结：https://mp.weixin.qq.com/s/myyp0rH-nYEculELRVSytQ
端传媒的2022年度图片回顾：https://theinitium.com/article/20221225-photo-of-the-year-2022/
财新周刊的中国2022年总结：https://datanews.caixin.com/interactive/2022/2022final/index.html
网易新闻的2022年总结：https://youtu.be/qWfd2YyNalM
BBC的全球2022年总结：https://twitter.com/bbcchinese/status/1608453579630645248
新华社的中国2022年总结：https://mp.weixin.qq.com/s/myyp0rH-nYEculELRVSytQ
端传媒的2022年度图片回顾：https://theinitium.com/article/20221225-photo-of-the-year-2022/
财新周刊的中国2022年总结：https://datanews.caixin.com/interactive/2022/2022final/index.html
App +1 | 同文输入法：把 RIME 装进 Android 手机 [by 张奕源Nick]
https://sspai.com/post/77499
https://sspai.com/post/77499
多任务与窗口管理游刃有余：我是这样使用 macOS 台前调度的 [by 广陵止息]
https://sspai.com/post/77440
https://sspai.com/post/77440