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,874th JunkIce 175 1,015
    1,877th bac0id 175 1,019
    1,878th Omega65536 🇩🇪 173 1,029
    1,879th mothcolada 🇺🇸 173 1,100
    1,880th dokutan 172 1,007
    1,881st retrohun 172 1,008
    1,881st lancew 🇳🇿 172 1,008
    1,881st ToriTheChicken 172 1,008
    1,881st Waffle3z 172 1,008
    1,881st KatieLG 🇬🇧 172 1,008
    1,881st mothcolada 🇺🇸 172 1,008
    1,881st Indivicivet 172 1,008
    1,881st kurkale6ka 172 1,008
    1,881st scpchicken 🇵🇼 172 1,008
    1,881st mokymok 🇺🇸 172 1,008
    1,881st MeWhenI 🇻🇦 172 1,008
    1,881st voytxt 🇨🇿 172 1,008
    1,881st KatieLG-Transpiler 🇬🇧 172 1,008
    1,881st Yewzir 🇧🇪 172 1,008
    1,881st madeforlosers 172 1,008
    1,881st HumanoidCPU 172 1,008
    1,881st bac0id 172 1,008
    1,881st Mabeloid 🇳🇴 172 1,008
    1,881st CaedenHarper 🇨🇦 172 1,008
    1,881st JunkIce 172 1,008
    1,881st heanyang1 172 1,008
    1,881st gigaprofisi 🇺🇸 172 1,008
    1,903rd FortuiteMan 172 1,009
    1,903rd ehulinsky 🇺🇸 172 1,009
    1,905th Mojken 172 1,011
    1,905th decorator-factory 172 1,011
    1,905th yeetmyyeet 172 1,011
    1,905th TheAristos 172 1,011
    1,905th SpareManiKatti 172 1,011
    1,905th RYNO8 172 1,011
    1,911th bac0id 171 1,009
    1,911th HumanoidCPU 171 1,009
    1,913th KatieLG 🇬🇧 171 1,010
    1,913th KatieLG-Transpiler 🇬🇧 171 1,010
    1,913th snoozingnewt 🇺🇸 171 1,010
    1,913th adriweb 🇫🇷 171 1,010
    1,913th voytxt 🇨🇿 171 1,010
    1,913th FortuiteMan 171 1,010
    1,913th msbranicky 171 1,010
    1,913th MeWhenI 🇻🇦 171 1,010
    1,913th madeforlosers 171 1,010
    1,913th Mabeloid 🇳🇴 171 1,010
    1,913th CaedenHarper 🇨🇦 171 1,010
    1,913th JunkIce 171 1,010
    1,913th sciencejiho 171 1,010
    1,913th heanyang1 171 1,010
    1,913th gigaprofisi 🇺🇸 171 1,010
    1,928th jackkav 168 1,009
    1,928th JRaspass 🇬🇧 168 1,009
    1,928th jn-lp 🇺🇦 168 1,009
    1,928th UBKorkut 168 1,009
    1,928th BBoehm 🇩🇪 168 1,009
    1,928th SpareManiKatti 168 1,009
    1,928th Cazka 168 1,009
    1,928th KatieLG 🇬🇧 168 1,009
    1,928th hacker19374 168 1,009
    1,928th zakariamouhid 168 1,009
    1,928th Jacob385 168 1,009
    1,928th CaedenHarper 🇨🇦 168 1,009
    1,940th Mojken 168 1,011
    1,940th retrohun 168 1,011
    1,940th SirHig 168 1,011
    1,940th rowboat1 168 1,011
    1,940th decorator-factory 168 1,011
    1,940th dcure73 168 1,011
    1,940th yeetmyyeet 168 1,011
    1,940th TheAristos 168 1,011
    1,940th Codsilla 🇨🇦 168 1,011
    1,940th Redbowpatch101 168 1,011
    1,940th Waffle3z 168 1,011