Weekend: Playing on type/kind level to describe a protocol, to synthesize dependently typed copilot specs to be proofed and then synthesized to c99 code to be compiled for a 8 bit controller.

hackage.haskell.org/package/co

Überlege eine Firma zu gründen, die der CSU anbieten was sie will und ihr Geld durch nichts tun und Konventionalstrafen kassieren verdient, wenn Gerichte der CSU verbieten was sie will.

Wenn Strukturen nur klein genug sind, treten Quantenmechanische Effekte auch in der makroskopischen Welt zu Tage: So können Gehirne besorgter Bürger z.B. denken, dass alle Ausländer faul sowie arbeitsunwillig sind und gleichzeitig, dass sie ihnen die Arbeitsplätze weg nehmen.

Gerade ZIB2 geguckt... Ich will auch so eine Beamten Regierung und einen Bundestag ohne Koalitionsverträge wo eine Intitiative nach der anderen wechselnd abgestimmt wird und die Bundeskanzlerin das Parlament vorher fragt was sie in Brüssel beim Rat sagen soll bevor sie hinfährt.

Oh meine Partei hat mit zum 10-jährigen nen neuen Mitgliedsausweis, Sticker und Stecknadel geschickt. Vielen Dank liebe Piratenpartei , ich habe mich sehr gefreut :)

Weil wg kaputtem Route Filtering im BGP ging für ~2h viel Traffic europäischer Mobile Carrier durchs Netz von China Telecom... arstechnica.com/information-te

Stark vereinfacht gehts im Moment glaube ich um die Frage ob wir sowas wie Star Trek wollen oder so ne Mischung aus Matrix und Shadowrun. Befürchte wenn wir und machen lassen bekommen wir zweiteres. Nicht aus bösem Willen sondern sie kennen Shadowrun einfach nicht.

alios boosted

Nach den Zahlen aus 2014 hatte die SPD 47 Mio. € Personalkosten gegenüber 48 Mio. € Einnahmen aus Parteienfinanzierung. Dürfte bald leerer werden im Willy Brandt Haus... m.bpb.de/politik/grundfragen/p

Häh, der Weber will EU Kommissionspräsident werden und lässt sich nun zum EVP Fraktionsvorstand wählen? Ggf auch noch Richter am EuGH der Vollständigkeit halber?

Schöner Kommentar der @PiratenUlm zum Ende einer (richtig teuren) Provinz Posse, dem piratenpartei-neu-ulm.de/2019/

alios boosted
Das Ergebnis der Mitgliederumfrage zur Fraktionsbildung im Europäischen Parlament stärkt uns den Rücken. https://vorstand.piratenpartei.de/2019/06/03/umfrage_fraktionsbildung/

Was entscheidend sein wird: Sichtbarkeit der #Piraten als eigenständige Bewegung und Treue zu unseren Prinzipien in der politischen Arbeit. #FreiheitWürdeTeilhabe

Klar kann man schreiben, dass Greta Thunberg jetzt ein Jahr die Schule schwänzt. Man könnte aber auch schreiben, das sie nach Ende der 9-jährigen Schulpflicht in Schweden 1 Jahr Pause macht bevor sie aufs Gymnasium wechselt...

Imo mit schönster Satz im 2013er Wahlprogramm der "Die Piratenpartei fordert alle Regierungen dieser Erde auf, die globalen Informations- und Kommunikationsnetze gemeinsam zu schützen und als ein hohes gemeinschaftliches Gut aller Menschen anzuerkennen. "

wiki.piratenpartei.de/Wahlen/B

Did I mention I love the concurrency package for providing a (MonadSTM m) type class and (STM m :: * -> * ) type function ... Signatures without MonadIO are beautiful :)

hackage.haskell.org/package/co

alios boosted
alios boosted
Was sollte die Netzgemeinde/Bürgerrechtsbewegung von der neuen EU-Kommission realistischerweise fordern (Verhandlungen laufen)?
➡Überwachungsmoratorium
➡Recht auf Updates
➡Interoperabilität
➡legislativer Fußabdruck
Weitere Ideen?
Show more
chaos.social

chaos.social - because anarchy is much more fun with friends.
chaos.social is a small Mastodon instance for and by the Chaos community surrounding the Chaos Computer Club. We provide a small community space - Be excellent to each other, and have a look at what that means around here.
Follow @ordnung for low-traffic instance-related updates.
The primary instance languages are German and English.