watchlist.md

YouTube

Sometimes I watch YouTube videos on various software engineering topics to reinforce concepts encountered in other contexts and/or to pick up a new trick here and there.

Notes taken here are likely to be very sparse - this is intended to be a relatively low-key extracurricular study activity to kill time on the elliptical. In the spirit of the Dokugaku project, I mostly just want to keep a record of which videos I have watched so far.

Contents

• Abdul Bari Algorithms
• Discrete Math
• Rust

Abdul Bari Algorithms

A well-regarded playlist on algorithms (link).

Started: 2022/01/27

Finished:

Watch Records / Notes

• 2022/01/27: 1.0 Introduction to Algorithms
• 2022/01/27: 1.1 Priori Analysis and Posteriori Testing
• 2022/01/27: 1.2 Characteristics of Algorithm
• 2022/01/27: 1.3 How Write and Analyze Algorithm
• 2022/01/30: 1.4 Frequency Count Method
• 2022/01/30: 1.5.1 Time Complexity #1
• 2022/01/30: 1.5.2 Time Complexity Example #2
• 2022/01/30: 1.5.3 Time Complexity of While and if #3
• 2022/01/31: 1.6 Classes of functions
• 2022/01/31: 1.7 Compare Class of Functions
• 2022/01/31: 1.8.1 Asymptotic Notations Big Oh - Omega - Theta #1
• 2022/01/31: 1.8.2 Asymptotic Notations - Big Oh - Omega - Theta #2
• 2022/01/31: 1.9 Properties of Asymptotic Notations
• 2022/01/31: 1.10.1 Comparison of Functions #1
• 2022/02/03: 1.10.2 Comparison of Functions #2
• 2022/02/03: 1.11 Best Worst and Average Case Analysis
• 2022/02/03: 1.12 Disjoint Sets Data Structure - Weighted Union and Collapsing Find
• 2022/02/03: 2 Divide And Conquer
• 2022/02/04: 2.1.1 Recurrence Relation (T(n)= T(n-1) + 1) #1
• 2022/02/04: 2.1.2 Recurrence Relation (T(n)= T(n-1) + n) #2
• 2022/02/04: 2.1.3 Recurrence Relation (T(n)= T(n-1) + log n) #3
• 2022/02/04: 2.1.4 Recurrence Relation T(n)=2 T(n-1)+1 #4
• 2022/02/04: 2.2 Masters Theorem Decreasing Function

Discrete Math

Logical Connectives and Compound Propositions

