Computer Science
Meta user
Network profile
413
reputation
2
17

PyRulez

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

4
answers
19
questions
~13k
people reached
  • ChristopherKing42
  • Member for 4 years, 11 months
  • 34 profile views
  • Last seen Aug 16 at 15:44

Communities (61)

Top network posts

Top tags (53)

Score 8
Posts 3
Posts % 13
Score 3
Posts 2
Score 0
Posts 7
Score 0
Posts 4
Score 0
Posts 3
Score 0
Posts 3
View all tags →

Top posts (23) All Questions Answers | Votes Newest

7 Automata that is Turing complete if you add a nondeterminism Feb 1
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
4 How does negation as failure work with variables? Jan 30
3 Algorithms for procedural generated mazes Jan 18 '18
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
3 With a halting oracle, can tell whether something will have finite output? Jan 24 '16
3 How do you resolve this paradox with the invariance theorem? Dec 9 '18
View all questions and answers →

Badges (19)

Gold

—

Silver

2

Rarest

Bronze

17

Rarest

View all badges →