Chinese Language
ice1000
  • Member for 4 years, 1 month
  • Last seen more than a month ago
Profile Activity
Stats
255
reputation
12k
reached
0
answers
6
questions
Communities
View all
About

I'm into univalent type systems. Worked on Agda and Arend, looking for PhD or similar research position.

Profile: https://personal.psu.edu/yqz5714

Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
11
bronze badges
Top tags
View all tags
0
Score
2
Posts
33
Posts %
0
Score
1
Posts
17
Posts %
0
Score
1
Posts
17
Posts %
0
Score
1
Posts
17
Posts %
0
Score
1
Posts
17
Posts %
0
Score
1
Posts
17
Posts %
Top posts
All Questions Answers
Votes Newest
5
What does "死党" mean?
Dec 16 '17
4
How can I search for a Chinese character when I see it on a picture?
Dec 17 '17
3
What's the difference between "博物馆长" and "博物馆馆长"?
Dec 17 '17
2
What does "悠" mean in "悠久"?
Dec 13 '17
1
Why "Lie to me" is translated as "别对我说谎"?
Dec 13 '17
-3
What does "淦" mean? [closed]
Dec 22 '17
Top network posts
View all network posts
33
IntelliJ: changing color of an unused variable
32
How to implement this Java interface in Kotlin?
23
How to apply a patch generated with git format-patch?
16
Is there Multimap in Kotlin?
13
What does Kotlin's type reification make possible that is not possible in Java or Scala?

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.