Ctrl+P again to print, arrows/tab to navigate results, enter to confirm

    The Connect Four hole will go live in approximately . Why not try and solve it ahead of time?

    Rankings: Holes

    λ in all languages in chars.

    # Golfer Points Chars Time Submitted
    2,387th madeforlosers 85 1,008
    2,387th LostSyntax21 🇬🇧 85 1,008
    2,387th Mabeloid 🇳🇴 85 1,008
    2,387th CaedenHarper 🇨🇦 85 1,008
    2,387th JunkIce 85 1,008
    2,387th heanyang1 85 1,008
    2,387th JOrE20 85 1,008
    2,408th mothcolada 🇺🇸 85 1,009
    2,408th BrenSchaap 85 1,009
    2,410th abailey2020 🇺🇸 85 1,010
    2,410th RYNO8 85 1,010
    2,412th Mojken 85 1,011
    2,412th decorator-factory 85 1,011
    2,412th SpareManiKatti 85 1,011
    2,415th KatieLG-Transpiler 🇬🇧 85 1,058
    2,416th CaedenHarper 🇨🇦 81 2,007
    2,416th JOrE20 81 2,007
    2,416th someCoder-a11y 81 2,007
    2,419th FortuiteMan 🇫🇷 81 2,013
    2,420th JunkIce 81 2,026
    2,421st KatieLG 🇬🇧 80 1,007
    2,422nd retrohun 80 1,008
    2,422nd lancew 🇳🇿 80 1,008
    2,422nd ToriTheChicken 80 1,008
    2,422nd Waffle3z 80 1,008
    2,422nd mothcolada 🇺🇸 80 1,008
    2,422nd Indivicivet 80 1,008
    2,422nd kurkale6ka 80 1,008
    2,422nd mokymok 🇺🇸 80 1,008
    2,422nd MeWhenI 🇻🇦 80 1,008
    2,422nd voytxt 🇨🇿 80 1,008
    2,422nd KatieLG-Transpiler 🇬🇧 80 1,008
    2,422nd Yewzir 🇧🇪 80 1,008
    2,422nd madeforlosers 80 1,008
    2,422nd HumanoidCPU 80 1,008
    2,422nd bac0id 80 1,008
    2,422nd Mabeloid 🇳🇴 80 1,008
    2,422nd CaedenHarper 🇨🇦 80 1,008
    2,422nd JunkIce 80 1,008
    2,422nd heanyang1 80 1,008
    2,422nd gigaprofisi 🇺🇸 80 1,008
    2,422nd JOrE20 80 1,008
    2,422nd roelderickx 80 1,008
    2,444th FortuiteMan 🇫🇷 80 1,009
    2,444th ehulinsky 🇺🇸 80 1,009
    2,446th Mojken 80 1,011
    2,446th decorator-factory 80 1,011
    2,446th ElevatorShaft 80 1,011
    2,446th TheAristos 80 1,011
    2,446th SpareManiKatti 80 1,011
    2,446th RYNO8 80 1,011
    2,452nd blaztoma 🇱🇹 75 2,225
    2,453rd JOrE20 65 946
    2,454th KatieLG 🇬🇧 62 1,004
    2,454th KatieLG-Transpiler 🇬🇧 62 1,004
    2,454th Yewzir 🇧🇪 62 1,004
    2,454th voytxt 🇨🇿 62 1,004
    2,454th Shanethegamer 🇺🇸 62 1,004
    2,454th madeforlosers 62 1,004
    2,454th HumanoidCPU 62 1,004
    2,454th bac0id 62 1,004
    2,454th Mabeloid 🇳🇴 62 1,004
    2,454th CaedenHarper 🇨🇦 62 1,004
    2,454th JunkIce 62 1,004
    2,454th heanyang1 62 1,004
    2,454th gigaprofisi 🇺🇸 62 1,004
    2,467th Shanethegamer 🇺🇸 61 1,003
    2,467th HumanoidCPU 61 1,003
    2,467th kurkale6ka 61 1,003
    2,467th voytxt 🇨🇿 61 1,003
    2,467th CaedenHarper 🇨🇦 61 1,003
    2,472nd KatieLG 🇬🇧 61 1,004
    2,472nd Nathan-Masala 61 1,004
    2,472nd LostSyntax21 🇬🇧 61 1,004
    2,475th retrohun 61 1,008
    2,475th ehulinsky 🇺🇸 61 1,008
    2,475th FortuiteMan 🇫🇷 61 1,008
    2,478th NicoPlayZ9002-YT 61 1,019
    2,479th lyphyser 56 3,607
    2,480th ValentinCassayre 5 20,013
    2,481st Dazza314 🇬🇧 3 80,690
    2,482nd ihearrodmod 1 108,234
    2,483rd dokutan 0 130
    2,484th ovs-code 🇩🇪 0 192
    2,485th dokutan 0 230
    2,486th Yewzir 🇧🇪 0 239
    2,487th dokutan 0 246
    2,488th edsrzf 🇳🇿 0 290
    2,489th dokutan 0 450
    2,490th FortuiteMan 🇫🇷 0 628
    2,491st ndren 0 670
    2,492nd Shanethegamer 🇺🇸 0 673
    2,493rd Shanethegamer 🇺🇸 0 847
    2,494th Shanethegamer 🇺🇸 0 853
    2,495th dokutan 0 899
    2,496th Shanethegamer 🇺🇸 0 1,002
    2,496th JOrE-Softwares 0 1,002
    2,496th HumanoidCPU 0 1,002
    2,496th JOrE20 0 1,002
    2,500th Shanethegamer 🇺🇸 0 1,003