Computer Science
Meta user
Network profile
523
reputation
2
10

Jason Hu

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

1
answer
9
questions
~2k
people reached
  • Member for 2 years, 8 months
  • 18 profile views
  • Last seen Jan 10 at 19:52

Communities (25)

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
8 Is Coq synthetic or analytic? Jun 14 '18
7 What does instantiating existential variables with out of scope variable imply? Sep 22 '17
5 Why product type is a dependent SUM? Sep 11 '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

Badges (12)

Gold

—

Silver

2

Rarest

Bronze

10

Rarest

View all badges →