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

    Rankings: Holes

    √2 in all languages in bytes.

    # Golfer Points Bytes Time
    592nd jatloe 815 59
    592nd agreegious 815 59
    603rd j-Ewan 814 112
    604th DialFrost 🇸🇬 813 39
    605th Shanethegamer 🇺🇸 813 42
    605th Natanaelel 🇸🇪 813 42
    605th emgordon154 813 42
    608th flawr 812 73
    608th annaproxy 812 73
    610th didion0 🇺🇸 809 62
    611th Chinay-Domitrix 🇺🇸 808 58
    612th Yax42 🇫🇷 807 105
    612th AdrienHache 🇫🇷 807 105
    614th SirBogman 🇺🇸 806 31
    614th betaveros 806 31
    616th jerrandolph 806 113
    617th sean-niemann 🇺🇸 804 168
    618th Yewzir 🇧🇪 803 57
    619th glassala 802 60
    620th Jeremy-Stafford 801 74
    621st chunes3 🇺🇸 800 52
    622nd AlephSquirrel 797 63
    622nd gigaprofisi 🇺🇸 797 63
    622nd Yax42 🇫🇷 797 63
    625th Mukundan314 794 43
    625th csharpython 794 43
    627th Steffan153 🇫🇮 794 54
    627th AlephSquirrel 794 54
    629th fuzzylojik-golf 🇺🇸 793 40
    630th Herbert00709 🇵🇱 793 128
    631st lifthrasiir 🇰🇷 792 316
    632nd MeWhenI 🇻🇦 790 59
    633rd Waffle3z 788 61
    633rd tomtheisen 🇺🇸 788 61
    633rd fgrosshans 🇫🇷 788 61
    633rd FortuiteMan 🇫🇷 788 61
    637th SirBogman 🇺🇸 786 78
    638th DialFrost 🇸🇬 785 93
    639th 52525rr 784 64
    640th primo-ppcg 🇹🇭 783 132
    640th sean-niemann 🇺🇸 783 132
    642nd varhammer 🇷🇺 779 55
    642nd fuzzylojik-golf 🇺🇸 779 55
    644th mpldr 🇩🇪 779 117
    645th DialFrost 🇸🇬 779 160
    646th DialFrost 🇸🇬 777 109
    647th glesnick 776 62
    648th namelessiw 775 59
    649th PatrickStephansen 🇿🇦 772 65
    650th primo-ppcg 🇹🇭 771 37
    651st billings7 🇬🇧 770 110
    652nd jacobly0 🇺🇸 765 163
    653rd SirBogman 🇺🇸 764 61
    654th Secozzi 763 63
    654th georgehulme 763 63
    654th cyxv 763 63
    654th Herbert00709 🇵🇱 763 63
    654th ei14 763 63
    654th LostSyntax21 🇬🇧 763 63
    654th DraigRygbi 763 63
    654th Pyroan 763 63
    662nd namelessiw 763 111
    663rd dokutan 762 46
    664th RustemB 🇷🇺 761 34
    665th jared-hughes 760 119
    666th bendapootie 759 120
    666th cure-honey 🇯🇵 759 120
    668th duckyluuk 🇳🇱 755 62
    669th primo-ppcg 🇹🇭 755 73
    669th anter69 🇭🇺 755 73
    671st emgordon154 753 61
    672nd GrayJoKing 🇦🇺 752 57
    673rd prplz 🇦🇺 752 62
    674th ordinary-slim 751 64
    674th AtengChen 751 64