home bbs files messages ]

Forums before death by AOL, social media and spammers... "We can't have nice things"

   sci.logic      Logic -- math, philosophy & computationa      262,912 messages   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]

   Message 262,390 of 262,912   
   Mild Shock to All   
   Good Morning, Vietnam! Sudoku 2026 Chall   
   05 Jan 26 12:13:19   
   
   From: janburse@fastmail.fm   
      
   Hi,   
      
   Good Morning Vietnam, the HPC-AI Convergence   
   doesn't sleep. Here a friendly reminder of   
   the Sudoku leader board (Topn87 Challenge):   
      
   #1: jczsolve / Rust WASM   
        Solving 87 Sudokus in 0.006 seconds (0 sec / Sudoku)   
        https://emerentius.github.io/sudoku_web/   
      
   #2: Kudoku / JavaScript   
        Solving 87 Sudokus in 0.043 seconds (0.0004 sec / Sudoku)   
        https://attractivechaos.github.io/plb/kudoku.html   
      
   #3: Picat / import cp. solve([ff],L)   
        CPU time 0.175 seconds   
        https://picat-lang.org/   
      
   #4: Picat / import sat. solve(L)   
        CPU time 0.373 seconds   
        https://fmv.jku.at/kissat/   
      
   Tested on Windows 11, with a AMD Ryzen AI 350   
      
   Didn't test yet GNU Prolog, ECLiPSe Prolog or   
   Ciao Prolog. So whats next? Well beat #1 by   
   tapping into an NPU of Copilot+ PC.   
      
   Have Fun!   
      
   Its Winner Winner Chicken Dinner time again...   
      
   Bye   
      
   --- SoupGate-DOS v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]


(c) 1994,  bbs@darkrealms.ca