Home/Blog/Show HN: 3-SAT: Let me show you 500K variablesGeneralShow HN: 3-SAT: Let me show you 500K variablesHacker News Show2026-11-09 02:200 viewsNot theory. Comments URL: https://news.ycombinator.com/item?id=50415664 Points: 1 # Comments: 0Source:https://zenodo.org/records/23933428My favoritesPreviousShow HN: Elo Ratings for Tests, ODIs, and T20IsNextShow HN: Recto – A tool that lets you visually edit what coding agents createRelated postsWhy a pink potato-like robot is wheeling around PhiladelphiaArticle URL: https://www.popsci.com/science/orifice-awebot-robot-philadelphia/ Comments URL: https://news.ycombinator.co0Hacker News NewTell HN: There is a housing crisis where Sam Altman livesMost of his huge mansion goes unused aka wasted. It would be more efficient if it was spread amongst multiple people. Co0Hacker News NewAn Apology for the Mirror: The Thief Cries "Stop, Thief "Article URL: https://medium.com/@smoking2man/an-apology-for-the-mirror-the-thief-cries-stop-thief-6a0871a642bb Comments 0Hacker News NewDux: Free, open-source Wayland desktop shell with file manager and themingArticle URL: https://duxlabs.dev/ Comments URL: https://news.ycombinator.com/item?id=50416053 Points: 2 # Comments: 00Hacker News NewTitanic insurance document could fetch £50kArticle URL: https://www.bbc.com/news/articles/cmgel4wzydg8o Comments URL: https://news.ycombinator.com/item?id=504161060Hacker News NewShow HN: Models Engineering IndexMei—or, the Models Engineering Index—calculates language models' practical performance on engineering tasks. Comments UR0Hacker News New