The Minesweeper hole will go live in approximately . Why not try and solve it ahead of time?
    
    
 
√2 in Haskell in chars.
    
    
        
            
                
                
                
                    |  | 
                | # | Golfer | Points | Chars | Time | Submitted | 
    
    
    
    
        
            | 1st |  primo-ppcg
    🇹🇭 | 1,000 | 63 |  |  | 
            | 1st |  HPWiz
    🇳🇿 | 1,000 | 63 |  |  | 
            | 1st |  GrayJoKing
    🇦🇺 | 1,000 | 63 |  |  | 
            | 1st |  lynn | 1,000 | 63 |  |  | 
            | 1st |  Lydxn
    🇨🇦 | 1,000 | 63 |  |  | 
            | 1st |  xnor-gate | 1,000 | 63 |  |  | 
            | 1st |  sean-niemann
    🇺🇸 | 1,000 | 63 |  |  | 
            | 1st |  Steffan153
    🇫🇮 | 1,000 | 63 |  |  | 
            | 1st |  DialFrost
    🇸🇬 | 1,000 | 63 |  |  | 
            | 1st |  fuzzylojik-golf
    🇺🇸 | 1,000 | 63 |  |  | 
            | 11th |  andersk
    🇺🇸 | 969 | 65 |  |  | 
            | 11th |  JayXon
    🇺🇸 | 969 | 65 |  |  | 
            | 11th |  btnlq | 969 | 65 |  |  | 
            | 11th |  ovs-code
    🇩🇪 | 969 | 65 |  |  | 
            | 15th |  Natanaelel
    🇸🇪 | 900 | 70 |  |  | 
            | 16th |  flawr | 863 | 73 |  |  | 
            | 16th |  annaproxy | 863 | 73 |  |  | 
            | 18th |  Jeremy-Stafford | 851 | 74 |  |  | 
            | 19th |  Irratix
    🇳🇱 | 778 | 81 |  |  | 
            | 20th |  CatsAreFluffy | 768 | 82 |  |  | 
            | 21st |  LHLaurini
    🇧🇷 | 750 | 84 |  |  | 
            | 22nd |  yzhs
    🇩🇪 | 733 | 86 |  |  | 
            | 22nd |  strout | 733 | 86 |  |  | 
            | 24th |  Wheatwizard | 716 | 88 |  |  | 
            | 25th |  archaephyrryx | 525 | 120 |  |  | 
            | 26th |  user189032 | 481 | 131 |  |  | 
            | 27th |  boxjelly | 265 | 238 |  |  | 
            | 28th |  YAJUE114514 | 106 | 592 |  |  | 
            | 29th |  Shanethegamer
    🇺🇸 | 74 | 856 |  |  | 
            | 30th |  dokutan | 74 | 857 |  |  | 
            | 31st |  Haksell
    🇦🇶 | 62 | 1,015 |  |  | 
            | 31st |  marcin7Cd | 62 | 1,015 |  |  | 
            | 31st |  MeWhenI
    🇻🇦 | 62 | 1,015 |  |  | 
            | 31st |  Waffle3z | 62 | 1,015 |  |  | 
            | 31st |  KatieLG
    🇬🇧 | 62 | 1,015 |  |  | 
            | 31st |  mokymok
    🇺🇸 | 62 | 1,015 |  |  | 
            | 31st |  voytxt
    🇨🇿 | 62 | 1,015 |  |  | 
            | 31st |  KatieLG-Transpiler
    🇬🇧 | 62 | 1,015 |  |  | 
            | 31st |  Yewzir
    🇧🇪 | 62 | 1,015 |  |  | 
            | 31st |  cbrt-x | 62 | 1,015 |  |  | 
            | 31st |  olleicua
    🇺🇸 | 62 | 1,015 |  |  | 
            | 31st |  HumanoidCPU | 62 | 1,015 |  |  | 
            | 31st |  bac0id | 62 | 1,015 |  |  | 
            | 31st |  Jacob385 | 62 | 1,015 |  |  | 
            | 31st |  rifatx | 62 | 1,015 |  |  | 
            | 31st |  Mabeloid
    🇳🇴 | 62 | 1,015 |  |  | 
            | 31st |  madeforlosers | 62 | 1,015 |  |  | 
            | 31st |  CaedenHarper
    🇨🇦 | 62 | 1,015 |  |  | 
            | 49th |  guliyevemil1
    🇦🇿 | 62 | 1,016 |  |  | 
            | 50th |  retrohun | 62 | 1,017 |  |  | 
            | 51st |  destofr | 62 | 1,018 |  |  | 
            | 52nd |  ricbuz94 | 60 | 1,048 |  |  | 
            | 53rd |  rowboat1 | 59 | 1,066 |  |  |