[1/3] 没想到 GNU Common Lisp (GCL) 的作者从年初开始发力，竟然成功地把 GCL 移植到 ARM64 macOS 上了。我使用来自 Debian 镜像的最新 Axiom 源代码（带有 Debian 维护者的补丁），只改了几行老式 K&R C 代码就成功地在 M4 Mac mini 上编译运行起来了（去年底的时候我还试过，无论 OpenAxiom 还是 FriCAS 都无法在 M4 上顺利编译）。跟三大数学软件（Maple/MATLAB/Mathematica）和开源的 Maxima/Octave/R 等相比，Axiom 的强类型语言在设计上很有特色，代码可以直接编译到 C，无论加载还是运行的速度都很快，是我主修的计算机代数（CAS）平台，迟早要想办法写进论文里。