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
620
reputation
1
3
8

Euge

Apparently, this user prefers to keep an air of mystery about them.

15
answers
0
questions
~21k
people reached
  • Member for 2 years, 10 months
  • 22 profile views
  • Last seen Mar 20 at 1:20

Communities (12)

Top network posts

Top tags (21)

Score 13
Posts 4
Posts % 27
Score 13
Posts 2
Score 11
Posts 2
Score 8
Posts 2
Score 7
Posts 2
Score 6
Posts 2
View all tags →

Top posts (15) All Questions Answers | Votes Newest

7 Why are some programming languages Turing complete but lack some abilities of other languages? Sep 27 '16
6 If modern computers aren't actually Turing-complete, does that mean that it is possible to determine if a program run on such a computer halts? Aug 31 '16
4 Does it make sense to have both the concept of 'null' and 'Maybe'? Dec 30 '16
4 Lambda calculus lists construction explanation Dec 17 '16
4 Lambda Calculus Prove Equality Excessive (Haskell-oriented) Nov 1 '16
4 Types and Types Systems concepts Oct 31 '16
3 Church-Rosser on an example Nov 29 '16
3 Collection of inference rules viewed itself as a judgment Oct 28 '16
3 Show that the following tautology is a theorem of natural deduction Sep 23 '16
2 Problem with Church numerals evaluation Feb 2 '17
View all questions and answers →

Badges (12)

Gold

1

Rarest

Silver

3

Rarest

Bronze

8

Rarest

View all badges →