- Stack Overflow 4.7k 4.7k 1818 silver badges3333 bronze badges
- Mathematics 962 962 66 silver badges2020 bronze badges
- Super User 535 535 44 silver badges1111 bronze badges
- Information Security 434 434 33 silver badges99 bronze badges
- Ask Ubuntu 433 433 33 silver badges66 bronze badges
- View network profile
Top network posts
- 47 Examples of patterns that eventually fail
- 35 Zip folder recursively, save for a given sub folder (Linux)
- 35 Could G. H. Hardy make a product of two primes so big he couldn't find out which?
- 28 Can I extract a Coq proof as a Haskell function?
- 27 Do firefighters avoid eating pork?
- 21 Can I extract a Coq proof as a Haskell function?
- 19 How can I remove a trailing newline?
- View more network posts →