Lectures related to Nim (programming language)

Covers inheritance, polymorphism, and casting in object-oriented programming, emphasizing code factorization and generic object manipulation.

Covers the basics of object-oriented programming in Python, including objects, classes, inheritance, and input/output handling.

Explains the essential concepts of functions in C programming, including definitions, prototypes, and argument passing techniques.

Covers the design, implementation, and formal verification of distributed systems, focusing on verifiable distributed systems and organizations.

Explores method dispatch optimization in object-oriented languages, focusing on inline caching and membership tests.