The Walking Dev

Pavel Voronin
  • 0.0 (0)
  • Technology
  • Updated Weekly

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

    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. 2d ago

    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. 5d ago

    Sagas by Hector Garcia-Molina and Kenneth Salem

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

  4. Aug 21

    Microsoft Agent Framework

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

  5. Aug 17

    Life Beyond Distributed Transactions by Pat Helland

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

  6. Aug 16

    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. Aug 8

    Distributed Computing from First Principles: Ch08 - Miscellaneous

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

  8. Aug 7

    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.

See All (91)

About

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)

Information

  • Creator
    Pavel Voronin
  • Years Active
    2026
  • Episodes
    91
  • Rating
    Clean
  • Copyright
    © Pavel Voronin
  • Show Website
    The Walking Dev