好资源和短想法
The Software Foundations: mathematical underpinnings of reliable software https://softwarefoundations.cis.upenn.edu/
The hardest program I've ever written (2015) http://journal.stuffwithstuff.com/2015/09/08/the-hardest-program-ive-ever-written/
Alan Kay: A Conversation with CMU Faculty and Students (2007) [video] https://www.youtube.com/watch?v=PFc379hu--8
【Databend的个人空间-哔哩哔哩】 https://b23.tv/pBPBnWO
#杂
Datafuse Labs 一岁了：
https://mp.weixin.qq.com/s/ypR9BsHox01XibTumwampg
一年时间产品能到现在这个成熟度，除了团队成员的技术实力，选择了Rust来开发也是重要原因。
对比C系语言，Rust是一门“心智负担”更少的语言，只要能编译过去，运行时的各种问题就少了很多，这样编码者可以更多考虑逻辑、业务的问题，而不用想着类似“子弹打出去了，还会不会绕回来误伤自己”这样的问题。
减少使用时的“心智负担”，这才是一个好工具应该做的。
Datafuse Labs 一岁了：
https://mp.weixin.qq.com/s/ypR9BsHox01XibTumwampg
一年时间产品能到现在这个成熟度，除了团队成员的技术实力，选择了Rust来开发也是重要原因。
对比C系语言，Rust是一门“心智负担”更少的语言，只要能编译过去，运行时的各种问题就少了很多，这样编码者可以更多考虑逻辑、业务的问题，而不用想着类似“子弹打出去了，还会不会绕回来误伤自己”这样的问题。
减少使用时的“心智负担”，这才是一个好工具应该做的。
https://www.getrevue.co/profile/lcomplete/issues/notion-vs-obsidian-vs-1044672
www.getrevue.co
📚 Notion vs Obsidian、程序设计 vs 软件工程
以防有不了解 Notion 的读者朋友，我们先看看其 wiki 介绍：Notion 是一款提供笔记、任务、数据库、看板、维基、日历和提醒等组件的应用程序。用户可以将这些 组件连接起来，来创建自己的系统 ，用于知识管理、笔记记录、数据管理、项目管理等。这些组件和系统可以单独使用，也可以与他人进行 跨平台协作。Notion 很强大，是一个 All In One 的笔记工具，除了 wiki 里提到的功能，用它还可以玩出很多花样，比如：搭建内容管理系统：Using the Notion API to Build…
#GitHub情报
HelloGitHub：面向入门爱好者的开源项目月刊，近日更新第 71 期
官网 | Github | 投稿
这是一个面向编程新手、热爱编程、对开源社区感兴趣人群的项目，内容每月 28 号以月刊的形式更新发布。内容包括：流行项目、入门级项目、让生活变得更美好的工具、书籍、学习心得笔记、企业级项目等
✏️ 第 71 期 已经发布
• DreamScene2：小巧的 Windows 动态桌面工具
• filestash：在线文件管理工具
• thingsboard：完全开源的物联网 IoT 平台
• handle：汉字版 Wordle 游戏
• noclip：电子游戏关卡的数字博物馆
• yn：面向程序员的本地 Markdown 笔记工具
• codefever：由蒲公英团队开源的代码托管平台
• DevUtils-app：macOS 上的开发者实用工具箱
• teslamate：自建特斯拉的日志平台（行驶数据收集、存储、展示）
频道：@NewlearnerChannel
HelloGitHub：面向入门爱好者的开源项目月刊，近日更新第 71 期
官网 | Github | 投稿
这是一个面向编程新手、热爱编程、对开源社区感兴趣人群的项目，内容每月 28 号以月刊的形式更新发布。内容包括：流行项目、入门级项目、让生活变得更美好的工具、书籍、学习心得笔记、企业级项目等
✏️ 第 71 期 已经发布
• DreamScene2：小巧的 Windows 动态桌面工具
• filestash：在线文件管理工具
• thingsboard：完全开源的物联网 IoT 平台
• handle：汉字版 Wordle 游戏
• noclip：电子游戏关卡的数字博物馆
• yn：面向程序员的本地 Markdown 笔记工具
• codefever：由蒲公英团队开源的代码托管平台
• DevUtils-app：macOS 上的开发者实用工具箱
• teslamate：自建特斯拉的日志平台（行驶数据收集、存储、展示）
频道：@NewlearnerChannel
#Notion #Tools #Design
👻 Notion style avatar generator：Notion 风格头像在线生成器
🔗：在线体验
😍 用过 Notion 的朋友一定对他们手绘素描风格的头像留下了深刻印象。作为一款笔记软件，Notion 常常在一些官方宣传图中加入经典的人物头像。黑白主色调一如笔记中文字和背景的颜色，我非常喜欢 Notion 的头像设计
介绍过 Notion-avatar 后，我又发现了一个新的 Notion 风格头像在线生成器。相比于前者，后者的搭配选择并不是那么丰富，而且将重心放在了头像的背景和头像人物本身上。除了能够选择不同部位进行搭配组合外，该生成器还可以自定义头像背景和头像人物的色彩，并且能够对头像人物进行旋转、对头像分辨率缩放 / 镜像处理
👀 该项目没有开源，我也不清楚所用的素材包出自哪里。但能够对任意部位进行自定义选择，是最起码的特性。而 Notion-avatar 刚推出时只能进行一键随机组合，好在我写这篇推送时，它也支持了自由选择不同部位样式
我喜欢在线头像生成器，因为对于我这样的设计门外汉，这些生成器向我提供了免费、便捷的体验美观的设计。我们之前也介绍了诸如 Vue Color Avatar、Avatar-gen 等项目，甚至在两周年庆的时候推出了 自留地工牌生成器。我对这些项目毫无抵抗力，或许 NFT 头像这么火也确实有它的道理
频道：@NewlearnerChannel
👻 Notion style avatar generator：Notion 风格头像在线生成器
🔗：在线体验
😍 用过 Notion 的朋友一定对他们手绘素描风格的头像留下了深刻印象。作为一款笔记软件，Notion 常常在一些官方宣传图中加入经典的人物头像。黑白主色调一如笔记中文字和背景的颜色，我非常喜欢 Notion 的头像设计
介绍过 Notion-avatar 后，我又发现了一个新的 Notion 风格头像在线生成器。相比于前者，后者的搭配选择并不是那么丰富，而且将重心放在了头像的背景和头像人物本身上。除了能够选择不同部位进行搭配组合外，该生成器还可以自定义头像背景和头像人物的色彩，并且能够对头像人物进行旋转、对头像分辨率缩放 / 镜像处理
👀 该项目没有开源，我也不清楚所用的素材包出自哪里。但能够对任意部位进行自定义选择，是最起码的特性。而 Notion-avatar 刚推出时只能进行一键随机组合，好在我写这篇推送时，它也支持了自由选择不同部位样式
我喜欢在线头像生成器，因为对于我这样的设计门外汉，这些生成器向我提供了免费、便捷的体验美观的设计。我们之前也介绍了诸如 Vue Color Avatar、Avatar-gen 等项目，甚至在两周年庆的时候推出了 自留地工牌生成器。我对这些项目毫无抵抗力，或许 NFT 头像这么火也确实有它的道理
频道：@NewlearnerChannel
GitHub 现已支持基于 mermaid 的流程图绘制，看起来效果也是很不错的，正好这次的项目会用得到了。
https://github.blog/2022-02-14-include-diagrams-markdown-files-mermaid/
https://github.blog/2022-02-14-include-diagrams-markdown-files-mermaid/