undefined min read
Automata and Compilers 10 - Semantic Analysis and Type Checking
How semantic analysis catches the errors that parsers cannot, and how type checking guarantees program safety
Lectures
All posts in the Lectures
undefined min read
Automata and Compilers 11 - Intermediate Representations and Optimization
Why compilers use intermediate representations and how optimization makes programs faster
undefined min read
Automata and Compilers 12 - Code Generation
How optimized intermediate representations become machine code, and a final look back from automata theory to compiler construction
undefined min read
Computer Architecture 01 - Overview
Core concepts of Von Neumann architecture and how CPU, memory, and buses work together
undefined min read
Computer Architecture 02 - CPU Internals
How the ALU, control unit, and datapath work together to execute instructions
undefined min read
Computer Architecture 03 - Instruction Set Architecture (ISA)
The role of ISAs, CISC vs RISC philosophy, and x86 versus ARM design differences
undefined min read
Computer Architecture 04 - Pipelining and Parallel Processing
Instruction pipelining, hazard handling, branch prediction, superscalar and out-of-order execution
undefined min read
Computer Architecture 05 - CPU Privilege Levels and Protection
Why CPUs distinguish privilege levels, and how x86 protection rings and ARM exception levels protect the system
undefined min read
Computer Architecture 06 - Interrupts and Exceptions
Why interrupts exist and how IDT, ISR, PIC/APIC work