| GitHub | https://github.com/mroi |
Deutschland kann was. Die meisten Weltmarktführer aus dem Mittelstand kommen aus Deutschland. Qualifizierte Arbeitskräfte dank dualer Ausbildung. Deshalb Platz drei in der Welt (nach Einwohnern auf Platz 19). Wir müssen diese Stärken stärken - und an den Schwächen energisch arbeiten.
With the latest release of corecrypto, we’re publishing our implementations of quantum-secure ML-KEM and ML-DSA algorithms, along with the mathematical proofs we built to assure they are faithful to the FIPS 203 and FIPS 204 specifications. To advance the state of the art for assuring critical software, we're also publishing the formal verification libraries and tools that we created to achieve the strongest known correctness results for any widely-deployed production implementation of the relevant algorithms.
Wer hunderte Behördenstellen nach Regierungsübernahme „neu besetzen“ will, stellt die Gesetzestreue unserer Beamtinnen und Beamten pauschal infrage.
Der öffentliche Dienst dient dem Staat und dem Recht – nicht einer Partei. Wer ihn politisch durchsortieren will, greift den Rechtsstaat an.
Das ist keine „Reform“. Das ist ein autoritärer Machtanspruch der #AfD. #Sachsenanhalt
Ever wonder why Team Chad, Team AI, and Team White Supremacy seem to be all the same people?
Because they have one animating thought, a need that drives their attitude towards women, immigrants, and work.
They want slaves.
Female slaves, robot slaves, people of color slaves, all the same to them. It’s as if they’re offended by the notion that they’re not superior to somebody and have to take responsibility for their own lives.
Ruprecht Polenz
Steven Hoefer
Chris Espinosa
Pearl22 - never give up!
Der Volksverpetzer