Stack Exchange Network

Stack Exchange network consists of 174 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
1,778
reputation
3
7
16

user56834

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

0
answers
50
questions
~56k
people reached
  • Member for 2 years, 5 months
  • 282 profile views
  • Last seen Dec 18 '18 at 9:09

Communities (40)

Top Network Posts

Top Tags (52)

Score 0
Posts 7
Posts % 14
Score 0
Posts 6
Score 0
Posts 5
Score 0
Posts 5
Score 0
Posts 4
Score 0
Posts 4
View all tags →

Top Posts (50) All Questions Answers | Votes Newest

179 Why is writing down mathematical proofs more fault-proof than writing computer code? Dec 11 '17
28 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
9 What exactly is the semantic difference between category and set? Apr 30 '18
6 Relation between “undecidability of arithmetic” and “godel's incompleteness theorem”? Mar 30 '18
6 Why is the set for which a decision problem is true called a “language”? Mar 16 '18
5 Do most computational efficiency increases due to increased transistor count in the last 70 years depend on some kind of parallelism? Nov 26 '18
5 Introduction to type theory for a beginner? Dec 11 '17
5 Is there a formal difference between $f:X \to X$ and $f\in X \to X$? Apr 29 '18
View all questions and answers →

Badges (26)

Gold

3

Rarest

Silver

7

Rarest

Bronze

16

Rarest

View all badges →