I created this as a place to put useful things I am not sure where to put elsewhere yet.

• Guide to moving to Switzerland
• Guide to moving to Denmark
• Genealogy
• Programming languages and type theory spelling dictionary
• Vim Plug-in for Unicode Input
• Penn dissertation formatting
• Français notes