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