Software Unscripted Software Unscripted

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 Acast. See acast.com/privacy for more information.

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 from as well as what it's like using it in a modern context.
Hosted on Acast. See acast.com/privacy for more information.

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 found between using F sharp, Haskell, and Elm, and especially how those differences apply in the context of professional production programming.
Hosted on Acast. See acast.com/privacy for more information.

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. They then discuss how the Zed team has created GPUI, which uses native operating system APIs for events and goes straight to the graphics card for rendering.
Hosted on Acast. See acast.com/privacy for more information.

Richard talks with Lucas Rosa, a compiler engineer working on the Aiken programming language for smart contracts, about tradeoffs in language and compiler design, property-based testing, syntax and familiarity, and compile-time evaluation of constants.
Hosted on Acast. See acast.com/privacy for more information.

Richard talks with Louis Pilfold, creator of the Gleam programming language, about the language's 1.0 release, as well as other topics like backwards compatibility, hot-swapping code in production, and implementing a typed version of Erlang's famous OTP system, which had also been famously considered to be un-typeable.
Hosted on Acast. See acast.com/privacy for more information.