Share

cover art for Fuzz Testing with Brendan Hansknecht

Software Unscripted

Fuzz Testing with Brendan Hansknecht

Season 1, Ep. 93

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!

More episodes

View all episodes

  • 92. A Haskeller Tries Smalltalk with Ian Jeffries

    01:04:25
    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.
  • 91. Comparing F#, Elm, and Haskell with Michael Newton

    01:09:18
    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.
  • 90. Native UIs without Electron - with Nathan Sobo

    01:16:34
    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.
  • 89. Compiling Smart Contracts with Lucas Rosa

    59:30
    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.
  • 88. Gleam 1.0 with Louis Pilfold

    01:10:31
    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.
  • 87. Compilers and Overly Complex Web Development with Thorsten Ball

    01:13:30
    Richard talks to Thorsten Ball, a programmer at Zed Industries and author of two books on compilers. They start out talking about the differences between compilers and interpreters, what the trickiest parts are of teaching compilers, and then end up talking about the unnecessary complexity that has taken over modern Web Development.
  • 86. Incremental Compilation with Alex Kladov

    01:23:42
    Richard talks with Rust Analyzer creator Alex Kladov (aka matklad) about compilers, including ways they can do incremental compilation, memory management strategies, modules and boundaries, and even monomorphization!
  • 84. Programming and Industrial Design with Greg Wilson

    57:52
    Richard talks with programming teacher Greg Wilson about different types of beginner programmers and how they learn most effectively, what counterintuitive aspects of programming languages they tend to find more or less difficult to learn, and about the surprising relationship between software architecture and industrial design.