Tootfinder

Wow. Release the sharks.
"Kimmel Corporate Fallout: Threatening Legal Action, Disney Shareholders Want To Know If “Improper Political Or Affiliate” Pressures Went Into Host’s Weeklong Suspension" - Deadline
https://deadline.com/2025/09/disney-sh

Kimmel Corporate Fallout: Threatening Legal Action, Disney Shareholders Want To Know If “Improper Political Or Affiliate” Pressures Went Into Host’s Weeklong Suspension
Kimmel Fallout Continues: Disney Could Be Facing Lawsuit From Shareholders Over Late Night Host's Benching

Formal Verification of Minimax Algorithms
Wieger Wesselink, Kees Huizing, Huub van de Wetering
https://arxiv.org/abs/2509.20138 https://arxiv.org/pdf/2509.…

Formal Verification of Minimax Algorithms
Using the Dafny verification system, we formally verify a range of minimax search algorithms, including variations with alpha-beta pruning and transposition tables. For depth-limited search with transposition tables, we introduce a witness-based correctness criterion and apply it to two representative algorithms. All verification artifacts, including proofs and Python implementations, are publicly available.

Die geplanten 20 GW an #Gaskraftwerken könnten deutlich kleiner ausfallen.
Laut Medienberichten verhandelt das #Wirtschaftsministerium mit der EU nur über 12 bis 12,5 GW. Die #EU-…

Doch weit weniger als 20 GW?: Ministerin Reiches Gaskraftwerke-Pläne wackeln
Einem Medienbericht zufolge macht die EU der Wirtschaftsministerin einen Strich durch die Rechnung, neue Gaskraftwerke mit einer Gesamtleistung von 20 Gigawatt zu bauen. Am Ende könnte es auf die zuletzt unter Habeck geplante Kapazität hinauslaufen.

@…
Die Öhrchen, die Öhrchen, die wackeln.
#Fotovorschlag

Jimmy Kimmel returned to TV after nearly a week's suspension, said it was never his intention to make light of the murder of a young man, and thanked supporters (David Bauder/Associated Press)
https://apnews.com/article/jimmy-kimme…

Jimmy Kimmel set to return after ABC lifts suspension
Jimmy Kimmel has returned to late-night television after a nearly weeklong suspension. An audience filed in to watch Kimmel’s return Tuesday in a Hollywood taping but there were no immediate reports on what Kimmel said. The suspension triggered a national discussion about freedom of speech and President Donald Trump’s ability to police the words of journalists, commentators and even comics. Two groups of ABC affiliates that denounced Kimmel last week said they would not carry his return on …

🇺🇦 Auf radioeins läuft...
Billie Holiday:
🎵 Strange Fruit
#NowPlaying #BillieHoliday
https://lsalberto.bandcamp.com/track/billie-holiday-strange-fruit-l-s-alberto-rmx
https://open.spotify.com/track/7CdZrjAwcaULHNsSrnaezW

Obelix: Mitigating Side-Channels Through Dynamic Obfuscation
Jan Wichelmann, Anja Rabich, Anna P"atschke, Thomas Eisenbarth
https://arxiv.org/abs/2509.18909 https://…

"It is also interesting to note that James McCartney, the original developer of #SuperCollider, was specifically inspired by Braxton’s #LanguageMusic system as an example of functional and modular musical vocabulary."
▶︎ Trio (Wesleyan) 2005 | #AnthonyBraxton
https://newbraxtonhouse.bandcamp.com/album/trio-wesleyan-2005

Formal Verification of Minimax Algorithms
Wieger Wesselink, Kees Huizing, Huub van de Wetering
https://arxiv.org/abs/2509.20138 https://arxiv.org/pdf/2509.…

Formal Verification of Minimax Algorithms
Using the Dafny verification system, we formally verify a range of minimax search algorithms, including variations with alpha-beta pruning and transposition tables. For depth-limited search with transposition tables, we introduce a witness-based correctness criterion and apply it to two representative algorithms. All verification artifacts, including proofs and Python implementations, are publicly available.

Das #WikieulenOrchester hat wieder für eine wunderbare musikalische Untermalung zu Beginn der #WikiEulen-Verleihung gesorgt. Eine schöne Tradition. 🪉 #WikiCon2025