Computer Science
Discrete lizard's user avatar
Discrete lizard's user avatar
Discrete lizard's user avatar
Discrete lizard
Moderator
  • Member for 6 years, 8 months
  • Last seen this week
  • At location (3,4) in a spacious terrarium (somewhere in the Netherlands)
Profile Activity
Stats
7,768
reputation
188k
reached
178
answers
7
questions
Communities
View all
About

(Continuously warm-blooded)

When asked by the devil to recite the the whole code of conduct while standing on one leg in the scorching desert...

Upvote good posts, downvote bad posts, make good posts, flag when you need help, be nice. The rest is commentary.

Badges
View all badges
3
gold badges
23
silver badges
52
bronze badges
Top tags
View all tags
135
Score
67
Posts
36
Posts %
86
Score
29
Posts
16
Posts %
84
Score
41
Posts
22
Posts %
70
Score
29
Posts
16
Posts %
30
Score
14
Posts
8
Posts %
29
Score
11
Posts
6
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
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
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
15
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
answer
8
Queries to count points lying on arbitrary line
May 29
Top Meta posts
5
36
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
48
Print "N NE E SE S SW W NW"
48
Is there proof that the D-wave (one) is a quantum computer and is effective?
37
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?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.