Q.E.D. Code's profile picture

Q.E.D. Code

Explore the intersection between software and mathematics. Michael L Perry takes you on a journey through the history of computing, information theory, cryptography, distributed systems, and everywhere else that math has influenced technology. Not only will you dive into math papers, but you'll also learn valuable programming techniques that you can apply in any language.

Code Erat Demonstrandum

All shows

Sort by
QED 19: Dependency Tracking
Q.E.D. 18: Paxos
QED 17: Pythagoras
QED 16: Elements
QED 15: The Y Combinator
QED 14: Equivocation
QED 13: The First Program
QED 12: Difference Engine
QED 11: The Lambda Calculus
Q.E.D. 8: Constructability
Content is loading...loading logo