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
423
reputation
2
13

Holden Lee

I'm a grad student in mathematics/theoretical computer science at Princeton.

2
answers
5
questions
~2k
people reached

Communities (13)

Top network posts

Top tags (13)

Score 10
Posts 2
Posts % 29
Score 1
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
View all tags →

Top posts (7) All Questions Answers | Votes Newest

15 Program reasoning about own source code Sep 4 '15
12 Pseudorandom generator for finite automata Dec 15 '14
9 Does the infinite graph of diagonals have an infinite component? Aug 26 '15
6 Learning read-once branching programs with membership queries Mar 25 '15
4 Finding the minimum number of coordinates to change to get a vector inside a subspace Nov 24 '14
2 How to translate the axiom schema of induction by Curry-Howard? Jul 26 '14
1 About a random walk with constant spectral gap Sep 7 '15

Badges (15)

Gold

—

Silver

2

Rarest

Bronze

13

Rarest

View all badges →