Theoretical Computer Science
PyRulez
  • Member for 6 years, 2 months
  • Last seen this week
Profile Activity
Stats
461
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
Votes Newest
7
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
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
Top network posts
View all network posts
313
Why is Haskell (GHC) so darn fast?
118
Program that creates larger versions of itself (quine-variant)
110
My school wants to keep the details of our door authentication system a secret. Is that a good idea?
78
Mathematical conjectures on which applications depend
71
Stealth in Space: How realistic is it?

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.