Covers the implementation and verification of encoder and decoder for prefix-free codes, including classes and types, lemmas on trees, and the main theorem.
Covers the basic concepts of object-oriented programming in Java, emphasizing encapsulation, abstraction, and the importance of organizing complex programs.
Explores functional reactive programming as a cleaner and more functional alternative to the traditional observer pattern, using signals to simplify complex observer hierarchies.
