Pinned toot

I like hash functions that were part of the collision résistance.

corona 

blipp boosted

Bin ja sonst eher “q.e.d.” oder “All queries proved.” gewohnt. Letzteres ist die Ausgabe von CryptoVerif wenn alle Beweise durchgingen. Mein Hirn ist da schon richtig drauf konditioniert sich auf diese Zeile im Terminal zu freuen.

Show thread

Gerade über den hier [1] verlinkten Beschluss des Bundesverfassungsgerichts drüber gelesen. Als ich am Ende nach 8 Seiten dichtestem und ausführlichstem Paragraphen-Zitierens dann das leicht verständliche, kurz und knappe „Diese Entscheidung ist unanfechtbar.“ las musste ich spontan lachen und dachte „Das ist also das q.e.d. der Richter“.

[1] mastodon.cloud/@ramichaelseidl

blipp boosted

Heute kommen wieder die Forderungen nach verpflichtenden digitalen Datenerhebungen zur Pandemiebekämpfung: Nutzung der Kreditkartenabrechnungen, verpflichtende Installation von Apps, Zugriff auf die Betriebssysteme der Handys. Dazu ein paar Gedanken:

blipp boosted
blipp boosted

“The majority of the people in China do not eat wildlife animals. Those people who consume these wildlife animals are the rich and the powerful –a small minority.” This video explains how the people of China are themselves victims of the conditions that led to coronavirus. The virus is affecting many different countries and cultures, and there is never justification for xenophobia or racism.

youtube.com/watch?v=TPpoJGYlW5

Corona, Formal Methods 

Corona, Podcast 

Just in case watching penguins helps you relax, here is a penguin webcam: pittsburghzoo.org/penguin-webc

blipp boosted

Mastodon always 'charges' you 23 characters for every URL you post. It doesn't matter if it is longer or shorter.
There is NO excuse for using URL shorteners which obfuscate your destination if you click - these usually go to fb or twitter, so I Never click them on purpose. They make my browser and I feel dirty.
Please tell your friends.

I had 824 tabs open in Firefox Mobile on my Android smartphone. Unsurprisingly, this made it pretty unresponsive and unusable. Today I opened them all on my laptop's Firefox via Firefox Sync, then exported all tab's URLs to a file using the FoxyTab extension. And then I closed all tabs.

A small step for mankind, but a big step for someone who is bad in closing tabs.

Ich habe heute schon zwei mal gerade noch so vorm Abschicken eines Toots gemerkt, dass ich das Content Warning in das /Suchfeld/ eingegeben habe und nicht in das CW-Textfeld.

Das CW-Textfeld muss man erst durch Klick auf den Button CW aktivieren, das Suchfeld, ist immer da und ist /auch/ oberhalb der Textarea für den Text des Posts.

Habe mal einen Issue dafür aufgemacht. github.com/tootsuite/mastodon/

Corona, Easterhegg 

In case you wondered, this tweet was sent from my laptop. 😬

Show thread

I installed the BOINC app on my Android smartphone, inspired by different posts here.

The app's default is to only compute while the screen is off and the phone connected to a charger. It's surprising how much this helps me to stay off of my phone during the day and before going to sleep. Limiting smartphone screen time gamified!

Corona, France, Attestation 

blipp boosted

The term "social distancing" totally misses the point.

What we need is physical distancing, not social distancing.

blipp boosted

Many people ask themselves what else they can do in addition to the usual things to take action against #Corona. Why not donate your unused CPU/GPU computing power for antidote research via #RosettaAtHome or #FoldingAtHome? unraid.net/blog/help-take-the- #COVID19 #CoronaVirus #CitizenScience #DistributedComputing

Show more
chaos.social

chaos.social – a Fediverse instance for & by the Chaos community