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
- 16 Enable ivy fuzzy matching everywhere, except in swiper
- 13 use-package - :init or :config
- 13 how to jump directly to an org-headline?
- 13 How can I get a ruler at column 80?
- 11 Insert line above/below
- 11 When to specify a package name in use-package's :ensure tag?
- 10 Is there a more efficient alternative to search-forward when searching for a single character?
- View more network posts →