Tootfinder

What if I told you that the #BC government could allocate its current #transportation capital spending in a way that not only makes BC public #transit greener—but also brings it closer to the extensive networks seen in Europe a…

Time for a new public transit investment plan
Imagine being able to get from almost anywhere in BC to anywhere else on public transit, as one might in Europe or Asia. Or visitors landing at Vancouver airport and being able to get seamlessly around the province without the need to rent a car.  Whether it’s dealing with bumper-to-bumper conges

Top Rangers and Astros Prospects Close to the Big Leagues
#MLB #Baseball #JustBaseball

This https://arxiv.org/abs/2403.19431 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Base-extension Semantics for S5 Modal Logic
We develop a proof-theoretic semantics -- in particular, a base-extension semantics -- for multi-agent S5 modal logic (and hence also for the usual unindexed S5). Following the inferentialist interpretation of logic, this gives us a semantics in which validity is based on proof rather than truth. In base-extension semantics, the validity of formulae is generated by provability in a `base' of atomic rules and an inductive definition of the validity of the connectives. Base-extension semantics fo…

In 2019, when Britain’s Labour Party pledged to review the country’s legacy of colonialism, Nigel Farage, then the leader of the Brexit Party (now Reform UK), warned Britons against obsessing “about the past.”
“It was a different world, a different time,” he said.
Months later, as Black Lives Matter protests swept across the Atlantic and amid calls for a reevaluation of revered historical figures with records of racism,
then-Prime Minister Boris Johnson echoed this view. <…

Review: Amitav Ghosh's 'Smoke and Ashes' and Sathnam Sanghera's 'Empireworld': How Colonialism Shaped Today's World
Two new books turn a spotlight on how the colonial past lives on in unacknowledged ways.

FT Ventures buys a minority stake in Toronto-based news company The Logic, launched in 2018; the FT's media consulting arm will help with subscriptions and more (Monique Mulima/Bloomberg)
https://www.bloomberg.com/news/articles/…

This https://arxiv.org/abs/2404.17818 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csSE_…

Automatic Build Repair for Test Cases using Incompatible Java Versions
Context: Bug bisection is a common technique used to identify a revision that introduces a bug or indirectly fixes a bug, and often involves executing multiple revisions of a project to determine whether the bug is present within the revision. However, many legacy revisions often cannot be successfully compiled due to changes in the programming language or tools used in the compilation process, adding complexity and preventing automation in the bisection process. Objective: In this paper, we …

Wie geht es mit der #Stadtbahn weiter? - Abschnitt 3 war letzte Woche im Ortsbeirat-Mitte. Diesen Mittwoch geht dann unsere Vorzugslösung für den Abschnitt 4 von Dreiecksplatz bis Universität in den Ortsbeirat Ravensberg/Brunswik/Düsternbrook.
Danach wird der Ratsbeschluss noch in diesem Jahr angestrebt.

Series D, Episode 01 - Rescue
AVON: [Laughs] What did you do in your spare time?
[Interior. Xenon base. A spiral staircase. Dayna and Tarrant are making their way down the stairs.]
https://blake.torpidity.net/s/401/391 📺 B7B6

Was zwingt Leute im ländlichen Raum ins Auto und wie kann die Autoabhängigkeit auf dem Land reduziert werden.
Die @… Doku schafft Persoektivwechsel auf die Mobilität im ländlichen Frätow in MV, am Stadtrand von Großstädten und pragmatische Lösungsansätze aus dem Schwarzwald.

Series D, Episode 08 - Games
GAMBIT: Panels locked in. [Belkov laughs - screen goes blank as Gambit begins self- destruction sequence.]
[Shot of Belkov's spacecraft, then Scorpio - the crew reel from the shockwaves on an explosion.]
https://blake.torpidity.net/s/408/517 📺 B7B3