Computer Science
PyRulez
  • Member for 7 years, 4 months
  • Last seen more than a week ago
Profile Activity
Stats
756
reputation
33k
reached
4
answers
19
questions
Communities
View all
About

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

Badges
View all badges
1
gold badge
5
silver badges
18
bronze badges
Top tags
View all tags
9
Score
3
Posts
13
Posts %
4
Score
2
Posts
9
Posts %
0
Score
7
Posts
30
Posts %
0
Score
4
Posts
17
Posts %
0
Score
3
Posts
13
Posts %
0
Score
3
Posts
13
Posts %
Top posts
View all questions and answers
All Questions Answers
Votes Newest
7
Automata that is Turing complete if you add a nondeterminism
Feb 1 '19
6
Error correcting permutation code
Sep 3 '16
6
Generate string with large Kolmogrov complexity
Sep 10 '16
5
What is the Name of the Problem or Technique of Determining if a Line in a Program Will Execute
Jan 22 '19
4
Is C actually Turing-complete?
Feb 28 '19
4
Elegant algorithm to semi-decide if two lambda calculus terms are equivalent
Dec 23 '18
4
Algorithms for procedural generated mazes
Jan 18 '18
4
How does negation as failure work with variables?
Jan 30 '19
3
Efficient algorithm to determine if a lambda calculus term is equivalent to one without a given free variable
Dec 19 '18
3
When are you supposed to eta-reduce?
Dec 14 '18
Top network posts
View all network posts
313
Why is Haskell (GHC) so darn fast?
117
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.