Computer Science
PyRulez
Profile Activity
Stats
756
reputation
31k
reached
4
answers
19
questions
About

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

Communities (63)

Top network posts

1
gold badge
5
silver badges
18
bronze badges
View all badges

Top tags (52)

Score 9
Posts 3
Posts % 13
Score 4
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 '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
View all questions and answers →

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.