I'm acquainted with Richard through his presentations on functional programming and his insightful reflections on the evolution of programming languages and paradigms. He is an advocate of Elm, Rust, and Zig, have created Roc a programming language with the aim of replicating the ergonomic features of Elm while extending its capabilities to problem domains beyond web development, drawing inspiration from various programming ecosystems..