Computer Science
Discrete lizard's user avatar
Discrete lizard's user avatar
Discrete lizard's user avatar
Discrete lizard
Moderator
  • Member for 7 years, 2 months
  • Last seen this week
  • At location (3,4) in a spacious terrarium (somewhere in the Netherlands)
Profile Activity
Stats
8,248
reputation
207k
reached
183
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
144
Score
69
Posts
36
Posts %
95
Score
30
Posts
16
Posts %
85
Score
41
Posts
22
Posts %
74
Score
30
Posts
16
Posts %
36
Score
13
Posts
7
Posts %
30
Score
14
Posts
7
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
What is a 'Key' in computer science?
Apr 23, 2019
answer
12
Naive argument that P ≠ NP
Jan 4, 2018
answer
9
Why is a sequence of n Push, Pop, Multipop operations O(n²)?
Jan 14, 2018
Top Meta posts
5
38
11
Is MathJax in title allowed?
10
2019 Moderator Election Q&A - Questionnaire
10
Welcoming new users by downvoting their questions
9
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?
24
How does the Grover diffusion operator work and why is it optimal?