Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Computer Science
Meta User
Network Profile
288
reputation
1
9

Jason Hu

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

0
answers
8
questions
~2k
people reached
  • Member for 1 year, 10 months
  • 13 profile views
  • Last seen yesterday

Communities (24)

Top Network Posts

Top Tags (8)

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

Top Posts (8) 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
5 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 How can MLTT etc encode computability? Oct 9 '18
1 positivity condition in Coq/CIC Sep 24 '17

Badges (10)

Gold

—

Silver

1

Rarest

Bronze

9

Rarest