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 SpareManiKatti 176 1,010
    1,877th retrohun 175 1,013
    1,877th 1231234md5 🇨🇳 175 1,013
    1,879th Waffle3z 175 1,015
    1,879th FortuiteMan 175 1,015
    1,879th JunkIce 175 1,015
    1,882nd bac0id 175 1,019
    1,883rd Omega65536 🇩🇪 173 1,029
    1,884th mothcolada 🇺🇸 173 1,100
    1,885th dokutan 172 1,007
    1,886th retrohun 172 1,008
    1,886th lancew 🇳🇿 172 1,008
    1,886th ToriTheChicken 172 1,008
    1,886th Waffle3z 172 1,008
    1,886th KatieLG 🇬🇧 172 1,008
    1,886th mothcolada 🇺🇸 172 1,008
    1,886th Indivicivet 172 1,008
    1,886th kurkale6ka 172 1,008
    1,886th scpchicken 🇵🇼 172 1,008
    1,886th mokymok 🇺🇸 172 1,008
    1,886th MeWhenI 🇻🇦 172 1,008
    1,886th voytxt 🇨🇿 172 1,008
    1,886th KatieLG-Transpiler 🇬🇧 172 1,008
    1,886th Yewzir 🇧🇪 172 1,008
    1,886th madeforlosers 172 1,008
    1,886th HumanoidCPU 172 1,008
    1,886th bac0id 172 1,008
    1,886th Mabeloid 🇳🇴 172 1,008
    1,886th CaedenHarper 🇨🇦 172 1,008
    1,886th JunkIce 172 1,008
    1,886th heanyang1 172 1,008
    1,886th gigaprofisi 🇺🇸 172 1,008
    1,908th FortuiteMan 172 1,009
    1,908th ehulinsky 🇺🇸 172 1,009
    1,910th Mojken 172 1,011
    1,910th decorator-factory 172 1,011
    1,910th yeetmyyeet 172 1,011
    1,910th TheAristos 172 1,011
    1,910th SpareManiKatti 172 1,011
    1,910th RYNO8 172 1,011
    1,916th bac0id 171 1,009
    1,916th HumanoidCPU 171 1,009
    1,918th KatieLG 🇬🇧 171 1,010
    1,918th KatieLG-Transpiler 🇬🇧 171 1,010
    1,918th snoozingnewt 🇺🇸 171 1,010
    1,918th adriweb 🇫🇷 171 1,010
    1,918th voytxt 🇨🇿 171 1,010
    1,918th FortuiteMan 171 1,010
    1,918th msbranicky 171 1,010
    1,918th MeWhenI 🇻🇦 171 1,010
    1,918th madeforlosers 171 1,010
    1,918th Mabeloid 🇳🇴 171 1,010
    1,918th CaedenHarper 🇨🇦 171 1,010
    1,918th JunkIce 171 1,010
    1,918th sciencejiho 171 1,010
    1,918th heanyang1 171 1,010
    1,918th gigaprofisi 🇺🇸 171 1,010
    1,933rd jackkav 168 1,009
    1,933rd JRaspass 🇬🇧 168 1,009
    1,933rd jn-lp 🇺🇦 168 1,009
    1,933rd UBKorkut 168 1,009
    1,933rd BBoehm 🇩🇪 168 1,009
    1,933rd SpareManiKatti 168 1,009
    1,933rd Cazka 168 1,009
    1,933rd KatieLG 🇬🇧 168 1,009
    1,933rd hacker19374 168 1,009
    1,933rd zakariamouhid 168 1,009
    1,933rd Jacob385 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