Spent today reviewing some work for an upcoming change to Adept. The PR was close to 5000 lines (includes data files). This effort took most of my morning and also part of my afternoon, but I was also (in parallel) working on getting one of my own PRs code reviewed. Finished the day with my work getting merged. Hoorah for less technical debt.

Today at work I was able to finally get a chance to write down tests for DSDS first order logic expression generation. I was also able to find out that obligation expressions can be generalized to support the return of constant values (something I apparently didn’t add already lol).

I’ve been meaning to write something like this, and I’ve come to the conclusion that it’s probably more productive to record the stuff I’ve been thinking instead of just letting them stew in my head. I think I’m going to make this a collective post, and by that I mean I’ll make incremental edits to it over the next fews weeks or so. I’ll also try a bit harder to make this post more interesting (read work harder at writing) than I have in other posts.