Tootfinder

Handys in Schulen: Nächster Landesmminister hält nicht viel von Verbotsdebatte
Haben Smartphones etwas in Schulen verloren? Der neue Bildungsminister von Rheinland-Pfalz will, dass Regeln gemeinsam mit Schulen erarbeitet werden.

"Es ist höchste Zeit, dass sich deutsche Wissenschaftsinstitutionen nicht nur mit Solidaritätsbekundungen an die USA wenden, sondern sich auch gegen die wachsende Bedrohung für Wissenschaft und Demokratie in Deutschland positionieren."
"Überpolitisierung im Namen der Depolitisierung ist das Programm, mit dem die Wissenschaft nach rechtsextremer Façon umgeformt wird."
Andreas #FischerLescano

Wer die Wissenschaft schützen will, muss die AfD verbieten
Die Angriffe auf Universitäten in den USA sind ein Warnsignal. Während deutsche Forschungsorganisationen noch Solidaritätsbekundungen formulieren, bläst die AfD zu ihrem eigenen Feldzug gegen die freie Wissenschaft. Zeit zum Handeln. Ein Gastbeitrag von Andreas Fischer-Lescano.

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

Verifying Device Drivers with Pancake
Device driver bugs are the leading cause of OS compromises, and their formal verification is therefore highly desirable. To the best of our knowledge, no realistic and performant driver has been verified for a non-trivial device. We propose Pancake, an imperative language for systems programming that features a well-defined and verification-friendly semantics. Leveraging the verified compiler backend of the CakeML functional language, we develop a compiler for Pancake that guarantees that the b…

Welp, got another device to get working under Linux. The new rudder pedals came in: Honeycomb Aeronautical Charlie Rudder Pedal. I can see inputs coming in from the device, the `/dev/hidraw` permissions are perfect, but outside of that there is nothing.
Verified the registry settings in MSFS 24 but MSFS also doesn't see the pedals unfortunately. Very frustrating.
#linux

@gruener_skatbruder@hessen.social Wann genau wurde die NSDAP verboten?

TL;DR Amazon's SES in sandbox mode only sends to validated addresses and identities defined in the configuration.
https://winkelwagen.de/2025/05/29/aws-ses-message-rejected-email-address-is-not-verified/

AWS SES Message rejected: Email address is not verified.
I configured one of our Magento 2 stage instances today to use Amazon SES to send emails instead of dumping them into mailhog. But I got the following error: Message rejected: Email address is not …

@…
If you want to be verified on Mastodon I can assist you with how to get verified through KeyOxide.
You can see that on my profile I'm verified there.
It uses public key cryptography...I've seen plenty of people on Mastodon that use KeyOxide.
#lichess

Evaluating Gemini in an arena for learning
LearnLM Team, Abhinit Modi, Aditya Srikanth Veerubhotla, Aliya Rysbek, Andrea Huber, Ankit Anand, Avishkar Bhoopchand, Brett Wiltshire, Daniel Gillick, Daniel Kasenberg, Eleni Sgouritsa, Gal Elidan, Hengrui Liu, Holger Winnemoeller, Irina Jurenka, James Cohan, Jennifer She, Julia Wilkowski, Kaiz Alarakyia, Kevin R. McKee, Komal Singh, Lisa Wang, Markus Kunesch, Miruna P\^islar, Niv Efron, Parsa Mahmoudieh, Pierre-Alexandre Kamienny, Sara Wiltb…

Evaluating Gemini in an arena for learning
Artificial intelligence (AI) is poised to transform education, but the research community lacks a robust, general benchmark to evaluate AI models for learning. To assess state-of-the-art support for educational use cases, we ran an "arena for learning" where educators and pedagogy experts conduct blind, head-to-head, multi-turn comparisons of leading AI models. In particular, $N = 189$ educators drew from their experience to role-play realistic learning use cases, interacting with two models se…

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

Precision bounds for multiple currents in open quantum systems
Thermodynamic (TUR) and kinetic (KUR) uncertainty relations are fundamental bounds constraining the fluctuations of current observables in classical, non-equilibrium systems. Several works have verified, however, violations of these classical bounds in open quantum systems, motivating the derivation of new quantum TURs and KURs that account for the role of quantum coherence. Here, we go one step further by deriving multidimensional KUR and TUR for multiple observables in open quantum systems un…

#Wilders #WACO
Hij bouwt al een voorbehoud in, wat is "merendeel" en overnemen is niet hetzelfde als uitvoeren.