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

Rankings: Holes

√2 in TeX in bytes.

# Golfer Points Bytes Time
1st jared-hughes 1,000 281
2nd lifthrasiir 🇰🇷 889 316
3rd MeWhenI 🇻🇦 390 721
4th jmerle 🇳🇱 284 991
5th CatsAreFluffy 280 1,002
5th Shanethegamer 🇺🇸 280 1,002
5th KatieLG 🇬🇧 280 1,002
5th retrohun 280 1,002
5th neel11235813 280 1,002
5th dokutan 280 1,002
5th InigoK 🇺🇸 280 1,002
5th Yewzir 280 1,002
5th Adix-null 🇱🇹 280 1,002
5th voytxt 🇨🇿 280 1,002
5th snoozingnewt 🇺🇸 280 1,002
5th msbranicky 280 1,002
5th KatieLG-Transpiler 🇬🇧 280 1,002
5th thomas-saigre 280 1,002
5th theunofficialcoder 280 1,002
5th olleicua 🇺🇸 280 1,002
5th HumanoidCPU 280 1,002
5th linhnd99 280 1,002
5th bac0id 280 1,002
5th rifatx 280 1,002
5th Mabeloid 🇳🇴 280 1,002
5th madeforlosers 280 1,002
5th deancureton 280 1,002
5th CaedenHarper 🇨🇦 280 1,002