Computer Science
Profile Activity
Meta user
Network profile
742
reputation
3
30

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
~7k
people reached
  • Pennsylvania, USA
  • ice1000
  • ice1000.org
  • Member for 2 years, 9 months
  • 96 profile views
  • Last seen Aug 8 at 17:51

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 3
Posts 3
Score 3
Posts 2
Score 3
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 Can I have a “dependent coproduct type”? Sep 14 '19
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
View all questions and answers →

Badges (33)

Gold

—

Silver

3

Rarest

Bronze

30

Rarest

View all badges →