Tootfinder

From subtle shifts in the procedural mechanics of
self-defense doctrine
to substantive expansions of justified lethal force,
legislatures are delegating larger amounts of
“violence work”
to the private sphere.
These regulatory innovations layer on top of existing rules that broadly authorize private violence
—both defensive and offensive
—for self-protection and the ostensible maintenance of law and order.
Yet such significant authority…

THE NEW OUTLAWRY - Columbia Law Review
Introduction From subtle shifts in the procedural mechanics of self-defense doctrine to substantive expansions of justified lethal force, many red-state legislatures across the country are delegating larger amounts of “violence work” to the private sphere. In the wake of antiracism protests in summer 2020, Republican-dominated legislatures proposed a slew of such measures. The measures provide […]

Lasten ja nuorten tulevaisuudesta leikkaaminen tulee kalliiksi #politiikka #hallitus

Lukijoilta | Lapsiin panostus kannattaa – koulutusleikkaukset kostautuvat
Lapsiin ja nuoriin satsaaminen on tärkein sijoitus yhteiskuntamme uusiutumiseen, sanoo mielipidekirjoittaja.

Fine-Grained Reasoning About Container-Internal Pointers with Logical Pinning
Yawen Guan, Cl\'ement Pit-Claudel
https://arxiv.org/abs/2509.23229 https://

Fine-Grained Reasoning About Container-Internal Pointers with Logical Pinning
Most separation logics hide container-internal pointers for modularity. This makes it difficult to specify container APIs that temporarily expose those pointers to the outside, and to verify programs that use these APIs. We present logical pinning, a lightweight borrowing model for sequential programs that allows users to selectively track container-internal pointers at the logical level. Our model generalizes the magic-wand operator, making it easy to write and prove precise specifications, in…

Proceedings Twentieth International Symposium on Logical and Semantic Frameworks with Applications
Haniel Barbosa, Christophe Ringeissen
https://arxiv.org/abs/2509.23739 https:/…

Proceedings Twentieth International Symposium on Logical and Semantic Frameworks with Applications
This volume contains the proceedings of the 20th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2025), which was held in Brasilia, the capital of Brazil, from October 7 to October 8, 2025. The aim of the LSFA series of workshops is bringing together theoreticians and practitioners to promote new techniques and results, from the theoretical side, and feedback on the implementation and use of such techniques and results, from the practical side. LSFA includes areas such as …

😲 Brazil’s governance style leads to controversial impacts
#brazil

Brazil's governance style leads to controversial impacts
The Federal Republic of Brazil has a constitutional system with an exceptionally strong executive branch where the president controls the budget process, wields a line-item veto and can initiate legislation by declaring ‘temporary laws’ (Medidas Provisórias) that force the legislature to consider its policy agenda. Congress has corresponding checks and balances, including the power to […]

Democrats plan to sue over food aid as GOP splits on legislative patch (Meredith Lee Hill/Politico)
https://www.politico.com/news/2025/10/27/democrats-plan-to-sue-over-food-aid-as-gop-splits-on-legislative-patch-00624232
http://www.memeorandum.com/251027/p117#a251027p117

RE Mike Lee’s execrable proposal for "Pirates of the Caribbean "
a few days ago
—it’s bad, but
sadly in line with the right-wing movement to expand private actors’ privilege to use violence.
Darrell Miller wrote about this in what we called
“the new outlawry”
https://www.

THE NEW OUTLAWRY - Columbia Law Review
Introduction From subtle shifts in the procedural mechanics of self-defense doctrine to substantive expansions of justified lethal force, many red-state legislatures across the country are delegating larger amounts of “violence work” to the private sphere. In the wake of antiracism protests in summer 2020, Republican-dominated legislatures proposed a slew of such measures. The measures provide […]

President Trump and House Speaker Mike Johnson
plan to hold a Monday evening tele-rally
to boost a Republican candidate
in the high-stakes Tennessee special congressional election.
The Trump-Johnson dual rally underscores the emphasis Republicans are placing on the Dec. 2 election.
Progressive Democrat
Aftyn Behn, a state legislator,
is standing against Republican Matt Van Epps to fill a seat left vacant by former Representative Mark Green, who resig…

Aftyn for Congress
FEED KIDS. FIX ROADS. FUND HOSPITALS.

South Carolina already ranks 8th nationally in highest maternal mortality rate,
and MAGA extremists are vying to become #1.
Now, for the third time since 2023, MAGA Republicans in South Carolina have introduced
S 323, also known as
The Unborn Child Protection Act.
South Carolina Senate Bill 323 is one of the most extreme pieces of legislation we’ve seen.
It proposes changing the legal definition of the word “person” to include an unborn fetus.
Th…

S. Carolina RE-Intros Bill To Kill Women For Getting An Abortion
Here's what's in the bill, why it is so dangerous, and the meaningful steps you can take to fight back, support women's health, and help block this bill from becoming law

In a state where organized labor is not known to be a major political force,
supporters of teachers, police, firefighters and other public sector workers rallied to force the repeal of a particularly ill-advised, if not downright mean, act of the Utah Legislature.
An ad hoc alliance of labor unions
-- not just those representing public sector workers
-- arose under the title of
"Protect Utah Workers".
It included unions whose members primarily work…