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 bytes.

    # Golfer Points Bytes Time Submitted
    890th HumanoidCPU 494 1,008
    890th bac0id 494 1,008
    890th Mabeloid 🇳🇴 494 1,008
    890th CaedenHarper 🇨🇦 494 1,008
    890th JunkIce 494 1,008
    890th janAkali 🇷🇺 494 1,008
    890th heanyang1 494 1,008
    890th gigaprofisi 🇺🇸 494 1,008
    890th JOrE20 494 1,008
    890th prestosilver 🇺🇸 494 1,008
    911th retrohun 493 1,006
    911th villfa 493 1,006
    911th Axsag 🇫🇷 493 1,006
    911th Shanethegamer 🇺🇸 493 1,006
    911th fuzzylojik-golf 🇺🇸 493 1,006
    916th CatsAreFluffy 493 1,008
    916th neel11235813 493 1,008
    916th bac0id 493 1,008
    916th Mabeloid 🇳🇴 493 1,008
    916th HumanoidCPU 493 1,008
    916th KatieLG 🇬🇧 493 1,008
    916th dokutan 493 1,008
    916th GolfingSuccess 🇬🇷 493 1,008
    916th voytxt 🇨🇿 493 1,008
    916th madeforlosers 493 1,008
    916th Shanethegamer 🇺🇸 493 1,008
    916th BREMAUCY 🇫🇷 493 1,008
    916th msbranicky 493 1,008
    916th CaedenHarper 🇨🇦 493 1,008
    916th heanyang1 493 1,008
    916th gigaprofisi 🇺🇸 493 1,008
    916th JOrE20 493 1,008
    933rd mokymok 🇺🇸 493 1,009
    933rd sciencejiho 493 1,009
    933rd heanyang1 493 1,009
    933rd gigaprofisi 🇺🇸 493 1,009
    933rd JOrE20 493 1,009
    938th RYNO8 493 1,010
    939th JayXon 🇺🇸 492 550
    940th JRaspass 🇬🇧 492 1,008
    940th ArturLange 492 1,008
    940th ElevatorShaft 492 1,008
    940th Redbowpatch101 492 1,008
    940th Waffle3z 492 1,008
    940th iTearo 🇷🇺 492 1,008
    940th KatieLG 🇬🇧 492 1,008
    940th YPuest 492 1,008
    940th kurkale6ka 492 1,008
    940th mokymok 🇺🇸 492 1,008
    940th Stockoh 🇫🇷 492 1,008
    940th akira-aizawa 🇯🇵 492 1,008
    940th voytxt 🇨🇿 492 1,008
    940th KatieLG-Transpiler 🇬🇧 492 1,008
    940th Yewzir 🇧🇪 492 1,008
    940th FortuiteMan 🇫🇷 492 1,008
    940th dokutan 492 1,008
    940th madeforlosers 492 1,008
    940th HumanoidCPU 492 1,008
    940th bac0id 492 1,008
    940th Mabeloid 🇳🇴 492 1,008
    940th JunkIce 492 1,008
    940th CaedenHarper 🇨🇦 492 1,008
    940th heanyang1 492 1,008
    940th gigaprofisi 🇺🇸 492 1,008
    940th Babafaba 492 1,008
    940th JOrE20 492 1,008
    940th roelderickx 492 1,008
    968th FortuiteMan 🇫🇷 492 1,010
    968th FortuiteMan 🇫🇷 492 1,010
    968th JunkIce 492 1,010
    968th JunkIce 492 1,010
    968th ehulinsky 🇺🇸 492 1,010
    973rd pardouin 🇫🇷 491 361
    974th emgordon154 491 560
    975th cure-honey 🇯🇵 491 987
    976th ToriTheChicken 491 1,009
    976th mothcolada 🇺🇸 491 1,009
    976th jb-lopez 🇺🇸 491 1,009
    976th ehulinsky 🇺🇸 491 1,009
    980th SpareManiKatti 491 1,010
    981st nwellnhof 🇩🇪 490 553
    982nd roupiq 🇵🇱 490 586
    983rd Mojken 490 1,011
    983rd decorator-factory 490 1,011
    983rd TheAristos 490 1,011
    983rd UBKorkut 490 1,011
    987th rhdqor213 489 554
    988th Shanethegamer 🇺🇸 489 1,007
    988th Yewzir 🇧🇪 489 1,007
    988th voytxt 🇨🇿 489 1,007
    988th dokutan 489 1,007
    988th snoozingnewt 🇨🇦 489 1,007
    988th fuzzylojik-golf 🇺🇸 489 1,007
    988th HumanoidCPU 489 1,007
    988th bac0id 489 1,007
    988th CaedenHarper 🇨🇦 489 1,007
    988th gigaprofisi 🇺🇸 489 1,007
    988th JOrE20 489 1,007
    999th KatieLG-Transpiler 🇬🇧 489 1,029
    1,000th FortuiteMan 🇫🇷 488 1,009