Subletting
There was a big difference between living in the dorms and having an apartment. Having your own apartment meant: 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 was wonderful. I am very much looking forward to having my own apartment after college.
Work
Under a UTRA grant, I worked at the Brown Language and Thought Lab for the summer. It involved recruiting, running clinical trials, and organizing the lab databases. I found that I quite liked being in an office, and probably would not mind corporate work. But my commute was pretty awesome—it was roughly a two-minute walk. Research was quite cool to see up close, but it was not for me.
I also started some course development work for CSCI 1951x! We wanted to make some improvements to the course autograder, which was written in Lean. At the time it did some type-checking and sorry-checking, but it definitely could be extended. Some good Lean references I had been reading were The Hitchhiker's Guide to Logical Verification, Metaprogramming in Lean 4, and Types and Programming Languages.
In my free time I did an excessive amount of LeetCode problems. It was addictive, especially when you did it with friends. I told myself I should probably stop at some point.
Idleness and Slack
That summer, I had been
- Painting
- Bouldering
- Writing for this site
- Convincing people to write for their own sites
- Playing Wingspan
- Doing Dance Dance Revolution
- Memorizing the 197 countries of the world, the U.S. state capitals, and the U.S. presidents
- Editing my vim configuration
One of my New Year's Resolutions was to send a V4. I landed my first V3 on 7/5/24 and my first V4 on 7/14/24. I'm curious to see if it is replicatable...