Q.E.D. Code

Q.E.D. Code

Michael L Perry

Share:
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
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
Episodes (19)
Newest to Oldest
Sort Episodes:

QED 19: Dependency Tracki...

24 Oct 2016 | 17 mins 21 secs

QED 19: Dependency T...

24 Oct 2016 | 17 mins 21 secs

Q.E.D. 18: Paxos

19 Sep 2016 | 16 mins 49 secs

Q.E.D. 18: Paxos

19 Sep 2016 | 16 mins 49 secs

QED 17: Pythagoras

27 Aug 2016 | 16 mins 42 secs

QED 17: Pythagoras

27 Aug 2016 | 16 mins 42 secs

QED 16: Elements

15 Aug 2016 | 17 mins 42 secs

QED 16: Elements

15 Aug 2016 | 17 mins 42 secs

QED 15: The Y Combinator

16 Jul 2016 | 19 mins 42 secs

QED 15: The Y Combin...

16 Jul 2016 | 19 mins 42 secs

QED 14: Equivocation

02 Jul 2016 | 16 mins 32 secs

QED 14: Equivocation

02 Jul 2016 | 16 mins 32 secs

QED 13: The First Program

18 Jun 2016 | 19 mins 15 secs

QED 13: The First Pr...

18 Jun 2016 | 19 mins 15 secs

QED 12: Difference Engine

20 Jul 2015 | 17 mins 24 secs

QED 12: Difference E...

20 Jul 2015 | 17 mins 24 secs

QED 11: The Lambda Calcul...

26 Mar 2015 | 17 mins 18 secs

QED 11: The Lambda C...

26 Mar 2015 | 17 mins 18 secs

QED 10: The Two Generals ...

09 Mar 2015 | 13 mins 48 secs

QED 10: The Two Gene...

09 Mar 2015 | 13 mins 48 secs

QED 9: The CAP Theorem

12 Jan 2015 | 14 mins 56 secs

QED 9: The CAP Theor...

12 Jan 2015 | 14 mins 56 secs

Q.E.D. 8: Constructabilit...

28 Dec 2014 | 15 mins 17 secs

Q.E.D. 8: Constructa...

28 Dec 2014 | 15 mins 17 secs

QED 7: Topological Orderi...

14 Dec 2014 | 15 mins 14 secs

QED 7: Topological O...

14 Dec 2014 | 15 mins 14 secs

Partial Order

03 Dec 2014 | 14 mins 59 secs

Partial Order

03 Dec 2014 | 14 mins 59 secs

Q.E.D. 5: Fields and Prop...

26 Oct 2014 | 16 mins 27 secs

Q.E.D. 5: Fields and...

26 Oct 2014 | 16 mins 27 secs