Theoretical Computer Science
Jeff Burdges's user avatar
Jeff Burdges's user avatar
Jeff Burdges's user avatar
Jeff Burdges
  • Member for 12 years, 2 months
  • Last seen more than 1 year ago
  • http://www.maths.manchester.ac.uk/~burdges/
Profile Activity
Stats
1,206
reputation
57k
reached
9
answers
10
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
6
silver badges
11
bronze badges
Top tags
View all tags
22
Score
2
Posts
11
Posts %
19
Score
4
Posts
21
Posts %
15
Score
2
Posts
11
Posts %
9
Score
2
Posts
11
Posts %
0
Score
4
Posts
21
Posts %
0
Score
3
Posts
16
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
22
What would a very simple quantum program look like?
Dec 12, 2011
answer
15
Why do we use single tape Turing machines for time complexity?
Apr 5, 2012
question
9
Midpoint solutions to linear programs
Mar 12, 2012
question
8
How should one simulate self-avoiding random walks?
Nov 11, 2011
question
7
Are there nice generalizations of SPQR trees to k-connected components for k>3?
Oct 16, 2011
answer
6
For a language to be programmable, is it mandatory that it be based on a context free grammar
Nov 30, 2011
question
6
Non-trivial applications of Bloom filters
Dec 4, 2011
question
6
Is there a theory of overloading types?
Jan 22, 2016
question
5
Nondeterministic linear time vs. the deterministic time hierarchy
Feb 6, 2013
answer
5
Is there such a thing as a weak coalgebra homomorphism?
Dec 11, 2011
Top network posts
View all network posts
28
Can GHC really never inline map, scanl, foldr, etc.?
26
Avoiding IORefs in pure code
26
Write the prettiest bytebeat composition
25
Why does the all 0 public key have a known private key in SR25519 and ED25519?
23
Why don't type synonyms permit recursion in Haskell?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.