Protocols in Akka TypedExplores protocols in Akka Typed, typing actors to restrict message types and modeling protocols with algebraic data types.
Akka Typed FacilitiesCovers Akka Typed Facilities for programming reactive systems, focusing on modeling protocols and implementing type-safe service discovery.
Types in Lambda CalculusCovers types in lambda calculus, including defining types, specifying rules, and proving soundness.
Python Programming BasicsCovers the basics of Python programming, focusing on flow control structures, interactive mode, script mode, and variables.
Types and Inductive RelationsDiscusses the importance of types, unsound type systems, and inductively defined relations for a small language's type system.
Types: Data RepresentationExplores data types in C/Arduino microcontroller programming, covering boolean, byte, char, word, arrays, and memory allocation.
Enums: Pure DataCovers enums as a shorthand for case class hierarchies, focusing on modeling pure data.
