home.social

#tarski — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #tarski, aggregated by home.social.

fetched live
  1. Hacker News @[email protected] ·

    A SAT Attack on Tarski's High School Algebra Problem

    arxiv.org/abs/2608.08421

    Comments: news.ycombinator.com/item?id=4

    #HackerNews #SAT #Attack #Tarski #Algebra #Problem #Mathematics #Education #Hacker #News

    #hackernews #sat #attack #tarski #algebra #problem
  2. Hacker News @[email protected] ·

    Truth is not a direction: a Tarski attack on LLM probes

    abeljansma.nl/2026/07/10/truth

    Comments: news.ycombinator.com/item?id=4

    #HackerNews #Tarski #LLMs #Truth #Philosophy #AI #Ethics

    #hackernews #tarski #llms #truth #philosophy #ai