Ctrl+P again to print, arrows/tab to navigate results, enter to confirm

    Rankings: Holes

    λ in all languages in bytes.

    # Golfer Points Bytes Time
    1,876th retrohun 175 1,013
    1,876th 1231234md5 🇨🇳 175 1,013
    1,878th Waffle3z 175 1,015
    1,878th FortuiteMan 175 1,015
    1,878th JunkIce 175 1,015
    1,881st bac0id 175 1,019
    1,882nd Omega65536 🇩🇪 173 1,029
    1,883rd mothcolada 🇺🇸 173 1,100
    1,884th dokutan 172 1,007
    1,885th retrohun 172 1,008
    1,885th lancew 🇳🇿 172 1,008
    1,885th ToriTheChicken 172 1,008
    1,885th Waffle3z 172 1,008
    1,885th KatieLG 🇬🇧 172 1,008
    1,885th mothcolada 🇺🇸 172 1,008
    1,885th Indivicivet 172 1,008
    1,885th kurkale6ka 172 1,008
    1,885th scpchicken 🇵🇼 172 1,008
    1,885th mokymok 🇺🇸 172 1,008
    1,885th MeWhenI 🇻🇦 172 1,008
    1,885th voytxt 🇨🇿 172 1,008
    1,885th KatieLG-Transpiler 🇬🇧 172 1,008
    1,885th Yewzir 🇧🇪 172 1,008
    1,885th madeforlosers 172 1,008
    1,885th HumanoidCPU 172 1,008
    1,885th bac0id 172 1,008
    1,885th Mabeloid 🇳🇴 172 1,008
    1,885th CaedenHarper 🇨🇦 172 1,008
    1,885th JunkIce 172 1,008
    1,885th heanyang1 172 1,008
    1,885th gigaprofisi 🇺🇸 172 1,008
    1,907th FortuiteMan 172 1,009
    1,907th ehulinsky 🇺🇸 172 1,009
    1,909th Mojken 172 1,011
    1,909th decorator-factory 172 1,011
    1,909th yeetmyyeet 172 1,011
    1,909th TheAristos 172 1,011
    1,909th SpareManiKatti 172 1,011
    1,909th RYNO8 172 1,011
    1,915th bac0id 171 1,009
    1,915th HumanoidCPU 171 1,009
    1,917th KatieLG 🇬🇧 171 1,010
    1,917th KatieLG-Transpiler 🇬🇧 171 1,010
    1,917th snoozingnewt 🇺🇸 171 1,010
    1,917th adriweb 🇫🇷 171 1,010
    1,917th voytxt 🇨🇿 171 1,010
    1,917th FortuiteMan 171 1,010
    1,917th msbranicky 171 1,010
    1,917th MeWhenI 🇻🇦 171 1,010
    1,917th madeforlosers 171 1,010
    1,917th Mabeloid 🇳🇴 171 1,010
    1,917th CaedenHarper 🇨🇦 171 1,010
    1,917th JunkIce 171 1,010
    1,917th sciencejiho 171 1,010
    1,917th heanyang1 171 1,010
    1,917th gigaprofisi 🇺🇸 171 1,010
    1,932nd jackkav 168 1,009
    1,932nd JRaspass 🇬🇧 168 1,009
    1,932nd jn-lp 🇺🇦 168 1,009
    1,932nd UBKorkut 168 1,009
    1,932nd BBoehm 🇩🇪 168 1,009
    1,932nd SpareManiKatti 168 1,009
    1,932nd Cazka 168 1,009
    1,932nd KatieLG 🇬🇧 168 1,009
    1,932nd hacker19374 168 1,009
    1,932nd zakariamouhid 168 1,009
    1,932nd Jacob385 168 1,009
    1,932nd CaedenHarper 🇨🇦 168 1,009
    1,944th Mojken 168 1,011
    1,944th retrohun 168 1,011
    1,944th SirHig 168 1,011
    1,944th rowboat1 168 1,011
    1,944th decorator-factory 168 1,011
    1,944th dcure73 168 1,011
    1,944th yeetmyyeet 168 1,011