Skip to main content
Computer Science
Jason Hu's user avatar
Jason Hu's user avatar
Jason Hu's user avatar
Jason Hu
  • Member for 7 years, 7 months
  • Last seen this week
Profile Activity
Stats
642
reputation
5k
reached
2
answers
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.
3
silver badges
13
bronze badges
Top tags
View all tags
1
Score
2
Posts
18
Posts %
1
Score
2
Posts
18
Posts %
1
Score
1
Posts
9
Posts %
1
Score
1
Posts
9
Posts %
0
Score
4
Posts
36
Posts %
0
Score
4
Posts
36
Posts %
Top posts
View all questions and answers
question
12
Why product type is a dependent SUM?
Sep 11, 2017
question
11
Is Agda sound as a proof system?
Mar 21, 2018
question
8
What does instantiating existential variables with out of scope variable imply?
Sep 22, 2017
question
8
Is Coq synthetic or analytic?
Jun 14, 2018
question
4
Agda: Which part does this type introduce universe inconsistency?
Feb 13, 2018
question
3
How come identity encodes absurdity
Sep 21, 2017
question
3
positivity condition in Coq/CIC
Sep 24, 2017
question
1
How can MLTT etc encode computability?
Oct 9, 2018
question
1
Decidable problems for which no concrete decision procedure is known
Apr 2, 2019
answer
1
Decidable problems for which no concrete decision procedure is known
Apr 2, 2019
Top network posts
View all network posts
90
Swap the position of two windows
37
How to apply more constraints on an interface declaration in Java?
22
Regular expression for odd number of a's
19
GHC 7.10 generates slower code than older versions
18
automatically rewrap lines when writing markdown in VIM