Code Golf
Huỳnh Trần Khanh's user avatar
Huỳnh Trần Khanh's user avatar
Huỳnh Trần Khanh's user avatar
Huỳnh Trần Khanh
  • Member for 2 years, 7 months
  • Last seen more than a month ago
Profile Activity
Stats
1,178
reputation
12k
reached
4
answers
8
questions
Communities
View all
About

my purpose: flood the community with nontrivial challenges to make the site more interesting

Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
28
bronze badges
Top tags
View all tags
6
Score
11
Posts
92
Posts %
3
Score
4
Posts
33
Posts %
3
Score
3
Posts
25
Posts %
3
Score
1
Posts
8
Posts %
3
Score
1
Posts
8
Posts %
3
Score
1
Posts
8
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
15
String Comparison
Apr 12
question
13
String Concatenate
Apr 17
question
13
Can you perform swaps?
Jul 29
question
12
All of the Boards
Mar 30
question
11
Lean golf: Balanced Bracket Sequence
Oct 8, 2021
question
10
Language Word Checker
Mar 10
question
10
Great Leap to the Right
Mar 21
question
9
Guess The Array
Mar 11
answer
3
xkcd 2385 KoTH (Final Exam)
Apr 30, 2021
answer
3
On The Subject Of Simon Says
Mar 25
Top Meta posts
1
3
4
Golfing Challenges for Interactive Theorem Provers
4
Are random submissions with drastically different results each time allowed in KoTH challenges?
Top network posts
View all network posts
14
How to search for an existing theorem in Lean?

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.