Designing Actor SystemsExplores the design principles of actor systems in reactive programming, covering topics like web clients, timeouts, and actor interactions.
Purely Functional Priority QueueCovers optimal purely functional priority queues, Scala implementation, Stainless integration, operations properties, and binomial queues.
Introduction to Jupyter ExercisesIntroduces Jupyter exercises on Differential Privacy, covering random generators, understanding data intrusion impact, and practical applications.