The Minesweeper hole will go live in approximately . Why not try and solve it ahead of time?
    
    
 
√2 in F# in chars.
    
    
        
            
                
                
                
                    |  | 
                | # | Golfer | Points | Chars | Time | Submitted | 
    
    
    
    
        
            | 1st |  Lydxn
    🇨🇦 | 1,000 | 66 |  |  | 
            | 2nd |  lynn | 985 | 67 |  |  | 
            | 2nd |  JayXon
    🇺🇸 | 985 | 67 |  |  | 
            | 4th |  primo-ppcg
    🇹🇭 | 971 | 68 |  |  | 
            | 5th |  MeWhenI
    🇻🇦 | 943 | 70 |  |  | 
            | 6th |  SirBogman
    🇺🇸 | 846 | 78 |  |  | 
            | 7th |  Shanethegamer
    🇺🇸 | 680 | 97 |  |  | 
            | 8th |  JDiLenarda
    🇫🇷 | 405 | 163 |  |  | 
            | 9th |  dokutan | 286 | 231 |  |  | 
            | 10th |  janbehrens
    🇩🇪 | 152 | 435 |  |  | 
            | 11th |  c0d3-4-F00d
    🇩🇪 | 146 | 451 |  |  | 
            | 12th |  KatieLG
    🇬🇧 | 65 | 1,010 |  |  | 
            | 12th |  Waffle3z | 65 | 1,010 |  |  | 
            | 12th |  LlamaLad7
    🇬🇧 | 65 | 1,010 |  |  | 
            | 12th |  munchkinduncan | 65 | 1,010 |  |  | 
            | 12th |  mokymok
    🇺🇸 | 65 | 1,010 |  |  | 
            | 12th |  voytxt
    🇨🇿 | 65 | 1,010 |  |  | 
            | 12th |  KatieLG-Transpiler
    🇬🇧 | 65 | 1,010 |  |  | 
            | 12th |  Yewzir
    🇧🇪 | 65 | 1,010 |  |  | 
            | 12th |  msbranicky | 65 | 1,010 |  |  | 
            | 12th |  HumanoidCPU | 65 | 1,010 |  |  | 
            | 12th |  bac0id | 65 | 1,010 |  |  | 
            | 12th |  madeforlosers | 65 | 1,010 |  |  | 
            | 12th |  CaedenHarper
    🇨🇦 | 65 | 1,010 |  |  | 
            | 25th |  mothcolada
    🇺🇸 | 65 | 1,011 |  |  | 
            | 26th |  olleicua
    🇺🇸 | 64 | 1,035 |  |  | 
            | 27th |  retrohun | 64 | 1,039 |  |  | 
            | 28th |  Mabeloid
    🇳🇴 | 63 | 1,041 |  |  | 
            | 29th |  rifatx | 63 | 1,045 |  |  | 
            | 30th |  ricbuz94 | 63 | 1,048 |  |  | 
            | 31st |  destofr | 63 | 1,053 |  |  | 
            | 32nd |  bendapootie | 62 | 1,058 |  |  | 
            | 33rd |  rowboat1 | 62 | 1,070 |  |  |