The Minesweeper hole will go live in approximately . Why not try and solve it ahead of time?
    
    
 
π in Haskell in chars.
    
    
        
            
                
                
                
                    |  | 
                | # | Golfer | Points | Chars | Time | Submitted | 
    
    
    
    
        
            | 1st |  HPWiz
    🇳🇿 | 1,000 | 69 |  |  | 
            | 2nd |  henkma | 986 | 70 |  |  | 
            | 2nd |  sean-niemann
    🇺🇸 | 986 | 70 |  |  | 
            | 2nd |  ovs-code
    🇩🇪 | 986 | 70 |  |  | 
            | 5th |  xnor-gate | 958 | 72 |  |  | 
            | 6th |  lynn | 945 | 73 |  |  | 
            | 7th |  primo-ppcg
    🇹🇭 | 932 | 74 |  |  | 
            | 8th |  Fvirgilio | 873 | 79 |  |  | 
            | 9th |  cbrt-x | 863 | 80 |  |  | 
            | 10th |  annaproxy | 852 | 81 |  |  | 
            | 11th |  Natanaelel
    🇸🇪 | 831 | 83 |  |  | 
            | 12th |  jared-hughes | 812 | 85 |  |  | 
            | 13th |  GrayJoKing
    🇦🇺 | 802 | 86 |  |  | 
            | 14th |  bforte | 775 | 89 |  |  | 
            | 15th |  marcin7Cd | 711 | 97 |  |  | 
            | 16th |  CatsAreFluffy | 663 | 104 |  |  | 
            | 17th |  flawr | 622 | 111 |  |  | 
            | 18th |  yzhs
    🇩🇪 | 476 | 145 |  |  | 
            | 19th |  aionescu | 426 | 162 |  |  | 
            | 20th |  RobertHoeh | 418 | 165 |  |  | 
            | 21st |  SirBogman
    🇺🇸 | 411 | 168 |  |  | 
            | 22nd |  Shanethegamer
    🇺🇸 | 381 | 181 |  |  | 
            | 23rd |  tobeannouncd | 367 | 188 |  |  | 
            | 24th |  doug-h | 308 | 224 |  |  | 
            | 24th |  brimstonetrader | 308 | 224 |  |  | 
            | 26th |  the-zammers | 279 | 247 |  |  | 
            | 27th |  boxjelly | 193 | 358 |  |  | 
            | 28th |  darrell-roberts | 111 | 623 |  |  | 
            | 29th |  dokutan | 81 | 856 |  |  | 
            | 30th |  RussellEmerine | 80 | 859 |  |  | 
            | 31st |  ReidZ3
    🇺🇸 | 68 | 1,008 |  |  | 
            | 32nd |  Mojken | 68 | 1,015 |  |  | 
            | 32nd |  dymowski | 68 | 1,015 |  |  | 
            | 32nd |  Haksell
    🇦🇶 | 68 | 1,015 |  |  | 
            | 32nd |  Waffle3z | 68 | 1,015 |  |  | 
            | 32nd |  MeWhenI
    🇻🇦 | 68 | 1,015 |  |  | 
            | 32nd |  KatieLG
    🇬🇧 | 68 | 1,015 |  |  | 
            | 32nd |  mokymok
    🇺🇸 | 68 | 1,015 |  |  | 
            | 32nd |  voytxt
    🇨🇿 | 68 | 1,015 |  |  | 
            | 32nd |  retrohun | 68 | 1,015 |  |  | 
            | 32nd |  KatieLG-Transpiler
    🇬🇧 | 68 | 1,015 |  |  | 
            | 32nd |  Yewzir
    🇧🇪 | 68 | 1,015 |  |  | 
            | 32nd |  HumanoidCPU | 68 | 1,015 |  |  | 
            | 32nd |  bac0id | 68 | 1,015 |  |  | 
            | 32nd |  Jacob385 | 68 | 1,015 |  |  | 
            | 32nd |  madeforlosers | 68 | 1,015 |  |  | 
            | 32nd |  CaedenHarper
    🇨🇦 | 68 | 1,015 |  |  | 
            | 32nd |  Mabeloid
    🇳🇴 | 68 | 1,015 |  |  | 
            | 32nd |  RaBa21
    🇭🇺 | 68 | 1,015 |  |  | 
            | 32nd |  Ralac07
    🇦🇺 | 68 | 1,015 |  |  | 
            | 51st |  abailey2020
    🇺🇸 | 68 | 1,017 |  |  | 
            | 52nd |  Dazza314
    🇬🇧 | 68 | 1,018 |  |  | 
            | 53rd |  didion0
    🇺🇸 | 68 | 1,020 |  |  | 
            | 53rd |  Azearia | 68 | 1,020 |  |  | 
            | 53rd |  RuralAnemone | 68 | 1,020 |  |  | 
            | 53rd |  AidanWalter | 68 | 1,020 |  |  | 
            | 57th |  GWStuart | 68 | 1,021 |  |  | 
            | 58th |  Reijix | 67 | 1,023 |  |  | 
            | 59th |  trinityy-7 | 67 | 1,025 |  |  | 
            | 60th |  willpiam | 67 | 1,026 |  |  | 
            | 61st |  Omega65536
    🇩🇪 | 67 | 1,028 |  |  | 
            | 62nd |  cafehaine
    🇫🇷 | 67 | 1,034 |  |  | 
            | 62nd |  UBKorkut | 67 | 1,034 |  |  | 
            | 64th |  aalec | 66 | 1,040 |  |  | 
            | 65th |  Pale-Vessel | 66 | 1,047 |  |  | 
            | 65th |  sciencejiho | 66 | 1,047 |  |  | 
            | 67th |  esnethen | 66 | 1,049 |  |  | 
            | 68th |  mothcolada
    🇺🇸 | 66 | 1,051 |  |  | 
            | 68th |  hiichbindermax | 66 | 1,051 |  |  | 
            | 70th |  midnattssol
    🇸🇪 | 65 | 1,067 |  |  | 
            | 71st |  JOrE-Softwares | 65 | 1,069 |  |  | 
            | 72nd |  adamnielson42
    🇺🇸 | 64 | 1,070 |  |  |