Stack Exchange
log in
chat
meta
about
Stack Exchange
All Sites
Hot Questions
Top Users
Newsletters
Blogs
Dominic Mulligan
Cambridge, United Kingdom
dominic-mulligan.co.uk
top
accounts
reputation
activity
favorites
subscriptions
Top Questions
No questions with score of 5 or more
Top Answers
21
Major unsolved problems in theoretical computer science?
cstheory.stackexchange.com
13
The most mind-bending programming language?
programmers.stackexchange.com
10
Small steps for better TCS conferences?
cstheory.stackexchange.com
9
Are there any counterintuitive results in theoretical computer science?
cstheory.stackexchange.com
9
How do 'tactics' work in proof assistants?
cstheory.stackexchange.com
8
Where and how did computers help prove a theorem?
cstheory.stackexchange.com
6
What are possible implementations of Haskell's type classes and what are their (dis)advantages?
cstheory.stackexchange.com
5
Examples of “Unrelated” Mathematics Playing a Fundamental Role in TCS?
cstheory.stackexchange.com
Stack Exchange works best with JavaScript enabled
cstheory.stackexchange.com
programmers.stackexchange.com
