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

user56834

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

0
answers
86
questions
~75k
people reached
  • Member for 3 years, 8 months
  • 440 profile views
  • Last seen yesterday

Communities (44)

Top network posts

Top tags (79)

Score 0
Posts 10
Posts % 12
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 (86)

All Questions Answers
Votes Newest
198 Why is writing down mathematical proofs more fault-proof than writing computer code? Dec 11 '17
34 What exactly is the semantic difference between set and type? Apr 30 '18
29 why don't we use machines with random access memory as our basic model of computation? Mar 2
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
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 (36)

Gold

3

Rarest

Silver

11

Rarest

Bronze

22

Rarest

View all badges →