Tootfinder

Een niet-alledaagse trein zorgt dit weekend voor verbinding tussen Arnhem en Nijmegen: ‘Kippenvel tot aan mijn oren’ | Arnhem | De Gelderlander.nl
https://www.gelderlander.nl/arnhem/een-niet-alledaagse-trein-zorgt-dit-weekend-voor-verbinding-tussen-arnhem-en-nijmegen-kippenvel-tot-aan-mijn-oren~ab571064/
'Arnhem wilde een winterfair organiseren en die door de kerstman laten openen. „Ze stelden ons de vraag of wij die met de stoomtrein konden brengen.”'
Maar ook Deventer wil een stoomtrein voor zn Dickens festival ... 😉

Steam Machine: Preis angeblich auf Niveau von vergleichbarem PC
Valve verbindet mit der Steam Machine PC-Funktionen mit Konsolen-Komfort. Der Preis wird nicht verraten – es gibt aber zumindest ein paar Andeutungen.

Eine koordinierte #Desinformationskampagne zielte darauf ab, #TaylorSwift mit #rechtsextremen Ideologien in Verbindung zu bringen.
Laut der Analyseplattform

Koordinierte Online-Kampagne sollte Taylor Swift mit Nazi-Ideologie in Verbindung bringen
Eine aktuelle Untersuchung deckte ein Hassnetzwerk über 14 Plattformen hinweg auf. Auffällige Ähnlichkeiten bestehen zu der Kampagne gegen die Schauspielerin Blake Lively

Der Angriff auf das Hanukkah-Fest in Sydney ist erschütternd. Wir sind in Gedanken bei den Betroffenen und in Verbundenheit mit der jüdischen Gemeinschaft. Gegen jeden Hass, Gewalt und vor allem gegen jeden Antisemitismus!
Nie wieder heißt nie wieder wehrlos. Wir müssen jüdisches Leben mit allen Mitteln schützen! 🚩

Neuer Steam Controller kommt mit Lade-Puck
Der neue Steam Controller ist handlicher und hat einen Stick mehr als der Vorgänger. Geladen wird er über einen Puck, der auch die Verbindung übernimmt.
https://www.

Lecture Notes on Verifying Graph Neural Networks
Fran\c{c}ois Schwarzentruber
https://arxiv.org/abs/2510.11617 https://arxiv.org/pdf/2510.11617

Lecture Notes on Verifying Graph Neural Networks
In these lecture notes, we first recall the connection between graph neural networks, Weisfeiler-Lehman tests and logics such as first-order logic and graded modal logic. We then present a modal logic in which counting modalities appear in linear inequalities in order to solve verification tasks on graph neural networks. We describe an algorithm for the satisfiability problem of that logic. It is inspired from the tableau method of vanilla modal logic, extended with reasoning in quantifier-free…

Morgen ist Digitalminister #Wildberger im Digitalausschuss und beantwortet Fragen der Abgeordneten, in einer öffentlichen Sitzung.
Was würdet Ihr ihn fragen?
https://www.

Heute bei DÖF gehört: ein Drittel des prognostizierten Wirtschaftswachstums ist auf das Fiskalpaket, das mehrere Milliarden Euro kostet zurückzuführen. Ein weiteres Drittel führen die "Wirtschaftsweisen" auf den Kalendereffekt zurück, der uns nächstes Jahr mehr Arbeitstage beschert, weil Feiertage auf das Wochenende fallen.
Ohne Worte.

Konjunktur - Jahresgutachten: Sachverständigenrat fordert gezielte und verbindliche Investitionen
Der Sachverständigenrat zur Begutachtung der gesamtwirtschaftlichen Entwicklung sieht Versäumnisse des Staates bei seinen Investitionen.

Vier 4K-Displays, 220 Grad Sichtfeld: Hypervision zeigt kompakten VR-Prototyp
Hypervision entwickelt VR-Linsensysteme, die ein weites Sichtfeld mit einem kompakten Design verbinden und zeigt damit, wohin die VR-Reise langfristig geht.

Broadcoms VMware-Übernahme: EU-Kommission soll Warnsignale ignoriert haben
Der Cloud-Verband CISPE greift die EU-Kommission vor Gericht scharf an: Bei der Genehmigung der VMware-Akquisition durch Broadcom habe die Aufsicht versagt.