ctbaum

things I'm working through.

• advanced-git an interactive walkthrough of the parts of git people skip
• invariant an interactive introduction to reasoning about systems with invariants and TLA+