152: Embracing Mathematics with Philip Wadler

49:32
 
Share
 

Manage episode 244492757 series 2494326
By Mandy Moore. Discovered by Player FM and our community — copyright is owned by the publisher, not Player FM, and audio is streamed directly from their servers. Hit the Subscribe button to track updates in Player FM, or paste the feed URL into other podcast apps.

02:35 - Philip’s Superpower: Being Not Afraid of Mathematics

04:07 - Programming Language Foundations in Agda

Propositions as Types

Isomorphism

Software Foundations by Benjamin C. Pierce

The Coq Proof Assistant

15:32 - Using a Proof Assistant

22:57 - Human Creativity + Insight

QuickCheck

CompCert

30:02 - Specifications

Use of Formal Methods at Amazon Web Services

The Evolution of Testing Methodology at AWS: From Status Quo to Formal Methods with TLA+

How Amazon web services uses formal methods

35:25 - How To Translate Abstract Concepts So Practitioners Can Use Them

Reflections:

Rein: The way we are taught math makes us hate it.

Jess: There’s a difference between learning the foundations of programming and learning the skills of programming

Chanté: How do we make conversations like this more accessible?

Jacob: Ways of getting quick and seamless feedback as you are writing a program.

Joint Cognitive Systems: Foundations of Cognitive Systems Engineering

This episode was brought to you by @therubyrep of DevReps, LLC. To pledge your support and to join our awesome Slack community, visit patreon.com/greaterthancode

To make a one-time donation so that we can continue to bring you more content and transcripts like this, please do so at paypal.me/devreps. You will also get an invitation to our Slack community this way as well.

Amazon links may be affiliate links, which means you’re supporting the show when you purchase our recommendations. Thanks!

Special Guest: Philip Wadler.

Sponsored By:

Support Greater Than Code

160 episodes