A message from our CEO about the future of Stack Overflow and Stack Exchange. Read now.
Computer Science
Meta user
Network profile
722
reputation
3
27

ice1000

Multilingual developer, Penn State student, programming for interest. The avatar is me.

See https://ice1000.org/pages/about.html or https://personal.psu.edu/yqz5714

5
answers
18
questions
~6k
people reached
  • Pennsylvania, USA
  • ice1000
  • ice1000.org
  • Member for 2 years, 2 months
  • 67 profile views
  • Last seen Jan 15 at 3:38

Communities (22)

Top Meta Posts
1
0

Top network posts

Top tags (29)

Score 4
Posts 3
Posts % 13
Score 4
Posts 2
Score 4
Posts 2
Score 1
Posts 3
Score 1
Posts 2
Score 1
Posts 2
View all tags →

Top posts (23) All Questions Answers | Votes Newest

6 What should we return when pattern matching on a Path constructor? Jan 20 '19
5 Is there really a $ O(1/n) $ algorithm? Nov 30 '17
4 How was Idris' `rewrite` implemented? Nov 26 '17
4 What does it mean if we disable K-rule in Agda? Oct 9 '18
4 Why cannot match $ Bool \equiv Bool $ with $ refl $ while $1 \equiv 1$ can? Oct 11 '18
4 How was Idris' `rewrite` implemented? Nov 27 '17
4 Fastest way to search a word in a word list? Apr 7 '18
3 In Agda's GADT, is “parameterized” and “indexed” different semantically? Oct 12 '18
3 How can we describe the similarity between trees? Nov 29 '17
3 Can we add dependent type into an existing imperative programming language? Nov 28 '17
View all questions and answers →

Badges (30)

Gold

—

Silver

3

Rarest

Bronze

27

Rarest

View all badges →