Tootfinder

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

@arXiv_csFL_bot@mastoxiv.page
2026-01-13 17:01:08

Replaced article(s) found for cs.FL. arxiv.org/list/cs.FL/new
[1/1]:
- Normal Forms for Elements of ${}^*$-Continuous Kleene Algebras Representing the Context-Free Lang...
Mark Hopkins, Hans Lei{\ss}
arxiv.org/abs/2310.17295 mastoxiv.page/@arXiv_csFL_bot/
- Pumping-Like Results for Copyless Cost Register Automata and Polynomially Ambiguous Weighted Auto...
Filip Mazowiecki, Antoni Puch, Daniel Smertnig
arxiv.org/abs/2502.07356 mastoxiv.page/@arXiv_csFL_bot/
- Deciding Serializability in Network Systems
Guy Amir, Mark Barbone, Nicolas Amat, Jules Jacobs
arxiv.org/abs/2601.02251 mastoxiv.page/@arXiv_csFL_bot/
toXiv_bot_toot

@cark@social.tchncs.de
2026-01-26 20:02:13

💡 Gesunder Menschenverstand: Digitale Souveränität macht uns unabhängiger von Trump und seiner Gang. Hätten wir schon längst machen sollen. Aber dann wenigstens jetzt!
🪞 Der Spiegel: Lass mal #WhatsApp als Vertriebsweg bewerben.
🙄
@… Das wäre doch ei…

Screenshot von der Spiegelwebsite.

Großes WhatsApp-Logo, daneben Text, der dafür wirbt den Spiegel-WhatsApp-Kanal zu abbonieren.

"direkt dort, wo Sie sich mit Freunden und Familie austauschen."
@cosmos4u@scicomm.xyz
2026-01-07 02:10:18

The fourth #AAS247 press conference youtube.com/watch?v=UZmP4fC07-Q about The Milky Way and Stellar Explosions covered the paper Resolving the Fe K-alpha Doublet of the Galactic Center Molecular Cloud G0.11-0.11 with XRISM (arxiv.org/abs/2601.02482), 25 years of observing the Kepler supernova remnant with Chandra (chandra.si.edu/photo/2026/kepl and chandra.si.edu/press/26_releas and nasa.gov/missions/chandra/supe) and the paper Where do stars explode in the ISM? -- The distribution of dense gas around evolved massive stars in M33 (arxiv.org/abs/2310.17694 with public.nrao.edu/news/stars-tha).

@jake4480@c.im
2026-01-05 17:18:40

Recently released Quake Brutalist Jam III has 77 new maps plus new monsters, weapons and more -- it's designed to be played with Ironwail, a fork of GLQuake descendant QuakeSpasm (it also has native Linux support).
You'll need Quake from Steam (store.steampowered.com/app/231

Some stills from maps from Quake Brutalist Jam III
Quake Brutalist Jam III logo