Tootfinder

U.S. District Judge James Boasberg has been in Trump administration’s crosshairs since he ordered the return of more than 200 Venezuelan immigrants summarily deported to El Salvador in March
Now Trump's Attorney General, Pam Bondi, ordered the DOJ to file a misconduct complaint against Judge Boasberg
This is the second instance of the Justice Department filing a misconduct complaint against a judge in the U.S. District Court for the District of Columbia. 
The DOJ claime…

DOJ files misconduct complaint against chief DC Judge James Boasberg
U.S. District Judge James Boasberg has been in Trump administration’s crosshairs since he ordered the return of more than 200 Venezuelan immigrants summarily deported to El Salvador in March.

TPDE: A Fast Adaptable Compiler Back-End Framework
Tobias Schwarz (Technical University of Munich), Tobias Kamm (Technical University of Munich), Alexis Engelke (Technical University of Munich)
https://arxiv.org/abs/2505.22610

TPDE: A Fast Adaptable Compiler Back-End Framework
Fast machine code generation is especially important for fast start-up just-in-time compilation, where the compilation time is part of the end-to-end latency. However, widely used compiler frameworks like LLVM do not prioritize fast compilation and require an extra IR translation step increasing latency even further; and rolling a custom code generator is a substantial engineering effort, especially when targeting multiple architectures. Therefore, in this paper, we present TPDE, a compiler b…

Resolving Build Conflicts via Example-Based and Rule-Based Program Transformations
Sheikh Shadab Towqir, Fei He, Todd Mytkowicz, Na Meng
https://arxiv.org/abs/2507.19432 https:/…

Resolving Build Conflicts via Example-Based and Rule-Based Program Transformations
Merge conflicts often arise when developers integrate changes from different software branches. The conflicts can result from overlapping edits in programs (i.e., textual conflicts) or cause build and test errors (i.e., build and test conflicts). They degrade software quality and hinder programmer productivity. While several tools detect build conflicts, few offer meaningful support for resolving cases like those caused by method removal. To overcome limitations of existing tools, we introduce …

This is cool: A user-defined string literal operator that turns string literals into their (compile-time) hash codes. Might be useful in some codebases to avoid having to maintain unique numerical values for a bunch of identifiers.
(But it might be that in large codebases, the time to run all these compile-time hash functions adds up to be unbearable.)
(I was specifically thinking of the "slot IDs" in

C++11 compile-time hash of literal strings.
C++11 compile-time hash of literal strings. GitHub Gist: instantly share code, notes, and snippets.

The complexity of deciding characteristic formulae modulo nested simulation
Luca Aceto, Antonis Achilleos, Aggeliki Chalki, Anna Ingolfsdottir
https://arxiv.org/abs/2505.22277

The complexity of deciding characteristic formulae modulo nested simulation
This paper studies the complexity of determining whether a formula in the modal logics characterizing the nested-simulation semantics is characteristic for some process, which is equivalent to determining whether the formula is satisfiable and prime. The main results are that the problem of determining whether a formula is prime in the modal logic characterizing the 2-nested-simulation preorder is CoNP-complete and is PSPACE-complete in the case of the n-nested-simulation preorder, when n>= 3. …

Computing, Complexity and Degrowth : Systemic Considerations for Digital De-escalation
Valentin Girard, Maud Rio, Romain Couillet
https://arxiv.org/abs/2507.19070 https://

Computing, Complexity and Degrowth : Systemic Considerations for Digital De-escalation
Research on digital degrowth predominantly critiques digital expansion or presents alternative digital practices. Yet, analyzing the link between digital technologies and complexity is crucial to overcome systemic obstacles hindering digital de-escalation. This article presents the different types of links between complexity and computing observed in the literature: the infrastructural complexity inherent in digital technologies, the socio-political complexity induced by them, and finally, the …

The underground “Jiangmen Underground #Neutrino Observatory" (JUNO) near Jiangmen city in the Guangdong Province has successfully completed the filling of its 20,000 tons of liquid scintillator and begun data taking: https://www.prisma.uni-mainz.de/outreach/press-releases/juno-completed-liquid-filling-and-begins-data-taking/ - JUNO will tackle one of this decade’s major open questions in particle physics, the ordering of neutrino masses i.e. whether the third mass state (ν₃) is heavier than the second (ν₂).

Bondi DOJ files complaint alleging misconduct by Federal Judge James Boasberg (Fox News)
https://www.foxnews.com/politics/bondi-doj-files-complaint-alleging-misconduct-federal-judge-james-boasberg
http://www.memeorandum.com/250728/p140#a250728p140

DOJ files misconduct complaint against chief DC Judge James Boasberg (Ryan Knappenberger/Courthouse News Service)
https://www.courthousenews.com/doj-files-misconduct-complaint-against-chief-dc-judge-james-boasberg/
http://www.memeorandum.com/250728/p138#a250728p138

Justice Department files formal complaint against Judge Boasberg (Zach Schonfeld/The Hill)
https://thehill.com/regulation/court-battles/5424668-justice-department-formal-complaint-boasberg/
http://www.memeorandum.com/250728/p137#a250728p137