팟캐스트//Software Unscripted
Software Unscripted

Software Unscripted

소개

Software Unscripted, A weekly podcast of casual conversations about code hosted by Richard Feldman.

Hosted on Acast. See acast.com/privacy for more information.

114
에피소드
English
언어
0
구독자
0
청취
에피소드25
Metaprogramming Your IDE in Lean 4 with Harry Goldstein

Metaprogramming Your IDE in Lean 4 with Harry Goldstein

Dec 21, 2025·

Harry Goldstein talks with Richard Feldman about the Lean 4 programming language's compile-time metaprogramming capabilities, including how they can be used to control elements of your IDE in realtime. They also discuss...

Jonathan Blow on Programming Language Design

Jonathan Blow on Programming Language Design

Nov 15, 2025·

Jonathan Blow, creator of popular games Braid and The Witness, talks with Richard about programming language design - including the design of the programming language he's been building for game developers. Keynote &...

Zig Creator Andrew Kelley

Zig Creator Andrew Kelley

Oct 9, 2025·

Richard talks with Zig Creator Andrew Kelley. - Support Zig - - Zig's "Writergate" - - "What Color is Your Function?" by Robert Nystrom - - "Asynchrony is not Concurrency" by Loris Cro - - "Data alignment for speed...

Securing Evolving Software with Noah Hall

Securing Evolving Software with Noah Hall

Sep 20, 2025·

xz vulnerability: Spectre: Meltdown: Heartbleed: Noah on GitHub - Substack - BlueSky Hosted on Acast. See acast.com/privacy for more information.

Andreas Kling on Ladybird Browser, SerenityOS, and Powerlifting

Andreas Kling on Ladybird Browser, SerenityOS, and Powerlifting

Sep 1, 2025·

Ladybird Browser - SerenityOS - Story of the man who used powerlifting to recover after falling off a roof StrongLifts 5x5 - Starting Strength - Hosted on Acast. See acast.com/privacy for more information.

GPU Programming and Language Design with Chris Lattner

GPU Programming and Language Design with Chris Lattner

Jul 25, 2025·

Richard talks with Swift, LLVM, Clang, and Mojo creator Chris Lattner about programming on the GPU and on the CPU, as well as a number of programming language design topics. Chris's "Democratizing AI Compute" blog...

Broken AI Discourse with Steve Klabnik

Broken AI Discourse with Steve Klabnik

Jul 4, 2025·

Longtime Rust contributor Steve Klabnik talks with Richard about the broken state of AI discourse, from excessive hype to excessive hate, and reasonable alternatives we could pursue instead. Steve's blog post: "I am...

Language Design Deep Dive with Elixir Creator José Valim

Language Design Deep Dive with Elixir Creator José Valim

Jun 1, 2025·

Elixir creator José Valim goes into a very deep dive on language design with Richard, centered around some upcoming major design changes to the Roc programming language. - - - Unison's algebraic effects: - Koka's...

From Scala to Roc with Monica McGuigan

From Scala to Roc with Monica McGuigan

Jan 27, 2025·

Monica McGuigan, a Scala programmer at JP Morgan, talks with Richard about her experiences learning Roc with a Scala background. They get into topics like how language design affects beginners and experts, what parts of...

Testing in Production with Mike Bryzek

Testing in Production with Mike Bryzek

Jan 5, 2025·

Mike Bryzek has been a technical cofounder of two very successful companies using some very unorthodox technical strategies that have worked out very well for him and his teams! These include testing in production...

Building Video Editing Software with Andrew Lisowski

Building Video Editing Software with Andrew Lisowski

Dec 15, 2024·

Richard talks with Andrew Lisowski, a Senior Engineer at Descript - which makes audio and video editing software that has been used to edit this very podcast! They talk about some of the surprising challenges of dealing...

The EYG Language with Peter Saxton

The EYG Language with Peter Saxton

Nov 17, 2024·

Richard talks with Peter Saxton, creator of the EYG programming language, about the problems Peter aims to solve with EYG, and some of the unique design decisions he's made with it. A type-safe eval() operation even...

 AI in Programming Education with Will Sentance

