Tootfinder

Falcons' Morris: No staff changes after Fins loss https://www.espn.com/nfl/story/_/id/46748678/falcons-morris-no-staff-changes-planned-loss-dolphins

Calm In The Middle of Huge Changes
#Resilience #change
https://muz4now.com/2020/calm-in-the-m

Calm In The Middle of Huge Changes
Stan Stewart - @muz4now

Consistency formula is strictly stronger in PA than PA-consistency
Sergei Artemov
https://arxiv.org/abs/2508.20346 https://arxiv.org/pdf/2508.20346

Consistency formula is strictly stronger in PA than PA-consistency
In this note, we show that, despite the widespread assumption, the consistency formula for Peano Arithmetic PA, Con(PA), "for all x, x is not a code of a derivation of (0=1)," is not equivalent in PA to the consistency of PA. Specifically, we demonstrate that "PA is consistent" is provably in PA equivalent to the series ConS(PA) of arithmetical sentences "n is not a code of a derivation of (0=1)" for n=0,1,2,.... Since Con(PA) is strictly stronger in PA than ConS(PA), the unprovability of Con(P…

Weltweite Warnung vor Cyberangriffen Chinas auf Telekommunikationsinfrastruktur
Chinesische Angreifer wie Salt Typhoon oder GhostEmperor nutzen zumeist bekannte, aber nicht geschlossene Lücken aus. Jetzt gibt es einen offiziellen Leitfaden.

California’s grand insect census
https://news.mongabay.com/2025/10/californias-grand-insect-census/

MSNBC hosts criticize owner Comcast for donating to Trump ballroom (Jeremy Barr/The Guardian)
https://www.theguardian.com/media/2025/oct/28/msnbc-comcast-trump-ballroom
http://www.memeorandum.com/251028/p88#a251028p88

Cowboys now down 3 OL starters as former first-round pick suffered concussion vs Packers https://cowboyswire.usatoday.com/story/sports/nfl/cowboys/2025/09/29/cowboys-lt-tyler-guyton-concussion-protocol/86414934007/

"Light of Motiram": Sony verklagt Tencent wegen "Horizon"-Abklatsch
Der chinesische Publisher Tencent arbeitet an einem Spiel mit erheblicher Ähnlichkeit zu den "Horizon"-Spielen. Nun klagt Sony: "Light of Motiram" sei ein Klon.

Top media analyst proposes Comcast hire Charlie Kirk's widow as editor-in-chief of NBC and CNN (Justin Baragona/The Independent)
https://www.independent.co.uk/news/world/americas/us-politics/comcast-erika-kirk-editor-nbc-cnn-b2853282.html
http://www.memeorandum.com/251027/p127#a251027p127

RFK Jr. lashes out at vaccine injury program, pledges changes (Nathaniel Weixel/The Hill)
https://thehill.com/policy/healthcare/5424550-rfk-jr-vaccine-injury-program-pledges-changes/
http://www.memeorandum.com/250728/p144#a250728p144