Stack Exchange
log in
chat
meta
about
Stack Exchange
Hot Questions
Tagged Questions
All Sites
Top Users
Newsletters
huitseeker
Orsay, France
garillot.net
Age: 29
Graduate student teaching
Coq
how to do
some group theory
in
the lab with the best coffee around
.
top
accounts
reputation
activity
favorites
subscriptions
Top Questions
No questions with 5 or more votes
Top Answers
37
What are the lesser known but useful data structures?
stackoverflow.com
27
Programming Fonts
stackoverflow.com
15
Method is tail recursive when defined on object but not on class
stackoverflow.com
15
Why applicative functors in Haskell and functional programming
stackoverflow.com
14
How practical is Automata Theory?
cstheory.stackexchange.com
9
Why do I get a “missing parameter for expanded function” in one case and not the other?
stackoverflow.com
9
Emacs completion: autocomplete or company?
stackoverflow.com
9
Scala enumeration to int
stackoverflow.com
8
What is the state of OCaml's parallelization abilities?
stackoverflow.com
8
Recursion schemes for dummies?
stackoverflow.com
7
Show the original branch for a commit
stackoverflow.com
6
Face recognition Library
stackoverflow.com
6
What is a “multisorted algebra”, and how do I use it to solve “real problems”?
stackoverflow.com
6
What are the lesser known but useful data structures?
stackoverflow.com
6
Why is there an implicit conversion from Float/Double to BigDecimal, but not from String?
stackoverflow.com
6
how to answer yes or no automatically in emacs
stackoverflow.com
6
Parametric polymorphism vs Ad-hoc polymorphism
stackoverflow.com
6
Need to recursively remove license preamble
stackoverflow.com
5
Datatype-generic programming libraries for Scala
stackoverflow.com
5
Scala 2.8 collections design tutorial
stackoverflow.com
5
Why can I mark methods as implicit but not the constructor?
stackoverflow.com
5
How can I automatically restart a process after it terminates?
serverfault.com
5
Linux: How to see live numbers of bytes/second transferred to/from hard drive?
serverfault.com