As of May 31, 2023, we have updated our Code of Conduct.
Theoretical Computer Science
Geoffrey Irving's user avatar
Geoffrey Irving's user avatar
Geoffrey Irving's user avatar
Geoffrey Irving
  • Member for 10 years, 5 months
  • Last seen this week
Profile Activity
Stats
3,223
reputation
19k
reached
21
answers
38
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
14
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
All Questions Answers
Score Newest
question
29
Has a proof checker bug ever invalidated a major proof?
Jan 13, 2017
question
18
Separating words with random DFAs
May 12, 2014
answer
16
Should reductions make us more or less optimistic for the tractability of a problem?
Mar 31, 2014
question
15
Natural theorems proven only "to high probability"?
Mar 6, 2014
question
14
Probability that a random sorting network works
Feb 28, 2018
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()?
121
Increase JVM heap size for Scala?
59
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?

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.