Cooking, cleaning, meditating, and generally making sure my life and home are peaceful and promote baseline happiness. Taking time to study some beautiful theo

Cooking, cleaning, meditating, and generally making sure my life and home are peaceful and promote baseline happiness. Taking time to study some beautiful theory that is also applicable to my interests in programming: category theory, logic, and proof systems. Continuing my daily work with fun technologies like Nix, Haskell, Ethereum, Racket, and so on. Going away for a work retreat with some remote colleagues.