Tootfinder

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
https://networks.skew…

Symfony: Be careful with eventClass vs. eventName.
If an eventName is set, symfony uses this name to dispatch the event ;-)
https://winkelwagen.de/2025/10/02/symfony-be-careful-with-eventclass-vs-eventname/

Symfony: Be careful with eventClass vs. eventName
The examples are from Shopware 6.5.6.1. Today I debugged code with my colleague Bruno. We had the problem, that our Subscriber triggers, but at the wrong moment. As Shopware developers, we often im…

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)
https://www.adweek.com/media/semafor-events-davos-world-economy-summit/

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

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
https://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 …

Looking for something to do this evening in SF? Come learn about municipal social housing!
https://actionnetwork.org/events/municipal-social-housing-panel?source=mastodon

Municipal Social Housing: Learning from Seattle's Win
Two DSA SF backed ballot props in 2020 were meant to enable and fund social housing, but mayoral opposition has blocked the funds being spent for that purpose. Seattle's victory offers a lesson in how we might beat that blockage. In February, Seattle's House Our Neighbors passed a ballot proposition with dedicated funds for a social housing developer. The campaign won by 26 points over opposition from Seattle's mayor and most of their city council. Join us for a conversation with Seattle orga…

Hey Chicago! Like pizza? Like fair elections? If either of those apply, this is for you:
https://www.citybureau.org/events/the-great-chicago-pizza-election-an-exercise-in-ranked-choice-voting

The Great Chicago Pizza Election: An Exercise in Ranked Choice Voting — City Bureau
Nominate the local pizzeria you think epitomizes what Chicago pizza is all about — tavern-style, thick crust, deep dish, it’s up to you — and we’ll have the top 5 nominees available for you to taste and rank.

Disney und Epic kooperieren für "Simpsons"-Monat in "Fortnite"
Epic Games und Disney veranstalten im November ein Crossover-Event von "Die Simpsons" und "Fortnite". Auf Disney erscheinen dazu vier Kurzvideos.

🇺🇦 #NowPlaying on KEXP's #PacificNotions
Eve Matin:
🎵 Pilgrimage (Live in Morphine Raum Studio)
#EveMatin
https://evematin.bandcamp.com/track/pilgrimage-live-in-morphine-raum-studio

Are you in the Columbus area and want to check out interesting maker gadgets? The Columbus Arduino Raspberry Pi Enthusiasts, (that's a mouthful) or CARPE for short will be having their monthly meetup Tuesday September 9th at the library in German Village south of the city.

organizing this panel about social housing and how Seattle’s success can inspire SF to get around roadblocks. please come if you’re in SF! Friday evening
https://actionnetwork.org/events/municipal-social-housing-panel?source=mastodon

Municipal Social Housing: Learning from Seattle's Win
Two DSA SF backed ballot props in 2020 were meant to enable and fund social housing, but mayoral opposition has blocked the funds being spent for that purpose. Seattle's victory offers a lesson in how we might beat that blockage. In February, Seattle's House Our Neighbors passed a ballot proposition with dedicated funds for a social housing developer. The campaign won by 26 points over opposition from Seattle's mayor and most of their city council. Join us for a conversation with Seattle orga…