Ben Millwood
Previous name: benmachine.
I did an undergraduate degree in mathematics (focusing on logic) and am now a full time programmer. I write Haskell for fun and OCaml for money.
4
answers
3
questions
~9k
people reached
-
Member for 8 years, 10 months
-
356 profile views
-
Last seen May 19 '20 at 5:44
Communities (36)
- Mathematics 13.1k 13.1k 33 gold badges2626 silver badges5757 bronze badges
- Stack Overflow 6.4k 6.4k 2121 silver badges4343 bronze badges
- Puzzling 807 807 66 silver badges1010 bronze badges
- Computer Science 519 519 22 silver badges1212 bronze badges
- Academia 347 347 11 silver badge66 bronze badges
- View network profile
Top network posts
- 267 One question to know if the number is 1, 2 or 3
- 231 Can the golden ratio accurately be expressed in terms of $e$ and $\pi$
- 54 In the 100 blue eyes problem - why is the oracle necessary?
- 51 Prove that the product of four consecutive positive integers plus one is a perfect square
- 50 Do $3/8$ (37.5%) of Quadratics Have No $x$-Intercepts?
- 37 Haskell line of code not compiling: "Illegal datatype context"
- 36 Do Hask or Agda have equalisers?
- View more network posts →
Top tags (11)
Score
202
Posts
5
Posts %
71
Badges (23)
Gold
1
Rarest
-
Jul 13 '17
Silver
10
Rarest
Bronze
12
Rarest
-
Jun 30 '12
-
Jun 30 '12
-
Sep 22 '12