Reading List

Updated: 09 August 2026

• Dr. Erik Meijer – Functional Programming Fundamentals
• YouTube @numberphile
• YouTube @Computerphile
• YouTube @OxfordMathematics
• YouTube @mitocw
• Formal and informal proofs, Milos Hauskrecht
• Sleeper agents: Training deceptive LLMs that persist through safety training
• The Mechanics of Proof