ctbaum

things I'm working through. Questions or feedback? [email protected]

• advanced-git an interactive walkthrough of the parts of git people skip
• invariant an interactive introduction to reasoning about systems with invariants and TLA+
• essays things thought through in long form