Hello! My name is Oscar, and I'm a new graduate student at the University of Iowa, studying programming languages. My research interests are quite broad, but currently, I'm interested in program reuse and creating maintainable systems. More on that in a future post.

This blog is inspired by Matt Might's website, which I highly recommend reading. He has a great deal of useful advice. In particular, he suggests that grad students should write frequently. Following his suggestion, I am hoping to post on this blog regularly.

Currently, I have most things set up to my liking. My goal is to make it easy to maintain this website and work with my existing Markdown files. The best tool I've found so far, and which I'm using, is Lume. While imperative in style, the generated HTML is easy to read, and has multiple handy plugins. Here's my code with Lume: https://github.com/oscar-bender-stone/oscar-bender-stone.github.io.

At the moment, I'm reading one of Martin-Löf's foundational pieces on type theory. I will be posting about that soon!