About Hi, I’m Mike. I’m a programmer and I forget useful things all the time. This is a place for those things.