|
@
kaepora
Paris, France
|
|
Cryptography and formal verification. @SymbolicSoft, @Verifpal
|
|
|
1.266
Tweetovi
|
284
Pratim
|
21.180
Osobe koje vas prate
|
| Tweetovi |
|
Nadim Kobeissi
@kaepora
|
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: source.symbolic.software/verifpal/verif…
|
||
|
|
||
|
Nadim Kobeissi
@kaepora
|
17 h |
|
I have no idea. Perhaps I should take a closer look at the crypto and offer feedback.
|
||
|
|
||
|
Nadim Kobeissi
@kaepora
|
21 h |
|
EteSync looks like a really cool open source project: encrypted sync for contacts and calendars. Definitely something I've been looking for. etesync.com
|
||
|
|
||
|
Nadim Kobeissi
@kaepora
|
3. velj |
|
How can I send an email using Lightning Bird
|
||
|
|
||
|
Nadim Kobeissi
@kaepora
|
3. velj |
|
Welcome (back) to Europe
|
||
|
|
||
|
Nadim Kobeissi
@kaepora
|
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. youtube.com/watch?v=6JQm5a…
|
||
|
|
||
|
Nadim Kobeissi
@kaepora
|
3. velj |
|
How do I open a new tab in Firefox
|
||
|
|
||
| Nadim Kobeissi proslijedio/la je tweet | ||
|
Jaana B. Dogan 🌳 (in London)
@rakyll
|
2. velj |
|
✨ 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. speakerdeck.com/rakyll/debuggi…
|
||
|
|
||
|
Nadim Kobeissi
@kaepora
|
2. velj |
|
|
||
|
Nadim Kobeissi
@kaepora
|
2. velj |
|
#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: youtu.be/O1ztzfwLkc0
Slides for my Go devroom presentation: verifpal.com/res/pdf/godevr…
|
||
|
|
||
| Nadim Kobeissi proslijedio/la je tweet | ||
|
FRANCESC @ FOSDEM
@francesc
|
2. velj |
|
The first lightning talk is by @kaepora on a formal verification framework written in Go! 😲
#FOSDEM2020 #golang pic.twitter.com/q1WG3Oxemz
|
||
|
|
||
|
Nadim Kobeissi
@kaepora
|
2. velj |
|
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
|
||
|
|
||
|
Nadim Kobeissi
@kaepora
|
2. velj |
|
Unfortunately I found my review link inside my spam mailbox. So it might be good to advise speakers to check there too 🙂
|
||
|
|
||
|
Nadim Kobeissi
@kaepora
|
1. velj |
|
Great hire!
|
||
|
|
||
|
Nadim Kobeissi
@kaepora
|
1. velj |
|
Congratulations, Sofia!
|
||
|
|
||
|
Nadim Kobeissi
@kaepora
|
1. velj |
|
I’m here all day today and tomorrow! Email me your number so I can add you on Signal!
|
||
|
|
||
|
Nadim Kobeissi
@kaepora
|
1. velj |
|
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! twitter.com/verifpal/statu…
|
||
|
|
||
|
Nadim Kobeissi
@kaepora
|
1. velj |
|
🤢
|
||
|
|
||
|
Nadim Kobeissi
@kaepora
|
1. velj |
|
Can't wait for the next next generation to out of all the next generation's corrupted politicians
|
||
|
|
||
| Nadim Kobeissi proslijedio/la je tweet | ||
|
Rolf Degen
@DegenRolf
|
31. sij |
|
"The search for meaning in adverse circumstances appears to be more effective than in benign conditions." link.springer.com/article/10.100… pic.twitter.com/8Wr4n37KuL
|
||
|
|
||