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

  • 101. Software for Elite Athletes with Kyle Boddy

    01:07:57||Season 1, Ep. 101
    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 numerous players in Major League Baseball, including multiple Most Valuable Players and 2024's number one draft pick. They talk about Kyle's background in PHP and the C++ he wrote to coordinate budget high-speed cameras back when Driveline was a one-programmer garage shop, up through today where large language models have become an integral part of the development team's daily work.Driveline Baseball: https://www.drivelinebaseball.com/Washington Post article: https://www.washingtonpost.com/opinions/2024/04/10/op-moneyballai/Documentary about Driveline: https://youtu.be/K5Dnshu7atUPhind AI: https://www.phind.com
  • 100. Mojo with Chris Lattner

    01:49:25||Season 1, Ep. 100
    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, and language design!"Swift for C++ Practitioners" by Doug Gregor - https://www.douggregor.net/posts/swift-for-cxx-practitioners-value-types/Mojo - https://www.modular.com/mojoModular Computing - https://www.modular.comRoc - https://roc-lang.orgLLVM - https://llvm.orgClang - https://clang.llvm.orgSwift - https://www.swift.orgCUDA - https://developer.nvidia.com/cuda-zoneSIMD - https://en.wikipedia.org/wiki/Single_instructionmultipledatacmov instruction - https://github.com/marcin-osowski/cmov
  • 99. Tooling-Aware Language Design with Eli Dowling

    01:11:59||Season 1, Ep. 99
    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 language server protocol, and the downsides of macros.Perceus paper - https://www.microsoft.com/en-us/research/uploads/prod/2020/11/perceus-tr-v1.pdfThe Koka Programming Language - https://koka-lang.github.io"The Quicksort Talk" (Outperforming Imperative with Pure Functional Languages) - https://youtu.be/vzfy4EKwG_YTree-Sitter - https://tree-sitter.github.ioNeovim Editor - https://neovim.ioHelix Editor - https://helix-editor.comZed Editor - https://zed.devLanguage Server Protocol (LSP) - https://microsoft.github.io/language-server-protocolHygienic Macros - https://en.wikipedia.org/wiki/Hygienic_macroRust Macros - https://doc.rust-lang.org/book/ch19-06-macros.html
  • 98. The CrowdStrike Incident with Kelly Shortridge

    58:30||Season 1, Ep. 98
    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 https://www.youtube.com/watch?v=rzjaZssBEiI or ad-free to our wonderful Patreon supporters! https://www.patreon.com/posts/109888395The incident: https://en.wikipedia.org/wiki/2024_CrowdStrike_incidentKelly Shortridge: https://www.kellyshortridge.comKelly's book: https://securitychaoseng.comHillel Wayne's interviews with traditional engineers who have also been software engineers: https://www.hillelwayne.com/talks/crossover-projectGell-Mann amnesia effect: https://en.wikipedia.org/wiki/Michael_Crichton#Gell-Mann_amnesia_effect
  • 97. Distributed Functions with Jonathan Magen

    48:00||Season 1, Ep. 97
    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 data, and a few other topics.Jonathan Magen: https://yonkeltron.com or https://jawns.club/@yonkeltronProgramming languages mentioned:https://ballerina.iohttps://www.jolie-lang.orghttps://gleam.runhttps://elixir-lang.orgRichard's talk: Why Static Typing Came Back - https://youtu.be/Tml94je2edk
  • 96. Undo-Redo and Persistent State with Tom Ballinger

    59:28||Season 1, Ep. 96
    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.
  • 95. Smalltalk's Past, Present, and Future with Juan Vuletich

    54:30||Season 1, Ep. 95
    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!
  • 94. From Game Dev to Web Dev

    01:08:32||Season 1, Ep. 94
    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 between the two, including things like automated testing, dependency management, and releases.