Computer Science
Meta user
Network profile
610
reputation
1
4
8

Euge

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

14
answers
0
questions
~20k
people reached
  • Member for 3 years, 3 months
  • 22 profile views
  • Last seen Nov 6 at 0:17

Communities (12)

Top network posts

Top tags (20)

Score 14
Posts 4
Posts % 29
Score 13
Posts 2
Score 11
Posts 2
Score 8
Posts 2
Score 7
Posts 2
Score 7
Posts 1
View all tags →

Top posts (14) 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
5 Lambda calculus lists construction explanation Dec 17 '16
4 Does it make sense to have both the concept of 'null' and 'Maybe'? Dec 30 '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 (13)

Gold

1

Rarest

Silver

4

Rarest

Bronze

8

Rarest

View all badges →