Code
- The rules of \(\mathcal{F}\) across \(\LaTeX\), Coq, Lean, Athena and Prolog (2026-07-20, updated 2026-07-28)
- From XFCE to EXWM: Living in Emacs Desktop on MX Linux (2026-07-12, updated 2026-07-20)
- Notes on building SWI-Prolog for WebAssembly (WASM) (2026-01-22)
