Computer Science
Meta user
Network profile
308
reputation
1
10

Jason Hu

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

1
answer
9
questions
~2k
people reached
  • Member for 2 years, 1 month
  • 16 profile views
  • Last seen Jun 14 at 13:59

Communities (24)

Top network posts

Top tags (10)

Score 1
Posts 2
Posts % 20
Score 1
Posts 2
Score 0
Posts 4
Score 0
Posts 4
Score 0
Posts 4
Score 0
Posts 3
View all tags →

Top posts (10) All Questions Answers | Votes Newest

10 Is Agda sound as a proof system? Mar 21 '18
7 Is Coq synthetic or analytic? Jun 14 '18
6 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
4 Why product type is a dependent SUM? Sep 11 '17
3 How come identity encodes absurdity Sep 21 '17
1 Decidable problems for which no concrete decision procedure is known Apr 2
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

Badges (11)

Gold

—

Silver

1

Rarest

Bronze

10

Rarest

View all badges →