misc.

a space for random thoughts, hobbies, and other non-academic things