The definitive podcast about sailing. Professional sailors Andy Schell, Emma Garschagen, and August Sandberg interview sailors from around the world to discover what motivates, scares & inspires them. For over ten years and through 400+ episodes, our hosts have interviewed sailors like Dee Caffari, Sir Robin Knox-Johnston, Liz Clark, John Kretschmer, Kirsten Neuschafer & many, many more. We talk to boat builders, yacht designers, YouTube stars, performance racers, and many more. HOLD FAST!
…
continue reading
An accessible podcast about Type Theory, Programming Languages Research and related topics.
…
continue reading
"Blossom-ing U" podcast is a podcast dedicated to new female entrepreneurs in their 20s & 30s. I am your host, Mimi N Jain, your new business BFF, and personal cheerleader. I have made it my personal mission to help extraordinary women (like you) unlock their potential so they can build a wildly successful business and personal brand online. I believe EVERYONE has a message to share, and I love getting my brain on to help YOU find creative and unique ways to share yours. "Blossom-ing U" podc ...
…
continue reading
This is a monthly podcast brought to you by Messed Up Music, with the latest goings on in the Progressive House and Melodic Techno genre. Mixed by Chris Hover, Dj and Producer from Brighton UK, Chris Hover was born in Brighton, UK in 1977. He first got in to house music in his early teens when his fascination for dj-ing began! He then went on to dj-ing trance in most clubs in and around Brighton, becoming a resident at a night called PlayTime which was hosted at many venues including the inf ...
…
continue reading
Inspiration, motivation and laughter combine to make this podcast enjoyable! Mel of the With∞Mel and SinglehandedKnits blog shares her knitting, friend's who knit and enthusiasm for whatever the day may hold.
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Lydia Mullan // Seamanship & the Sinking of Alliance
1:23:42
1:23:42
Play later
Play later
Lists
Like
Liked
1:23:42
Lydia Mullan is a sailor, journalist, and on board reporter. She is the managing editor at Sail Magazine and was the social media manger behind Cole Brauer’s recent Global Solo Challenge campaign. She was aboard the vessel Alliance in this year’s Newport-Bermuda race when they struck an object and had to abandon ship in the Gulf Stream. In this epi…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
#41 The Value of PL (and) Education - Satnam Singh
1:40:57
1:40:57
Play later
Play later
Lists
Like
Liked
1:40:57
Satnam Singh has got incredible experience in both academia and industry. He has worked in Google, Facebook, Microsoft, Microsoft Research, Xilinx, etc. He has been a lecturer in Glasgow, Birmingham and University of California for a couple of years. He has worked with many interesting tools such Coq, Haskell, Verilog, Tensorflow. These days he wor…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Pam Wall & Peter Grimm // A Lifetime of Memories
1:12:58
1:12:58
Play later
Play later
Lists
Like
Liked
1:12:58
Friend of the podcast Pam Wall & our own Laura Parent do an ON THE WIND takeover this week to interview sailmaker and America's Cup sailor Peter Grimm! On an impromptu afternoon in Pam's living room, stories started flying and Pam said 'get the mics!' and this entertaining and charming episode was born! Big shout out to Pam & Laura for literally ru…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Nikki Henderson // 59º North Offshore Racing
48:25
48:25
Play later
Play later
Lists
Like
Liked
48:25
The RORC Caribbean 600 is one of the great offshore ocean races and in February we launched the 59º North offshore racing program with this as our debut event. The Whole Point? To try to open the door of offshore racing wider so that more people like you can get involved. In this episode Nikki has a chat with Alex to reminisce on trials and tribula…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Andy Schell // 10 Years of 59º North Sailing
1:33:50
1:33:50
Play later
Play later
Lists
Like
Liked
1:33:50
Andy Schell. We know him, we love him, he's the founder of this very podcast! And of course the co-founder of 59º North Sailing. In this episode, Emma turns the interview table around on Andy to ask him about this past decade of 59º North Sailing. A lot has changed from the early inspirations of starting the business to where Andy sits now, in Swed…
…
continue reading
The BELAFONTE is underway on a great, big sailing adventure, and August was lucky enough to meet her and her lovely crew, Julien and Pieter in Bergen. They were on their way North to Svalbard, and the three had many things to talk about. They recently made it to the high Arctic, and are sharing their considerable experiences on @Aboard_Belafonte on…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Ian Herbert-Jones, Part 2 // Ocean Globe Race
1:50:05
1:50:05
Play later
Play later
Lists
Like
Liked
1:50:05
Since his On The Wind debut on episode 359 two years ago, Ian Herbert-Jones has raced 28,000 miles and rounded Cape Horn twice. In this episode, he tells the story of him joining the Ocean Globe Race last minute at the start in Southampton, and chasing the circumnavigation that escaped him during his Golden Globe Race. -- If you liked this conversa…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Ian Herbert-Jones, Part 1 // Golden Globe Race
1:59:36
1:59:36
Play later
Play later
Lists
Like
Liked
1:59:36
Since his On The Wind debut on episode 359 two years ago, Ian Herbert-Jones has raced 28,000 miles and rounded Cape Horn twice! In this episode, he tells the story of his remarkable Golden Globe Race, from the last polishing of his boat at the start in France, to losing her to a storm in the South Atlantic. -- If you liked this conversation you'll …
…
continue reading
In this episode we go into a deep dive into the formal methods side of Voting systems, and for this nobody better than our guest: Joe Kiniry, A Principal Scientist at Galois, Principled CEO and Chief Scientist of Free & Fair, a Galois spin-out focused on high-assurance elections technologies and services. For the past 20 years Joe has worked tirele…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Emma Garschagen // From Apprentice to Entrepreneur
1:10:05
1:10:05
Play later
Play later
Lists
Like
Liked
1:10:05
Our own Emma Garschagen, co-host of ON THE WIND, former ICEBEAR & FALKEN First Mate and now entrepreneur joins me on todays show to talk about her evolution as a sailor since she joined 59º North. Emma started with us as an apprentice, took over as Chief First Mate for Mia when she was pregnant with Axel and has now gone on to start her own busines…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Matt Rutherford // Shootin' the Shit Onboard MARIE THARPE
1:07:38
1:07:38
Play later
Play later
Lists
Like
Liked
1:07:38
Friend of the podcast and legendary sailor Matt Rutherford returns to the show to shoot the shit aboard his schooner MARIE THARPE. Matt hosted a small gathering of friends in Annapolis back in April aboard his boat, and we got warmed up by getting out the mics and mixing it up at the salon table down below on a rainy, chilly day. Matt was sipping t…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
#39 Equality, Quotation, Bidirectional Type Checking - David Christiansen
1:49:42
1:49:42
Play later
Play later
Lists
Like
Liked
1:49:42
In this episode we continue our conversation with David Christiansen, he wrote the books Functional Programming in Lean and the Little Typer. He has also worked as the Executive Director of the Haskell Foundation, at Galois and did his PhD developing a bunch of cool stuff for Idris. In today’s episode we talk about the story behind writing The Litt…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
#38 Haskell, Lean, Idris, and the Art of Writing - David Christiansen
1:55:58
1:55:58
Play later
Play later
Lists
Like
Liked
1:55:58
In this episode we talk with David Christiansen, he wrote the books Functional Programming in Lean and the Little Typer. He has also worked as the Executive Director of the Haskell Foundation, at Galois and did his PhD developing a bunch of cool stuff for Idris. David is a super upbeat person and I feel that we could spend hundreds of hours talking…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Heather Thomas // MAIDEN Skipper & OGR Winner
1:13:21
1:13:21
Play later
Play later
Lists
Like
Liked
1:13:21
Skipper Heather Thomas recently won the inaugural Ocean Globe Race aboard the iconic yacht MAIDEN. The crew made history again by becoming the first all-female crew to win a round-the-world race! At 27, Heather was the youngest skipper in this race and one of two female skippers. Emma and Heather talked about leadership, confidence, navigation and …
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Kristoffer Appelquist // 'Över Atlanten' TV Show
1:14:31
1:14:31
Play later
Play later
Lists
Like
Liked
1:14:31
Comedian Kristoffer Appelquist returns to the podcast to talk about his first trans-Atlantic passage with the Swedish reality TV show 'Över Atlanten.' Now in it's 6th season, the show — which puts celebrities onboard a big Swan with Whitbread skipper Gunnar Kranz for an Atlantic crossing — has become a huge hit. Kristoffer, Mia and I talk about how…
…
continue reading
August Sandberg is the owner and skipper of our beloved Swan 48 ISBJØRN, which has sailed over 60,000 miles since the beginning of 59º North. August lives outside Bergen, Norway, where the boat is now based, and recently finished overseeing a second major refit, which we had done at Vindö Marin on the west coast of Sweden on the famed boatbuilding …
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Suzanne Heywood // Wavewalker: Breaking Free
1:06:18
1:06:18
Play later
Play later
Lists
Like
Liked
1:06:18
Suzanne Heywood was raised on a sailboat. What started as a three year circumnavigation with her family turned into a decade of living aboard, sailing, and struggling to get an education. Suzanne's book, 'Wavewalker,' tells the story of that voyage. In this episode, Emma and Suzanne talk about 'Wavewalker,' Suzanne's relationship to sailing now, an…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Alex Laline // Clipper Round The World Skipper
1:12:30
1:12:30
Play later
Play later
Lists
Like
Liked
1:12:30
Alex Laline is a lifelong sailor and one of our full-time staff at 59º North. Growing up in a multinational family, he sailed dinghies as a kid in the UK, Spain and Indonesia, then got inspired to sail around the world when he saw an ad for the Clipper Round the World Race. As a teenager he saved all his money and joined Clipper as a paying crewmem…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Lutz Kohne // Golden Globe Manager turned Racer
1:10:57
1:10:57
Play later
Play later
Lists
Like
Liked
1:10:57
Sailing was never a part of Lutz Kohne’s life growing up — it hit him square in the face as an adult, and completely changed his trajectory. He has since worked as a professional skipper, as Race Director for the OGR and the GGR, and he is now preparing to set sail himself, around the world, solo, retro and unassisted as a participant in the Golden…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Henry Mickel & Bayley Richardson // Sailing REVELRY Home to Oz
1:12:50
1:12:50
Play later
Play later
Lists
Like
Liked
1:12:50
Henry Mickle & Bayley Richardson are self-described "Mates from the Land Down Under", cruising around the world in an old Beneteau. These two twenty-something friends made a pact, worked their asses off, saved their money, bought a boat and are living the dream — figuring it out as they go, but with knowledge and experience earned from working prof…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Jojo Pickering // From the Sea to the Theatre & Back Again
57:39
57:39
Play later
Play later
Lists
Like
Liked
57:39
Jojo Pickering grew up with sailing as a central part of her life, vagabonding on the high seas with her family and sailing from Africa to the UK. As she got older, she spent more time ashore, starting a traveling theatre company with her husband and kids and bouncing around the UK, France and Spain. But the sea called her back — she recently compl…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Liz Wardley // A Sailor Smashing Records in the Worlds Toughest Row
1:02:37
1:02:37
Play later
Play later
Lists
Like
Liked
1:02:37
Sailor, kitesurfer, and paddler Liz Wardley returns to the show to talk with Emma about her record-breaking row across the Atlantic. She completed the World's Toughest Row at the end of January after 44 days at sea. She beat the previous record by 15 days. Liz has competed many times in The Ocean Race and was last on the podcast in 2019 when she wa…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Capt. Jennifer Kaye // Schooner WOODWIND & Trans-Atlantic on FALKEN
1:04:08
1:04:08
Play later
Play later
Lists
Like
Liked
1:04:08
Capt. Jen of Schooner WOODWIND returns to the podcast after having just sailed with Andy aboard FALKEN on the 2,100 mile passage across the Atlantic! Jen and Andy reflect on Jen's first big ocean crossing and what it was like to leave the wintry Chesapeake Bay for tropical Tradewind sailing. They also talk about challenges of running a small busine…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
#37 Compilers, Staging, Futamura Projections - Guannan Wei
1:53:20
1:53:20
Play later
Play later
Lists
Like
Liked
1:53:20
In this episode we talk with Guannan Wei, from Purdue University. Guannanfinished his PhD last year under Tiark Rompf, and is currently doing hisPost-Doc with Tiark. Guannan has worked on a plethora of differentcompilers topics, and in this conversation we will talk about Staging,Futamura Projections, Symbolic Execution, Compiler Applications in Sm…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Emily Caruso // Pro Sailor & Empathetic Leader
1:06:06
1:06:06
Play later
Play later
Lists
Like
Liked
1:06:06
Emily Caruso has spent 18 years and counting as a professional sailor, though only first learning about the sport in her late 20s. Growing up in the countryside in England, Emily had an epiphany one day during a weekend sailing excursion and hasn't looked back since. Andy & Emily sat down in person onboard FALKEN in Cape Verde to talk about her car…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Jens Joachim Hiorth // Tall Ship Captain
1:05:54
1:05:54
Play later
Play later
Lists
Like
Liked
1:05:54
Jens Joachim Hiorth is the Captain of the Statsraad Lehmkuhl, the largest and oldest tall ship in Norway. The ship recently completed a circumnaivation around the great capes. August joined the Captain onboard the ship for a conversation on the particulars of running such a large ship on the high seas. Website: https://lehmkuhl.no -- If you liked t…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Bill Strassberg // The Viking Route
1:18:23
1:18:23
Play later
Play later
Lists
Like
Liked
1:18:23
Bill Strassberg literally wrote the book on the Viking Route, authoring the latest edition of the Cruising Club of America's guide to the far northern route across the Atlantic. Andy first got in touch with Bill when researching FALKEN's Greenland passage last summer and caught up with him late last year for the podcast. We talked about Bill's cust…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Cosima Franchini // Yacht Captain & Business Owner
1:06:11
1:06:11
Play later
Play later
Lists
Like
Liked
1:06:11
Cosima grew up on the Puget Sound where her family nurtured a love of sailing and old classic boats. In college she worked on tall ships in the PNW but eventually she landed on the east coast where she found a community of friends who worked on private classic yachts. She spent her twenties pursuing positions and racing aboard big rig schooners and…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Matt Steverson // The Duracell Project
1:00:37
1:00:37
Play later
Play later
Lists
Like
Liked
1:00:37
Ben Doerr sat down with Matt from The Duracell Project YouTube channel. Matt and his wife Janni are refitting Mike Plant's famous Open 60 "Duracell" into a comfortable cruising boat. Sitting in the cockpit of Duracell outside of Port Townsend, Matt and Ben discuss Matt's cruising and boatbuilding past and the many challenges of building the boat an…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Capt. Jan Miles Returns // PRIDE OF BALTIMORE II
1:18:42
1:18:42
Play later
Play later
Lists
Like
Liked
1:18:42
Captain Jan Miles returns to the podcast! Andy first sat down with Jan onboard Maryland's flagship PRIDE OF BALTIMORE II tallship way back in 2015 for a fascinating interview tracing Jan's career at sea. We return to the Captain's Cabin onboard PRIDE for this second, meandering chat about seamanship, life on tallships, the leadership structure on t…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Elliot Rappaport // Reading the Glass
1:17:58
1:17:58
Play later
Play later
Lists
Like
Liked
1:17:58
Elliot Rappaport has been a captain of sailing ships for the past three decades. He currently is a faculty member at Maine Maritime Academy, where he lives nearby with his wife and their dog. Elliot also sailed as a captain for many miles with Sea Education Association, an organization that offers shipboard programs in ocean science and leadership …
…
continue reading
![Artwork](/static/images/128pixel.png)
1
#36 Behind the Person Behind this Podcast - Pedro Abreu
1:49:55
1:49:55
Play later
Play later
Lists
Like
Liked
1:49:55
In this episode we celebrate 3 years of existence of this podcast byreflecting on the journey so far, what is my philosophy, how do Iapproach the interviews, my overall goals for the show, and some of our plansfor the future. In order to achieve this, I first take a detour and tell you a little moreabout my personal history, and my carreer in type …
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Mats Grimsæth // Explorer and Photographer
1:12:25
1:12:25
Play later
Play later
Lists
Like
Liked
1:12:25
Mats Grimsæth is a professional skipper, photographer and lecturer. He’s the youngest person to ever skipper a boat around the island of Spitsbergen on Svalbard, which is where he first met August. He has a great passion for the sea and for his fellow human beings. Having had a difficult time in his teenage years, he’s now using his considerable en…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Wendy Mitman Clarke // SAIL Magazine Editor
59:42
59:42
Play later
Play later
Lists
Like
Liked
59:42
Wendy Mitman Clarke is the editor-in-chief at SAIL magazine and a long-time cruiser herself. I work with Wendy regularly as a columnist for SAIL, but had never actually sat down to talk about her own background. I caught up with her at the Annapolis Sailboat Show in October, and from the Captain's Cabin onboard the Pride of Baltimore II, we discuss…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Andy, Mia, Adam & Alex // FALKEN Season 1 Debrief
1:00:28
1:00:28
Play later
Play later
Lists
Like
Liked
1:00:28
Last week Mia, Bosun Adam Browne and Chief Mate Alex Laline and I sat down in the salon of FALKEN to reflect on what's been a busy, stressful and ultimately successful first season on our newly refit Farr 65. We've truly come a long way since one year ago this time, when we were scrambling to get the boat out of the shed, sea-trialled and out of th…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
#35 Teika, Self-Education and F***ing Floating Points - Eduardo Rafael
1:21:29
1:21:29
Play later
Play later
Lists
Like
Liked
1:21:29
In this episode we talk with Eduardo Rafael. He isself-thaught programming languages enthusiast, youtuber, twitch streamer,multi-skilled programmer that has worked in different aspects of computerscience such as PL, operating systems, blockchain, and many other stuff. Inthis conversation we talk about his experience as a developer and hacker thatdi…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Paul & Sheryl Shard // Distant Shores & the OG YouTubers
1:08:27
1:08:27
Play later
Play later
Lists
Like
Liked
1:08:27
Paul & Sheryl Shard of Distant Shores are truly the OG YouTubers, having filmed and produced videos of their sailing adventures for over 25 years. I met up with them in person at the Annapolis Sailboat Show a few weeks ago to talk about their transition from broadcast TV to YouTube and if that's changed their process. We also talked a lot about the…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Jake Beattie // Everyday Heroes and the Race to Alaska
53:02
53:02
Play later
Play later
Lists
Like
Liked
53:02
In Jake Beattie’s words, the Race to Alaska "celebrates and illuminates life’s everyday heroes". Jake is one of those people. Aside from creating and organizing the Race to Alaska, he is also the executive director of the Northwest Maritime Center located in Port Townsend, Washington: a non-profit organization whose mission is to connect people to …
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Jade & Ben // Sailing the Northwest Passage
1:37:44
1:37:44
Play later
Play later
Lists
Like
Liked
1:37:44
Ben and Jade Couturier recently completed the Northwest Passage on their Navy 44 Caprivi. They bought the boat in 2016, looking to make it their traveling home. Ben and Jade took Caprivi through an impressive rebuild while living aboard and working in the Florida Keys. In June 2022, they set sail, and have covered a lot of distance since. In May 20…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Matt Rutherford // Greenland, Grass & Groundings
1:11:36
1:11:36
Play later
Play later
Lists
Like
Liked
1:11:36
#411: If you’ve been around this podcast for awhile, Matt Rutherford won’t be a stranger to you. Famous for being the first person to sail solo & non-stop around the Americas, he’s now the operator/co-director of the non-profit organization, OCEAN RESEARCH PROJECT, and has his own, amazing podcast called SINGLE-HANDED SAILING. Andy met up with Matt…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
#34 Foundations of Theorem Provers and Cedille2 - Andrew Marmaduke
1:28:27
1:28:27
Play later
Play later
Lists
Like
Liked
1:28:27
Andrew Marmaduke is a PhD Candidate from the University of Iowa, he worksunder Aaron Stump and has been working on revamping the theorem proverCedille 2. In this episode we tackle fundamental questions about thefoundations of the theorem provers, Cedille and Cedille 2. Links Andrew's Website AndrasKovacs' Smalltt Failure of Normalization in Impredi…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Episode 1: The Systemic Recordings Podcast (Progressive House) With Chris Hover
1:00:00
1:00:00
Play later
Play later
Lists
Like
Liked
1:00:00
The Systemic Recordings Podcast (Progressive House) hosted by Chris Hover, brings you the very lastest in progressive house, aired live on 4 Beat Radio! #progressivehouse #melodictechno
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Mark Sinclair // Retro Racing around the World
1:23:30
1:23:30
Play later
Play later
Lists
Like
Liked
1:23:30
Mark Sinclair has sailed the seas his entire life, both professionally and as a hobby. He served for 20 years in the Royal Australian Navy, commanding three ships and navigating four, at the time when celestial was still the primary means of offshore navigation. He participated in both the 2018 and the 2022 Golden Globe Races on his Lello 34 COCONU…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Andy & Mia // The Evolution of 59º North
1:02:02
1:02:02
Play later
Play later
Lists
Like
Liked
1:02:02
Andy & Mia sit down to talk about the past 5-6 years of 59º North and how it's evolved from a "lifestyle" business to an "actual" business, with investors, lots of staff and high stakes! They talk about the rollercoaster of emotions, the stress, the joys and the future (which is exciting—make sure to listen to the end!) -- If you liked this convers…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Evgeniy “Ev” Goussev // Stowaway Escape from the USSR
1:33:15
1:33:15
Play later
Play later
Lists
Like
Liked
1:33:15
Evgeniy “Ev” Goussev was born in the far east of Russia, where he began sailing at the age of five, and was soon competing in a variety of classes while having a grand adventure on the sea with his father and friends. As the Soviet Union began to deteriorate and in-fighting became dangerous, his father decided to sail away, unsure if his eldest son…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Peter Bruce // What Kind of Sailor Authors 'Heavy Weather Sailing'
56:51
56:51
Play later
Play later
Lists
Like
Liked
56:51
Peter Bruce is both a sailor and a writer of sailing. He most famously wrote the last four editions of the world-famous book HEAVY WEATHER SAILING having taken over from the original author Adlard Coles. A life-time of achievements on the water qualify him to write with such esteemed authority. He has represented Britain on seven occasions, won the…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Will Sofrin // The Real-Life 'Master & Commander' Voyage
1:09:32
1:09:32
Play later
Play later
Lists
Like
Liked
1:09:32
Will Sofrin is among other things a sailor, shipwright and author of the new book ALL HANDS ON DECK. The story is a maritime adventure memoir that follows a crew of misfits hired to sail an eighteenth-century warship replica 6,000 nautical miles from New England to Hollywood where the ship would become the HMS SURPRISE for the iconic film MASTER & …
…
continue reading
![Artwork](/static/images/128pixel.png)
1
#33 Z3 and Lean, the Spiritual Journey - Leo de Moura
2:05:07
2:05:07
Play later
Play later
Lists
Like
Liked
2:05:07
Not satisfied with implementing one of the most popular automated theoremprovers, Z3, Leo de Moura also tackles another extremely hard problem inour field and implements a brand new interactivetheorem prover from scratch, Lean. In this episode we dive into the mind andphilosophy of this man. Links Leo's Website Lean Z3 The Church of Logic Podcast…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
James Frederick // Solo to New Zealand & Sailing in Greenland
1:07:00
1:07:00
Play later
Play later
Lists
Like
Liked
1:07:00
James Frederick, aka 'James the Sailor Man' returns to the podcast four years after I first interviewed him. Back then, James was still prepping his Alberg 30 TRITEIA in LA...now, the boat is in New Zealand after James sailed her over 9,000 miles, solo, with many adventures along the way. We talked about his sudden divorce, losing his rudder mid-Pa…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
#32 TyDe Systems - Jan de Muijnck-Hughes
1:41:23
1:41:23
Play later
Play later
Lists
Like
Liked
1:41:23
In this episode we continue our conversation with Jan de Muijnck-Hughes aResearch Associate at Glasgow University. He works using all sorts of fancytype systems mostly targeted for hardware specification, particularly withthe aid of the theorem prover Idris. This episode we start by talking alittle about Impostor Syndrome in academia and how he has…
…
continue reading