Code Golf
xash's user avatar
xash's user avatar
xash's user avatar
xash
  • Member for 3 years, 4 months
  • Last seen more than a month ago
Profile Activity
Stats
11,214
reputation
226k
reached
196
answers
0
questions
Communities
Badges
View all badges
1
gold badge
13
silver badges
39
bronze badges
Top tags
View all tags
980
Score
188
Posts
96
Posts %
229
Score
44
Posts
22
Posts %
150
Score
29
Posts
15
Posts %
146
Score
19
Posts
10
Posts %
137
Score
23
Posts
12
Posts %
108
Score
20
Posts
10
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
31
Speed of Lobsters
Jan 18, 2021
answer
31
Sum the array times n, except the last
Jul 11, 2020
answer
28
Can we spell a third number?
Dec 4, 2020
answer
17
Find the Erdős–Woods origin
Jun 26, 2021
answer
16
Follow a linked list
Dec 12, 2020
answer
15
Is it zero- or one- indexed?
Feb 26, 2021
answer
13
Determine the area enclosed by slashes
Jun 12, 2020
answer
13
Give me odd, even, square, cube, prime and composite 3-digit numbers
Jun 23, 2021
answer
13
Is it a lobster number?
Jan 24, 2021
answer
12
Gluttonous Colluding Numbers
Nov 23, 2020
Top network posts
View all network posts
8
Can Idris support row-polymorphism?
8
How can I get Idris to unmap a vector in order to infer a type?
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
Write 4 : 'x&{.&.;: y' tacitly

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.