Tootfinder

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

Strong normalization through idempotent intersection types: a new syntactical approach
It is well-known that intersection type assignment systems can be used to characterize strong normalization (SN). Typical proofs that typable lambda-terms are SN in these systems rely on semantical techniques. In this work, we study $Λ_\cap^e$, a variant of Coppo and Dezani's (Curry-style) intersection type system, and we propose a syntactical proof of strong normalization for it. We first design $Λ_\cap^i$, a Church-style version, in which terms closely correspond to typing derivations. Then…

Good to see the other states have come on board with police officer decertification policies. Rhode Island needs to get with the program.
#JusticeReform
http…

Rhode Island resists efforts at policing reform embraced by every other state
In October, a Newport County jury found that former Jamestown Police Det. Derek Carlino was negligent in his involvement in the death by suicide of a teenager. But it won’t end Carlino’s career in policing. A report commissioned by the Portsmouth School Department found Carlino had worked with a football coach to pressure fifteen-year-old Nathan […]

As Elon Musk became one of Donald J. Trump’s closest allies last year, leading raucous rallies and donating about $275 million to help him win the presidency,
he was also using drugs far more intensely than previously known, according topeople familiar with his activities.
Musk’s drug consumption went well beyond occasional use.
He told people he was taking so much ketamine, a powerful anesthetic, that it was affecting his bladder, a known effect of chronic use.
He to…

Elon Musk Juggled Drugs and Family Drama on Trump’s Campaign Trail
As Mr. Musk entered President Trump’s orbit, his private life grew increasingly tumultuous and his drug use was more intense than previously known.