Tootfinder

The Justice Department on Friday 👉fired at least three prosecutors involved in U.S. Capitol riot criminal cases,
the latest moves by the Trump administration targeting attorneys connected to the massive prosecution of the Jan. 6, 2021, attack,
according to two people familiar with the matter.
Those dismissed include two attorneys who worked as supervisors overseeing the Jan. 6 prosecutions in the U.S. attorney’s office in Washington
as well as a line attorney who pro…

Justice Department fires 3 lawyers involved in Jan. 6 cases
The Justice Department has fired at least three prosecutors involved in U.S. Capitol riot criminal cases, according to two people familiar with the matter. It’s the latest move by the Trump administration targeting attorneys connected to the massive prosecution of the Jan. 6, 2021, attack. Those dismissed include two attorneys who worked as supervisors overseeing the Jan. 6 prosecutions in the U.S. attorney’s office in Washington as well as a line attorney who prosecuted cases stemming from…

#NowPlaying this Sunday needed some death metal. I keep thinking about Mortiferum so today I broke out their 2021 masterpiece Preserved in Torment.
https://mortiferum.bandcamp.com/album/

From 600 Tools to 1 Console: A UX-Driven Transformation
Mariann Kornelia Smith, Jacqueline Meijer-Irons, Andrew Millar
https://arxiv.org/abs/2506.16107 htt…

From 600 Tools to 1 Console: A UX-Driven Transformation
In 2021 the Technical Infrastructure (TI) User Experience (UX) team sent a survey to 10,000 Google Developers (Googlers) and uncovered that Google's internal infrastructure tools were fragmented and inefficient, hindering developers' productivity. Using user centered research and design methodologies the team first created a story map and service blueprint to visualize the relationship between internal applications, then formulated a strategic vision to consolidate tools, streamline workflows, …

Pink Turns Blue – Live in Stuttgart, 2021
So coole Musik, die fließt so vorwärts. 🖤
https://youtu.be/MDKIJ7cwxnE?si=33ox5CkRRhMsPBST

Hab bisschen mit 17 GB #MStR-Daten rumgespielt.
Kann das mal jemand nachrechnen? 🤔 🤪
#Balkonkraftwerk #Photovoltaik

New Bounds for the Ideal Proof System in Positive Characteristic
Amik Raj Behera, Nutan Limaye, Varun Ramanathan, Srikanth Srinivasan
https://arxiv.org/abs/2506.16397

New Bounds for the Ideal Proof System in Positive Characteristic
In this work, we prove upper and lower bounds over fields of positive characteristics for several fragments of the Ideal Proof System (IPS), an algebraic proof system introduced by Grochow and Pitassi (J. ACM 2018). Our results extend the works of Forbes, Shpilka, Tzameret, and Wigderson (Theory of Computing 2021) and also of Govindasamy, Hakoniemi, and Tzameret (FOCS 2022). These works primarily focused on proof systems over fields of characteristic $0$, and we are able to extend these results…

I wonder how it shows up in practice that the mayor of Graz is from the communist party since 2021? (Which got most votes in the municipal elections.) The coalition leading the city consists of KPÖ (communists), Greens, and SPÖ (Labour).

from my link log —
Faster remainder by multiplication, with applications to compilers and software libraries.
https://arxiv.org/abs/1902.01961
saved 2021-05-23

Faster Remainder by Direct Computation: Applications to Compilers and Software Libraries
On common processors, integer multiplication is many times faster than integer division. Dividing a numerator n by a divisor d is mathematically equivalent to multiplication by the inverse of the divisor (n / d = n x 1/d). If the divisor is known in advance---or if repeated integer divisions will be performed with the same divisor---it can be beneficial to substitute a less costly multiplication for an expensive division. Currently, the remainder of the division by a constant is computed from…

Ex-All-Pro defensive back Adam 'Pacman' Jones arrested for fourth time in four years, facing multiple charges

https://www.cbssports.com…