The Minesweeper hole will go live in approximately . Why not try and solve it ahead of time?
    
    
 
√2 in OCaml in chars.
    
    
        
            
                
                
                
                    |  | 
                | # | Golfer | Points | Chars | Time | Submitted | 
    
    
    
    
        
            | 1st |  GrayJoKing
    🇦🇺 | 1,000 | 179 |  |  | 
            | 2nd |  m-tkach
    🇺🇦 | 840 | 213 |  |  | 
            | 3rd |  lynn | 796 | 225 |  |  | 
            | 4th |  MeWhenI
    🇻🇦 | 772 | 232 |  |  | 
            | 5th |  DialFrost
    🇸🇬 | 311 | 575 |  |  | 
            | 6th |  neel11235813 | 176 | 1,016 |  |  | 
            | 6th |  KatieLG
    🇬🇧 | 176 | 1,016 |  |  | 
            | 6th |  KatieLG-Transpiler
    🇬🇧 | 176 | 1,016 |  |  | 
            | 6th |  retrohun | 176 | 1,016 |  |  | 
            | 6th |  CatsAreFluffy | 176 | 1,016 |  |  | 
            | 6th |  Betuaredead | 176 | 1,016 |  |  | 
            | 6th |  Yewzir
    🇧🇪 | 176 | 1,016 |  |  | 
            | 6th |  Shanethegamer
    🇺🇸 | 176 | 1,016 |  |  | 
            | 6th |  voytxt
    🇨🇿 | 176 | 1,016 |  |  | 
            | 6th |  msbranicky | 176 | 1,016 |  |  | 
            | 6th |  HumanoidCPU | 176 | 1,016 |  |  | 
            | 6th |  Mabeloid
    🇳🇴 | 176 | 1,016 |  |  | 
            | 6th |  olleicua
    🇺🇸 | 176 | 1,016 |  |  | 
            | 6th |  madeforlosers | 176 | 1,016 |  |  | 
            | 6th |  CaedenHarper
    🇨🇦 | 176 | 1,016 |  |  | 
            | 6th |  dokutan | 176 | 1,016 |  |  | 
            | 22nd |  bac0id | 176 | 1,017 |  |  | 
            | 22nd |  rifatx | 176 | 1,017 |  |  |