Theoretical Computer Science
PyRulez's user avatar
PyRulez's user avatar
PyRulez's user avatar
PyRulez
  • Member for 8 years
  • Last seen more than a month ago
Profile Activity
Stats
471
reputation
2k
reached
1
answer
9
questions
Communities
View all
About

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

Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
13
bronze badges
Top tags
View all tags
5
Score
3
Posts
30
Posts %
5
Score
2
Posts
20
Posts %
5
Score
2
Posts
20
Posts %
0
Score
3
Posts
30
Posts %
0
Score
3
Posts
30
Posts %
0
Score
2
Posts
20
Posts %
Top posts
All Questions Answers
Score Newest
question
8
Quantum Money where not even the Bank can counterfeit
Dec 21, 2019
question
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, 2017
question
5
Which computational models support bigotous programs?
Jun 8, 2017
answer
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, 2017
question
4
Can any Calculus of Construction term be built up from application of a finite number of terms?
Nov 16, 2017
question
3
Does the physical Church-Turing thesis imply that all physical constants are computable?
Mar 20, 2018
question
2
Reasonable estimate of an asymptotic limit notion of Kolmogorov complexity
Oct 14, 2017
question
1
Is true randomness and the physical Church-Turing thesis incompatible?
Mar 21, 2018
question
1
Is this algorithm similar to any none in the literature?
Sep 5, 2018
question
0
Searchable finite field
Feb 24, 2018
Top network posts
View all network posts
338
Why is Haskell (GHC) so darn fast?
129
Program that creates larger versions of itself (quine-variant)
109
My school wants to keep the details of our door authentication system a secret. Is that a good idea?
80
Stealth in Space: How realistic is it?
78
Mathematical conjectures on which applications depend

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.