Loves programming languages
- Stack Overflow 5.5k 5.5k 22 gold badges3030 silver badges4040 bronze badges
- Theoretical Computer Science 544 544 44 silver badges99 bronze badges
- Web Applications 331 331 22 silver badges44 bronze badges
- Emacs 253 253 22 silver badges1111 bronze badges
- Computer Science 200 200 99 bronze badges
- View network profile
Top network posts
- 60 How can colored terminal output be disabled for sbt/play?
- 52 multiple side-by-side versions with Homebrew?
- 37 Should I avoid using Monad fail?
- 36 What is Axiom K?
- 36 Get the short Git version hash
- 34 What are some good introductory books on type theory?
- 23 Can I trick GitHub into displaying the PDF in the browser instead of downloading it?
- View more network posts →