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 8 years, 10 months
  • Last seen this week
  • At location (3,4) in a spacious terrarium (somewhere in the Netherlands)
Profile Activity

Stats

8,472
reputation
257k
reached
187
answers
7
questions
Communities
View all

About

(Continuously warm-blooded)

Badges

View all badges
3
gold badges
25
silver badges
53
bronze badges

Top tags

View all tags
152
Score
71
Posts
37
Posts %
98
Score
30
Posts
15
Posts %
91
Score
43
Posts
22
Posts %
74
Score
30
Posts
15
Posts %
37
Score
13
Posts
7
Posts %
36
Score
16
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
20
Why is Integer Linear Programming in NP?
Jan 17, 2024
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
41
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
51
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?