形式逻辑可以追溯到古希腊的亚里士多德时期，他在《工具论》中系统阐述三段论，因此被称为“形式逻辑之父”。后来的斯多葛学派又提出逻辑连接词（如“且”“或”“非”）的形式分析，充实了形式逻辑。
在中国则主要是名家与墨家（战国时期），墨家提出“辩”的概念，在《墨辩》中探讨“名实关系”与逻辑悖论（如“白马非马”）；名家惠施、公孙龙关注概念分析与语言逻辑。
在 Rust 中使用 PgVector 和 SeaORM
之前在用SeaORM来进行数据持久化，一直没有什么好的解决方案来集成PgVector合SeaORM，这两天在讨论区看到一篇文章：Using pgVector with SeaORM in Rust
这篇文章值得学习一下
用debian替代CentOS
2021年写过一篇文章解决自己服务器CentOS7 yum源中软件版本过低的问题。到2025年，选择 Debian 还是 CentOS 已经不需要再多说了。
2020年，红帽公司宣布，将在2021年12月31日和2024年6月30日分别终止对CentOS 8和CentOS 7的服务支持，把CentOS项目的工作和投资集中在CentOS Stream上，以进一步推动Linux创新。
输入型爱好、输出型爱好、生产型爱好、消费型爱好
有爱好是一件很棒的事儿，但是现实是有些爱好不能当饭吃，人总要考虑现实的经济问题，如果有一样爱好即能给你带来快乐，又能给你带来收入等经济回报，那将是一件非常有意义的事儿。
所以最近在研究自己将来爱好的培养方向。