Tootfinder

I refuse to use flakes. You'll find them in my cereal, not in my Nix config, let alone my Mango.
On to Gentoo it is then.

I be just droppin’ these treasures overboard for any scallywag who knows how to sail!
- https://fitgirl-repacks.site
- https://thepiratebay.org

Software Model Checking via Summary-Guided Search (Extended Version)
Ruijie Fang, Zachary Kincaid, Thomas Reps
https://arxiv.org/abs/2508.15137 https://arx…

Software Model Checking via Summary-Guided Search (Extended Version)
In this work, we describe a new software model-checking algorithm called GPS. GPS treats the task of model checking a program as a directed search of the program states, guided by a compositional, summary-based static analysis. The summaries produced by static analysis are used both to prune away infeasible paths and to drive test generation to reach new, unexplored program states. GPS can find both proofs of safety and counter-examples to safety (i.e., inputs that trigger bugs), and features a…

Opendoor's new chairman Keith Rabois says "I don't know what most" of its 1400 employees do and the company doesn't need "more than 200 of them" (Annie Palmer/CNBC)
https://www.cnbc.com/2025/09/12/opendoors-

Opendoor board chair Rabois says company is 'bloated,' needs to cut 85% of workforce
Keith Rabois was named chairman of Opendoor this week and the company, which he co-founded, hired former Shopify executive Kaz Nejatian as its new CEO.

Eu acabei de ver um vídeo de alguém em roupas de monge benedito cantando em latim o que parecia ser alguma oração a São Bento em ritmo em funk. Estou confuso, não entendi se é zoeira ou se realmente a igreja católica começou a colocar fazer música religiosa em ritmo de funk para atingir públicos mais jovens.

A profile of Olivia Nuzzi as she prepares for the December 2 publication of American Canto, a memoir about her career and her relationship with RFK Jr (Jacob Bernstein/New York Times)
https://www.nytimes.com/2025/11/14/style/olivia-nuzzi-rfk-book-american-c…

Olivia Nuzzi on the Scandal With RFK Jr. that Upended Her Career
The former political journalist has written a combustive portrait of America, President Trump and the scandal with Robert F. Kennedy Jr. that upended her career.

Nudging the Somas: Exploring How Live-Configurable Mixed Reality Objects Shape Open-Ended Intercorporeal Movements
Botao Amber Hu, Yilan Elan Tao, Rem RunGu Lin, Mingze Chai, Yuemin Huang, Rakesh Patibanda
https://arxiv.org/abs/2509.14432

Nudging the Somas: Exploring How Live-Configurable Mixed Reality Objects Shape Open-Ended Intercorporeal Movements
Mixed Reality (MR) experiences increasingly explore how virtual elements can shape physical behaviour, yet how MR objects guide group movement remains underexplored. We address this gap by examining how virtual objects can nudge collective, co-located movement without relying on explicit instructions or choreography. We developed GravField, a co-located MR performance system where an "object jockey" live-configures virtual objects, springs, ropes, magnets, with real-time, parameterised "digital…

“On Monday, two hanging deaths were reported in Mississippi, one in Vicksburg and another on the campus of Delta State University.”
So…Mississippi may still be lynching folks. And patel, potus, and governor tate reeves have nothing to say about it.
https://www.

I have yet to hear any, much less a solid, argument against my suggestion that Presidential pardons and commutations are revocable by a subsequent president.
Were I elected president I would revoke all of El Cheato's pardons and commutations and let the people involved make arguments (probably in the context of Habeas Corpus proceedings) why those actions are not Constitutional.
My own sense is that the question tends more towards the "not revocable" with regard to …

Trump pardons Jan. 6 defendant for a second time over gun conviction
President Donald Trump on Friday pardoned Dan Wilson, a former Jan. 6 defendant, for a second time on gun charges not related to his conduct during the riot at the Capitol on Jan.

Bill and Ted's Broadway Debut
https://www.pbs.org/newshour/show/keanu-reeves-and-alex-winter-reunite-on-stage-in-broadways-waiting-for-godot

Keanu Reeves and Alex Winter reunite on stage in Broadway’s ‘Waiting for Godot’
It's a classic of theater that continues to be taken on by top actors and still resonates with audiences. “Waiting for Godot” mixes despair and comedy to raise questions about the meaning of life. Now, Keanu Reeves and Alex Winter, two actors who are great friends, are doing their waiting on Broadway. Senior arts correspondent Jeffrey Brown has the story for our arts and culture series, CANVAS.