Podcast #128: We chat with Kent C Dodds about why he loves React and discuss what life was like in the dark days before Git. Listen now.
Theoretical Computer Science
Network profile
389
reputation
1
13

PyRulez

I enjoy programming in Haskell. I also have python experience. Category theory is cool.

1
answer
8
questions
~1k
people reached

Communities (61)

Top network posts

Top tags (21)

Score 5
Posts 3
Posts % 33
Score 5
Posts 2
Score 5
Posts 2
Score 0
Posts 3
Score 0
Posts 2
Score 0
Posts 2
View all tags →

Top posts (9) All Questions Answers | Votes Newest

6 Do we know a specific $L_{ZFC}$ such that $K(s) \ge L_{ZFC}$ is unprovable in ZFC for all strings $s$? Oct 14 '17
5 Which computational models support bigotous programs? Jun 8 '17
5 Do we know a specific $L_{ZFC}$ such that $K(s) \ge L_{ZFC}$ is unprovable in ZFC for all strings $s$? Oct 20 '17
4 Can any Calculus of Construction term be built up from application of a finite number of terms? Nov 16 '17
3 Does the physical Church-Turing thesis imply that all physical constants are computable? Mar 20 '18
2 Reasonable estimate of an asymptotic limit notion of Kolmogorov complexity Oct 14 '17
1 Is true randomness and the physical Church-Turing thesis incompatible? Mar 21 '18
1 Is this algorithm similar to any none in the literature? Sep 5 '18
0 Searchable finite field Feb 24 '18

Badges (14)

Gold

—

Silver

1

Rarest

Bronze

13

Rarest

View all badges →