

Developer Voices
Kris Jenkins
Deep-dive discussions with the smartest developers we know, explaining what they're working on, how they're trying to move the industry forward, and what we can learn from them.You might find the solution to your next architectural headache, pick up a new programming language, or just hear some good war stories from the frontline of technology.Join your host Kris Jenkins as we try to figure out what tomorrow's computing will look like the best way we know how - by listening directly to the developers' voices.
Episodes
Mentioned books

Jan 31, 2024 • 1h 23min
Verse, Haskell & Core Language Design (with Simon Peyton Jones)
Simon Peyton Jones, a veteran language designer and researcher, talks about building a large language from a small, tightly designed core. He discusses his work on the Verse programming language which blends functional programming with logic languages like Prolog. Simon also discusses the importance of teaching computer science in education and reshaping the way it is taught in England.

Jan 24, 2024 • 1h 15min
Shouldn't Data Connections Be Easier? (with Ashley Jeffs)
Data Engineering expert Ashley Jeffs discusses Benthos, a tool for quick data pipeline setup. They cover simplifying data connections, advantages of Benthos, and when to use it. Topics include stream processing, transitioning to Go, error handling, custom plugins, and getting started with Benthos.

Jan 17, 2024 • 1h 6min
What can game programming teach us about databases? (with Tyler Cloutier)
Expert in game programming, Tyler Cloutier, discusses using game development concepts like event sourcing and subscriptions in database architecture. They explore the challenges of traditional databases, tick rates, and data subscriptions in gaming and non-gaming scenarios, emphasizing the importance of unifying data architecture for optimal performance.

7 snips
Jan 10, 2024 • 1h
Is Odin, "programming done right"? (with 'Ginger' Bill Hall)
In this engaging discussion, Bill Hall, the creator of the Odin programming language, emphasizes his vision of "programming done right," aiming to refine C while integrating modern features. He shares insights on the defer statement's utility and contrasts Odin's design philosophy with C, focusing on user experience. Hall highlights Odin's journey, balancing tradition with innovation, and critiques C's macro system while promoting Odin's hygienic macros. His refreshing take makes Odin not just an alternative, but a comfortable evolution of C for today's programming needs.

10 snips
Jan 3, 2024 • 1h 10min
Can Event-Driven Architecture make Software Design Easier? (with Bobby Calderwood)
Experienced architect Bobby Calderwood discusses event-driven architecture and the advantages of thinking about software from an event-based perspective. They explore event sourcing, its definition, and its value in various domains including finance and analytics. The conversation also covers the tech stack associated with event-driven architecture, the relationship between event sourcing and functional programming, and the concept of event modeling in system design.

Dec 27, 2023 • 53min
How Lisp is designing Nanotechnology (with Prof. Christian Schafmeister)
Professor Christian Schafmeister, an award-winning nanotech researcher, discusses the use of Lisp in designing nanotechnology. He explains the advantages of Lisp for expressing chemistry concepts and talks about implementing his own Lisp interpreter. The challenges of collaborating on software development in Common Lisp and the integration of parallel processing and threading are also explored. Additionally, the progress and challenges in designing molecules for nanotechnology are discussed.

Dec 20, 2023 • 1h 2min
Roc - A Functional Language looking for those Software Sweetspots (with Richard Feldman)
Sometimes, what a programming language makes harder is just as important as what it makes easier. For a simple example, think of GOTO. We’ve been wisely avoiding it for decades because it makes confusing control flow desperately easy. Types and tests are other examples - they’re as much about specifying what shouldn’t work as what should. And perspective is what makes this week’s topic particularly interesting: Roc is a language that’s functional, fast, friendly, and extremely interested in making your life easier by enabling some possibilities and restricting others.So this week we’re joined by Richard Feldman, the creator of Roc. He’s been an advocate of the Elm programming language for years, for its tight focus on taking the best bits of Functional Programming to the browser. And in recent years he’s been inspired to build his own language, taking that philosophy to other places and platforms.But which bits are “the best bits”? And how do they change when the domain you’re coding for changes? How is Roc built and how would we build systems in it? Let’s find out…--Roc’s homepage: https://www.roc-lang.org/Richard’s GOTO Copenhagen 2021 talk: https://www.youtube.com/watch?v=3n17wHe5wEwRichard on Twitter: https://twitter.com/rtfeldmanKris on LinkedIn: https://www.linkedin.com/in/krisjenkins/Kris on Mastodon: https://mastodon.social/@krisajenkinsKris on Twitter: https://twitter.com/krisajenkins

Dec 13, 2023 • 1h 19min
If Kafka has a UX problem, does UNIX have the answer? (with Luca Pette)
One of the recurring themes in the big data & data streaming worlds at the moment is developer experience. It seems like every major tool is trying to answer this question: how do we make large-scale data processing feel trivial?In some places the answer is any library you like as long as it’s Python. In other realms, a mixture of Java and SQL shows promise. But as this week’s guest—Luca Pette—would say, the Unix design metaphor has plenty to give and keep on giving.So in this episode of Developer Voices we look at TypeStream - his Kotlin project that provides a shell-like interface to data pipelines, and is gradually expanding to make integration pipelines as simple as `cat /dev/kafka | tee /dev/postgres`.--Luca on Twitter: https://twitter.com/lucapetteLuca on LinkedIn: https://www.linkedin.com/in/lucapette/Kris on Twitter: https://twitter.com/krisajenkinsKris on LinkedIn: https://www.linkedin.com/in/krisjenkins/TypeStream homepage: https://www.typestream.io/TypeStream installation guide: https://docs.typestream.io/tutorial/installationCrafting interpreters: https://craftinginterpreters.com/…by Bob Nystrom: https://twitter.com/munificentbobNuShell: https://github.com/nushell/nushell#podcast #apachekafka #bigdata

Dec 6, 2023 • 55min
Will we be writing Hare in 2099? (with Drew DeVault)
This week we're back on systems programming with Hare. A C-like language for the ages. We talk to its creator, Drew DeVault, about what he thinks we can learn from the past 50 years of programming, and how we can build that hindsight into a new language that will last for the next 100. In among all that long-term ambition we talk cover everything from error handling, typed unions and linear types, to metaprogramming and Drew's microkernel operating system. It's called Ares, and it is, of course, built in Hare.--Drew's Homepage: https://drewdevault.com/Kris on Twitter: https://twitter.com/krisajenkinsKris on LinkedIn: https://www.linkedin.com/in/krisjenkins/ A summary of Hare’s features: https://harelang.org/tutorials/introduction/Hare Community Resources: https://harelang.org/community/SXMO Mobile: https://sxmo.org/QBE Compiler Backend: https://c9x.me/compile/users.htmlAres OS Source Code: https://sr.ht/~sircmpwn/helios/OSDev Wiki: https://wiki.osdev.org/Expanded_Main_PageThe Ares System [pdf]: https://mirror.drewdevault.com/ares.pdf#programming #podcast #harelang #qbe #microkernel

Nov 29, 2023 • 52min
Startups Should Solve Real People's Real Problems (with Michael Drogalis)
Michael Drogalis, a former employee turned entrepreneur, shares his journey of launching four startups in four months. He discusses the surprising success of his first venture, revealing how user feedback shaped his focus. Balancing product development with marketing in a tight timeline poses challenges, but he navigates these pressures creatively. Michael also explores opportunities in childcare solutions and humorously reflects on the art of naming—both children and businesses—underscoring the importance of solving real problems.