Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @bblipp
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @bblipp
-
Benjamin Lipp @blipp@chaos.social proslijedio/la je Tweet
I was today years old when I found out that
@signalapp has a note to self feature which also supports disappearing messages.pic.twitter.com/TnaClEKxeZ
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
My colleague and friend
@kaepora produced an amazing introductory video for his new cryptographic protocol analysis tool@verifpal. Give it a shot if you'd like to get started with formal verification, Verifpal is beginner-friendly!https://twitter.com/verifpal/status/1223278934101516289 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
My office mate Denis is formalizing the French tax code. Read his blog post if you want to find out about some legislative blind spots in it!https://twitter.com/_protz_/status/1223263479873921024 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Benjamin Lipp @blipp@chaos.social proslijedio/la je Tweet
Wrote up this list of projects using Verifpal, which I hope will continue to grow especially after
#FOSDEM this weekend
https://verifpal.com/getinvolved/#users …pic.twitter.com/RTBQc2U2Ql
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I just discovered https://codeberg.org , a free-to-use and open-for-registration
#Gitea instance run by the German non-profit organisation#Codeberg e.V. – that makes@codeberg_org a nice alternative to#Github and#Gitlab I'd say :)Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Benjamin Lipp @blipp@chaos.social proslijedio/la je Tweet
For all your cryptographic needs (ahem, e.g., HACL*) use a formally verified, constant time-preserving C compiler!
@davidpichardie at#poplpic.twitter.com/kN4JTOxkT9
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Benjamin Lipp @blipp@chaos.social proslijedio/la je Tweet
This is how an IETF Messaging Layer Security (MLS) secure group messaging session evolves over time… Our CGKA is called TreeKEM and most of the time requires O(log N) encryptions / O(1) decryption for changes in active groups.
#IETFMLSpic.twitter.com/XE1jS6xilb
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Benjamin Lipp @blipp@chaos.social proslijedio/la je Tweet
#KlimaVor8 heute mit einer anschaulichen Erklärung des Jetstreams, einer der Hauptursachen für extreme Wetterlagen auf der Nordhalbkugel. Der Jetstream wird durch die überproportional starke Erwärmung der Arktis immer weiter destabilisiert. Und das wird in Zukunft noch schlimmer.pic.twitter.com/kwcPteuXlgPrikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Benjamin Lipp @blipp@chaos.social proslijedio/la je Tweet
Hello World!

@NOYBeu has launched@GDPRhub today - a collaborative online wiki that allows you to find and share local#GDPR decisions from throughout the EU in English. It also includes knowledge on GDPR Articles, DPAs and Countries!
http://www.GDPRhub.eu Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Benjamin Lipp @blipp@chaos.social proslijedio/la je Tweet
Some news: The new version of our paper "POTs: Protective Optimization Technologies" with
@bekah_overdorf,@carmelatroncoso, and@sedyst will appear in FAT* 2020@fatconference on Jan 27! Paper: https://arxiv.org/abs/1806.02711 What are protective optimization technologies? Thread
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
But I guess the iCalendar and CalDAV standards are not our biggest problem wrt the Y2038 problem.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Over ten years ago I created a more or less random appointment in my calendar for a day in January 2045. It survived system migration over the years and it always makes me smile when I see it pop up while syncing to a new device or when importing into a new calendar app.https://twitter.com/jxxf/status/1219009308438024200 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Benjamin Lipp @blipp@chaos.social proslijedio/la je Tweet
Wow. Barcelona has declared a climate emergency that gets straight to the point: "The current economic model is based on endless growth, consumption & a permanent race for profit. This economic system threatens the ecological balance of our planet & has multiplied inequalities."
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Benjamin Lipp @blipp@chaos.social proslijedio/la je Tweet
At
@RealWorldCrypto a group of people will start to think about ideas how we as a research community (within the@IACR_News) can reduce the impact on climate w/r/t how we conduct, organize, and publish our research. Join us on Thursday 12:45 during lunch in the back of the hall.Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Benjamin Lipp @blipp@chaos.social proslijedio/la je Tweet
@LetToysBeToys@LEGO_Group Both my children love Lego, and this makes me want to run in the opposite direction. Sort out your magazines, this is an embarrassment to your brand.pic.twitter.com/ZPRjT2BlTZ
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Benjamin Lipp @blipp@chaos.social proslijedio/la je Tweet
If you let people compile c code on your machine + give them the error message this may be used to exfiltrate, e.g. "
#include </etc/shadow>" https://blog.hboeck.de/archives/898-include-etcshadow.html …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Which GitHub repositories have the most commits? Read this fun new blogpost by
@_protz_ to find out, and be surprised.https://twitter.com/_protz_/status/1205607313530392577 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I am always delighted when the
#autocrypt opportunistic email encryption just works with a new email contact :) Full post at https://chaos.social/web/statuses/103301697528621858 ….Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Benjamin Lipp @blipp@chaos.social proslijedio/la je Tweet
Technology preview: Signal Private Group System https://signal.org/blog/signal-private-group-system/ … Private groups are one of the things that make Signal unique. The service has no record of group memberships, titles, avatars, or other attributes. We've been working on technology to make them even better.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Benjamin Lipp @blipp@chaos.social proslijedio/la je Tweet
WireGuard has been merged to net-next, which means it will be in mainline Linux for 5.6. Exciting day!https://twitter.com/davem_dokebi/status/1203855208599576576 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.


, he/him.
As of today, we have about eighteen years to go until the Y2038 problem occurs.
But the Y2038 problem will be giving us headaches long, long before 2038 arrives.
I'd like to tell you a story about this.