AI in Programming Education with Will Sentance

Oct 15, 2024·

Richard talks with Will Sentance, the teacher of the Hard Parts series and the founder and CEO of CodeSmith, which is a Software Engineering and AI immersive education program. They talk about how AI is intersecting...

Software for Elite Athletes with Kyle Boddy

Software for Elite Athletes with Kyle Boddy

Sep 26, 2024·

Richard talks with Kyle Boddy about the biomechanical and data analysis software Kyle wrote—and continues to write—as the founder and CTO of Driveline Baseball, a data-driven player development company that has landed...

Mojo with Chris Lattner

Mojo with Chris Lattner

Aug 30, 2024·

For the 100th episode of Software Unscripted, Richard talks with Chris Lattner, creator of Swift, the Clang C++ compiler, LLVM, and now the Mojo programming language, about Mojo, Roc, API design, compiler optimizations...

Tooling-Aware Language Design with Eli Dowling

Tooling-Aware Language Design with Eli Dowling

Aug 21, 2024·

Richard talks with Eli Dowling about his contributions to the Roc programming language, as well as the intersection of language design and editor tooling, parsers that recover from errors, tree-sitter, going beyond the...

The CrowdStrike Incident with Kelly Shortridge

The CrowdStrike Incident with Kelly Shortridge

Aug 11, 2024·

Richard talks with Kelly Shortridge about the CrowdStrike Incident that caused many computers worldwide to get stuck in a boot loop on July 19, 2024. A video version of this episode is available on YouTube at or ad-free...

Distributed Functions with Jonathan Magen

Distributed Functions with Jonathan Magen

Jul 18, 2024·

Richard talks with distributed systems scientist Jonathen Magen about functional programming in distributed systems, including languages like Gleam, Elixir, Ballerina, and Jolie. They also talk about type inference, big...

Undo-Redo and Persistent State with Tom Ballinger

Undo-Redo and Persistent State with Tom Ballinger

Jul 12, 2024·

Richard talks with Tom Ballinger about undo and redo in the context of REPLs and running effects, stateful systems in general, hot code loading, and database query planning. Hosted on Acast. See acast.com/privacy for...

Smalltalk's Past, Present, and Future with Juan Vuletich

Smalltalk's Past, Present, and Future with Juan Vuletich

Jun 23, 2024·

Richard talks with Juan Vuletich, creator of Cuis Smalltalk, about the past, present and future of Smalltalk - including quite a bit of interesting history and programming philosophy! Hosted on Acast. See...

From Game Dev to Web Dev

From Game Dev to Web Dev

Jun 16, 2024·

Richard talks with Wolfgang Schuster about his experiences first as a professional game developer, and then later as a professional Web developer. Theytalk about the differences in programming practices he's seen...

Fuzz Testing with Brendan Hansknecht

Fuzz Testing with Brendan Hansknecht

Jun 3, 2024·

Richard talks with Brendan Hansknecht, an AI compiler engineer at Modular, about various testing techniques, including fuzzing, property-based tests, database tests, tests involving network requests, and more! Hosted on...

A Haskeller Tries Smalltalk with Ian Jeffries

A Haskeller Tries Smalltalk with Ian Jeffries

May 25, 2024·

Richard talks with Ian Jeffries about his experiences as a Haskeller exploring modern Smalltalk (arguably the original object-oriented programming language), including both the historical context of where Smalltalk came...

Comparing F#, Elm, and Haskell with Michael Newton

Comparing F#, Elm, and Haskell with Michael Newton

May 13, 2024·

Richard talks to Michael Newton, a programmer working as a consultant and trainer who has used several different functional programming languages in professional settings. They talk about the differences Michael has...

Native UIs without Electron - with Nathan Sobo

Native UIs without Electron - with Nathan Sobo

May 3, 2024·

Richard talks with Nathan Sobo, founder of Zed Industries (which creates the high-performance Zed code editor) about his time as an early developer on the Atom code editor, including how that project led to Electron...

이런 팟캐스트도 좋아하실 수 있어요