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.
Rhythmic Generation TechniquesCovers rhythm generation techniques, including Markov models and hierarchical rhythm generation, with a focus on Nancarrow's Study 14.
Parsing: CYK AlgorithmExplores formal grammars, parsing algorithms, CYK algorithm efficiency, and syntactic correctness in Natural Language Processing.