#satsolvers — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #satsolvers, aggregated by home.social.
-
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
-
🚨 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 -
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