在 Emacs + AucTeX 中编译主 LaTeX 文件

背景 尽管使用 Emacs + AucTeX 编译 TeX 文件已经十多年了,但非常惭愧的是我一直是用最最基本的功能,比如 C-c C-c 编译 LaTeX 文件,C-c C-l 查看编译错误信息等等,从来没有...

July 26, 2022

Online FriCAS Notebooks (ft. Jupyter Notebook)

1. Remote Computation Service I selected Ubuntu Debian Linux (Debian 11, the latest Debian Linux supported by the AliYun). The reason for selecting Debian over Ubuntu is the support for FriCAS is only available on Ubuntu 21.4, but Ubuntu 21.4 is not supported by AliYun for now. Here’s the instruction to run jFriCAS on Ubuntu. I’ve changed to AliYun afterwards, he...

February 14, 2022