Workspace Quality of LifeNotes and configuration for developer laptop settings. Keeping track of some of preferences (when setting up a new laptop from scratch).created: Mon, March 23 2020updated: Mon, June 2 2025status: in-progresstags: linuxpersonal
Cheat Sheet for tmuxA brief overview and cheat sheet for the tmux terminal multiplexer program.created: Thu, March 5 2020updated: Mon, June 2 2025status: completetags: linux
TLA+Notes and progress for learning TLA+ formal specification language. Extends the Practical TLA+ book (2018).created: Wed, March 4 2020updated: Mon, June 2 2025status: in-progresstags: personal