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,943rd Mojken 168 1,011
    1,943rd retrohun 168 1,011
    1,943rd SirHig 168 1,011
    1,943rd rowboat1 168 1,011
    1,943rd decorator-factory 168 1,011
    1,943rd dcure73 168 1,011
    1,943rd yeetmyyeet 168 1,011
    1,943rd TheAristos 168 1,011