Stack Exchange

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