• 2022/08/22: Truth Tables and Logical Connectives
• 2022/08/22: Truth Table for Compound Statements
• 2022/08/22: Truth Tables - Tautology and Contradiction
• 2022/08/22: Truth Table 3 statements
• 2022/08/22: Logic 1 - Propositons, Connectives & Truth Tables
• 2022/08/22: Proof and Problem Solving - Logical Connectives Example 01
• 2022/08/22: Logic 101 (#4): Representing Simple Sentences
• 2022/08/22: BM2. Logical Equivalence
• 2022/08/22: Logical equivalence without truth tables

Predicates and Quantifiers

• 2022/09/08: Section 1.4 (PART 1) Predicates and Propositional Functions
• 2022/09/08: Discrete Math 1 - Tutorial 41 - Quantifiers, Negation and Examples
• 2022/09/08: Discrete Math 1 - Tutorial 42 - Quantifiers Quiz
• 2022/09/08: Quantifiers and their Negations
• 2022/09/08: Negating quantified statements (Screencast 2.4.2)
• 2022/09/08: Rules of inference

Sets and Set Operations

• 2022/09/13: Introduction to Set-Builder Notation 127-1.16
• 2022/09/13: Subset, strict subset, and superset | Probability and Statistics | Khan Academy
• 2022/09/13: Discrete Mathematics (OLD) Subsets and Power Sets
• 2022/09/13: Intersection and union of sets | Probability and Statistics | Khan Academy
• 2022/09/13: Relative complement or difference between sets | Probability and Statistics | Khan Academy
• 2022/09/13: Venn Diagrams: Shading Regions for Two Sets
• 2022/09/13: 2.3 Set Operations and Cartesian Products A (part 1)
• 2022/09/13: De Morgan's Laws

Styles of Proof

• 2022/09/17: Intro to Direct Proofs
• 2022/09/17: Proof and Problem Solving - Direct Proof Example 01
• 2022/09/17: Proof by contraposition (Screencast 3.2.1)
• 2022/09/17: Intro to Indirect Proofs
• 2022/09/17: Proof by contradiction, part 2 (Screencast 3.3.2)
• 2022/09/17: Proof by cases, part 1 (Screencast 3.4.1)
• 2022/09/17: MTH500 3.4 Proof by Cases
• 2022/09/17: Section 1.6, part 1 Constructive and nonconstructive proofs of existence results
• 2022/09/17: Counterexample

Relations

• 2022/09/28: What Are Symmetric Transitive and Anti Symmetric Relations (15:00)
• 2022/09/28: BM7. Binary Relations (23:45)
• 2022/09/28: Equivalence Relations (9:02)
• 2022/09/28: Equivalence Relations 2 (9:42)
• 2022/09/28: Equivalence relations (Screencast 7.2.2) (14:02)
• 2022/09/28: Equivalence Classes (5:23)

Functions

• 2022/10/05: Algebra Basics: What Are Functions? - Math Antics (11:33)
• 2022/10/05: One-to-One and Onto Functions (6:55)
• 2022/10/05: Function Composition (5:12)
• 2022/10/05: Floor and Ceiling Examples (4:59)

Sequences and Summation

• 2022/11/04: Arithmetic Sequences (7:36)
• 2022/11/04: Arithmetic Sequences: A Formula for the ' n - th ' Term (11:05)
• 2022/11/04: Finding the 100th term in a sequence (5:56)
• 2022/11/04: Finding the Sum of a Finite Arithmetic Series (9:55)
• 2022/11/04: A Quick Intro to Geometric Sequences (7:11)
• 2022/11/04: Geometric Sequences: A Formula for the nth Term , Part 1 (7:03)
• 2022/11/05: 9.1 Sequences and Series (36:36)
• 2022/11/05: Recursive Sequences (5:26)
• 2022/11/05: Explicit and Recursive Geometric Sequences (10:55)

Mathematical Induction

• 2022/12/07: Proof by Mathematical Induction (10:07)
• 2022/12/07: Proof by Induction - Example 2 (5:37)
• 2022/12/07: Mathematical Induction Examples (12:13)
• 2022/12/07: Proof by Induction - Example 3 (3:51)
• 2022/12/07: Proof by induction (9:22)
• 2022/12/07: Intro to Strong Induction (7:48)

Integers

• 2022/12/14: To identify properties of Integers (4:10)
• 2022/12/14: Divisibility - Discrete Mathematics (9:33)

GCD's and the Euclidean Algorithm

• 2022/12/24: Extended Euclidean Algorithm Example (14:49)
• 2022/12/24: BM10: Divisibility Properties of the Integers (25:24)
• 2022/12/24: BM10.1. The Euclidean Algorithm for the Integers (9:02)
• 2022/12/24: Write gcd(119,84) as a linear combination of 119 and 84 (13:24)
• 2022/12/24: Write gcd(123, 2347) as a linear combination of 123 and 2347 (19:49)

Fundamental Theorem of Arithmetic

• 2022/12/26: Number Theory - Fundamental Theorem of Arithmetic (8:47)
• 2022/12/26: The Euclidean Algorithm (GCD or GCF) (2:35)
• 2022/12/26: Diophantine Equation: ax+by=gcd(a,b) ← Number Theory (9:42)

Modular Arithmetic

• 2023/01/03: Lecture on Modulo Arithmetic Part 1 (5:34)
• 2023/01/03: Modular Arithmetic: Modulo Concept - Part 1 (17:56)
• 2023/01/03: Discrete Math Modular Exponentiation (9:13)
• 2023/01/03: Rule of Sum and Rule of Product (11:11)
• 2023/01/03: Discrete Math 2 - Tutorial 1 - Rule of Sum and Product (6:00)

Permutations and Combinations

• 2023/01/05: Permutations (10:10)
• 2023/01/05: Permutations Made Easy- Counting Using Permutations (10:30)
• 2023/01/05: Counting Principle, Permutations, and Combinations (24:40)
• 2023/01/05: Binomial Theorem (part 1) (12:37)
• 2023/01/05: Binomial Theorem (part 2)

Inclusion-Exclusion Counting

• 2023/01/06: Binomial theorem combinatorics connection (11:58)
• 2023/01/06: Arsdigita 02 (Discrete Mathematics) Lecture 3/20 (29:03)
• 2023/01/06: Discrete Math 2-Tutorial 13 - Example 1: Inclusion/Exlusion (9:53)
• 2023/01/06: Meep's Math Matters 8: The Pigeonhole Principle (9:40)
• 2023/01/06: Meep's Math Matters 9: Pigeonhole Principle Answers (9:41)
• 2023/01/06: Pigeon Hole Principle (TANTON Mathematics) (6:32)

Counting Using Recurrence Relations

• 2023/01/08: Recurrence Relations - Discrete Mathematics (15:24)
• 2023/01/08: Stair Climbing (3:28)
• 2023/01/08: Recursion Algorithm | Tower Of Hanoi - step by step guide (7:18)
• 2023/01/08: Towers of Hanoi: A Complete Recursive Visualization (21:12)

Rust

• 2022/12/13: Rust: Your code can be PERFECT RUST-1 (6:50)
• 2022/12/13: Rust makes you feel like a GENIUS RUST-2 (10:47)
• 2022/12/15: Rust: Turtles all the way down RUST-3 (11:20)
• 2022/12/15: Rust for the impatient (Learn Rust in 10 minutes) RUST-4 (10:42)
• 2022/12/15: Stop writing Rust (and go outside and play!) RUST-5 (9:40)
• 2022/12/15: Build your Rust lightsaber (my Rust toolkit recommendations) RUST-6 (11:50)
• 2022/12/16: Rust is not a faster horse (why Rust is different) RUST-7 (11:36)
• 2022/12/16: Building a space station in Rust (Simple Rust patterns) RUST-8 (8:36)
• 2022/12/16: Rust on Rails (write code that never crashes) RUST-9 (11:33)
• 2022/12/16: Rust & Wasm (Safe and fast web development) RUST-10 PART 1 (9:37)
• 2022/12/16: Rust makes cents (Speed is a FEATURE) RUST-11 (13:23)
• 2022/12/17: Web-native Rust apps (what will YOU build?) RUST-12 PART 2 (9:04)
• 2022/12/17: Rust Is Boring (WhyRust?) RUST-13 (10:36)
• 2022/12/18: The COMPILER teaches you! (Rust is Easy) RUST-14 (8:58)
• 2022/12/19: Is Rust the New King of Data Science? (15:38)
• 2022/12/20: Build a Rust Frontend (Really FAST Web Apps with Yew) (7:28)
• 2022/12/20: Rust Demystified Simplifying The Toughest Parts (14:05)
• 2022/12/21: Rust Powered Database SurrealDB (It's Pretty Ambitious) (11:28)
• 2022/12/21: Rust's Angel Data Types Box, Rc, Arc (11:54)
• 2022/12/23: Why would a python programmer learn rust when there are no jobs in it (23:09)
• 2022/12/24: Rust Out Your C by Carol (Nichols || Goulding) (18:56)
• 2022/12/24: Building on an unsafe foundation (35:35)
• 2022/12/24: Rust: A Language for the Next 40 Years - Carol Nichols (55:08)
• 2022/12/26: Is It Time to Rewrite the Operating System in Rust? (1:09:17)
• 2022/12/26: "NTFS really isn't that bad" - Robert Collins (LCA 2020) (48:03)
• 2022/12/28: Rust in 2024 (Niko Matsakis) (59:09)
• 2022/12/28: Ace Rust Macros the declarative kind (14:06)
• 2022/12/30: Mocking Rust and Testing (11:58)
• 2022/12/30: Rust Tests Itself (Kind of!) RUST-15 (11:40)
• 2023/01/02: A Case for Oxidation: The Rust Programming Language (38:28)
• 2023/01/05: RustConf 2018 - Opening Keynote (53:12)
• 2023/01/05: RustConf 2018 - Using Rust For Game Development (42:29)
• 2023/01/05: RustConf 2018 - Space, The Rusty Frontier by Ryan Plauche (32:08)
• 2023/01/06: RustConf 2018 - The Dark Secrets Lurking Inside cargo doc by Quiet Misdreavus (30:56)
• 2023/01/06: RustConf 2018 - Getting Something for Nothing by James Munns (30:45)
• 2023/01/06: A C++ Programmer's View on Rust (58:05)
• 2023/01/07: Rust for IOT (45:29)
• 2023/01/07: RustConf 2018 - Using Raft in Rust by Siddon Tang (21:28)
• 2023/01/07: RustConf 2018 - No Spaghetti: Designing for Understanding by Brandon W. Maister (31:04)
• 2023/01/07: RustConf 2018 - C2Rust: Migrating Legacy Code to Rust by Per Larsen (28:05)
• 2023/01/07: RustConf 2018 - Benchmarking and Optimization of Rust Libraries by Paul Mason (30:40)
• 2023/01/08: RustConf 2018: Integrating Rust into Tor: Successes and Challenges by Isis Lovecruft & Chelsea Komlo (29:52)
• 2023/01/08: RustConf 2018 - Writing Crates for Complete Beginners - A Tour of Turtle by Sunjay Varma (28:11)
• 2023/01/08: RustConf 2018 - Rust and the Web Platform: A Rookie’s Guide by Sarah Meyer (29:45)
• 2023/01/09: RustConf 2018 - My Little Procedural Macro by Chris Wong (25:59)
• 2023/01/10: RustConf 2018 - Project Mentat: a store for evolving data in Rust Delivered by Grisha Kruglov (27:56)
• 2023/03/20: Rust Powered Polymorphism With Traits
• 2023/03/23: C++ vs Rust: which is faster?
• 2023/05/16: Rust Data Modelling WITHOUT OOP