Tootfinder

"Every Time"
- an #improv #poem -
https://muz4now.com/2015/every-time-an

Every Time - an #improv #poem
Stan Stewart - @muz4now

Do you want to see me perform in an Improv show?
You can you know. You can do it in Shoreditch in London in the UK on Sunday.
Dunno what the show will be about, obviously. Some short games, couple of longer stories. But we need YOU there to tell us what it's about.
What else in London is free? Nothing, that's what.
#improv #liveShow #london

Travis Kelce, Chiefs impressed by first-rounder Josh Simmons after spring activities https://www.nfl.com/news/josh-simmons-travis-kelce-chiefs-impressed-first-rounder-spring-activities

Local Type Inference for Context-Free Session Types
Bernardo Almeida (LASIGE, Faculty of Sciences, University of Lisbon, Portugal), Andreia Mordido (LASIGE, Faculty of Sciences, University of Lisbon, Portugal), Vasco T. Vasconcelos (LASIGE, Faculty of Sciences, University of Lisbon, Portugal)
https://arxiv.org/abs/2505.20855

Local Type Inference for Context-Free Session Types
We address the problem of local type inference for a language based on System F with context-free session types. We present an algorithm that leverages the bidirectional type checking approach to propagate type information, enabling first class polymorphism while addressing the intricacies brought about by the sequential composition operator and type equivalence. The algorithm improves the language's usability by eliminating the need for type annotations at type application sites.

US sees spate of arrests of civilians impersonating Ice officers (The Guardian)
https://www.theguardian.com/us-news/2025/jun/28/civilians-impersonating-ice-officers
http://www.memeorandum.com/250628/p89#a250628p89

Company apologizes for 'inappropriate' statement on George Pickens https://www.sportingnews.com/us/nfl/pittsburgh-steelers/news/company-apologizes-inappropriate-statement-george-picke…

Community input to the European Strategy on particle physics: Searches for Permanent Electric Dipole Moments
M. Athanasakis-Kaklamanakis (Imperial College London, United Kingdom), M. Au (Imperial College London, United Kingdom), R. Berger (Imperial College London, United Kingdom), S. Degenkolb (Imperial College London, United Kingdom), J. De Vries (Imperial College London, United Kingdom), S. Hoekstra (Imperial College London, United Kingdom), A. Keshavarzi (Imperial College London, Un…

Community input to the European Strategy on particle physics: Searches for Permanent Electric Dipole Moments
Searches for electric dipole moments (EDMs) in fundamental particles and quantum systems with spin are pivotal experiments at the intersection of low-energy and high-precision particle physics. These investigations offer a complementary pathway to uncovering new physics beyond the Standard Model, parallel to high-energy collider searches. EDM experiments are among the most sensitive probes for detecting non-standard time-reversal (T) symmetry violations and, via the CPT theorem, CP-violation (C…

NSA, ASD’s ACSC, and other agencies publish three Cybersecurity Information Sheets with guidance on SIEM and SOAR implementation
https://www.nsa.gov/Press-Room/Press-Relea

Functoriality of the Klein-Williams Invariant and Universality Theory
Ba\c{s}ak K\"u\c{c}\"uk
https://arxiv.org/abs/2505.22376 https://

Functoriality of the Klein-Williams Invariant and Universality Theory
Both the Klein-Williams invariant $\ell_G(f)$ from \cite{KW2} and the generalized equivariant Lefschetz invariant $λ_G(f)$ from \cite{weber07} serve as complete obstructions to the fixed point problem in the equivariant setting. The latter is functorial in the sense of Definition \ref{functorial}. The first part of this paper aims to demonstrate that $\ell_G(f)$ is also functorial. The second part summarizes the ``universality" theory of such functorial invariants, developed in \cites{lueck199…

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

Domains, Information Frames, Rough Sets: An Equivalence of Categories
A generalization of Scott's information systems~\cite{sco82} is presented that captures exactly all continuous domains. The global consistency predicate in Scott's definition is relativized. Now, for every atomic statement, there is a consistency predicate that states which finite sets of statements express information that is consistent with the given statement. The category of information frames is shown to be equivalent to the category of domains. Moreover, the relationship with CF-approxima…