Archive for Miguel's Personal Website
- OSSU Blog 1 - Progress Update from October 18, 2025 until January 24, 2026
- Systematic Program Design: TA Solver Project
- Intro to CS: Lecture 26 (Final Lecture) - List Access, Hashing, Simulations, and Wrap-Up
- Intro to CS: Lecture 25 - Plotting
- Intro to CS: Problem Set 5
- Intro to CS: Lecture 23 - Complexity Classes Examples
- Intro to CS: Lecture 24 - Sorting Algorithms
- Systematic Program Design: Week 11 (Final Week) - Graphs
- Intro to CS: Lecture 21 - Timing Programs, Counting Operations
- Intro to CS: Lecture 22 - Big Oh and Theta
- Intro to CS: Problem Set 4
- Intro to CS: Lecture 20 - Fitness Tracker OOP Example
- Math for CS: Problem Set 4 Thoughts
- Intro to CS: Lecture 19 - Inheritance
- Systematic Program Design: Week 10 - Accumulators
- Intro to CS: Lecture 18 - More Python Class Methods
- Intro to CS: Lecture 17 - Python Classes
- Intro to CS: Lecture 16 - Recursion on Non-Numerics
- Systematic Program Design: Week 9b - Search
- Math for CS: Infinite Sets
- Intro to CS: Lecture 15 - Recursion
- Math for CS: Recursive Definition
- Intro to CS: Problem Set 3
- Systematic Program Design: Week 9a - Generative Recursion
- Intro to CS: Lecture 14 - Dictionaries
- Intro to CS: Lecture 13 - Exceptions, Assertions
- Math for CS: State Machines -- Invariants
- Intro to CS: Lecture 12 - List comprehension, functions as objects, testing, debugging
- Intro to CS: Lecture 11 - Aliasing, Cloning
- Systematic Program Design: Week 8 - Abstraction
- Math for CS: Problem Set 3 Thoughts
- Intro to CS: Problem Set 2
- Systematic Program Design: Week 7b - Local
- Systematic Program Design: Week 7a - Two One-of Types
- Math for CS: Induction
- Intro to CS: Lecture 10 - Lists, Mutability
- Math for CS: Binary Relations
- Intro to CS: Lecture 9 - Lambda functions, Tuples, and Lists
- Intro to CS: Lecture 8 - Functions as Objects
- Intro to CS: Lecture 7 - Decomposition, Abstraction, Functions
- Intro to CS: Lecture 6 - Bisection search
- Math for CS: Problem Set 2 Thoughts
- Math for CS: Sets
- Intro to CS: Lecture 5 - Floats and Approximation Methods
- Intro to CS: Problem Set 1
- Intro to CS: Lecture 4 - Loops over strings, guess-and-check, and binary
- Intro to CS: Lecture 3 - Iteration
- Intro to CS: Lecture 2 - Strings, Input/Output, Branching
- Intro to CS: Lecture 1 - Introduction
- Taking a new course - Intro to CS and Programming using Python
- Systematic Program Design: Week 6b - Mutual Reference
- New blog category: Meta-learning
- Systematic Program Design: Space Invaders Project
- Math for CS: Problem Set 1 Reflection
- Systematic Program Design: Week 6a - Binary Search Trees
- Math for CS: Quantifiers and Predicate Logic
- Systematic Program Design: Week 5 - Naturals and Helpers
- Math for CS: Logic and Propositions
- Math for CS: Well Ordering Principle
- Math for CS: Proof Methods
- Math for CS: Intro to Proofs
- Why I'm revisiting software fundamentals and my learning plan
- New blog - my thoughts