Designing Actor SystemsExplores the design principles of actor systems in reactive programming, covering topics like web clients, timeouts, and actor interactions.
Designing Actor SystemsCovers the principles of designing actor systems for reactive programming and explores practical examples like the Link Checker system.
Water Consumption in GenevaExplores water consumption data in Geneva, including charts on consumption and losses, available datasets, and data processing phases.
Polymorphism and ProofsCovers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.
