Hi, I'm Lucas Paul. I'm a PhD student in Computer Science at Yale University. My research interests are in programming languages, formal methods, and systems.
This blog doesn't really have a cohesive theme or purpose yet (beyond being a way for me to practice writing professionally), but so far I seem to be focusing on writing about the technical problems I face day to day and how I go about solving them.
On the other hand, maybe that says quite a lot about me and what I consider important about myself to present to the world. I am, first and foremost, a scientist and a problem solver. And as such, I do not make bold, sweeping claims before I have a preponderance of evidence to support one. If only we had more of that kind of patience in the world.
I'll eventually have more posts in the archives.