Skip to main content
Theoretical Computer Science
Geoffrey Irving's user avatar
Geoffrey Irving's user avatar
Geoffrey Irving's user avatar
Geoffrey Irving
  • Member for 11 years, 11 months
  • Last seen this week
Profile Activity
Stats
3,313
reputation
22k
reached
21
answers
39
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
15
silver badges
29
bronze badges
Top tags
View all tags
22
Score
5
Posts
8
Posts %
5
Score
3
Posts
5
Posts %
5
Score
3
Posts
5
Posts %
2
Score
4
Posts
7
Posts %
1
Score
6
Posts
10
Posts %
1
Score
4
Posts
7
Posts %
Top posts
View all questions and answers
question
29
Has a proof checker bug ever invalidated a major proof?
Jan 13, 2017
question
18
Natural theorems proven only "to high probability"?
Mar 6, 2014
question
18
Separating words with random DFAs
May 12, 2014
question
17
Probability that a random sorting network works
Feb 28, 2018
answer
16
Should reductions make us more or less optimistic for the tractability of a problem?
Mar 31, 2014
question
13
Gap between $BB(n)$ and "second largest" $BB(n)$
Apr 30, 2017
question
11
Does MIP* = RE algebrize?
Mar 7, 2020
question
11
Minimum communication cost for zero knowledge proofs of three colorability
Jan 19, 2015
question
10
Is deterministic pseudorandomness possibly stronger than randomness in parallel?
Jan 7, 2013
question
9
Fully linear time regular expression matching
Aug 7, 2015
Top network posts
View all network posts
223
In TensorFlow, what is the difference between Session.run() and Tensor.eval()?
124
Increase JVM heap size for Scala?
65
Ignore case in glob() on Linux
25
Enabling floating point interrupts on Mac OS X Intel
23
Can diagonal plus fixed symmetric linear systems be solved in quadratic time after precomputation?