I've gotten better at web development since I originally made my personal site. I am a tad embarrassed at the Bootstrap+jQuery sludge that was here circa early 2017. When I find the time - perhaps when holiday season at work dies down a bit, I'll make this site look actually interesting and/or informative.