Designing Actor SystemsCovers the principles of designing actor systems for reactive programming and explores practical examples like the Link Checker system.
Verifying Programs with StainlessExplores the verification of programs using Stainless, focusing on functional correctness, proof assistants, and automation of reasoning tasks.
Safe Mutation in PracticeExplores safe mutation in functional programming through lazy evaluation, object invariants, and efficient caching functions.
A Closer Look at ListsCovers list construction, methods, and implementations, including exercises and complexity analysis.
Designing Actor SystemsExplores the design principles of actor systems in reactive programming, covering topics like web clients, timeouts, and actor interactions.
Introduction to Jupyter ExercisesIntroduces Jupyter exercises on Differential Privacy, covering random generators, understanding data intrusion impact, and practical applications.
