UK - the first day.

April 1, 2019

First post not from within the US! For the next 2 weeks, I’ll be working in Droit’s UK office. My goal is to develop closer ties with the engineers here, improve my understanding on how Londoners work and complete the work associated with the latest development sprint. The London crew seems quite welcoming. As an initial observation, I think this is the case because I think most people here are quite clearly extroverted, at least when compared to the general populace in NY.

read more

code review.

March 20, 2019

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.

read more

the return.

March 18, 2019

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).

read more