Computer Science
chi's user avatar
chi's user avatar
chi's user avatar
chi
  • Member for 7 years, 9 months
  • Last seen more than a week ago
Profile Activity
Stats
14,404
reputation
300k
reached
320
answers
1
question
Communities
View all
Badges
View all badges
1
gold badge
29
silver badges
39
bronze badges
Top tags
View all tags
285
Score
39
Posts
12
Posts %
190
Score
46
Posts
14
Posts %
170
Score
62
Posts
19
Posts %
128
Score
28
Posts
9
Posts %
100
Score
30
Posts
9
Posts %
100
Score
19
Posts
6
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
104
Why are some programming languages "faster" or "slower" than others?
Mar 24, 2017
answer
71
Why are some programming languages Turing complete but lack some abilities of other languages?
Sep 27, 2016
answer
44
Is there a task that is solvable in polynomial time but not verifiable in polynomial time?
Dec 7, 2016
answer
24
Automatic Downcasting by Inferring the Type
Oct 17, 2016
answer
24
Lambda Calculus Generator
Sep 20, 2018
answer
19
What does the leading turnstile operator mean?
Sep 17, 2018
answer
17
What is the use case for multi-type-parameter generics?
Jul 15, 2018
answer
14
What is the difference between strong normalization and weak normalization in the context of rewrite systems?
Dec 30, 2016
answer
13
TCP Connection Termination - FIN, FIN ACK, ACK
Jun 6, 2017
answer
13
Proving a sorting operation in type system
Dec 26, 2015
Top Meta posts
1
2
13
Interview questions
9
Warn when some tags are used
6
Warn when some tags are used
Top network posts
View all network posts
133
Equal (=) Vs left arrow (<-) symbols in haskell
71
Why is `2 + x = 7` valid Haskell?
63
Turning A => M[B] into M[A => B]
60
Why is the number of ways of choosing $0$ items from $n$ items $1$?
50
How do we overcome the compile time and runtime gap when programming in a Dependently Typed Language?

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.