2022 年由于疫情和学业的各种原因，我观看的电影实在太少，以至于放弃了当年的年度电影评选。2023 年，在完全恢复了正常的生活秩序后，观影频次有所提高。本年我一共看了 40 部电影，其中有 9 部是动画片。

Rust 和 C++ 的对象都是值语义，都采用了 RAII 惯用法。所以他们需要处理类似的对象生命周期问题：需要专门的代码来处理对象的初始化，复制和析构。下面进行一个比较，我们能够看到两种语言之间内在的对称性。

Typst 是一个 2023 年初开源的一个排版软件。类似于 LaTeX，它通过纯文本编写源代码，然后通过编译器将源代码转换为排版好的 PDF 文件。虽然目前 Typst 的生态还不如 LaTeX，但是比起 LaTeX，它有一些明显的优势：

由于 GFW 的存在，在中国境内使用维基百科必须要透过代理进行访问。然而为了避免恶意破坏，维基百科禁止匿名代理服务器修改词条。如果你的代理不幸处于封禁的 IP 段，那么将会得到类似于这样的警告：

SmartCross 项目的介绍见这里。其中的控制器组件用 Rust 写成，需要编译到 aarch64 平台。我尝试写了一个 Nix 表达式来管理该项目的环境。