Tweetovi

Blokirali ste korisnika/cu @kaepora

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @kaepora

  1. Prikvačeni tweet
    7. sij

    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: (2/2)

    Prikaži ovu nit
    Poništi
  2. I've been finding this two-hour Bach compilation to be excellent music for working. Perhaps others will find it equally useful and pleasant.

    Poništi
  3. proslijedio/la je Tweet

    ✨ 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.

    Poništi
  4. 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:

    Poništi
  5. proslijedio/la je Tweet
    prije 23 sata

    The first lightning talk is by on a formal verification framework written in Go! 😲

    Prikaži ovu nit
    Poništi
  6. 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 🙂

    Poništi
  7. 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!

    Poništi
  8. proslijedio/la je Tweet
    31. sij

    "The search for meaning in adverse circumstances appears to be more effective than in benign conditions."

    Poništi
  9. proslijedio/la je Tweet

    My colleague and friend produced an amazing introductory video for his new cryptographic protocol analysis tool . Give it a shot if you'd like to get started with formal verification, Verifpal is beginner-friendly!

    Poništi
  10. proslijedio/la je Tweet
    31. sij

    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:

    Poništi
  11. proslijedio/la je Tweet
    31. sij

    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!

    Prikaži ovu nit
    Poništi
  12. 31. sij

    There are some serious God Emperor of Dune vibes at Châtelet at the moment.

    Poništi
  13. proslijedio/la je Tweet

    PROUD! +25 talks are from/related to projects we grant for ethical privacy & open search tech for a . Ranging from clean-slate internet & to open source phones (, ) & transparent computing ( Mes, ).

    Prikaži ovu nit
    Poništi
  14. 31. sij

    How is it possible to be this wonderful?

    Poništi
  15. proslijedio/la je Tweet
    30. sij

    Finally! Now all we need is ChaCha20Poly1305...

    Poništi
  16. 30. sij
    Poništi
  17. proslijedio/la je Tweet
    Prikaži ovu nit
    Poništi
  18. proslijedio/la je Tweet
    29. sij
    Prikaži ovu nit
    Poništi
  19. 29. sij

    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:

    Prikaži ovu nit
    Poništi
  20. proslijedio/la je Tweet
    29. sij

    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:

    Poništi
  21. 29. sij

    My brain for the next two weeks

    Poniš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.

    Možda bi vam se svidjelo i ovo:

    ·