Miscellany

Tools

• WXTJ/WTJU playlist converter – At the University of Virginia’s student radio station WXTJ, DJs often plan their show using Spotify playlists. This tool automatically converts Spotify playlists to the format accepted by the station’s web interface.

School notes

Though I have come to prefer taking notes using pen and paper, I have published digital notes for a few classes at the University of Virginia. These notes reflect the classes as I took them and might be incomplete.

• Annotated LEAN files from CS2102: Discrete Math, taken Fall 2019
• Inference methods study guide for STAT2120, taken Spring 2020
• Notes from CS2150: Program & Data Representation, taken Fall 2020
• Notes from PSYC3559: Analyzing Decision Making Using Regression, taken January 2021

Fun

• Moodboard (warning: lots of big images)
• The infamous beverage alignment chart
• Fourier toy – draw parametric functions using swinging lines
• Partial solutions to the Advent of Code: 2021 (Haskell+Python), 2022 (Haskell)