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