Computer Science
Jason Hu
  • Member for 4 years, 9 months
  • Last seen more than a month ago
Profile Activity
Stats
553
reputation
3k
reached
1
answer
9
questions
Communities
View all
About

Programming world is not fair. http://hustmphrrr.github.io/

Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
10
bronze badges
Top tags
View all tags
1
Score
2
Posts
20
Posts %
1
Score
2
Posts
20
Posts %
0
Score
4
Posts
40
Posts %
0
Score
4
Posts
40
Posts %
0
Score
4
Posts
40
Posts %
0
Score
3
Posts
30
Posts %
Top posts
All Questions Answers
Votes Newest
10
Is Agda sound as a proof system?
Mar 21 '18
8
Why product type is a dependent SUM?
Sep 11 '17
8
Is Coq synthetic or analytic?
Jun 14 '18
7
What does instantiating existential variables with out of scope variable imply?
Sep 22 '17
4
Agda: Which part does this type introduce universe inconsistency?
Feb 13 '18
3
How come identity encodes absurdity
Sep 21 '17
1
Decidable problems for which no concrete decision procedure is known
Apr 2 '19
1
How can MLTT etc encode computability?
Oct 9 '18
1
positivity condition in Coq/CIC
Sep 24 '17
1
Decidable problems for which no concrete decision procedure is known
Apr 2 '19
Top network posts
View all network posts
65
Swap the position of two windows
37
How to apply more constraints on an interface declaration in Java?
19
GHC 7.10 generates slower code than older versions
17
Regular expression for odd number of a's
16
Return a value from Java 8 forEach loop

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.