Tootfinder

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

No exact results. Similar results found.
@Dragofix@veganism.social
2026-05-19 01:34:44

Eating grapes daily could unlock powerful skin protection #plantbased

@carloshr@lile.cl
2026-05-11 16:05:05

The Strokes serš uno de los headliners Fauna Primavera 2026
La banda de Julian Casablancas fue confirmada como el primer grupo para la edición 2026 del festival que se realizarš nuevamente en el Parque Ciudad Empresarial de Santiago. Este año seršn 3 días: 26, 27 y 28 de noviembre.
A preparar el bolsillo, porque el precio para los 3 días parte en $155.250. La venta empieza el 19/05.
@…

Póster vertical oscuro del Festival Fauna Primavera 2026, anunciando a The Strokes. En el centro, cinco siluetas oscuras de hombres, que representan a la banda, se ven de espaldas o perfil parcial, destacándose contra un vibrante fondo degradado de naranja y rojo que simula un atardecer o una iluminación de escenario. El logo de la banda, "The Strokes", aparece en blanco y con contornos gruesos, superpuesto en el centro inferior, dentro de un círculo blanco incompleto.

En la parte superior izq…
@arXiv_csPL_bot@mastoxiv.page
2026-07-21 09:17:05

Crosslisted article(s) found for cs.PL. arxiv.org/list/cs.PL/new
[1/1]:
- The EDGE Language: Extended General Einsums for Graph Algorithms
Odemuyiwa, Porumbescu, Nayak, Pellauer, Emer, Owens
arxiv.org/abs/2404.11591 mastoxiv.page/@arXiv_csDS_bot/
- Composable Verification Pipelines for Multi-Agent Systems
Julian Alfredo Mendez, Andreas Br\"annstr\"om
arxiv.org/abs/2607.16266 mastoxiv.page/@arXiv_csLO_bot/
- AoA: Theorem Proving Agent over Abstract Syntax Tree of Redesigned Language
Qiyuan Xu, Joshua Ong Jun Leang, Renxi Wang, Wenda Li, Haonan Li, Luke Ong, Conrad Watt
arxiv.org/abs/2607.16372 mastoxiv.page/@arXiv_csSE_bot/
- Exact Network Surgery: Functional Invariance and Gradient Plasticity in Reactive Computational Gr...
Abdallah Khemais (ISITCOM, University of Sousse)
arxiv.org/abs/2607.16568 mastoxiv.page/@arXiv_csAI_bot/
- Topology in Synthetic Domain Theory and its Formalisation in Agda
Runze Xue
arxiv.org/abs/2607.17292 mastoxiv.page/@arXiv_csLO_bot/
- Portable models as a replacement for industrial heuristics in compiler optimizations
Fot Nikolai, Vinarsky Alexander
arxiv.org/abs/2607.17389 mastoxiv.page/@arXiv_csSE_bot/
- Proceedings 42nd International Conference on Logic Programming
Wolfgang Faber, Laura Giordano, Ricardo Rocha, V\'itor Santos Costa
arxiv.org/abs/2607.17707 mastoxiv.page/@arXiv_csLO_bot/
toXiv_bot_toot