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 дн. тому

    Mathematical Foundations of Formalized Software Verification

    The overview of the Software Foundations books series.

  2. 27 серп.

    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

  3. 26 серп.

    An Equational Theory for Transactions

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

  4. 23 серп.

    Sagas by Hector Garcia-Molina and Kenneth Salem

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

  5. 21 серп.

    Microsoft Agent Framework

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

  6. 17 серп.

    Life Beyond Distributed Transactions by Pat Helland

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

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

  8. 8 серп.

    Distributed Computing from First Principles: Ch08 - Miscellaneous

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

Переглянути всі (92)

Опис

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)

Інформація

  • Автор
    Pavel Voronin
  • Роки діяльності
    2026
  • Епізоди
    92
  • Категорія
    Відверто
  • Авторське право
    © Pavel Voronin
  • Вебсайт шоу
    The Walking Dev