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
- 21 How can I get a ruler at column 80?
- 19 Enable ivy fuzzy matching everywhere, except in swiper
- 18 how to jump directly to an org-headline?
- 14 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?
- 12 Insert line above/below
- View more network posts →