We’re rewarding the question askers & reputations are being recalculated! Read more.
Computer Science
Meta user
Network profile
519
reputation
2
12

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
1
question
~7k
people reached
  • Member for 7 years, 5 months
  • 44 profile views
  • Last seen Nov 6 at 13:13

Communities (33)

Top network posts

Top tags (11)

Score 15
Posts 1
Posts % 20
Score 2
Posts 1
Score 2
Posts 1
Score 2
Posts 1
Score 2
Posts 1
Score 2
Posts 1
View all tags →

Top posts (5) All Questions Answers | Votes Newest

23 Categorisation of type systems (strong/weak, dynamic/static) Jun 9 '12
15 What is an extremely basic asymmetric cipher that I can present at the pub? Dec 30 '17
7 Categorisation of type systems (strong/weak, dynamic/static) Jun 13 '12
2 Why does soundness imply consistency? Feb 19 '18
1 Finding all marked elements using Grover's algorithm Aug 1 '13

Badges (14)

Gold

—

Silver

2

Rarest

Bronze

12

Rarest

View all badges →