TIL from Arte documentary: Humans have been resistant to numerous fungi diseases because our body temperature is relatively high, thus the fungi can't survive. Climate heating lets fungi adapt to higher temperatures. Thus, we have to expect more fungi diseases dangerous for us. arte.tv/de/videos/068404-000-A

Arte documentaries are actually a nice replacement of Netflix arte.tv/

I just presented our mechanised cryptographic proof of the VPN protocol at . Thanks @MarcoGuarnier1@twitter.com for sharing a picture! If you want to read more, our paper has been covered before on Twitter on twitter.com/bblipp/status/1118 and twitter.com/kaepora/status/111, and on Hacker News at news.ycombinator.com/item?id=1.

At some people developed the idea to coordinate a voluntary , take of some websites/servers/services during day September 20, displaying banners instead, etc.

To stay in touch, we agreed on using a channel on the Mattermost server of : click “Join Us” on developersforfuture.org/
and create your account, then join the channel shutdownforclimate.

Notes: pad.disroot.org/p/techiesforfu

Um 23:00 Uhr treffen sich im Blauen Raum auf der und @c3sustainability. Es wird überlegt, was Admins und Co. einfach tun können, um die Politik zu animieren sich fürs Klima zu bewegen. Der Raum ist hinter der blauen Säule zwischen @c3voc und dem c3postoffice. pad.disroot.org/p/techiesforfu

Ola ist IT-Security-Experte, Datenschützer, Entwickler für freie Software und netzpolitischer Aktivist. Auf der Website sind Briefe Olas aus dem Gefängnis zu lesen, ihr könnt auf verschiedene Weisen eure Unterstützung ausdrücken (Spenden, den Präsidenten Ecuadors anschreiben).

Ich habe der gerade in einem Lightning Talk von erzählt. Ola Bini ist Teil unserer Community und seit 52 Tagen unter widrigen Umständen in Ecuador in Haft, obwohl keine konkreten Vorwürfe genannt werden können. Nähere Informationen: freeolabini.org/de/

Heute kam die Idee bei der auf, analog zu den Aktionen als IT- und Serveradmin etwas wirksames bei den Protesten für das Klima beizutragen. So ein könnte sehr wirkungsvoll sein, alleine schon wenn es angedroht wird. Sind z.B. Wikipedia und Co mit im Boot,... Bestimmt gibt es auch noch bessere Ideen für ein Hashtag.

Some people from c3sus will be at . We will have a session Thursday 7pm in ZKM_CodeHUB together with R5 (Reuse, Repair, Recycle, Rethink, Redesign) to discuss sustainability at CCC and CCC events. We will organise a village at (more details soon). Please reach out if you have ideas or want to chat!

Quick fix if you want to _paste_ your password into the password confirmation field during account activation at French energy network maintainer Enedis. Execute the following in your browser's JavaScript console:
$("").unbind("paste");
Got this by looking up the jQuery documentation. I like that Firefox first requires me to type and execute “allow pasting” in the console before it allows me to run code from the clipboard.

@yolo
Im Rocket.Chat wurde gerade bestätigt, dass es keine Engel-Voucher gibt.

Just learned about the existence of the new pan-European political party that is running in the European elections in 8 countries. Sounds interesting and worth a look.

Um die Forderungen weiter zutragen und Vernetzung zu fördern steht der Name ab sofort für Seitentriebe wie Stammtische, kleinere oder größere Veranstaltungen, Diskussionsabende und Panels zur Verfügung, siehe bits-und-baeume.org/waechst/de. Nächste Woche Donnerstag, 23. Mai, findet schon eine erste lokale -Abendveranstaltung an der TU Dresden statt, mit Einführungsvortrag und moderierten Diskussionsrunden: dresden.bits-und-baeume.org/

Zwei wichtige Petitionen fordern ein sektorübergreifendes Klimaschutzgesetz epetitionen.bundestag.de/petit (bis 6. Mai, 33k fehlen) und eine Reform betreffend Pestizidnutzung epetitionen.bundestag.de/petit (bis 1. Mai signierbar, 15k fehlen). Bitte mitzeichnen und verbreiten :)

My paper with Bruno Blanchet and Karthik Bhargavan about our mechanised cryptographic proof of the WireGuard VPN was accepted at . A long version is as of now available at hal.inria.fr/hal-02100345 , code at cryptoverif.inria.fr/WireGuard . We analyse the entire protocol, with a precise model of Curve25519. We compare with 5 other works that analysed WireGuard or the underlying Noise IKpsk2 protocol. If you can, go to by train.

ccc.de/en/updates/2019/chaos-c

The Chaos Computer Club demands

* the immediate release of Chelsea Manning
* the immediate release of Ola Bini
* an immediate stop of any plans to extradite Julian #Assange to the U.S., where he would not face fair trial

We call for citizens, journalists and European governments to stand in solidarity.

#FreeChelsea #FreeAssange #FreeOlaBini

@donblanco I would expect so, because after all, a plane lifts a huge mass into the air; but I am not an expert on American trains, so I cannot give a definitive answer, sorry. I tried to find a Twitter thread were people discussed this, but I cannot find it again. The best I could find in my timeline is this one, saying “it's a complex question, but still it is voting with your dollar for a lower-emissions system”: twitter.com/flyingless/status/

@MaSven Und vor allem sehe ich gerade, dass es sowieso noch bis 2020 verfügbar ist, ich habe einfach die Jahreszahl gar nicht beachtet :D

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.