For a long time, tech culture has focused too narrowly on technical skills; this has resulted in a tech community that too often puts companies and code over people. Greater Than Code is a podcast that invites the voices of people who are not heard from enough in tech: women, people of color, trans and/or queer folks, to talk about the human side of software development and technology. Greater Than Code is providing a vital platform for these conversations, and developing new ideas of what it means to be a technologist beyond just the code. Featuring an ongoing panel of racially and gender diverse tech panelists, the majority of podcast guests so far have been women in tech! We’ve covered topics including imposter syndrome, mental illness, sexuality, unconscious bias and social justice. We also have a major focus on skill sets that tech too often devalues, like team-building, hiring, community organizing, mentorship and empathy. Each episode also includes a transcript. We have an active Slack community that members can join by pledging as little as $1 per month via Patreon. (https://www.patreon.com/greaterthancode)
152: Embracing Mathematics with Philip Wadler
02:35 - Philip’s Superpower: Being Not Afraid of Mathematics
04:07 - Programming Language Foundations in Agda
Software Foundations by Benjamin C. Pierce
15:32 - Using a Proof Assistant
22:57 - Human Creativity + Insight
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:
- PagerDuty: This episode is brought to you by PagerDuty. In an always-on world, teams trust PagerDuty to help them deliver a perfect digital experience to their customers every time. With PagerDuty, teams spend less time reacting to incidents and more time building for the future. From digital disruptors to Fortune 500 companies, over 12,000 businesses rely on PagerDuty to identify issues and opportunities in real time and bring together the right people to fix problems faster and prevent them from happening again. We’re like the central nervous system for a company’s digital operations. We can analyze digital signals from virtually any software enabled system, and help you intelligently pinpoint issues like outages, as well as capitalize on opportunities, while empowering teams to take the right, real time action. To see how companies like GE, Vodafone, Box and American Eagle Outfitters rely on PagerDuty to continuously improve their digital operations visit PagerDuty.com.