Hi everyone :)
Member for 10 years, 6 months
31 profile views
Last seen May 27 '12 at 14:13
- Theoretical Computer Science 1k 1k 77 silver badges1111 bronze badges
- Stack Overflow 795 795 77 silver badges1010 bronze badges
- Ask Ubuntu 271 271 22 silver badges99 bronze badges
- TeX - LaTeX 193 193 44 bronze badges
- Unix & Linux 191 191 11 gold badge11 silver badge66 bronze badges
- View network profile
Top network posts
- 38 A probabilistic set with no false positives?
- 15 Unary parametricity vs. binary parametricity
- 14 Emacs shell-mode display is too wide after splitting window
- 13 Reference for Levin's optimal factoring algorithm ?
- 10 Stop Ubuntu keyboard shortcuts from "resurrecting"
- 9 Deciding if a wildcard string is completely matched by another wildcard string in a set
- 8 Is there any way to define flags for cabal dependencies?
- View more network posts →