A message from our CEO about the future of Stack Overflow and Stack Exchange. Read now.
Computer Science
Meta user
Network profile
4,145
reputation
3
9
20

user56834

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

0
answers
76
questions
~63k
people reached
  • Member for 3 years, 5 months
  • 314 profile views
  • Last seen Jan 13 at 13:22

Communities (44)

Top network posts

Top tags (73)

Score 0
Posts 10
Posts % 13
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 (76) All Questions Answers | Votes Newest

196 Why is writing down mathematical proofs more fault-proof than writing computer code? Dec 11 '17
33 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 '19
14 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
11 What exactly is the semantic difference between category and set? Apr 30 '18
6 Unbounded-time programs in lambda calculus? Mar 4 '19
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 (32)

Gold

3

Rarest

Silver

9

Rarest

Bronze

20

Rarest

View all badges →