Total Functions: How and WhyExplores hash table efficiency, total functions in code modeling, and well-founded relations for recursive function termination.
Undecidability: Part 1Introduces undecidability in recursive languages and Turing machines, showing languages without algorithmic recognition.
Safe Mutation in PracticeExplores safe mutation in functional programming through lazy evaluation, object invariants, and efficient caching functions.
