Computer Science
Profile Activity
Meta user
Network profile
794
reputation
4
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
19
questions
~9k
people reached
  • Pennsylvania, USA
  • ice1000
  • ice1000.org
  • Member for 3 years, 3 months
  • 127 profile views
  • Last seen Feb 19 at 5:57

Communities (22)

Top Meta Posts
1
0

Top network posts

Top tags (29)

Score 4
Posts 3
Posts % 12
Score 4
Posts 2
Score 4
Posts 2
Score 3
Posts 3
Score 3
Posts 3
Score 3
Posts 2
View all tags →

Top posts (24)

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 In Agda's GADT, is “parameterized” and “indexed” different semantically? Oct 12 '18
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 What does “Kan” mean in “Kan operations”? May 14 '19
View all questions and answers →

Badges (34)

Gold

—

Silver

4

Rarest

Bronze

30

Rarest

View all badges →