Tootfinder

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

No exact results. Similar results found.
@benb@osintua.eu
2025-07-03 19:31:24

‘Not many events like this left’ — A Ukrainian literary festival in a city falsely claimed by Russia: benborges.xyz/2025/07/03/not-m

‘Not many events like this left’ — A Ukrainian literary festival in a city falsely claimed by Russia - Tracking information about the Russian War against Ukraine
When Russia illegally declared ownership in 2022 over all of Ukraine’s Zaporizhzhia Oblast – despite never fully capturing or controlling much of it — it …

@Mediagazer@mstdn.social
2025-09-03 13:20:44

Semafor announces an expansion of its live journalism business, led by the growth of its World Economy Summit, and says events account for 50% of its revenue (Mark Stenberg/Adweek)
adweek.com/media/semafor-event

Semafor Takes Aim at Davos as Events Surpass Half Its Revenue
Four executive hires—from the U.S. Chamber, Informa, Bloomberg, and Fortune—are joining to accelerate its global expansion

@Xavier@infosec.exchange
2025-07-04 01:11:22
Content warning: Uspol No kings

I'm attending No Kings's event, “One Million Rising: Strategic Non-Cooperation to Fight Authoritarianism” - sign up now to join me!
mobilize.us/nokings/event/8039

One Million Rising: Strategic Non-Cooperation to Fight Authoritarianism · No Kings
Across the country, authoritarian forces are getting bolder and more dangerous. Trump and his allies are not hiding their agenda: mass deportations, rollbacks of civil rights, weaponized courts, and full-scale attacks on our democracy. We don’t have to wait until it’s too late. We can stop this. But it’ll take all of us—not just on single days of mass action, but through sustained organizing in our communities. That’s why this summer, we’re launching One Million Rising—a national…

@arXiv_csLO_bot@mastoxiv.page
2025-09-03 09:29:23

TREBL -- A Relative Complete Temporal Event-B Logic. Part I: Theory
Klaus-Dieter Schewe, Flavio Ferrarotti, Peter Rivi\`ere, Neeraj Kumar Singh, Guillaume Dupont, Yamine A\"it Ameur
arxiv.org/abs/2509.01462

TREBL -- A Relative Complete Temporal Event-B Logic. Part I: Theory
The verification of liveness conditions is an important aspect of state-based rigorous methods. This article addresses the extension of the logic of Event-B to a powerful logic, in which properties of traces of an Event-B machine can be expressed. However, all formulae of this logic are still interpreted over states of an Event-B machine rather than traces. The logic exploits that for an Event-B machine $M$ a state $S$ determines all traces of $M$ starting in $S$. We identify a fragment called …

@netzschleuder@social.skewed.de
2025-09-03 02:00:17

twitter_events: Twitter, 5 events (2013-2014)
Various multiplex networks of retweets, mentions, and replies among Twitter users during specific events or occasions in 2013 and 2014.
This network has 327707 nodes and 396671 edges.
Tags: Social, Online, Multilayer, Unweighted
networks.skew…

twitter_events: Twitter, 5 events (2013-2014). 327707 nodes, 396671 edges. https://networks.skewed.de/net/twitter_events#MLKing2013

twitter_events — Twitter, 5 events (2013-2014)
Various multiplex networks of retweets, mentions, and replies among Twitter users during specific events or occasions in 2013 and 2014.

@NFL@darktundra.xyz
2025-08-03 16:35:35

Colts WR Adonai Mitchell feeling comfortable in Year 2: 'I knew it would eventually come together' nfl.com/news/colts-wr-adonai-m

Colts WR Adonai Mitchell feeling comfortable in Year 2: 'I knew it would eventually come together'
Adonai Mitchell's rookie season marked a bumpy introduction to the NFL, but the Indianapolis Colts wide receiver sees a world of difference entering his second year because of the foundation he now has to stand on.

@mia@hcommons.social
2025-07-04 14:07:24

I have an extra day in Lisbon after #DH2025 ends (and a night's accommodation at my own expense to get). Would I be mad to finish with a 10km evening race in Loures? xistarca.pt/eventos/7a-corrida

@heiseonline@social.heise.de
2025-07-04 08:52:00

"Samsung Galaxy G Fold": Hinweise auf Tri-Fold-Gerät in One UI 8 entdeckt
Samsung erstes Tri-Fold-Smartphone könnte im Zuge des Unpacked-Events am 9. Juli präsentiert werden. Hinweise zu dem Gerät sind in One UI 8 entdeckt worden.

"Samsung Galaxy G Fold": Hinweise auf Tri-Fold-Gerät in One UI 8 entdeckt
Samsung erstes Tri-Fold-Smartphone könnte im Zuge des Unpacked-Events am 9. Juli präsentiert werden. Hinweise zu dem Gerät sind in One UI 8 entdeckt worden.

@memeorandum@universeodon.com
2025-09-04 17:40:52

Elon Musk snubbed from invite list for Trump's Rose Garden event with CEOs (Business Insider)
businessinsider.com/elon-musk-
memeorandum.com/250904/p75#a25

@lmc@mastodon.social
2025-07-03 23:49:36

I’m still working but can hear the Downtown Hoedown starting outside my office, I’m going to have to join this event one time, it sounds like a lot of fun.

Downtown Hoedown on Front St. July 3rd | 4-9pm
Every First Thursday: Line Dancing, Country Music, and More Country-Western Fun on Front St.