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,870th adamnielson42 🇺🇸 177 1,007
    1,870th Mabeloid 🇳🇴 177 1,007
    1,870th Shanethegamer 🇺🇸 177 1,007
    1,879th krissemicolon 177 1,010
    1,880th SpareManiKatti 177 1,011
    1,881st dokutan 176 950
    1,882nd KatieLG 🇬🇧 176 1,007
    1,882nd UBKorkut 176 1,007
    1,882nd mothcolada 🇺🇸 176 1,007
    1,885th ToriTheChicken 176 1,009
    1,885th KatieLG-Transpiler 🇬🇧 176 1,009
    1,887th SpareManiKatti 176 1,010
    1,888th retrohun 175 1,013
    1,888th 1231234md5 🇨🇳 175 1,013
    1,890th Waffle3z 175 1,015
    1,890th FortuiteMan 🇫🇷 175 1,015
    1,890th JunkIce 175 1,015
    1,893rd bac0id 175 1,019
    1,894th Omega65536 🇩🇪 173 1,029
    1,895th mothcolada 🇺🇸 173 1,100
    1,896th dokutan 172 1,007
    1,897th retrohun 172 1,008
    1,897th lancew 🇳🇿 172 1,008
    1,897th ToriTheChicken 172 1,008
    1,897th Waffle3z 172 1,008
    1,897th KatieLG 🇬🇧 172 1,008
    1,897th mothcolada 🇺🇸 172 1,008
    1,897th Indivicivet 172 1,008
    1,897th kurkale6ka 172 1,008
    1,897th scpchicken 🇵🇼 172 1,008
    1,897th mokymok 🇺🇸 172 1,008
    1,897th MeWhenI 🇻🇦 172 1,008
    1,897th voytxt 🇨🇿 172 1,008
    1,897th KatieLG-Transpiler 🇬🇧 172 1,008
    1,897th Yewzir 🇧🇪 172 1,008
    1,897th madeforlosers 172 1,008
    1,897th HumanoidCPU 172 1,008
    1,897th bac0id 172 1,008
    1,897th Mabeloid 🇳🇴 172 1,008
    1,897th CaedenHarper 🇨🇦 172 1,008
    1,897th JunkIce 172 1,008
    1,897th heanyang1 172 1,008
    1,897th gigaprofisi 🇺🇸 172 1,008
    1,919th FortuiteMan 🇫🇷 172 1,009
    1,919th ehulinsky 🇺🇸 172 1,009
    1,921st Mojken 172 1,011
    1,921st decorator-factory 172 1,011
    1,921st yeetmyyeet 172 1,011
    1,921st TheAristos 172 1,011
    1,921st SpareManiKatti 172 1,011
    1,921st RYNO8 172 1,011
    1,927th bac0id 171 1,009
    1,927th HumanoidCPU 171 1,009
    1,929th KatieLG 🇬🇧 171 1,010
    1,929th KatieLG-Transpiler 🇬🇧 171 1,010
    1,929th snoozingnewt 🇺🇸 171 1,010
    1,929th adriweb 🇫🇷 171 1,010
    1,929th voytxt 🇨🇿 171 1,010
    1,929th FortuiteMan 🇫🇷 171 1,010
    1,929th msbranicky 171 1,010
    1,929th MeWhenI 🇻🇦 171 1,010
    1,929th madeforlosers 171 1,010
    1,929th Mabeloid 🇳🇴 171 1,010
    1,929th CaedenHarper 🇨🇦 171 1,010
    1,929th JunkIce 171 1,010
    1,929th sciencejiho 171 1,010
    1,929th heanyang1 171 1,010
    1,929th gigaprofisi 🇺🇸 171 1,010
    1,944th jackkav 168 1,009
    1,944th JRaspass 🇬🇧 168 1,009
    1,944th jn-lp 🇺🇦 168 1,009
    1,944th UBKorkut 168 1,009
    1,944th BBoehm 🇩🇪 168 1,009
    1,944th SpareManiKatti 168 1,009
    1,944th Cazka 168 1,009