Computer Science
Meta user
Network profile
2,030
reputation
3
8
18

user56834

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

0
answers
64
questions
~60k
people reached
  • Member for 3 years
  • 301 profile views
  • Last seen Aug 5 at 18:03

Communities (41)

Top network posts

Top tags (60)

Score 0
Posts 10
Posts % 16
Score 0
Posts 8
Score 0
Posts 7
Score 0
Posts 6
Score 0
Posts 6
Score 0
Posts 6
View all tags →

Top posts (64) All Questions Answers | Votes Newest

189 Why is writing down mathematical proofs more fault-proof than writing computer code? Dec 11 '17
32 What exactly is the semantic difference between set and type? Apr 30 '18
14 How would a CPU designed purely for functional programming be different? Feb 11
13 Is there a concept for an algorithm computing a function by first finding another algorithm? Dec 31 '17
12 Can every self-modifying algorithm be modelled by a non-selfmodifying algorithm? Aug 4 '16
10 What exactly is the semantic difference between category and set? Apr 30 '18
6 Unbounded-time programs in lambda calculus? Mar 4
6 Do most computational efficiency increases due to increased transistor count in the last 70 years depend on some kind of parallelism? Nov 26 '18
6 Why are word sizes in modern CPU’s a power of 2? Nov 24 '18
6 Relation between “undecidability of arithmetic” and “godel's incompleteness theorem”? Mar 30 '18
View all questions and answers →

Badges (29)

Gold

3

Rarest

Silver

8

Rarest

Bronze

18

Rarest

View all badges →