Tootfinder

Einige der zuletzt hier besonders häufig geteilten #News:
Grundrechte: Verfassungsbeschwerde wegen polizeilichem Handy-Auslesen

PSA: Fake verification replies are starting again. Don't fall for them. Best thing you can do is report them as SPAM to your instance and forward to any optional instances with "Fake Mastodon Verification Scam" written in the notes/comments section for the report. Make sure everyone you interact with knows this is going on. Permanent solutions to combat this scam are being implemented to tackle it by the software developers.

Es ist schön zu sehen, dass @… schon hier ist.
Treibe ruhig mal in deiner Künstler*innen/Autor*innen Bubble die Fediverse Werbetrommel rühren.
Bring sie alle her.
Und verifiziere ruhig mal deinen account:

Verifizierung
Erfahre, wie du dich auf Mastodon verifizieren kannst

Verification Cost Asymmetry in Cognitive Warfare: A Complexity-Theoretic Framework
Joshua Luberisse
https://arxiv.org/abs/2507.21258 https://arxiv.org/pdf/…

Verification Cost Asymmetry in Cognitive Warfare: A Complexity-Theoretic Framework
Human verification under adversarial information flow operates as a cost-bounded decision procedure constrained by working memory limits and cognitive biases. We introduce the Verification Cost Asymmetry (VCA) coefficient, formalizing it as the ratio of expected verification work between populations under identical claim distributions. Drawing on probabilistically checkable proofs (PCP) and parameterized complexity theory, we construct dissemination protocols that reduce verification for truste…

»Album nach Album - "Traditionshüter" – Rechtsextreme KI-Bands verpacken Hetze in Schlagerform:
Die KI-generierten Songs der fiktiven Bands kommen insbesondere auf Tiktok gut an«
Das von den Rechten jegliche Tools genutzt werden um ihre Propaganda zu verbreiten ist seit eh und je. Sobald es geht Präsens vorzutäuschen wird Technik verwendet, erst Radio, dann Web, nun KI und TikTok sieht dadurch nur Profit.
🤨

"Traditionshüter": Rechtsextreme KI-Bands verpacken Hetze in Schlagerform
Die KI-generierten Songs der fiktiven Bands kommen insbesondere auf Tiktok gut an

"Do you use /e/OS (which is a European fork of Android btw), GrapheneOS, LineageOS or any other open-source fork of Android?
Sorry, no age verification for you, which will mean that you’ll probably be locked out of many applications in the future."
@… über die neuesten Irrwege der EU in Richtung

Towards LLM-based Generation of Human-Readable Proofs in Polynomial Formal Verification
Rolf Drechsler
https://arxiv.org/abs/2505.23311 https://

Towards LLM-based Generation of Human-Readable Proofs in Polynomial Formal Verification
Verification is one of the central tasks in circuit and system design. While simulation and emulation are widely used, complete correctness can only be ensured based on formal proof techniques. But these approaches often have very high run time and memory requirements. Recently, Polynomial Formal Verification (PFV) has been introduced showing that for many instances of practical relevance upper bounds on needed resources can be given. But proofs have to be provided that are human-readable. He…

Kitose žiniose Matijošaika vėl partrenkė per perėją einantį žmogų:
https://www.lrt.lt/naujienos/lietuvoje/2/2600205/rolls-royce-vairaves-matijosaitis-partrenke-per-pereja-ejusi-vyra

Grundrechte: Verfassungsbeschwerde wegen polizeilichem Handy-Auslesen
Die Polizei beschlagnahmte das Mobiltelefon eines Gewerkschaftlers bei einer Demo, weil er eine Aktion der Ordnungshüter dokumentierte. Ein Fall für Karlsruhe. 

KI-Streamingdienst Showrunner wird diese Woche verfügbar
Mit Showrunner sollen Nutzer eigene Episoden aus beliebten Shows generieren und teilen können. In den USA ist der KI-Dienst ab dieser Woche verfügbar.
https…