Mar 14, 2021 — My First Logic Program — Today I decided I wanted to write my first logic program. What the heck is a logic program, or (more appropriately) Answer Set Programming (ASP)? Let’s dive in! What is Answer Set Programming? When you use a package manager, how... Read more

Jan 29, 2021 — The Chonker Awards — How chonky are your repositories and files on GitHub? I have almost 600 repositories at this point, and I was genuinely curious. Could I put together a quick interface to find the chonkiest of the chonks across my GitHub code?... Read more

Jan 25, 2021 — A New Year — At the end of this month, I’m going to be leaving Stanford University, where I’ve been a student and then staff for almost ten years now. In this post, I’d like to reflect on the latter of those two, my... Read more

Jan 22, 2021 — Caliper: Understanding Changes in Software — I’ve always been really interested in the “meta” level of software development. How do developers work together on GitHub? How do libraries change over time? Can we find software that has historically been mentioned in a paper if it wasn’t... Read more