Rankings: Holes

λ in all languages in bytes.

# Golfer Points Bytes Time
2,088th cdesodt 148 1,008
2,088th msbranicky 148 1,008
2,088th madeforlosers 148 1,008
2,088th HumanoidCPU 148 1,008
2,088th bac0id 148 1,008
2,088th LostSyntax21 🇬🇧 148 1,008
2,088th Mabeloid 🇳🇴 148 1,008
2,088th CaedenHarper 🇨🇦 148 1,008
2,088th JunkIce 148 1,008
2,088th heanyang1 148 1,008
2,111th mothcolada 🇺🇸 148 1,009
2,111th BrenSchaap 148 1,009
2,113th abailey2020 🇺🇸 147 1,010
2,113th RYNO8 147 1,010
2,115th Mojken 147 1,011
2,115th decorator-factory 147 1,011
2,115th SpareManiKatti 147 1,011
2,118th Mojken 142 1,011
2,118th RustemB 🇷🇺 142 1,011
2,118th JRaspass 🇬🇧 142 1,011
2,118th retrohun 142 1,011
2,118th decorator-factory 142 1,011
2,118th Waffle3z 142 1,011
2,118th KatieLG 🇬🇧 142 1,011
2,118th kurkale6ka 142 1,011
2,118th theunofficialcoder 142 1,011
2,118th RYNO8 142 1,011
2,118th SpareManiKatti 142 1,011
2,118th mokymok 🇺🇸 142 1,011
2,118th voytxt 🇨🇿 142 1,011
2,118th mothcolada 🇺🇸 142 1,011
2,118th Codsilla 🇨🇦 142 1,011
2,118th cdesodt 142 1,011
2,118th madeforlosers 142 1,011
2,118th HumanoidCPU 142 1,011
2,118th Yewzir 🇧🇪 142 1,011
2,118th bac0id 142 1,011
2,118th Mabeloid 🇳🇴 142 1,011
2,118th CaedenHarper 🇨🇦 142 1,011
2,118th heanyang1 142 1,011
2,141st JunkIce 142 1,013
2,142nd Dazza314 🇬🇧 141 2,945
2,143rd KatieLG-Transpiler 🇬🇧 136 1,058
2,144th dokutan 123 999
2,145th RustemB 🇷🇺 122 1,010
2,145th Waffle3z 122 1,010
2,145th KatieLG 🇬🇧 122 1,010
2,145th MeWhenI 🇻🇦 122 1,010
2,145th voytxt 🇨🇿 122 1,010
2,145th Shanethegamer 🇺🇸 122 1,010
2,145th CaedenHarper 🇨🇦 122 1,010
2,152nd Mabeloid 🇳🇴 122 1,011
2,153rd madeforlosers 121 1,016
2,153rd heanyang1 121 1,016
2,155th KatieLG-Transpiler 🇬🇧 121 1,018
2,156th dokutan 117 944
2,157th KatieLG 🇬🇧 110 1,004
2,157th KatieLG-Transpiler 🇬🇧 110 1,004
2,157th Yewzir 🇧🇪 110 1,004
2,157th voytxt 🇨🇿 110 1,004
2,157th Shanethegamer 🇺🇸 110 1,004
2,157th madeforlosers 110 1,004
2,157th HumanoidCPU 110 1,004
2,157th bac0id 110 1,004
2,157th Mabeloid 🇳🇴 110 1,004
2,157th CaedenHarper 🇨🇦 110 1,004
2,157th JunkIce 110 1,004
2,157th heanyang1 110 1,004
2,169th retrohun 109 1,008
2,169th ehulinsky 🇺🇸 109 1,008
2,169th cdesodt 109 1,008
2,172nd CaedenHarper 🇨🇦 89 2,007
2,173rd cdesodt 88 2,013
2,174th JunkIce 88 2,026
2,175th lyphyser 75 3,607