托马斯-库恩（Thomas S. Kuhn）写道，科学进步既包括正常时期的小修改，也包括非正常时期的大革命。最近，人工智能的不正常进展正接近一个潜在的破坏性阶段，GPT-4 这个最先进的和令人震惊的语言模型被广泛认可就是证明。尽管如此，该模型引起了人们的欣喜和对其影响的争论，其中，Chromesky 的断言既正确又错误。

LaTeX-OCR 是一个知名、开源、免费的 OCR 识别工具，作为 Mathpix 的替代品十分流行。 但是，因为 pytorch, qt 等模块跨平台的兼容性问题，在 arm64 的宿主机上安装该工具需要一一定的操作。

Polars 是一个我早有耳闻但从未实际使用的 Pandas 替代品。根据 Polars 自己的介绍，它是一个“超级快的数据框”（blazingly fast DataFrames）——王婆卖瓜能信吗？本文在自己的常用环境测试了一下，确实很快。

通常由于路径配置不正确导致，但对于Apple Silicon 设备，这种不同的架构，即arm64，会移动 lib 文件夹，从而引入了这个问题。

我想，一个幸福的人是看不进去这部电影的，甚至可能觉得它矫揉和冗长；但是对于一部分人来说，这是一段他们自己的回忆和当下。

幸运的是，这个春节《流浪地球 2》满足了大刘以及科幻的粉丝一个久违的梦想。流浪地球的前作在荣获诸多华语电影奖项之外，其特效所呈现出的中国电影工业的巨大进步被网友爱称为“中国科幻的第一个里程碑”。与前作相比，这个续作的特效其震撼程度更是上了一个台阶，完全足够让电影院的观众身临其境以至于暂时忘记时间。

当你需要频繁在两台电脑间切换显示器输入源的时候，因为各种问题会希望通过命令行直接切换。检索发现网上很多教程并不兼容 运行 Apple Silicon 架构的 macOS Ventura 系统，故作此文以分享。