Twitter | Pretraživanje | |
Nadim Kobeissi
Cryptography and formal verification. ,
1.266
Tweetovi
284
Pratim
21.180
Osobe koje vas prate
Tweetovi
Nadim Kobeissi 15 h
Last week, Verifpal gained support for phases (temporal logic), which allows for the expression of partial state compromise and forward secrecy. Today, Verifpal also gains support for queries acting as preconditions for message events:
Reply Retweet Označi sa "sviđa mi se"
Nadim Kobeissi 17 h
Odgovor korisniku/ci @_franziskus_
I have no idea. Perhaps I should take a closer look at the crypto and offer feedback.
Reply Retweet Označi sa "sviđa mi se"
Nadim Kobeissi 21 h
EteSync looks like a really cool open source project: encrypted sync for contacts and calendars. Definitely something I've been looking for.
Reply Retweet Označi sa "sviđa mi se"
Nadim Kobeissi 3. velj
Odgovor korisniku/ci @beurdouche @mozilla @Inria
How can I send an email using Lightning Bird
Reply Retweet Označi sa "sviđa mi se"
Nadim Kobeissi 3. velj
Odgovor korisniku/ci @rakyll
Welcome (back) to Europe
Reply Retweet Označi sa "sviđa mi se"
Nadim Kobeissi 3. velj
I've been finding this two-hour Bach compilation to be excellent music for working. Perhaps others will find it equally useful and pleasant.
Reply Retweet Označi sa "sviđa mi se"
Nadim Kobeissi 3. velj
Odgovor korisniku/ci @beurdouche @mozilla @Inria
How do I open a new tab in Firefox
Reply Retweet Označi sa "sviđa mi se"
Nadim Kobeissi proslijedio/la je tweet
Jaana B. Dogan 🌳 (in London) 2. velj
✨ Published my slides from today's FOSDEM devroom. It was hard to capture it all given the talk was a live demo, a blog post is coming soon with more details.
Reply Retweet Označi sa "sviđa mi se"
Nadim Kobeissi 2. velj
Odgovor korisniku/ci @rosamundi @EnglishFolkfan
Reply Retweet Označi sa "sviđa mi se"
Nadim Kobeissi 2. velj
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: Slides for my Go devroom presentation:
Reply Retweet Označi sa "sviđa mi se"
Nadim Kobeissi proslijedio/la je tweet
FRANCESC @ FOSDEM 2. velj
Odgovor korisniku/ci @kaepora
The first lightning talk is by on a formal verification framework written in Go! 😲
Reply Retweet Označi sa "sviđa mi se"
Nadim Kobeissi 2. velj
Golang stickers are probably my favorite stickers at , especially the snake charmer one which made me laugh out loud and is going straight on my laptop 🙂
Reply Retweet Označi sa "sviđa mi se"
Nadim Kobeissi 2. velj
Odgovor korisniku/ci @wouter_verhelst
Unfortunately I found my review link inside my spam mailbox. So it might be good to advise speakers to check there too 🙂
Reply Retweet Označi sa "sviđa mi se"
Nadim Kobeissi 1. velj
Odgovor korisniku/ci @grittygrease
Great hire!
Reply Retweet Označi sa "sviđa mi se"
Nadim Kobeissi 1. velj
Odgovor korisniku/ci @claucece @Cloudflare i 3 ostali
Congratulations, Sofia!
Reply Retweet Označi sa "sviđa mi se"
Nadim Kobeissi 1. velj
Odgovor korisniku/ci @thequux
I’m here all day today and tomorrow! Email me your number so I can add you on Signal!
Reply Retweet Označi sa "sviđa mi se"
Nadim Kobeissi 1. velj
Wow, is awesome! So many people passionate about computing. Programming languages, operating systems, software... really positive vibe. Also check out my Verifpal talk later today!
Reply Retweet Označi sa "sviđa mi se"
Nadim Kobeissi 1. velj
Odgovor korisniku/ci @clairlemon
🤢
Reply Retweet Označi sa "sviđa mi se"
Nadim Kobeissi 1. velj
Odgovor korisniku/ci @cryptodavidw
Can't wait for the next next generation to out of all the next generation's corrupted politicians
Reply Retweet Označi sa "sviđa mi se"
Nadim Kobeissi proslijedio/la je tweet
Rolf Degen 31. sij
"The search for meaning in adverse circumstances appears to be more effective than in benign conditions."
Reply Retweet Označi sa "sviđa mi se"