Results from the 2022 Developer Survey are now available
Theoretical Computer Science
user avatar
user avatar
user avatar
Geoffrey Irving
  • Member for 9 years, 5 months
  • Last seen this week
Profile Activity
Stats
3,221
reputation
18k
reached
21
answers
38
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
13
silver badges
27
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
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
10
Does MIP* = RE algebrize?
Mar 7, 2020
question
9
Formalizing the "no formula for primes" intuition
May 23, 2020
Top network posts
View all network posts
220
In TensorFlow, what is the difference between Session.run() and Tensor.eval()?
121
Increase JVM heap size for Scala?
55
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.