The Set hole will go live in approximately 2 days. Why not try and solve it ahead of time?

Rankings: Holes
Prev Hole Play Hole Next Hole

Gijswijt’s Sequence in TeX in bytes.

Bytes Chars


#	Golfer	Points	Bytes	Time
1^st	jared-hughes	1,000	133	5 Jul 2024
2^nd	MeWhenI 🇻🇦	801	166	28 Nov 2023
3^rd	ovs-code 🇩🇪	727	183	1 Jul 2023
4^th	jmerle 🇳🇱	367	362	4 Jul 2023
5^th	dokutan	93	1,430	3 Jul 2023
6^th	KatieLG 🇬🇧	67	1,999	31 Jul 2024
7^th	KatieLG-Transpiler 🇬🇧	44	2,998	18 Nov 2023
7^th	Mabeloid 🇳🇴	44	2,998	4 Oct 2024

1⁠–8 of 8