| Date | Cliff | ||
|---|---|---|---|
| 28 May, 2024 | Intro | Slides: Link Notes: Link |
|
| Property Based Testing | Slides: Link Notes: Link |
||
| 29 May, 2024 | Python Basics | Slides: Link Notes: Link |
|
| 31 May, 2024 | Lambdas | Slides: Link Notes: Link |
|
| 3 Jun, 2024 | Regular Expressions | Slides: Link Notes: Link |
|
| FSM | Slides: Link Notes: Link |
||
| 5 Jun, 2024 | NFA and DFA | Slides: Link | Same notes as last time |
| 10 Jun, 2024 | Grammars | Slides: Link Notes: Link |
|
| 12 Jun, 2024 | OCaml | Slides: Link Notes: Link |
|
| OCaml HOF | Slides: Link Notes: Link |
Notes same as Python HOF but use OCaml Language | |
| 17 Jun, 2024 | Opsem | Slides: Link Notes: Link |
Slides include Lambda Calc. Ignore |
| 21 Jun, 2024 | Lambda Calculus | Slides: Link Notes: Link |
|
| 24 Jun, 2024 | interpreters (pt1) | Slides: Link Notes: Link |
|
| 26 Jun, 2024 | Interpreters (pt2) | Notes: Link | |
| 28 Jun, 2024 | Garbage Collection | Notes: Link | |
| 1 Jul, 2024 | Rust Intro | Slides: Link Notes: Link |
Chapter 3 of https://doc.rust-lang.org/book |
| 3 Jul, 2024 | Rust Ownership and References | Chapter 4 of https://doc.rust-lang.org/book/ | |
| 8 Jul, 2024 | Rust Data Structs | Slides: Link | Chps 5,6 and 10 of https://doc.rust-lang.org/book/ |
| 12 Jul, 2024 | Security | Slides: Link | |