Howdy! I’m a programmer based in Cape Canaveral, Florida. I go by jtm or jtmcx most places on the internet. I’ve been a professional software developer for close to ten years, having worked at companies such as Bloomberg, Optimus Ride, CrowdStrike, and ALTR. I love compilers, formal-methods, testing, and vintage computing.