The Stack Overflow podcast is back! Listen to an interview with our new CEO.
Computer Science
Meta user
Network profile
2,050
reputation
3
9
19

user56834

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

0
answers
66
questions
~61k
people reached
  • Member for 3 years, 2 months
  • 303 profile views
  • Last seen 2 days ago

Communities (43)

Top network posts

Top tags (60)

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

190 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 (31)

Gold

3

Rarest

Silver

9

Rarest

Bronze

19

Rarest

View all badges →