Theoretical Computer Science
lightning's user avatar
lightning's user avatar
lightning's user avatar
lightning
  • Member for 5 years, 10 months
  • Last seen more than 1 year ago
  • New York, NY, United States
Profile Activity
Stats
433
reputation
1k
reached
0
answers
9
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
5
bronze badges
Top tags
View all tags
0
Score
3
Posts
33
Posts %
0
Score
2
Posts
22
Posts %
0
Score
2
Posts
22
Posts %
0
Score
1
Posts
11
Posts %
0
Score
1
Posts
11
Posts %
0
Score
1
Posts
11
Posts %
Top posts
All Questions Answers
Score Newest
question
6
Can all structurally recursive functions be written without explicit recursion using a catamorphism/fold?
Feb 12, 2018
question
6
Ways to think formally about Satisfiability Modulo Theories
May 3, 2018
question
5
Seminal papers related to SMT theories (particularly QF_ABV)
May 18, 2018
question
5
Topology/Space of Recursive Algebraic Datatypes
Jul 30, 2018
question
4
Relation between different "complexity theories" and complex systems theory
May 23, 2018
question
4
What are values relative to Hask?
May 3, 2018
question
2
Approximate answer to Max-SMT (bitvector) query
Aug 3, 2018
question
0
Function that maps non-linear distribution to normal distribution while maintaining distance
Oct 4, 2018
question
0
Language/type system closest to Haskell without general recursion
Jan 25, 2018
Top network posts
View all network posts
9
Microtonal theorists who go beyond describing temperament and scale construction
8
Non-western music with tonic/predominant/dominant (or something like it)
7
Developments in musical form in mid-nineteenth - early-twentieth century music
7
Sources of musical tension
6
How do I/should I convince my advisor to let me transfer with her blessings?

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.