A repository for lecture notes and gists