#satsolvers — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #satsolvers, aggregated by home.social.
-
A SAT attack on Tarski's high school algebra problem. ~ Bernardo Subercaseaux, Benjamin Przybocki. https://arxiv.org/abs/2608.08421v1 #ATP #SATsolvers #Math
-
A SAT attack on Tarski's high school algebra problem. ~ Bernardo Subercaseaux, Benjamin Przybocki. https://arxiv.org/abs/2608.08421v1 #ATP #SATsolvers #Math
-
A SAT attack on Tarski's high school algebra problem. ~ Bernardo Subercaseaux, Benjamin Przybocki. https://arxiv.org/abs/2608.08421v1 #ATP #SATsolvers #Math
-
A SAT attack on Tarski's high school algebra problem. ~ Bernardo Subercaseaux, Benjamin Przybocki. https://arxiv.org/abs/2608.08421v1 #ATP #SATsolvers #Math
-
A SAT attack on Tarski's high school algebra problem. ~ Bernardo Subercaseaux, Benjamin Przybocki. https://arxiv.org/abs/2608.08421v1 #ATP #SATsolvers #Math
-
Readings shared November 16, 2025. https://jaalonso.github.io/vestigium/posts/2025/11/17-readings_shared_11-16-25 #AI #ATP #Autoformalization #FunctionalProgramming #Haskell #ITP #LLMs #LeanProver #Math #SatSolvers
-
Readings shared November 16, 2025. https://jaalonso.github.io/vestigium/posts/2025/11/17-readings_shared_11-16-25 #AI #ATP #Autoformalization #FunctionalProgramming #Haskell #ITP #LLMs #LeanProver #Math #SatSolvers
-
Readings shared November 16, 2025. https://jaalonso.github.io/vestigium/posts/2025/11/17-readings_shared_11-16-25 #AI #ATP #Autoformalization #FunctionalProgramming #Haskell #ITP #LLMs #LeanProver #Math #SatSolvers
-
Readings shared November 16, 2025. https://jaalonso.github.io/vestigium/posts/2025/11/17-readings_shared_11-16-25 #AI #ATP #Autoformalization #FunctionalProgramming #Haskell #ITP #LLMs #LeanProver #Math #SatSolvers
-
Readings shared November 16, 2025. https://jaalonso.github.io/vestigium/posts/2025/11/17-readings_shared_11-16-25 #AI #ATP #Autoformalization #FunctionalProgramming #Haskell #ITP #LLMs #LeanProver #Math #SatSolvers
-
To have machines make math proofs, turn them into a puzzle (Marijn Heule turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them. His proofs have been called “disgusting,” but they go beyond what any human can do). ~ John Pavlus. https://www.quantamagazine.org/to-have-machines-make-math-proofs-turn-them-into-a-puzzle-20251110/ #AI #Math #ATP #SatSolvers
-
To have machines make math proofs, turn them into a puzzle (Marijn Heule turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them. His proofs have been called “disgusting,” but they go beyond what any human can do). ~ John Pavlus. https://www.quantamagazine.org/to-have-machines-make-math-proofs-turn-them-into-a-puzzle-20251110/ #AI #Math #ATP #SatSolvers
-
To have machines make math proofs, turn them into a puzzle (Marijn Heule turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them. His proofs have been called “disgusting,” but they go beyond what any human can do). ~ John Pavlus. https://www.quantamagazine.org/to-have-machines-make-math-proofs-turn-them-into-a-puzzle-20251110/ #AI #Math #ATP #SatSolvers
-
To have machines make math proofs, turn them into a puzzle (Marijn Heule turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them. His proofs have been called “disgusting,” but they go beyond what any human can do). ~ John Pavlus. https://www.quantamagazine.org/to-have-machines-make-math-proofs-turn-them-into-a-puzzle-20251110/ #AI #Math #ATP #SatSolvers
-
To have machines make math proofs, turn them into a puzzle (Marijn Heule turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them. His proofs have been called “disgusting,” but they go beyond what any human can do). ~ John Pavlus. https://www.quantamagazine.org/to-have-machines-make-math-proofs-turn-them-into-a-puzzle-20251110/ #AI #Math #ATP #SatSolvers
-
🚨 ALERT! 🚨 Someone thinks SAT solvers are the panacea to difficult #problems but forgot to solve the biggest problem: putting the reader to sleep in record time. 📉 Welcome to the riveting world of NP-complete problems, where saying "polynomial time" three times fast is more exciting than the content itself. 💤
https://vaibhavsagar.com/blog/2025/10/22/satisfying-solutions/ #SATsolvers #NPcomplete #boredom #techhumor #algorithmantics #HackerNews #ngated -
🚨 ALERT! 🚨 Someone thinks SAT solvers are the panacea to difficult #problems but forgot to solve the biggest problem: putting the reader to sleep in record time. 📉 Welcome to the riveting world of NP-complete problems, where saying "polynomial time" three times fast is more exciting than the content itself. 💤
https://vaibhavsagar.com/blog/2025/10/22/satisfying-solutions/ #SATsolvers #NPcomplete #boredom #techhumor #algorithmantics #HackerNews #ngated -
🚨 ALERT! 🚨 Someone thinks SAT solvers are the panacea to difficult #problems but forgot to solve the biggest problem: putting the reader to sleep in record time. 📉 Welcome to the riveting world of NP-complete problems, where saying "polynomial time" three times fast is more exciting than the content itself. 💤
https://vaibhavsagar.com/blog/2025/10/22/satisfying-solutions/ #SATsolvers #NPcomplete #boredom #techhumor #algorithmantics #HackerNews #ngated -
🚨 ALERT! 🚨 Someone thinks SAT solvers are the panacea to difficult #problems but forgot to solve the biggest problem: putting the reader to sleep in record time. 📉 Welcome to the riveting world of NP-complete problems, where saying "polynomial time" three times fast is more exciting than the content itself. 💤
https://vaibhavsagar.com/blog/2025/10/22/satisfying-solutions/ #SATsolvers #NPcomplete #boredom #techhumor #algorithmantics #HackerNews #ngated -
👒🔍📐 Here comes Nicols Hatcher, the self-proclaimed "physicist by soul," to dazzle us with a mind-numbingly riveting tale of shapes and #algorithms. Get ready to be blown away by the exhilarating world of #monotiles and SAT solvers—because that's exactly what your weekend was missing! 💤🎉
https://www.nhatcher.com/post/on-hats-and-sats/ #physicist #SATsolvers #weekendreads #HackerNews #ngated -
👒🔍📐 Here comes Nicols Hatcher, the self-proclaimed "physicist by soul," to dazzle us with a mind-numbingly riveting tale of shapes and #algorithms. Get ready to be blown away by the exhilarating world of #monotiles and SAT solvers—because that's exactly what your weekend was missing! 💤🎉
https://www.nhatcher.com/post/on-hats-and-sats/ #physicist #SATsolvers #weekendreads #HackerNews #ngated -
👒🔍📐 Here comes Nicols Hatcher, the self-proclaimed "physicist by soul," to dazzle us with a mind-numbingly riveting tale of shapes and #algorithms. Get ready to be blown away by the exhilarating world of #monotiles and SAT solvers—because that's exactly what your weekend was missing! 💤🎉
https://www.nhatcher.com/post/on-hats-and-sats/ #physicist #SATsolvers #weekendreads #HackerNews #ngated -
👒🔍📐 Here comes Nicols Hatcher, the self-proclaimed "physicist by soul," to dazzle us with a mind-numbingly riveting tale of shapes and #algorithms. Get ready to be blown away by the exhilarating world of #monotiles and SAT solvers—because that's exactly what your weekend was missing! 💤🎉
https://www.nhatcher.com/post/on-hats-and-sats/ #physicist #SATsolvers #weekendreads #HackerNews #ngated -
The Hat, the Spectre and SAT Solvers (2024)
https://www.nhatcher.com/post/on-hats-and-sats/
#HackerNews #TheHat #TheSpectre #SATSolvers #AIResearch #TechNews
-
The Hat, the Spectre and SAT Solvers (2024)
https://www.nhatcher.com/post/on-hats-and-sats/
#HackerNews #TheHat #TheSpectre #SATSolvers #AIResearch #TechNews
-
The Hat, the Spectre and SAT Solvers (2024)
https://www.nhatcher.com/post/on-hats-and-sats/
#HackerNews #TheHat #TheSpectre #SATSolvers #AIResearch #TechNews
-
The Hat, the Spectre and SAT Solvers (2024)
https://www.nhatcher.com/post/on-hats-and-sats/
#HackerNews #TheHat #TheSpectre #SATSolvers #AIResearch #TechNews
-
The Hat, the Spectre and SAT Solvers (2024)
https://www.nhatcher.com/post/on-hats-and-sats/
#HackerNews #TheHat #TheSpectre #SATSolvers #AIResearch #TechNews
-
🚨 Breaking News: Some "genius" thinks #LinkedIn and #Queens need a crossover event, solved with SMT! 🤯 Apparently, SAT solvers are the unsung heroes of this saga, but don't worry—our hero will pause his newsletter to speak at a conference, because priorities. 🎤🔍
https://buttondown.com/hillelwayne/archive/solving-linkedin-queens-with-smt/ #BreakingNews #SMT #SATsolvers #ConferenceTalk #HackerNews #ngated -
🚨 Breaking News: Some "genius" thinks #LinkedIn and #Queens need a crossover event, solved with SMT! 🤯 Apparently, SAT solvers are the unsung heroes of this saga, but don't worry—our hero will pause his newsletter to speak at a conference, because priorities. 🎤🔍
https://buttondown.com/hillelwayne/archive/solving-linkedin-queens-with-smt/ #BreakingNews #SMT #SATsolvers #ConferenceTalk #HackerNews #ngated -
🚨 Breaking News: Some "genius" thinks #LinkedIn and #Queens need a crossover event, solved with SMT! 🤯 Apparently, SAT solvers are the unsung heroes of this saga, but don't worry—our hero will pause his newsletter to speak at a conference, because priorities. 🎤🔍
https://buttondown.com/hillelwayne/archive/solving-linkedin-queens-with-smt/ #BreakingNews #SMT #SATsolvers #ConferenceTalk #HackerNews #ngated -
🚨 Breaking News: Some "genius" thinks #LinkedIn and #Queens need a crossover event, solved with SMT! 🤯 Apparently, SAT solvers are the unsung heroes of this saga, but don't worry—our hero will pause his newsletter to speak at a conference, because priorities. 🎤🔍
https://buttondown.com/hillelwayne/archive/solving-linkedin-queens-with-smt/ #BreakingNews #SMT #SATsolvers #ConferenceTalk #HackerNews #ngated