The Walking Dev

Pavel Voronin

AI generated audio overviews of public IT documents and open-license tech books. Created to help developers learn on the go or during daily chores. NotebookML is used to generate the content. You can also take a look at my telegram channel Today I Learned (https://t.me/+t7BfgHI_kIY2YzBi)

  1. -2 j

    A Critique of CAP Theorem

    An overview of several sources which scrutinize CAP theorem. Sources: CAP theorem - WikipediaPlease stop calling databases CP or AP — Martin Kleppmann's blogThe CAP Theorem. The Bad, the Bad, & the Ugly — Dominik TornowA Critique of the CAP Theorem by Martin Kleppmann

  2. -3 j

    An Equational Theory for Transactions

    An overview of the paper "An Equational Theory for Transactions" by Andrew Black, Vincent Cremet, Rachid Guerraoui, Martin Odersky.

  3. -6 j

    Sagas by Hector Garcia-Molina and Kenneth Salem

    The overview of the article "Sagas" by Hector Garcia-Molina and Kenneth Salem.

  4. 21 août

    Microsoft Agent Framework

    The overview of what Microsoft Agent Framework is and how it relates to Semantic Kernel.

  5. 17 août

    Life Beyond Distributed Transactions by Pat Helland

    The overview of Holland's paper "Life Beyond Distributed Transactions".

  6. 16 août

    Time, Clocks, and the Ordering of Events in a Distributed System by by Leslie Lamport

    The overview of Lamport's paper "Time, Clocks, and the Ordering of Events in a Distributed System".

  7. 8 août

    Distributed Computing from First Principles: Ch08 - Miscellaneous

    The audio overview of ⁠the book⁠ "Distributed Computing from First Principles" by Kenneth Emeka Odoh.

  8. 7 août

    Distributed Computing from First Principles: Ch07 Practical Formal Verification of Distributed Systems

    The audio overview of ⁠the book⁠ "Distributed Computing from First Principles" by Kenneth Emeka Odoh.

Tout afficher (91)

À propos

AI generated audio overviews of public IT documents and open-license tech books. Created to help developers learn on the go or during daily chores. NotebookML is used to generate the content. You can also take a look at my telegram channel Today I Learned (https://t.me/+t7BfgHI_kIY2YzBi)

Informations

  • Création
    Pavel Voronin
  • Années d’activité
    2026
  • Épisodes
    91
  • Classification
    Tous publics
  • Copyright
    © Pavel Voronin
  • Site web de l’émission
    The Walking Dev