Nadim KobeissiOvjeren akaunt

@kaepora

Cryptography and formal verification. ,

Paris, France
Vrijeme pridruživanja: siječanj 2008.

Medijski sadržaj

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

  2. 2. velj
    Odgovor korisniku/ci
  3. 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:

  4. 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 🙂

  5. 31. sij

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

  6. 31. sij

    How is it possible to be this wonderful?

  7. 29. sij

    My brain for the next two weeks

  8. 29. sij

    Arctic foxes are beautiful. Just thought I would share.

  9. 28. sij

    Wrote up this list of projects using Verifpal, which I hope will continue to grow especially after this weekend 🙂

  10. 26. sij

    *At the backpack shop* Shopkeeper: “Ah, you must have chosen this backpack for its sturdiness and padded laptop compartment” Me: “Yes. ... ... ...also maybe for the cute fox”

    Prikaži ovu nit
  11. 26. sij

    “When we are tired, we are attacked by ideas we conquered long ago.” — Furrydrich Nietzsche

  12. 26. sij
    Prikaži ovu nit
  13. 26. sij
  14. 25. sij

    Running your own business means you can bring your best friend with you to the office ❤️

  15. 23. sij
    Odgovor korisniku/ci
  16. 23. sij
    Odgovor korisniku/ci
  17. 23. sij
    Odgovor korisniku/ci
  18. 19. sij
    Odgovor korisniku/ci

    Aaaaaand now I'm ordering 900 of these (yes, that's real holographic paper)

  19. 19. sij

    Added the SEGA Genesis Seal of Quality next to the Verifpal binary builds download links, leaving it there unless SEGA’s lawyers complain 😛

  20. 18. sij

    Verifpal scaling on a 96-thread EC2 compute instance in order to analyze a complex model, with a corresponding speed boost over my puny 16-thread workstation.

    Prikaži ovu nit

Č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:

    ·