5 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
5 min read
Automata and Compilers 11 - Intermediate Representations and Optimization
Why compilers use intermediate representations and how optimization makes programs faster
6 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
4 min read
Computer Architecture 01 - Overview
Core concepts of Von Neumann architecture and how CPU, memory, and buses work together
6 min read
Computer Architecture 02 - CPU Internals
How the ALU, control unit, and datapath work together to execute instructions
6 min read
Computer Architecture 03 - Instruction Set Architecture (ISA)
The role of ISAs, CISC vs RISC philosophy, and x86 versus ARM design differences
7 min read
Computer Architecture 04 - Pipelining and Parallel Processing
Instruction pipelining, hazard handling, branch prediction, superscalar and out-of-order execution
7 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
7 min read
Computer Architecture 06 - Interrupts and Exceptions
Why interrupts exist and how IDT, ISR, PIC/APIC work