Formal verification and type systems - how do they relate?  Niki Vazou is on a mission to bring better formal verification to the masses.

Niki is the creator of Liquid Haskell, a system that extends Haskell to support refinements.  She has also worked on refinement types in Ruby and explained refinement types to scala community at various conferences, but her heart lies with the haskell community. We talk about refinement types, theorem proving, formal verification, SMT solvers, and working with GHC.

Refinement Types and Liquid Haskell With Niki Vazou

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

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   

Story - Code as a Lifeline: Brain Injury Sparks Python Mastery

From the early days of exploring creative possibilities on a 486 computer in his childhood to developing one of today's most popular web frameworks, Evan You's journey is a tale of passion and innovation.    Evan started Vue.js while working at Google, just wanting to scratch his own itch for a lightweight JavaScript framework. But soon Vue started to gain a huge following.  Eventually Evan then faced a tough dilemma - should he take a leap of faith and devote himself fully to his fledgling open source project? Hear Evan's firsthand story of that key career transition. How the explosive user feedback at Vue conferences gave him confidence. But also the challenges he faced by putting himself directly in the line of fire from unhappy users. It's an inspiring journey - from a developer just trying to solve his own problems to the leader of one of today's most popular web frameworks. Hear the very human story behind Vue.js.  Episode Page Support The Show Subscribe To The Podcast Join The Newsletter   

Refinement Types and Liquid Haskell With Niki Vazou

Download our free app to listen on your phone