Theoretical Computer Science
user avatar
user avatar
user avatar
Holden Lee
  • Member for 8 years, 6 months
  • Last seen this week
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
Score Newest
question
16
Program reasoning about own source code
Sep 4, 2015
question
12
Pseudorandom generator for finite automata
Dec 15, 2014
answer
9
Does the infinite graph of diagonals have an infinite component?
Aug 26, 2015
question
6
Learning read-once branching programs with membership queries
Mar 25, 2015
question
4
Finding the minimum number of coordinates to change to get a vector inside a subspace
Nov 24, 2014
question
2
How to translate the axiom schema of induction by Curry-Howard?
Jul 26, 2014
answer
1
About a random walk with constant spectral gap
Sep 7, 2015
Top network posts
View all network posts
42
Tensorflow variable scope: reuse if variable exists
21
Motivation for Weil pairing
10
Concrete and elementary applications of modular forms to elliptic curves
7
Haskell type annotation in function
7
Rewriting a match in Coq

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.