#constraintsolvers — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #constraintsolvers, aggregated by home.social.
-
In this world-shattering revelation, we're led through the riveting journey of solving #Sudoku with #Rust and #z3, because apparently, life wasn't complicated enough already. 🤯✨ The author bravely tackles the arcane realm of constraint solvers, all while serving us the hottest take: complicated problems can be, wait for it... complicated. 🥱🔍
https://asibahi.github.io/thoughts/a-gentle-introduction-to-z3/ #ConstraintSolvers #TechHumor #Complexity #HackerNews #ngated -
In this world-shattering revelation, we're led through the riveting journey of solving #Sudoku with #Rust and #z3, because apparently, life wasn't complicated enough already. 🤯✨ The author bravely tackles the arcane realm of constraint solvers, all while serving us the hottest take: complicated problems can be, wait for it... complicated. 🥱🔍
https://asibahi.github.io/thoughts/a-gentle-introduction-to-z3/ #ConstraintSolvers #TechHumor #Complexity #HackerNews #ngated -
Fascinating, horrifying, and amusing — all at the same time:
"The Sudoku Affair", Zach Tellman (https://explaining.software/archive/the-sudoku-affair/).
On HN: https://news.ycombinator.com/item?id=42953168
On Lobsters: https://lobste.rs/s/khlha3/sudoku_affair
#WTF #Sudoku #Programming #TDD #ExtremeProgramming #ConstraintSolvers #Puzzles
-
Fascinating, horrifying, and amusing — all at the same time:
"The Sudoku Affair", Zach Tellman (https://explaining.software/archive/the-sudoku-affair/).
On HN: https://news.ycombinator.com/item?id=42953168
On Lobsters: https://lobste.rs/s/khlha3/sudoku_affair
#WTF #Sudoku #Programming #TDD #ExtremeProgramming #ConstraintSolvers #Puzzles