This site collects my notes on various topics, in particular about:

• Propositional logic -- #sat
• NixOS -- #nixos
• GNU Emacs -- #emacs
• LaTeX -- #latex
• Linux -- #archlinux, #linux
• Rust -- #rust

Profile

• A researcher on satisfiability problem (SAT solvers), studying logic, category theory.

• A programmer using Nuxt.js, Vue.js, NixOS, Rust, Swift.

• A user of Emacs, Latex, Linux, macOS, Mendeley, Observable.

• Used to be a bicycle rider (bicycle deliverer).

• @github

History of build tool

• 2.0 since 2021-09-17 -- Zola
• 1.0 since 2018 -- jang, a home-made static site generator using Node.js
• 2016 -- Hugo
• ?? -- Ghost