The Minesweeper hole will go live in approximately . Why not try and solve it ahead of time?
    
    
 
τ in F# in chars.
    
    
        
            
                
                
                
                    |  | 
                | # | Golfer | Points | Chars | Time | Submitted | 
    
    
    
    
        
            | 1st |  Lydxn
    🇨🇦 | 1,000 | 76 |  |  | 
            | 2nd |  primo-ppcg
    🇹🇭 | 950 | 80 |  |  | 
            | 3rd |  lynn | 938 | 81 |  |  | 
            | 4th |  MeWhenI
    🇻🇦 | 874 | 87 |  |  | 
            | 5th |  SirBogman
    🇺🇸 | 844 | 90 |  |  | 
            | 6th |  Shanethegamer
    🇺🇸 | 784 | 97 |  |  | 
            | 7th |  dokutan | 332 | 229 |  |  | 
            | 8th |  KatieLG
    🇬🇧 | 75 | 1,010 |  |  | 
            | 8th |  Waffle3z | 75 | 1,010 |  |  | 
            | 8th |  JDiLenarda
    🇫🇷 | 75 | 1,010 |  |  | 
            | 8th |  mokymok
    🇺🇸 | 75 | 1,010 |  |  | 
            | 8th |  voytxt
    🇨🇿 | 75 | 1,010 |  |  | 
            | 8th |  KatieLG-Transpiler
    🇬🇧 | 75 | 1,010 |  |  | 
            | 8th |  Yewzir
    🇧🇪 | 75 | 1,010 |  |  | 
            | 8th |  msbranicky | 75 | 1,010 |  |  | 
            | 8th |  madeforlosers | 75 | 1,010 |  |  | 
            | 8th |  HumanoidCPU | 75 | 1,010 |  |  | 
            | 8th |  bac0id | 75 | 1,010 |  |  | 
            | 8th |  CaedenHarper
    🇨🇦 | 75 | 1,010 |  |  | 
            | 8th |  RaBa21
    🇭🇺 | 75 | 1,010 |  |  | 
            | 21st |  mothcolada
    🇺🇸 | 75 | 1,011 |  |  | 
            | 22nd |  retrohun | 73 | 1,039 |  |  | 
            | 23rd |  Mabeloid
    🇳🇴 | 73 | 1,041 |  |  |