Tootfinder

Alina Habba's authority as New Jersey's top prosecutor questioned in new legal filing (Politico)
https://www.politico.com/news/2025/07/28/alina-habbas-authority-as-new-jerseys-top-prosecutor-questioned-in-new-legal-filing-00480025
http://www.memeorandum.com/250728/p70#a250728p70

Public defender’s office seeks removal of Trump’s top federal prosecutor in L.A.
https://www.latimes.com/california/story/2025-08-29/public-defender-moves-to-disqualify-bill-essayli

Public defender's office seeks to remove L.A.'s top federal prosecutor
In a filing Friday, the federal public defender's office in Los Angeles argued acting U.S. Atty. Bill Essayli should be removed because he is unlawfully occupying his post.

Filing: Trump's lawyers argue that Rupert Murdoch should be deposed within 15 days because of his advanced age, in the $10B libel suit against Murdoch and WSJ (Katie Robertson/New York Times)
https://www.nytimes.com/2025/07/28/business/media/trum…

Trump Says Rupert Murdoch Should Be Deposed Within 15 Days in Suit Over Epstein Article
The president’s legal team argued in a legal filing that discovery process for the media mogul should be expedited because of his age and health.

Filing: Intel says its funding deal with the US loosens its requirements under the CHIPS Act, including removing the need to meet certain project milestones (Katherine Hamilton/Wall Street Journal)
https://www.wsj.com/t…

Guide to the NFL's rookie class: Who is flying under the radar? Who will win OROY, DROY? https://www.espn.com/nfl/story/_/id/45979912/2025-nfl-rookies-guide-fantasy-picks-stat-projections-top-qbs-roy

I, an atheist, would defend these Christians from persecution.
The MAGA regime, ostensibly Christian nationalists, are the persecutors.
https://www.christianitytoday.com/2025/06/ice-arrests-church-leaders-christians-fleeing…

ICE Goes After Church Leaders and Christians Fleeing Persecution
On Tuesday, Iranian asylum-seekers were detained in Los Angeles, adding to the count of church members taken despite lawful status.

This https://arxiv.org/abs/2405.03536 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLO_…

Extensional and Non-extensional Functions as Processes
Following Milner's seminal paper, the representation of functions as processes has received considerable attention. For pure $λ$-calculus, the process representations yield (at best) non-extensional $λ$-theories (i.e., $β$ rule holds, whereas $η$ does not). In the paper, we study how to obtain extensional representations, and how to move between extensional and non-extensional representations. Using Internal $π$, $\mathrm{I}π$ (a subset of the $π$-calculus in which all outputs are boun…

Digital and Robotic Twinning for Validation of Proximity Operations and Formation Flying
Aviad Golan, Gregory Zin, Zahra Ahmed, Emily Bates, Toby Bell, Pol Francesch Huc, Samuel Y. W. Low, Juergen Bosse, Simone D'Amico
https://arxiv.org/abs/2507.20034

Digital and Robotic Twinning for Validation of Proximity Operations and Formation Flying
In spacecraft Rendezvous, Proximity Operations (RPO), and Formation Flying (FF), the Guidance Navigation and Control (GNC) system is safety-critical and must meet strict performance requirements. However, validating such systems is challenging due to the complexity of the space environment, necessitating a verification and validation (V&V) process that bridges simulation and real-world behavior. The key contribution of this paper is a unified, end-to-end digital and robotic twinning framework t…

What’s the toll for driving an MRAP into Chicago from Great Lakes Naval Base to the city?
The toll for an MRAP illegally invading #Chicago is the eternal shame and dishonor of failing your duty to the American people, ridicule for all your years and even your grandchildren being chastised for your actions, possibly both indictment for violations of article 92 of the UCMJ and being prosecu…

A look at SFGate, which has the largest audience of any purely local US news site; EIC Grant Marek says the site has 60 employees and has "never had a layoff" (Lucy Kenningham/Press Gazette)
https://pressgazette.co.uk/pub…

How SFGATE is making local news pay and filling California's news gaps
SFGATE has the largest audience of any purely local news site in the US.