Tootfinder

Verbindungen zwischen #AfD und Nachwuchs-#Nazis sieht die Regierung auf Anfrage nicht, dabei sind diese Verbindungen nicht von der Hand zu weisen, wie der Artikel in der #taz zeigt.

AfD und Junge Neonazis: Distanzierung Fehlanzeige
Die Bundesregierung behauptet, es gebe keine strukturellen Verbindungen zwischen AfD und Nachwuchs-Nazis. Das ist in mehrfacher Hinsicht falsch.

Brandheißer Tipp an die #MVG #München: markiert die Verbindungen mit "Pünktlich". Damit ließe sich der Platz besser ausnutzen. #BahnlandBayernAberImmerZuSpät

„Der zuständige Staatssekretär Markus Richter spricht über „eine Datendrehscheibe, die Behörden in ganz Deutschland und Europa digital verbinden kann“.“
Hilfreich für Verwaltung, über die alle jammern, aber eben auch ein großer Schritt in Richtung gläserne Bürger*innen.
National-Once-Only-Technical-System: Staatsvertrag für „Datenautobahn“

Met mijn hart gaat het goed.
Maar het gat in mijn lies(slagader) is vanmorgen gaan bloeden en opnieuw verbonden met een modern drukpleistersysteem (https://www.merit.com/product/safeguard-pressure-assisted-device/)
Nu mag ik zes uur stil op mijn ru…

SafeGuard® Pressure Assisted Device
Safeguard pressure assisted device maintains consistent pressure on the access site and facilitates site assessment through the clear window.

Ich wurde wegen großflächiger Baumaßnahmen in #Karlsruhe eben am Europaplatz aus der #Tram 2 geworfen. So weit so gut (war ja angekündigt).
Meinen freundlichen Hinweis, es wäre da möglicherweise kundenfreundlicher, den (elektronischen) Zielanzeiger der Bahn "Europaplatz" statt "Knieli…

Die CDU sowie das Bündnis 90 / Die Grünen verteidigen Waffenlieferungen an Israel und wollen noch weitere liefern! Selbst jetzt scheinen es manche Parteien nicht verstanden zu haben, aber wenigstens leere Worthülsen im Internet teilen wie schlimm man das Leid in Gaza findet (doch keine Verbindung zu seinen Waffen sehen, welche dieses Leid auslösen).

7-Segment-Anzeige Grove TM1637 mit #Microcontroller NodeMCU LoLin V3 #ESP8266. Es wird über WiFi eine Verbindung ins Internet aufbebaut und von einem NTP-Server die aktuelle Uhrzeit geholt. Danach zählt der Prozessor selbst weiter und zeigt die Uhrzeit an.
Nachdem es technisch fu…

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

On Coalgebraic Product Constructions for Markov Chains and Automata
Verifying traces of systems is a central topic in formal verification. We study model checking of Markov chains (MCs) against temporal properties represented as (finite) automata. For instance, given an MC and a deterministic finite automaton (DFA), a simple but practically useful model checking problem asks for the probability of traces on the MC that are accepted by the DFA. A standard approach to solving this problem constructs a product MC of the given MC and DFA, reducing the task to a sim…

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

Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference
Large Language Models (LLMs) are increasingly being used to automate programming tasks. Yet, LLMs' capabilities in reasoning about program semantics are still inadequately studied, leaving significant potential for further exploration. This paper introduces FormalBench, a comprehensive benchmark designed to evaluate LLMs' reasoning abilities on program semantics, particularly via the task of synthesizing formal program specifications to assist verifying program correctness. This task requires b…

Subsidy-guzzling regional airport Maastricht loses Ryanair. Only some Corendon summer flights left now some cargo. https://www.nu.nl/economie/6357463/ryanair-stopt-vanwege-buitensporige-kosten-met-vliegen-vanaf-maastricht…

Ryanair stopt vanwege 'buitensporige' kosten met vliegen vanaf Maastricht
Ryanair annuleert per 26 oktober alle vluchten vanaf de luchthaven van Maastricht. De lowcostmaatschappij geeft "buitensporige kostenstijgingen" op als reden. Daarmee gaan 150.000 stoelen per jaar verloren en verdwijnen vijf directe verbindingen.