The Billiards hole will go live in 8 days. Why not try and solve it ahead of time?

Rankings: Holes
Prev Hole Play Hole Next Hole

Happy Numbers in F# in chars.

Bytes Chars


#	Golfer	Points	Chars	Time
1^st	JayXon 🇺🇸	1,000	45	1 Mar 2021
1^st	Lydxn 🇨🇦	1,000	45	9 Oct 2021
3^rd	primo-ppcg 🇹🇭	833	54	11 May 2020
4^th	lynn	804	56	28 May 2021
4^th	prplz 🇦🇺	804	56	12 Oct 2021
4^th	Shanethegamer 🇺🇸	804	56	25 Oct 2021
4^th	MeWhenI 🇻🇦	804	56	26 Oct 2021
4^th	Steffan153 🇫🇮	804	56	1 Oct 2022
4^th	Yewzir 🇧🇪	804	56	6 Dec 2023
10^th	JDiLenarda 🇫🇷	738	61	9 Oct 2020
11^th	dokutan	523	86	14 Oct 2024
12^th	KatieLG 🇬🇧	395	114	8 Nov 2020
12^th	jiaminglimjm 🇲🇾	395	114	9 Jan 2021
12^th	KatieLG-Transpiler 🇬🇧	395	114	24 Jun 2022
12^th	HumanoidCPU	395	114	3 May 2024
16^th	retrohun	315	143	27 Dec 2022
17^th	mokymok 🇺🇸	308	146	8 Nov 2021
18^th	Mabeloid 🇳🇴	256	176	20 Sep 2024
19^th	zt14427	221	204	2 May 2023

1⁠–19 of 19