Formal & Physical Sciences Computing & CybersecurityENComputers – David Pye’s 1985 Christmas Lectures 6/6David PyeSeptember 9, 2025 58 min★ ★ ★ ★ ☆ 4/5History of ComputingComputer ArchitectureBinary Code
Humanities, Social Sciences & Thought Computing & CybersecurityENThe pre-history of automated reasoningRichard ZachMay 21, 2023 129 min★ ★ ★ ★ ★ 5/5History of LogicAutomated ReasoningTheorem Proving
