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
    1,584th madeforlosers 183 1,008
    1,584th Mabeloid 🇳🇴 183 1,008
    1,584th CaedenHarper 🇨🇦 183 1,008
    1,584th JunkIce 183 1,008
    1,584th heanyang1 183 1,008
    1,584th JOrE20 183 1,008
    1,607th Waffle3z 183 1,010
    1,608th KatieLG 🇬🇧 181 1,003
    1,609th Shanethegamer 🇺🇸 180 878
    1,610th Shanethegamer 🇺🇸 180 1,009
    1,610th voytxt 🇨🇿 180 1,009
    1,610th HumanoidCPU 180 1,009
    1,610th adgh 🇬🇧 180 1,009
    1,610th CaedenHarper 🇨🇦 180 1,009
    1,615th msbranicky 180 1,319
    1,616th KatieLG-Transpiler 🇬🇧 179 1,013
    1,616th retrohun 179 1,013
    1,616th Yewzir 🇧🇪 179 1,013
    1,616th FortuiteMan 🇫🇷 179 1,013
    1,616th madeforlosers 179 1,013
    1,616th bac0id 179 1,013
    1,616th Mabeloid 🇳🇴 179 1,013
    1,616th JunkIce 179 1,013
    1,616th heanyang1 179 1,013
    1,616th gigaprofisi 🇺🇸 179 1,013
    1,616th JOrE20 179 1,013
    1,627th mokymok 🇺🇸 179 1,034
    1,628th BBoehm 🇩🇪 178 667
    1,629th JOrE20 178 1,204
    1,630th KatieLG 🇬🇧 178 1,330
    1,631st PkmnQ 177 552
    1,632nd JOrE20 177 994
    1,632nd KatieLG 🇬🇧 177 994
    1,634th IISResetMe 175 600
    1,635th voytxt 🇨🇿 175 1,002
    1,635th Shanethegamer 🇺🇸 175 1,002
    1,635th HumanoidCPU 175 1,002
    1,635th xyangst 175 1,002
    1,635th madeforlosers 175 1,002
    1,635th CaedenHarper 🇨🇦 175 1,002
    1,635th JunkIce 175 1,002
    1,635th heanyang1 175 1,002
    1,635th gigaprofisi 🇺🇸 175 1,002
    1,644th KatieLG-Transpiler 🇬🇧 175 1,004
    1,644th Mabeloid 🇳🇴 175 1,004
    1,644th FortuiteMan 🇫🇷 175 1,004
    1,647th eiburns 174 561
    1,647th evan18c 174 561
    1,649th bac0id 174 1,020
    1,649th c0d3-4-F00d 🇩🇪 174 1,020
    1,649th voytxt 🇨🇿 174 1,020
    1,649th retrohun 174 1,020
    1,649th Adix-null 🇱🇹 174 1,020
    1,649th madeforlosers 174 1,020
    1,649th HumanoidCPU 174 1,020
    1,649th KatieLG 🇬🇧 174 1,020
    1,649th Jacob385 174 1,020
    1,649th Mabeloid 🇳🇴 174 1,020
    1,649th heanyang1 174 1,020
    1,649th gigaprofisi 🇺🇸 174 1,020
    1,649th Babafaba 174 1,020
    1,649th JOrE20 174 1,020
    1,649th mwarvik 🇳🇴 174 1,020
    1,649th kasarino 174 1,020
    1,665th KatieLG-Transpiler 🇬🇧 174 1,360
    1,666th KatieLG 🇬🇧 173 1,010
    1,666th Waffle3z 173 1,010
    1,666th Omega65536 🇩🇪 173 1,010
    1,666th JDiLenarda 🇫🇷 173 1,010
    1,666th MeWhenI 🇻🇦 173 1,010
    1,666th mokymok 🇺🇸 173 1,010
    1,666th voytxt 🇨🇿 173 1,010
    1,666th KatieLG-Transpiler 🇬🇧 173 1,010
    1,666th Yewzir 🇧🇪 173 1,010
    1,666th msbranicky 173 1,010
    1,666th madeforlosers 173 1,010
    1,666th HumanoidCPU 173 1,010
    1,666th bac0id 173 1,010
    1,666th CaedenHarper 🇨🇦 173 1,010
    1,666th sciencejiho 173 1,010
    1,666th heanyang1 173 1,010
    1,666th gigaprofisi 🇺🇸 173 1,010
    1,666th JOrE20 173 1,010
    1,684th mothcolada 🇺🇸 173 1,011
    1,685th mothcolada 🇺🇸 173 1,024
    1,685th coffmarp 173 1,024
    1,685th mokymok 🇺🇸 173 1,024
    1,685th RYNO8 173 1,024
    1,685th Waffle3z 173 1,024
    1,685th KatieLG-Transpiler 🇬🇧 173 1,024
    1,685th postie77 173 1,024
    1,685th FortuiteMan 🇫🇷 173 1,024
    1,685th JunkIce 173 1,024
    1,685th sciencejiho 173 1,024
    1,695th FortuiteMan 🇫🇷 173 1,069
    1,696th CaedenHarper 🇨🇦 173 1,799
    1,697th HumanoidCPU 172 1,004
    1,697th Shanethegamer 🇺🇸 172 1,004
    1,697th voytxt 🇨🇿 172 1,004
    1,697th KatieLG 🇬🇧 172 1,004