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