# software

• Using Invariants

  Reconstructing a C exception interface by identifying the invariant behind its control flow

  5 Aug 2026 ·#software

• Gitlet

  Implementation notes on building Gitlet, a small Git-like version control system

  12 Dec 2025 ·#software