√2 in AWK in bytes.
#
| Golfer
|
Lang
| Points
| Bytes
| Time
|
1st
|
primo-ppcg
🇹🇭
|
AWK
| 1,000
|
96
|
|
2nd
|
sean-niemann
🇺🇸
|
AWK
| 941
|
102
|
|
3rd
|
MeWhenI
🇻🇦
|
AWK
| 127
|
756
|
|
4th
|
retrohun
|
AWK
| 95
|
1,014
|
|
4th
|
Shanethegamer
🇺🇸
|
AWK
| 95
|
1,014
|
|
4th
|
Yewzir
🇧🇪
|
AWK
| 95
|
1,014
|
|
4th
|
voytxt
🇨🇿
|
AWK
| 95
|
1,014
|
|
4th
|
fuzzylojik-golf
🇺🇸
|
AWK
| 95
|
1,014
|
|
9th
|
cdesodt
🇫🇷
|
AWK
| 94
|
1,016
|
|
10th
|
KatieLG
🇬🇧
|
AWK
| 94
|
1,018
|
|
10th
|
olleicua
🇺🇸
|
AWK
| 94
|
1,018
|
|
12th
|
KatieLG-Transpiler
🇬🇧
|
AWK
| 94
|
1,021
|
|