Computer Science
Profile Activity
Meta user
Network profile
4,352
reputation
4
11
22

user56834

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

0
answers
87
questions
~77k
people reached
  • Member for 3 years, 11 months
  • 442 profile views
  • Last seen Jun 16 at 16:09

Communities (44)

Top network posts

Top tags (79)

Score 0
Posts 11
Posts % 13
Score 0
Posts 9
Score 0
Posts 8
Score 0
Posts 8
Score 0
Posts 7
Score 0
Posts 7
View all tags →

Top posts (87)

All Questions Answers
Votes Newest
202 Why is writing down mathematical proofs more fault-proof than writing computer code? Dec 11 '17
35 What exactly is the semantic difference between set and type? Apr 30 '18
30 why don't we use machines with random access memory as our basic model of computation? Mar 2
16 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
7 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 Unbounded-time programs in lambda calculus? Mar 4 '19
6 Why are word sizes in modern CPU’s a power of 2? Nov 24 '18
View all questions and answers →

Badges (37)

Gold

4

Rarest

Silver

11

Rarest

Bronze

22

Rarest

View all badges →