Skip to main content
Code Golf
xash's user avatar
xash's user avatar
xash's user avatar
xash
  • Member for 4 years, 1 month
  • Last seen this week
Profile Activity
Stats
11,334
reputation
236k
reached
196
answers
0
questions
Communities
Badges
View all badges
1
gold badge
14
silver badges
39
bronze badges
Top tags
View all tags
992
Score
188
Posts
96
Posts %
230
Score
44
Posts
22
Posts %
153
Score
19
Posts
10
Posts %
150
Score
29
Posts
15
Posts %
137
Score
23
Posts
12
Posts %
110
Score
20
Posts
10
Posts %
Top posts
View all questions and answers
35
Sum the array times n, except the last
Jul 11, 2020
31
Speed of Lobsters
Jan 18, 2021
28
Can we spell a third number?
Dec 4, 2020
17
Find the Erdős–Woods origin
Jun 26, 2021
17
Follow a linked list
Dec 12, 2020
15
Is it zero- or one- indexed?
Feb 26, 2021
13
Give me odd, even, square, cube, prime and composite 3-digit numbers
Jun 23, 2021
13
Determine the area enclosed by slashes
Jun 12, 2020
13
Is it a lobster number?
Jan 24, 2021
12
Decode USB packets
Jun 10, 2021
Top network posts
View all network posts
9
Can Idris support row-polymorphism?
8
Why does Idris conflate a value name with a type argument name that is subsequently defined?
8
Type functions at run-time in Idris
8
How can I get Idris to unmap a vector in order to infer a type?
8
Write 4 : 'x&{.&.;: y' tacitly