Tootfinder

Frohe & gesegnete Ostern!
Allen, die es feiern, auf See, in fremden Häfen und an Land, Seeleute, Familien und allen!
Seeleute sind auch zu Ostern unterwegs und haben vorher viel von dem transportiert, was für andere zum Fest gehört.

Österreichs Regierung beschließt Bundestrojaner für Messenger-Überwachung
Handys und Computer sollen mit Malware infiziert werden, damit Österreichs Dienste Informationen einsehen können. Die Regierungskoalition ist sich einig.

"Endangered rays, sharks and native oysters 'could thrive' despite climate change, report claims"
#UK #UnitedKingdom #Animals

Endangered rays, sharks and native oysters 'could thrive' despite climate change, report claims

OSTRICH2: Solver for Complex String Constraints
Matthew Hague, Denghang Hu, Artur Je\.z, Anthony W. Lin, Oliver Markgraf, Philipp R\"ummer, Zhilin Wu
https://arxiv.org/abs/2506.14363

OSTRICH2: Solver for Complex String Constraints
We present OSTRICH2, the latest evolution of the SMT solver OSTRICH for string constraints. OSTRICH2 supports a wide range of complex functions on strings and provides completeness guarantees for a substantial fragment of string constraints, including the straight-line fragment and the chain-free fragment. OSTRICH2 provides full support for the SMT-LIB theory of Unicode strings, extending the standard with several unique features not found in other solvers: among others, parsing of ECMAScript r…

Das Blogprojekt Wasbishergeschah.at (eine Kooperation zwischen Institut für Historische Soziaforschung sowie Uni Wien) kooperiert fortan auch mit dem Standard, heute wurde dort der von mir verfasste Beitrag zum Spatzenkrieg wiederveröffentlicht https://www.derstandard.at/story/300000026

Der "Spatzenkrieg" in Österreich
Von 1749 bis 1782 werden in Österreich hunderttausende Spatzen gejagt. Wer keine Spatzenköpfe abgibt, muss Strafe zahlen

Österreich verbietet Dickpics
Absichtlich unerwünschte Bilder primärer Geschlechtsteile zuzuschicken, ist in Österreich nicht strafbar. Das zu ändern, ist im Detail verzwickt.
https://www.heise.de/ne…

Journalismus 2025 👏
https://www.profil.at/oesterreich/elfriede-jelinek-tot-erklaert-tommaso-debenedetti-fake-news-tweet/403051107

Warum haben Sie Elfriede Jelinek für tot erklärt, Herr Debenedetti?
Am Dienstag hat der italienische Journalist und Hoaxer Tommaso Debenedetti die österreichische Literaturnobelpreisträgerin Elfriede Jelinek mithilfe eines Fake-Accounts für tot erklärt. Warum er das macht, und auf wen er es als Nächstes abgesehen hat.

Einige der zuletzt hier besonders häufig geteilten #News:
Österreichs Regierung beschließt Bundestrojaner für Messenger-Überwachung

Donnerstag: Messenger-Überwachung in Österreich, Iran trennt sich vom Internet
Bundestrojaner für alle Iran ohne Internet Google-Suche mit sprechender KI Tiktok-Genehmigung von Trump Berlins langsame Windows-Upgrades #heiseshow

Osterhase im Hafen in Lübeck unterwegs zu den Seeleuten
Die Seeleute sind zu Ostern auf See