Tootfinder

Quantifier Instantiations: To Mimic or To Revolt?
Jan Jakub\r{u}v, Mikol\'a\v{s} Janota
https://arxiv.org/abs/2508.13811 https://arxiv.org/pdf/2508.138…

Quantifier Instantiations: To Mimic or To Revolt?
Quantified formulas pose a significant challenge for Satisfiability Modulo Theories (SMT) solvers due to their inherent undecidability. Existing instantiation techniques, such as e-matching, syntax-guided, model-based, conflict-based, and enumerative methods, often complement each other. This paper introduces a novel instantiation approach that dynamically learns from these techniques during solving. By treating observed instantiations as samples from a latent language, we use probabilistic con…

Trump faces a revolt from his MAGA base over the Epstein files (NBC News)
https://www.nbcnews.com/politics/trump-administration/trump-faces-revolt-maga-base-epstein-files-rcna218385
http://www.memeorandum.com/250712/p64#a250712p64

I've been thinking a lot about the Civil War as a slave revolt and the Civil War as a leftist revolution (and slaver attempt to prevent that revolution).
https://youtu.be/KWiM00lCRTE

"A common Israeli taking point [is] 'How should America respond if rockets were launched from Tijuana at San Diego?' ... it highlights both Israeli ignorance and fears and Palestinian and Xicano/Migrant commonality. Just like how Tel Aviv and Gaza are part of Historic Palestine, San Diego and Tijuana were both Mexico but more importantly part of the homeland of the Kumeyaay People."

*sigh*...
(from : https://arstechnica.com/information-technology/2025/08/openai-brings-back-gpt-4o-after-user-revolt/ )

#ChatGPT5, it appears, is full of shit.
"#OpenAI’s products are no longer primarily aimed at consumers but at investors. As long as you avoid a full-scale user revolt (which GPT-5 actually did incur…), you can continue to assuage or even attract more backers on your path of relentless e…

GPT-5 is a joke. Will it matter?
How the fraught release of the most-hyped AI product yet clarifies the stakes.

I think this analysis misses or hides the more radical way of viewing things, that of the state responding to an already existing people's revolution (the slave revolt angle) but I do think it's also good context and interesting to see liberals trying to take the narrative.
https://youtu.be/BK1cyndeuNs

🇺🇦 Auf radioeins läuft...
Muse:
🎵 Revolt
#NowPlaying #Muse
https://revoltmotionrecords.bandcamp.com/track/take-me-by-may-the-muse
https://open.spotify.com/track/7BGg9wSF98j6FzvHGkq3f0

Deaf President Now! review – passion and energy in stirring record of student protest;
Documentary follows the 1988 anti-audism revolt in the US after the world’s first deaf university appointed a hearing person to head it
https://www.theguardian.com/film/2025/…

'They're Gonna Be So Mad': Trump Admin Braces for MAGA Revolt Over Epstein Memo (Rolling Stone)
https://www.rollingstone.com/politics/politics-features/epstein-memo-justice-department-maga-1235380042/
http://www.memeorandum.com/250707/p105#a250707p105

Trump and Johnson face escalating GOP revolt on redistricting (Andrew Solender/Axios)
https://www.axios.com/2025/08/05/trump-johnson-texas-california-new-york-districts
http://www.memeorandum.com/250806/p7#a250806p7

GOP revolt delays House vote on Trump's "big, beautiful bill" (Axios)
https://www.axios.com/2025/07/02/trump-big-beautiful-bill-house-vote-delay
http://www.memeorandum.com/250702/p109#a250702p109

🇺🇦 #NowPlaying on #BBC6Music's #6MusicArtistInResidence
The Raveonettes:
🎵 Recharge & Revolt
#TheRaveonettes
https://open.spotify.com/track/5DH87mAbfJTKeMNN7DWomr

Here Are the Republican Senators Who May Revolt on Trump's Bill (Catie Edmondson/New York Times)
https://www.nytimes.com/2025/06/30/us/politics/republican-senators-against-trump-big-bill.html
http://www.memeorandum.com/250630/p104#a250630p104

🇺🇦 #NowPlaying on #KEXP's #MorningShow
The Fall:
🎵 Middle Class Revolt!
#TheFall