Posts
Committing as a Different User
Posted on:June 18, 2021First create a new SSH key pair to use with your alternate account. ssh-keygen -t rsaAdd the public key to your alternate account on Github…
The Wind on Your Back
Posted on:April 20, 2021I came across a beautiful example of symmetry recently. Modern times teaches us to look forward to events and to put the past behind…
Five Great Classical Pieces
Posted on:March 22, 2021This post was originally titled “My Top Five Classical Pieces”, but I found it impossible to enumerate any five pieces that made any sense as…
Effects of Exercise on Triglycerides Levels
Posted on:February 27, 2021I received the lab report for my blood work today. Not many surprises, which is a good thing. The only thing that I noticed was that my…
Git Intuition
Posted on:January 10, 2021In this post I want to motivate the fundamental data structures that underlie Git. It will not be an in-depth treatment — just enough to have…
2021
Posted on:January 1, 2021Goals! Strategies! 2021! Complete 40 booksHow did I come up with the number 40? 40 doesn’t sound like a lot, but if you put it in a per-week…
Representable Functors
Posted on:December 23, 2020It took me a long time to grok representable functors (Chapter 14 of Category Theory for Programmers), so I hope this post will help anyone…
Recent Git Branches
Posted on:December 4, 2020EDIT: A friend of mine suggested an improvement to the below: [alias] recent = ! git checkout $(git branch --sort=-committerdate |…