In todays interview Stephanie Weirich explains her efforts to make haskell have dependant types and how that example worked.

015 - Dependant Types in Haskell with Stephanie Weirich

The stories and people behind the code.  Hear stories of software development from interesting people.

Tech News

Technology

Education

Training

Language Courses

Higher Education

K-12

Educational Technology

News

How To

What if the tools you trust were actually betraying you? Join us for a riveting story where a team of software developers discovers that their compiler is compromised. What starts as suspicion of a simple bug quickly escalates into the alarming realization.   In this 100th episode celebration past show regulars Don and Krystal join Adam lend their voice to this work of fiction about the limits of trust in computing from Lawrence Kesteloot.   Join us in as we peel back the layers of trust in the software we rely on daily and celebrate our 100th episode.  Episode Page Support The Show Subscribe To The Podcast Join The Newsletter   

Story: Coding Machines

Meet Mick West, whose career began in an unusual office setup — sandwiched between a kebab shop and a phone sex hotline. From there he worked all over Manchester, making computer games for Tiertex and Ocean.    Career opportunies brought him to California and to his own game dev company, Neversoft. At Neversoft, navigating team growth and tight deadlines, Mick played a key role in creating "Tony Hawk's Pro Skater." This wasn't just another game; it was a huge hit and secured Mick's legacy in the gaming world.   Join us as we explore Mick West's journey from a quirky start to the heights of video game innovation and beyond. Discover the resilience, adaptability, and teamwork that fueled his success and how he continues to explore new horizons. How did he tackle the technical challenges that came his way, and what can we learn from his relentless pursuit of the next big thing?  Episode Page Support The Show Subscribe To The Podcast Join The Newsletter   

Story: Code, Kickflips and Crunch Time - Mick West's Neversoft Journey

What if your dedication to doing things right clashed with your company’s fast pace? Chris Krycho faced this very question at LinkedIn. His journey was marked by challenges: from the nuances of remote work to the struggle of influencing company culture, and a critical incident that put his principles to the test against the company’s push for speed. Chris’s story highlights the tension between the need for innovation and the importance of project health. This all led Chris to a pivotal decision: to stay and compromise his beliefs or to leave in pursuit of work that aligned with his principles. He chose the latter. Join us as we dive into Chris’s compelling story, exploring the challenges of advocating for principled engineering in a world that often prioritizes quick wins over long-term value.  Episode Page Support The Show Subscribe To The Podcast Join The Newsletter Chris's Personal Website   

Story: Leaving LinkedIn - Choosing Engineering Excellence Over Expediency

Greg Wilson has been on a decades-long quest to transform how we teach and talk about software design. From getting rejections for using the term “beautiful code,” to empowering scientists through workshops on Python and Unix, Greg has pushed to bridge the gap between theory and practice. Join us as Greg shares his failures and epiphanies along the way. You’ll hear how he revolutionized research computing by showing physicists the power of profilers. How he taught grad students the elegance of shell scripts. And how he’s crusaded to create a shared language to discuss software architecture with the nuance of true craftsmanship. Greg’s captivating journey reveals that with perseverance and the right examples, we can elevate software design discussion to an art form. But that we’ve got a long way to go. You’ll come away enlightened and eager to level up your own understanding of software design.  Episode Page Support The Show Subscribe To The Podcast Join The Newsletter   

Story: Beautiful Code - Inside Greg Wilson's Vision for Software Design

What if your dreams were suddenly ripped away? What if your talents vanished, your passions erased? That's what happened to Jason McDonald when a traumatic brain injury at 16 ravaged his planned destiny of becoming a doctor. Jason painfully rebuilt his ind and body from scratch - relearning to read, write, even speak.   A serendipitous discovery of coding ignited a new passion within Jason. He dove into the world of Python, even writing a popular programming book. His is a story of the incredible resilience of the human spirit when faced with life-altering challenges. One that calls us to embrace our own vulnerabilities as gateways to growth.  Episode Page Support The Show Subscribe To The Podcast Join The Newsletter   

015 - Dependant Types in Haskell with Stephanie Weirich

Download our free app to listen on your phone