Skip to main content
Computer Science
Discrete lizard's user avatar
Discrete lizard's user avatar
Discrete lizard's user avatar
Discrete lizard
Moderator
  • Member for 7 years, 10 months
  • Last seen this week
  • At location (3,4) in a spacious terrarium (somewhere in the Netherlands)
Profile Activity
Stats
8,342
reputation
219k
reached
185
answers
7
questions
Communities
View all
About

(Continuously warm-blooded)

Badges
View all badges
3
gold badges
24
silver badges
53
bronze badges
Top tags
View all tags
145
Score
69
Posts
36
Posts %
96
Score
30
Posts
16
Posts %
87
Score
42
Posts
22
Posts %
74
Score
30
Posts
16
Posts %
37
Score
13
Posts
7
Posts %
32
Score
15
Posts
8
Posts %
Top posts
View all questions and answers
answer
64
Why is writing down mathematical proofs more fault-proof than writing computer code?
Dec 11, 2017
answer
28
Turing machine + time dilation = solve the halting problem?
Apr 6, 2018
answer
20
What kind of math problems can be solved by automated theorem provers?
Apr 15, 2018
answer
19
Why is Integer Linear Programming in NP?
Jan 17
answer
18
Does this article imply that Turing-Computability is not the same as "effectively computable"?
Apr 30, 2019
answer
17
Why do ¬, ∀ and ∃ have the same precedence?
Mar 21, 2019
answer
16
What exactly is the semantic difference between set and type?
Apr 30, 2018
answer
13
Naive argument that P ≠ NP
Jan 4, 2018
answer
13
What is a 'Key' in computer science?
Apr 23, 2019
answer
9
Why is a sequence of n Push, Pop, Multipop operations O(n²)?
Jan 14, 2018
Top Meta posts
5
40
11
Is MathJax in title allowed?
10
2019 Moderator Election Q&A - Questionnaire
10
Welcoming new users by downvoting their questions
10
What is the difference between computer science stack exchange site and Stack Overflow?
8
The point system & voting
Top network posts
View all network posts
50
Is there proof that the D-wave (one) is a quantum computer and is effective?
48
Print "N NE E SE S SW W NW"
38
Is there a layman's explanation for why Grover's algorithm works?