Theoretical Computer Science
Holden Lee
  • Member for 8 years
  • Last seen more than a week ago
Profile Activity
Stats
638
reputation
2k
reached
2
answers
5
questions
Communities
View all
About

I'm a postdoc in math at Duke.

Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
13
bronze badges
Top tags
View all tags
10
Score
2
Posts
29
Posts %
1
Score
1
Posts
14
Posts %
0
Score
1
Posts
14
Posts %
0
Score
1
Posts
14
Posts %
0
Score
1
Posts
14
Posts %
0
Score
1
Posts
14
Posts %
Top posts
All Questions Answers
Votes Newest
16
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
Top network posts
View all network posts
42
Tensorflow variable scope: reuse if variable exists
20
Motivation for Weil pairing
10
Concrete and elementary applications of modular forms to elliptic curves
7
Rewriting a match in Coq
7
How to compose lenses that return Maybe (Haskell)

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.