Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Computer Science
Meta user
Network profile
403
reputation
2
17

PyRulez

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

4
answers
19
questions
~11k
people reached
  • ChristopherKing42
  • Member for 4 years, 8 months
  • 33 profile views
  • Last seen Apr 24 at 10:10

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
3 Is C actually Turing-complete? Feb 28
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 How does negation as failure work with variables? Jan 30
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 →