Student of computer science with an interest in functional programming languages, compiler theory, formal verification, the GNU/Linux operating system, text editing software and free software in general.
Top network posts
- 19 Enable ivy fuzzy matching everywhere, except in swiper
- 18 How can I get a ruler at column 80?
- 14 how to jump directly to an org-headline?
- 13 use-package - :init or :config
- 13 How to clear recent files list?
- 12 When to specify a package name in use-package's :ensure tag?
- 11 How can the list of projects used by Projectile be manually updated?
- View more network posts →