Theoretical Computer Science
Geoffrey Irving
  • naml.us
  • Member for 8 years, 9 months
Profile Activity
Stats
3,074
reputation
17k
reached
20
answers
36
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
12
silver badges
27
bronze badges
Top tags
View all 72 tags
22
Score
5
Posts
9
Posts %
5
Score
3
Posts
5
Posts %
5
Score
3
Posts
5
Posts %
5
Score
3
Posts
5
Posts %
2
Score
4
Posts
7
Posts %
1
Score
6
Posts
11
Posts %
Top posts
View all questions and answers
All Questions Answers
Votes Newest
29
Has a proof checker bug ever invalidated a major proof?
Jan 13 '17
18
Separating words with random DFAs
May 12 '14
16
Should reductions make us more or less optimistic for the tractability of a problem?
Mar 31 '14
15
Natural theorems proven only "to high probability"?
Mar 6 '14
14
Probability that a random sorting network works
Feb 28 '18
13
Gap between $BB(n)$ and "second largest" $BB(n)$
Apr 30 '17
11
Minimum communication cost for zero knowledge proofs of three colorability
Jan 19 '15
10
Is deterministic pseudorandomness possibly stronger than randomness in parallel?
Jan 7 '13
10
Does MIP* = RE algebrize?
Mar 7 '20
9
Formalizing the "no formula for primes" intuition
May 23 '20
Top network posts
View all
218
In TensorFlow, what is the difference between Session.run() and Tensor.eval()?
119
Increase JVM heap size for Scala?
52
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?
18
How does gcc implement stack unrolling for C++ exceptions on linux?
18
Enabling floating point interrupts on Mac OS X Intel

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.