Tootfinder

These were my favorite movies of 2025. Pretty much all horror, sci-fi, comedy. There's still a couple I need to see from this year (Cold Storage!) but these are all my favorites as of now.
#2025Films

Favorite films of 2025
A list of 18 films compiled on Letterboxd, including The Toxic Avenger (2023), Wolf Man (2025), Freaky Tales (2024), The Running Man (2025) and Bugonia (2025).

Donald Trump on Monday blamed Rob Reiner’s outspoken opposition to the president for the actor-director’s killing,
delivering the unsubstantiated claim in a shocking post that seemed intent on decrying his opponents even in the face of a tragedy.
https://apnews.com/article/trump-…

Trump levels political attack on Rob Reiner after his killing
President Donald Trump is blaming Rob Reiner’s outspoken opposition to the president for the actor-director’s killing, delivering the unsubstantiated claim in a shocking post that seemed intent on decrying his opponents even in the face of a tragedy. The statement on Monday, even for Trump, was a shocking comment that came as police were still investigating the deaths of the beloved director and his wife as an apparent homicide. The couple were found dead at their home Sunday in Los Angeles…

Exactly how thoroughly is SCOTUS the lapdog of POTUS?
We'll soon find out whether they're happy to sort out his personal difficulties for him.
https://apnews.com/article/trump-carroll-abuse-defamation-supreme-court-be62…

Trump asks Supreme Court to throw out Carroll verdict
President Donald Trump has asked the U.S. Supreme Court to throw out a jury’s finding in a civil lawsuit that he sexually abused writer E. Jean Carroll at a Manhattan department store in the mid-1990s and later defamed her. Trump’s lawyers argued in a lengthy filing with the high court Monday that allegations leading to the $5 million verdict were “propped up” by a “series of indefensible evidentiary rulings” that allowed Carroll’s lawyers to present “highly inflammatory propens…

Abstract String Domain Defined with Word Equations as a Reduced Product (Extended Version)
Antonina Nepeivoda, Ilya Afanasyev
https://arxiv.org/abs/2510.11007 https://

Abstract String Domain Defined with Word Equations as a Reduced Product (Extended Version)
We introduce a string-interval abstract domain, where string intervals are characterized by systems of word equations (encoding lower bounds on string values) and word disequalities (encoding upper bounds). Building upon the lattice structure of string intervals, we define an abstract string object as a reduced product on a string property semilattice, determined by length-non-increasing morphisms. We consider several reduction strategies for abstract string objects and show that upon these str…