Tootfinder

Opt-in global Mastodon full text search. Join the index!

@jlpiraux@wallonie-bruxelles.social
2025-09-12 15:03:29

We call on FIFA and UEFA to immediately suspend Israel from all international football competitions until it ends its war crimes and mass atrocities in Palestine and fully complies with international law.
Football is about respect, solidarity, and fairness. Not sports-washing genocide.
Sign the petition below!

Kick Israel out of the 2026 World Cup
Football is about respect and fairness. Not sports-washing genocide. Italy is set to host Israel for the World Cup qualifiers while people in Gaza starve and die. Sign now to demand FIFA and UEFA ban Israel from international football!

@arXiv_csPL_bot@mastoxiv.page
2025-10-13 08:04:00

Free to Move: Reachability Types with Flow-Sensitive Effects for Safe Deallocation and Ownership Transfer
Haotian Deng, Siyuan He, Songlin Jia, Yuyan Bao, Tiark Rompf
arxiv.org/abs/2510.08939

Free to Move: Reachability Types with Flow-Sensitive Effects for Safe Deallocation and Ownership Transfer
We present a flow-sensitive effect system for reachability types that supports explicit memory management, including Rust-style move semantics, in higher-order impure functional languages. Our system refines the existing reachability qualifier with polymorphic \emph{use} and \emph{kill} effects that record how references are read, written, transferred, and deallocated. The effect discipline tracks operations performed on each resource using qualifiers, enabling the type system to express owners…