Blog
Feed →
2024
My New Favorite Mocktail
Here's a quick post, just sharing a mocktail that I'm workshopping.1
Recipe
2 oz. Lapsang souchong, brewed strong (around 1/2 as much water…
2024
Appearance on Disseminate
I had a lovely conversation with Dr. Jack Waudby on the Disseminate podcast. We talked about
Property-Based Testing in Practice and PBT in g…
2024
Don't Give a No-Op Talk
I've noticed a common failure mode among academic conference keynotes and other large audience talks
that I've started calling a "no-op" tal…
2024
Victor Basili Postdoctoral Fellowship
I'm excited to announce that starting in Fall 2024 I will be working with Leonidas Lampropoulos at
the University of Maryland as a Victor Ba…
2023
I was on TheForkJoin!
Last week I had the pleasure of being a guest on TheForkJoin. I
chatted with Rachit Nigam and Oliver Flatt about my computer science journey…
2019
Introducing Tourist
I've been spending a lot of time lately working on a project that I'm really
excited about. With the help of my roommate Jason, I've been wo…
2019
Brown Butter Chocolate Chip Cookies
I know all two of you who read this blog are here for my computer science
content, but who doesn't like chocolate chip cookies??
TL;DR: Jump…
2018
The (Regular) Language of Dance
Over the last month or so, I've gotten really into swing dancing. It's a new and
exciting challenge for me---I'm not the most coordinated pe…
2017
Derivatives of Regular Expressions
Quick disclaimer: The ideas in this blog post are not my original work. I am
paraphrasing from lectures given by both Nate Foster and Dexter…
2017
Encryption and Adjunctions
This post goes pretty deep into Category Theory, fairly quickly. For
explanations of some of the concepts used in this post, I highly recomm…
2017
Elm, First Impressions
I like exploring new programming languages and paradigms in my spare time. Here
are some of my thoughts on Elm.
Elm is a purely functional, …
2017
Why not try Spacemacs?
Disclaimer: I hope this post does not offend anyone. I do mention both
vim and emacs, so reader disgression is advised.
When I first starte…