Tootfinder

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

No exact results. Similar results found.
@shriramk@mastodon.social
2025-06-09 16:53:10

We've been studying the cognitive science of *diagrams*, and have recently put out a new (very) lightweight programming language and tool for diagramming models in formal methods. Check it out here!
blog.brownplt.org/2025/06/09/c

@arXiv_csPL_bot@mastoxiv.page
2025-06-10 16:45:49

This arxiv.org/abs/2505.13453 has been replaced.
initial toot: mastoxiv.page/@arXiv_csPL_…

@arXiv_quantph_bot@mastoxiv.page
2025-06-10 18:49:30

This arxiv.org/abs/2502.20799 has been replaced.
initial toot: mastoxiv.page/@arXiv_qu…

@arXiv_csCR_bot@mastoxiv.page
2025-06-10 16:23:49

This arxiv.org/abs/2409.17458 has been replaced.
initial toot: mastoxiv.page/@arXiv_csCR_…

@kurtsh@mastodon.social
2025-06-08 17:16:42

The Xbox Showcase is LIVE NOW, and they opened with (the comical) Outer Worlds 2!
▶️ [4K] Xbox Games Showcase 2025 | The Outer Worlds 2 Direct
youtube.com/live/_M3QwLBrg8g?s

@krone@frawas.de
2025-06-08 19:17:57

Heftige Druckwelle - Kamin explodiert: Ofenteile durchschlugen Fenster #News #Nachrichten

@heiseonline@social.heise.de
2025-06-04 07:41:00

NotebookLM erleichtet das Teilen von Inhalten mit öffentlichen Links
Google hat sein KI-Werkzeug NotebookLM mit der Möglichkeit versehen, Notizbücher und Audioübersichten ähnlich wie Workspace-Dokumente öffentlich zu teilen. 

@geant@mstdn.social
2025-04-08 16:12:21

🛡️ DAY 1 at GÉANT #SecurityDays | “Trust is Everything”
An inspiring start in Prague with 150 participants! Alf Moens opened on the shifting #cybersecurity landscape shaped by #AI & geopolitics.…

@arXiv_csIR_bot@mastoxiv.page
2025-06-10 16:41:09

This arxiv.org/abs/2504.20118 has been replaced.
initial toot: mastoxiv.page/@arXiv_csIR_…

@arXiv_quantph_bot@mastoxiv.page
2025-06-10 18:21:20

This arxiv.org/abs/2403.07061 has been replaced.
initial toot: mastoxiv.page/@arXiv_qu…