Theoretical Computer Science
Profile Activity
Network profile
481
reputation
2
13

PyRulez

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

1
answer
9
questions
~2k
people reached
  • ChristopherKing42
  • Member for 5 years, 2 months
  • 28 profile views
  • Last seen Nov 30 '20 at 3:21

Communities (63)

Top network posts

Top tags (25)

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

Top posts (10)

All Questions Answers
Votes Newest
8 Quantum Money where not even the Bank can counterfeit Dec 21 '19
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 Searchable finite field Feb 24 '18
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

Badges (15)

Gold

—

Silver

2

Rarest

Bronze

13

Rarest

View all badges →