Computer Science
Profile Activity
Meta user
Network profile
4,432
reputation
4
12
22

user56834

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

0
answers
88
questions
~80k
people reached
  • Member for 4 years, 4 months
  • 452 profile views
  • Last seen Nov 20 at 9:39

Communities (44)

Top network posts

Top tags (80)

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

Top posts (88)

All Questions Answers
Votes Newest
207 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 What exactly is the semantic difference between category and set? Apr 30 '18
12 Can every self-modifying algorithm be modelled by a non-selfmodifying algorithm? Aug 4 '16
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 Good book on the history of programming languages? Feb 22
6 Unbounded-time programs in lambda calculus? Mar 4 '19
View all questions and answers →

Badges (38)

Gold

4

Rarest

Silver

12

Rarest

Bronze

22

Rarest

View all badges →