02:35 - Philip’s Superpower: Being Not Afraid of Mathematics
04:07 - Programming Language Foundations in Agda (https://plfa.github.io/)
Propositions as Types (https://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf)
Isomorphism (https://en.wikipedia.org/wiki/Isomorphism)
Software Foundations by Benjamin C. Pierce (https://www.goodreads.com/book/show/13413455-software-foundations)
The Coq Proof Assistant (https://coq.inria.fr/)
15:32 - Using a Proof Assistant
22:57 - Human Creativity + Insight
QuickCheck (http://hackage.haskell.org/package/QuickCheck)
CompCert (http://compcert.inria.fr/)
30:02 - Specifications
Use of Formal Methods at Amazon Web Services (https://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf)
The Evolution of Testing Methodology at AWS: From Status Quo to Formal Methods with TLA+ (https://www.infoq.com/presentations/aws-testing-tla/)
How Amazon web services uses formal methods (https://dl.acm.org/citation.cfm?id=2699417)
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 (https://www.amazon.com/Joint-Cognitive-Systems-Foundations-Engineering/dp/0849328217)
This episode was brought to you by @therubyrep (https://twitter.com/therubyrep) of DevReps, LLC (http://www.devreps.com/). To pledge your support and to join our awesome Slack community, visit patreon.com/greaterthancode (https://www.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 (https://www.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.
