Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @kaepora
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @kaepora
-
Prikvačeni tweet
Verifpal comes with:
An intuitive language for modeling and reasoning about complex protocols.
Easy to understand verification.
A manual that comes with a manga about formal verification!
It's a great way to get started: https://verifpal.com (2/2) #RealWorldCryptopic.twitter.com/juxYWUmoJN
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I've been finding this two-hour Bach compilation to be excellent music for working. Perhaps others will find it equally useful and pleasant.https://www.youtube.com/watch?v=6JQm5aSjX6g …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nadim Kobeissi proslijedio/la je Tweet
Published my slides from today's FOSDEM #golang devroom. It was hard to capture it all given the talk was a live demo, a blog post is coming soon with more details.https://speakerdeck.com/rakyll/debugging-code-generation-in-go …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
#FOSDEM2020 was one of the funnest, nicest most positive conferences I’ve ever been to. So many people each so passionate about their software. Looking forward to next year! Video of my talk: https://youtu.be/O1ztzfwLkc0 Slides for my Go devroom presentation: https://verifpal.com/res/pdf/godevroom2020.pdf …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nadim Kobeissi proslijedio/la je Tweet
The first lightning talk is by
@kaepora on a formal verification framework written in Go!
#FOSDEM2020#golangpic.twitter.com/q1WG3Oxemz
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Golang stickers are probably my favorite stickers at
#FOSDEM2020, especially the snake charmer one which made me laugh out loud and is going straight on my laptop
pic.twitter.com/0jLcF7INWM
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Wow,
#FOSDEM2020 is awesome! So many people passionate about computing. Programming languages, operating systems, software... really positive vibe. Also check out my Verifpal talk later today!https://twitter.com/verifpal/status/1223536793859117056 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nadim Kobeissi proslijedio/la je Tweet
"The search for meaning in adverse circumstances appears to be more effective than in benign conditions." https://link.springer.com/article/10.1007/s10902-020-00222-y …pic.twitter.com/8Wr4n37KuL
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nadim Kobeissi proslijedio/la je Tweet
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 -
Nadim Kobeissi proslijedio/la je Tweet
Getting started with cryptographic protocol analysis is now easier than ever! Check out our new 17-minute video tutorial, now on YouTube – it covers Verifpal’s language, how to use Verifpal to verify post-compromise secrecy in Signal, and more:https://youtu.be/4__KcGU2ALE
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nadim Kobeissi proslijedio/la je Tweet
My student Denis wrote a formal semantics for the French tax code, complete with Coq proof of soundness and SMT queries to uncover unfair tax hikes. PL for fiscal justice! https://blog.merigoux.ovh/en/2019/12/20/taxes-formal-proofs.html …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
There are some serious God Emperor of Dune vibes at Châtelet at the moment.pic.twitter.com/5JEVUQbZzV
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nadim Kobeissi proslijedio/la je Tweet
PROUD! +25 talks
@fosdem are from/related to projects we grant for ethical privacy & open search tech for a#NextGenerationiInternet. Ranging from clean-slate internet#SCION &@p2pcollab to open source phones (#Replicant,#MaemoLeste) & transparent computing (#GNU Mes,#Guix).Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
How is it possible to be this wonderful?pic.twitter.com/Uf9TPXcq6j
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nadim Kobeissi proslijedio/la je Tweet
Finally! Now all we need is ChaCha20Poly1305...https://twitter.com/intenttoship/status/1221933799661080578 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Check out this new sticker pack I created for Signal.
#makeprivacystickhttps://signal.art/addstickers/#pack_id=90cc3fb3fe848734454e04d17bf13cc2&pack_key=04e2c784b49ff588093223fc1867f2e0ca2bdf64acc547dce211fc393514f33d …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nadim Kobeissi proslijedio/la je Tweet
Now approved: 117 new emojis for 2020 #Emoji2020 https://blog.emojipedia.org/117-new-emojis-in-final-list-for-2020/ …pic.twitter.com/sHp7GDsSal
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nadim Kobeissi proslijedio/la je Tweet
new game: Schwerkraftprojektionsgerät - https://games.increpare.com/schwerkraftprojektionsgeraet/ … (HTML)pic.twitter.com/1pnmzHujMR
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Verifpal now has support for phases, allowing for reliable modeling of post-compromise security/forward secrecy in protocols! More details in the mailing list announcement: https://lists.symbolic.software/pipermail/verifpal/2020/000135.html …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nadim Kobeissi proslijedio/la je Tweet
Join our team! Our awesome dev team is looking for another senior engineer. We value team spirit and knowledge sharing, if that's your idea of a good workplace vibe then get in touch
More here: https://cryptosense.com/about/careers/senior-software-engineer/ …
#devjobs#cryptography#infosec#HiringNowpic.twitter.com/1w7hHQ02rt
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
My brain for the next two weeks
#SonicMovie
pic.twitter.com/VaLj5652wt
Hvala. 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.