Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Computer Science
Meta user
Network profile
2,050
reputation
3
7
18

user56834

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

0
answers
63
questions
~59k
people reached
  • Member for 2 years, 9 months
  • 298 profile views
  • Last seen May 4 at 18:43

Communities (41)

Top network posts

Top tags (60)

Score 0
Posts 9
Posts % 14
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 (63) All Questions Answers | Votes Newest

182 Why is writing down mathematical proofs more fault-proof than writing computer code? Dec 11 '17
29 What exactly is the semantic difference between set and type? Apr 30 '18
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 How would a CPU designed purely for functional programming be different? Feb 11
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 (28)

Gold

3

Rarest

Silver

7

Rarest

Bronze

18

Rarest

View all badges →