alios @alios@chaos.social

Weekend: Playing on #haskell 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.

https://hackage.haskell.org/package/copilot-theorem

Vorbereitungen Familienurlaub #camp19: vlnr. Mama, Papa, Babyphone.

Ü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. #Maut

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 :)

Mathematical Beauty Activates Same Brain Region as Great Art or Music

https://neurosciencenews.com/neurobiology-mathematical-beauty-756/

Weil wg kaputtem Route Filtering im BGP ging für ~2h viel Traffic europäischer Mobile Carrier durchs Netz von China Telecom... https://arstechnica.com/information-technology/2019/06/bgp-mishap-sends-european-mobile-traffic-through-china-telecom-for-2-hours/

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 #cdu und #spd machen lassen bekommen wir zweiteres. Nicht aus bösem Willen sondern sie kennen Shadowrun einfach nicht.

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... https://m.bpb.de/politik/grundfragen/parteien-in-deutschland/zahlen-und-fakten/42237/einnahmen-und-ausgaben

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 #nuxit https://piratenpartei-neu-ulm.de/2019/06/04/der-nuxit-ist-geschichte/

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...

Schönes Radiostück vom SWR zum nun jüngsten Mainzer Stadtrat Maurice Conrad #piraten

https://www.swr.de/swraktuell/rheinland-pfalz/mainz/19-jaehriger-Schueler-Maurice-Conrad-ist-juengstes-Mitglied-im-Mainzer-Stadtrat,maurice-conrad-102.html

Imo mit schönster Satz im 2013er Wahlprogramm der #piraten "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. "

https://wiki.piratenpartei.de/Wahlen/Bund/2013/Wahlprogramm#Piraten_gegen_Cyberwar

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 :) #haskell

https://hackage.haskell.org/package/concurrency-1.6.2.0/docs/Control-Monad-Conc-Class.html