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.

Ian Jeffries, an Experienced Haskeller, explores modern Smalltalk with Richard. They discuss the historical context of Smalltalk, Alan Kay's influence, domain objects in software development, Smalltalk and Haskell philosophies, state management, simplicity of Smalltalk language, and tooling advancements.

Michael Newton, a consultant and trainer, discusses the differences between F#, Elm, and Haskell in professional settings. Topics include JavaScript interoperability, dynamically vs statically typed languages, tooling comparisons, rank types, balancing language features, and F# consulting and training services.

Nathan Sobo, early developer on Atom, discusses transitioning from Electron to native UIs with the Zed team. They explore editor evolution, programming languages, frustration leading to innovation, Rust learning curve, building native apps in Rust, and challenges in distributed systems and WebAssembly extension development.

Compiler engineer Lucas Rosa discusses tradeoffs in language design, property-based testing, syntax familiarity, compile-time evaluation in smart contracts. Talks about community growth, Cardano smart contracts, syntax complexities, managing execution budgets, and fuzzing in programming languages.

Louis Pilfold, Creator of the Gleam programming language, discusses the language's 1.0 release, backwards compatibility, hot-swapping code in production, and implementing a typed version of Erlang's OTP system. Emphasizes challenges of versioning, dependency management, and balancing productivity in software development.

Exploring compilers and interpreters, complexities of type checking, simplifying JavaScript for teaching, parsing challenges in modern programming, navigating complexity in tax law and tech evolution, front end development shifts from server-rendered HTML to client-side frameworks.

Delving into compilers, memory management strategies, boundaries, and monomorphization in software development. Exploring incremental compilation, efficient memory utilization, and module size impact on performance. Discussing Rust vs. Elba compilation units, module boundaries, and the expression problem. Emphasizing the importance of separate compilation and monomorphization in Rust for efficient compilation.

Exploring effective learning methods for beginner programmers and challenges in teaching programming. Discussions on mental models in chemistry and programming, beginner-friendly tools, and the appeal of learning JavaScript and Elm. Emphasis on the importance of design in software development and the complexity of programming languages. Comparisons between Haskell and Python and the suggestion of PureScript for research purposes.

Richard talks with Ayaz Hafiz, a contributor to the Roc programming language, about lambda set defunctionalization. They discuss the challenges of implementing a compiler with a non-trivial type system and the benefits of defunctionalization in optimization and better inlining. They also explore Rock's abilities and the importance of early tooling in specific implementations. Lastly, they delve into the challenges of implementing a modern morphization algorithm for land assets.