I’m a programmer in the Chicago area. I’m a web dev who likes technical writing. My general interests in software are:
Formal Methods: how do we rigorously prove code is correct?
Software Correctness: how do we prevent and remove bugs in complex codebases?
Empirical Software Engineering: what actually works in software, and how do we know this?
Software History: how did we get to where we are today?
Cool Niche Languages.