- Stack Overflow 4.6k 4.6k 1111 silver badges2727 bronze badges
- Vi and Vim 395 395 11 gold badge33 silver badges1414 bronze badges
- Computer Science 313 313 11 silver badge1010 bronze badges
- Theoretical Computer Science 201 201 11 silver badge66 bronze badges
- Mathematics 194 194 77 bronze badges
- View network profile →
Top network posts
- 37 How to apply more constraints on an interface declaration in Java?
- 26 Swap the position of two windows
- 19 GHC 7.10 generates slower code than older versions
- 10 Is Agda sound as a proof system?
- 9 How is Coq's parser implemented?
- 9 automatically rewrap lines when writing markdown in VIM
- 9 Load environment variables from a shell script
- View more network posts →