De Pizzottri

@depizzottri

I love halva, jam, sugar.

Vrijeme pridruživanja: prosinac 2012.

Tweetovi

Blokirali ste korisnika/cu @depizzottri

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

  1. proslijedio/la je Tweet
    21. sij

    Working on CRDTs or other consistency mechanisms for distributed data?💡 Please submit your work to PaPoC! 📝 Work in progress and practical experience reports welcome. 👍 Deadline in one month 📆 and the workshop is in Crete on 27 April 2020 ☀️

    Prikaži ovu nit
    Poništi
  2. proslijedio/la je Tweet
    12. pro 2019.

    Category Theory by Steve Awodey

    Poništi
  3. proslijedio/la je Tweet

    I have recorded an extended version (2 hours) of my introduction to Isabelle/HOL talk. 📹 Take a look if you're interested in formal verification of distributed systems 💡🛠

    Poništi
  4. proslijedio/la je Tweet
    2. pro 2019.

    New on the wiki: my favorite examples of monoid objects in monoidal categories. What good ones am I missing? I actually find this bit of abstract nonsense very helpful for remembering the definitions of rings, algebras, monads, and so on.

    Poništi
  5. proslijedio/la je Tweet
    24. stu 2019.
    Poništi
  6. proslijedio/la je Tweet
    15. stu 2019.

    "Modeling Systems with TLA+" by

    Poništi
  7. proslijedio/la je Tweet
    29. lis 2019.
    Poništi
  8. proslijedio/la je Tweet
    28. lis 2019.

    Slide deck for my presentation at the ongoing Dagstuhl seminar on "Programming Languages for Distributed Systems and Distributed Data Management"

    Poništi
  9. proslijedio/la je Tweet
    20. ruj 2019.

    Here's the promised blog post about the most common adjunctions we encounter in programming: product, coproduct, and exponential.

    Poništi
  10. proslijedio/la je Tweet
    19. ruj 2019.

    The video of my talk, Distributed Consensus Revised, from last week's Papers We Love conference is now online. Thank you so much to the team for making this happen!

    Prikaži ovu nit
    Poništi
  11. proslijedio/la je Tweet
    19. ruj 2019.

    A while ago, I introduced a blog series on the basics of category theory (categories, functors, natural transformations). Today, adjunctions are now on the list! So, what *is* an adjunction? Here's the start of a leisurely stroll through the ideas...

    Prikaži ovu nit
    Poništi
  12. proslijedio/la je Tweet
    16. ruj 2019.

    Some way to an interactive proof editor for focused natural deduction.

    Prikaži ovu nit
    Poništi
  13. proslijedio/la je Tweet

    The talk I gave today is already online! See a live demo of using theorem-proving software to prove the correctness of a simple consensus algorithm.

    Poništi
  14. proslijedio/la je Tweet
    10. ruj 2019.
    Poništi
  15. proslijedio/la je Tweet
    27. kol 2019.

    Award-winning computer science papers

    Poništi
  16. proslijedio/la je Tweet

    I did an interview with for the blog about how I got into formal verification of distributed systems, and how I no longer trust pen-and-paper proofs 😬

    Poništi
  17. proslijedio/la je Tweet
    18. srp 2019.
    Odgovor korisniku/ci

    Roses are red, Rust-lang is fine, `cannot borrow `i` as mutable more than once at a time`

    Poništi
  18. proslijedio/la je Tweet

    Our work on Snapdoc (cryptographically authenticated snapshots for CRDTs) was presented by at last week, and the paper is now published too (open access)

    Poništi
  19. proslijedio/la je Tweet
    3. srp 2019.
    Prikaži ovu nit
    Poništi
  20. proslijedio/la je Tweet

    New video 🎞 in which I talk about our current research on the Automerge CRDT ⚙️

    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:

    ·