Lectures related to Abstraction (mathematics)

Explores challenges in code volume, complexity, and metaprogramming queries over code.

Covers effective altruism in AI safety, focusing on programming semantics and memory management.

Covers the importance and challenges of operating systems, their omnipresence, impact on programs, and role as illusionists and referees.