Hacker News: MableCookiehttps://news.ycombinator.com/user?id=MableCookieHacker News RSShttps://hnrss.org/hnrss v2.1.1Mon, 17 Aug 2026 03:57:45 +0000<![CDATA[New comment by MableCookie in "A SAT Attack on Tarski's High School Algebra Problem"]]>I think you are right, it's weird that the paper doesn't mention it

]]>Sun, 16 Aug 2026 15:50:48 +0000https://news.ycombinator.com/item?id=49321147MableCookiehttps://news.ycombinator.com/item?id=49321147https://news.ycombinator.com/item?id=49321147