Lectures related to Optimization and Templates

Generic Programming: Templates

Covers generic programming in C++ through templates for classes and functions, showcasing examples and discussing specialization and separate compilation.

Generic Programming: Templates

Covers generic programming using templates in C++, including declaration, instantiation, specialization, and practical examples.

Abstract Data Structures in C++

Covers procedural and object-oriented programming, abstract data structures, templates, and the C++ standard library.

Functors and Adjunctions

Explores functors between categories and the conditions for left and right adjoints.

Adjunctions and Functor Categories: Exploring Connections

Covers adjunctions and functor categories, emphasizing their significance in category theory and applications in deep learning.

Natural Transformations: Functors and Categories

Explores functors, natural transformations, and the theory of groups, emphasizing the importance of comparisons and structure preservation.

Natural Transformations: Examples and Applications

Explores natural transformations between functors in different categories and their applications.

VLIW Architectures: Compilers and Instruction Level Parallelism

Covers VLIW architectures and compilers, focusing on instruction level parallelism and optimization techniques.

Natural Transformations

Explores natural transformations between functors, emphasizing their composition-preserving properties and significance in category theory.

Adjunctions: Constructing Desired Adjoints

Explores constructing desired adjoints in specific categories like Set.

Natural Transformations in Algebra

Explores natural transformations in algebra, defining functors and isomorphisms.

Templates: Programming Concepts

Introduces templates in programming, covering functions, classes, type matching, and meta-programming.

Adjunctions and Limits: Exploring Functors and Co-limits

Covers adjunctions and limits, focusing on functors, co-limits, and their applications in category theory.

Categories and Functors

Explores building categories from graphs and the encoding of information by functors.

Categories and Functors

Covers categories, functors, and presheaf categories, exploring the relationships between objects and morphisms.

Introduction to Category Theory: Functors

Covers the concept of functors in category theory, including composition, identity functors, and forgotten functors.

Functors: Categories, Functors, and Natural Transformations

Introduces functors, including identity and forgetful functors, and explores duality functors.

Group Actions: Equivariance and Functors

Explores equivariance in group actions and functors, demonstrating its importance in group theory.

Functor Categories Composition and Induced Functors

Explores composition of functors, induced functors, and preservation of commutative diagrams in category theory.

Rescuing Data Center Processors

Explores challenges and solutions for data center processors, focusing on efficiency, cache issues, branch prediction, and architectural optimizations.