Summer 2024 edition. Updated 7/28/24 from my sublet at Brown University. It's very humid here.
There is a big difference between living in the dorms and having an apartment. Having your own apartment means: living with many of your close friends, cooking your own food, washing your own dishes, hosting dinner parties, and inviting friends over for the night.
It's wonderful. I am very much looking forward to having my own apartment after college.
Under a UTRA grant, I have been working at the Brown Language and Thought Lab for the summer. It involves recruiting, running clinical trials, and organizing the lab databases. I find that I quite like being in an office, and probably would not mind corporate work. But my commute is pretty awesome—it is roughly a two-minute walk. Research is quite cool to see up close, but it is not for me.
I have also started some course development work for CSCI 1951x! We want to make some improvements to the course autograder, which is written in Lean. Currently it does some type-checking and sorry-checking, but it definitely could be extended. Some good Lean references I have been reading are The Hitchhiker's Guide to Logical Verification, Metaprogramming in Lean 4, and Types and Programming Languages.
In my free time I have been doing an excessive amount of LeetCode problems. It is addictive, especially when you do it with friends. I should probably stop at some point.
This summer, I have been