1. 2

    FWIW: https://github.com/lemmy/lets-prove-blocking-queue/ is the sequel to Let’s Prove Leftpad with a focus on concurrency.

    1. 2

      Private video.

      1. 3

        Video has been made public.

      1. 13
        1. 2

          Thanks, this inspired me to start learning TLA+ (in addition to my previous PlusCal experience) from Lamport’s video series!

          (It includes PDF script/slides.)