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.
Member for 8 years, 10 months
356 profile views
Last seen May 19 '20 at 5:44
- 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 →