A more organized list of posts specific to some topic.
Emacs
-
Minibuffer and input method
August 31, 2025 -
Emacs: a paradigm shift
April 16, 2025 -
use-package for builtin emacs packages
July 19, 2022 -
Make Proof General and opam play together
August 27, 2021
Koreader
-
Better Koreader plugin debugging
October 7, 2025 -
Koreader Goes To Bed
July 28, 2024