As of May 31, 2023, we have updated our Code of Conduct.
Code Golf
xash's user avatar
xash's user avatar
xash's user avatar
xash
  • Member for 2 years, 11 months
  • Last seen this week
Profile Activity
Stats
11,154
reputation
222k
reached
196
answers
0
questions
Communities
Badges
View all badges
1
gold badge
12
silver badges
38
bronze badges
Top tags
View all tags
974
Score
188
Posts
96
Posts %
228
Score
44
Posts
22
Posts %
150
Score
29
Posts
15
Posts %
143
Score
19
Posts
10
Posts %
137
Score
23
Posts
12
Posts %
107
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
28
Can we spell a third number?
Dec 4, 2020
answer
28
Sum the array times n, except the last
Jul 11, 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.