Tootfinder

🇺🇦 #NowPlaying on BBCRadio3's #SaturdayMorning
Bedrich Smetana, Jiří Bělohlšvek & Czech Philharmonic:
🎵 Mš Vlast: I. Vysehrad
#BedrichSmetana #JiříBělohlávek #CzechPhilharmonic

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

Strong and Hiding Distributed Certification of Bipartiteness
Distributed certification is a framework in distributed computing where nodes in a network jointly verify whether the whole graph satisfies a given property. A locally checkable proof (LCP) is a non-deterministic distributed algorithm used to verify global properties of a graph $G$, involving a prover and a verifier. The prover is a powerful entity that assigns certificates to nodes, which are then locally checked by the verifier. An LCP is correct if it satisfies completeness and soundness. …

I just updated the prints on my office door to reflect the kind of photos (particularly event photos) that I am taking now -- as well the the new system which supersedes "three sided cards" that attains better branding in every respect except that it doesn't have a name (yet) #photo #photography

I like deep dives into strange bugs.
"How a 20 year old bug in GTA San Andreas surfaced in Windows 11 24H2"
https://cookieplmonster.github.io/2025/04/23/gta-san-andreas-win11-24h2-bug/

Generalinspekteur verteidigt geplante Militärausgaben
Der Generalinspekteur der Bundeswehr, Carsten Breuer, hat deutlich steigende Verteidigungsausgaben gerechtfertigt. Die diskutierten Ausgaben in Höhe von 3,5 Prozent des Bruttoinlandsprodukts seien nicht aus der Luft gegriffen, sagte der ranghöchste Soldat der Bundeswehr dem Spiegel. "Sie sind klar abgeleitet aus einer deutlichen Bedrohung durch Russland. Gegen diese Gefahr…
📑

Ukraine-Liveblog: ++ Selenskyj fordert Gesprächsplan mit Russland ++
Laut dem ukrainischen Präsidenten Selenskyj muss für einen Verhandlungstermin mit Russland in der Türkei die Tagesordnung stehen. Kremlsprecher Peskow zufolge schickt Russland eine Delegation zu Verhandlungen nach Istanbul.

Trump wirft Putin und Selenskyj Sturheit vor
US-Präsident Donald Trump hat den ukrainischen Präsidenten Wolodymyr Selenskyj und seinen russischen Amtskollegen Wladimir Putin erneut kritisiert. Beide seien stur, sagte er mit Blick auf die bislang erfolglosen Gespräche über einen Waffenstillstand.
📑

Ukraine-Liveblog: ++ Selenskyj fordert Gesprächsplan mit Russland ++
Laut dem ukrainischen Präsidenten Selenskyj muss für einen Verhandlungstermin mit Russland in der Türkei die Tagesordnung stehen. Kremlsprecher Peskow zufolge schickt Russland eine Delegation zu Verhandlungen nach Istanbul.

Selenskyj stellt Bedingungen an Russland
Der ukrainische Präsident Wolodymyr Selenskyj hat Bedingungen für die von Russland vorgeschlagene zweite direkte Gesprächsrunde in Istanbul gestellt. "Damit ein Treffen sinnvoll ist, muss die Tagesordnung klar sein und die Verhandlungen müssen ordentlich vorbereitet werden", schrieb er auf X.
Mit Blick auf die Weigerung Russlands, ein bereits ausgefertigtes Memorandum über die russisc…
📑

Ukraine-Liveblog: ++ Selenskyj fordert Gesprächsplan mit Russland ++
Laut dem ukrainischen Präsidenten Selenskyj muss für einen Verhandlungstermin mit Russland in der Türkei die Tagesordnung stehen. Kremlsprecher Peskow zufolge schickt Russland eine Delegation zu Verhandlungen nach Istanbul.

Ukraine fordert Herausgabe von Positionspapier
Vor möglichen Waffenruhe-Gesprächen in der kommenden Woche hat der ukrainische Präsident Wolodymyr Selenskyj der russischen Seite vorgeworfen, eine versprochene Liste mit Bedingungen für einen Frieden in der Ukraine zurückzuhalten. "Seit über einer Woche sind die Russen nicht in der Lage, dieses sogenannte 'Memorandum' vorzulegen", schrieb Selenskyj im Onlinedienst X. "Leider tut…
📑

Ukraine-Liveblog: ++ Selenskyj fordert Gesprächsplan mit Russland ++
Laut dem ukrainischen Präsidenten Selenskyj muss für einen Verhandlungstermin mit Russland in der Türkei die Tagesordnung stehen. Kremlsprecher Peskow zufolge schickt Russland eine Delegation zu Verhandlungen nach Istanbul.

Selenskyj fordert erneut Druck auf Russland
Der ukrainische Präsident Wolodymyr Selenskyj hat bei einem Treffen mit den US-Senatoren Lindsey Graham und Richard Blumenthal in Kiew seine Hoffnung auf schärfere Sanktionen gegen Russlands Kriegsmaschinerie bekräftigt. Er sei dankbar für die neue US-Sanktionsinitiative, die von 82 Senatoren unterstützt werde, teilte Selenskyj auf der Plattform X mit. Es brauche mehr Druck auf Russ…
📑

Ukraine-Liveblog: ++ Selenskyj fordert Gesprächsplan mit Russland ++
Laut dem ukrainischen Präsidenten Selenskyj muss für einen Verhandlungstermin mit Russland in der Türkei die Tagesordnung stehen. Kremlsprecher Peskow zufolge schickt Russland eine Delegation zu Verhandlungen nach Istanbul.

Erdogan wirbt für Verhandlungstermin
Der türkische Präsident Recep Tayyip Erdogan drängt seinen Kollegen Wolodymyr Selenskyj, sein Land müsse den Verhandlungstermin mit Russland am Montag in Istanbul wahrnehmen. Erdogan habe in einem Telefonat die Bedeutung einer Teilnahme beider Parteien mit starken Delegationen an den Gesprächen betont, teilte das Präsidialamt in Ankara mit. Ein Treffen der Staatsoberhäupter beider Länder i…
📑

Ukraine-Liveblog: ++ Selenskyj fordert Gesprächsplan mit Russland ++
Laut dem ukrainischen Präsidenten Selenskyj muss für einen Verhandlungstermin mit Russland in der Türkei die Tagesordnung stehen. Kremlsprecher Peskow zufolge schickt Russland eine Delegation zu Verhandlungen nach Istanbul.