Viewing profile — userundefined

https://dawnofthe.dad/workout Been working on a Google-sheet backed workout tracker, which basically makes it easy for me to see what I've done or not done recently and pick the ne…

I'm still working on and off on my https://dawnofthe.dad/crossword , albeit most of the guts (solver backing the crossword builder) have been stable and lately most of the work has…

Backend is in pure golang, frontend is in Typescript compiled to JS.

I've got a CSP solver powering things like a sudoku solver and a crossword builder on my site ( https://dawnofthe.dad/ ). Recently I've been playing with NxN sudokus and created ht…

I've built a site that lets you play around with solving NxN sudokus, up to 36x36, backed by a Constraint Satisfaction Problem (CSP) solver. The site exposes a bunch of parameters …

I've started writing a blog for a crossword builder / sudoku solver site ( https://dawnofthe.dad ) and in the process of doing so found a few ways of improving the site/functionali…

Nope, it's all constraint satisfaction based. Another person actually correctly inferred most of the details above: https://news.ycombinator.com/reply?id=36532254&goto=item%3Fi... …

This is pretty much spot on. In a bit more detail, the CSP solver does indeed apply forward checking, and a fancier version of that, arc consistency, is available too, but ends up …