Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Theoretical Computer Science
Meta User
Network Profile
1,587
reputation
8
24

Geoffrey Irving

Apparently, this user prefers to keep an air of mystery about them.

18
answers
27
questions
~12k
people reached
  • naml.us
  • Member for 6 years, 3 months
  • 224 profile views
  • Last seen Oct 18 '18 at 3:14

Communities (24)

Top Network Posts

Top Tags (60)

Score 19
Posts 4
Posts % 9
Score 5
Posts 3
Score 5
Posts 3
Score 5
Posts 3
Score 4
Posts 3
Score 4
Posts 3
View all tags →

Top Posts (45) All Questions Answers | Votes Newest

30 Has a proof checker bug ever invalidated a major proof? Jan 13 '17
15 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
15 Separating words with random DFAs May 12 '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
9 Fast algorithm for composing Boolean polynomials Apr 10 '17
8 Complexity of checking if AB intersects C Mar 27 '13
View all questions and answers →

Badges (32)

Gold

—

Silver

8

Rarest

Bronze

24

Rarest

View all badges →