Joins hosts Joel Moses and Oscar Spencer as they delve into the world of WebAssembly with special guest Andreas Rossberg, co-designer of the WebAssembly specification. Andreas shares insights on SpecTec, a domain-specific language designed to streamline and verify the WebAssembly specification. The discussion covers the evolution of SpecTec, its impact on WebAssembly proposals, and future possibilities for its application. Additionally, Andreas discusses his background in functional programming, challenges in compiler development, and the surprising uses of WebAssembly in the tech ecosystem. Whether you're a novice or a seasoned developer, this episode offers a comprehensive look into the future of WebAssembly and its growing influence in technology.Chapters:00:00 Welcome to WebAssembly Unleashed01:20 Exciting WebAssembly Developments02:34 Special Guest: Andreas Rossberg04:35 Functional Programming Insights11:37 WebAssembly Specification and SpecTec22:02 Test Matrix Generation for WebAssembly23:49 Will SpecTec make WebAssembly proposals move any faster?24:57 Reference Interpreter and Meta Interpreter27:56 SpecTec's Potential Applications30:54 Comparing SpecTec with Other Tools32:34 Motivation and Commitment to WebAssembly and SpecTec36:10 Surprising Uses and Future of WebAssembly39:38 What area should the WebAssembly community work on next?For more from F5's Office of the CTO visit the following sites: Blogs - https://www.f5.com/company/octoReports - https://www.f5.com/services/resources/reportsMeet Your Hosts: Joel Moses | https://www.linkedin.com/in/joelmoses/ | https://community.f5.com/users/joel_moses/398372 Oscar Spencer | https://twitter.com/oscar_spen | https://www.linkedin.com/in/oscarspen/ Matthew Yacobucci | https://www.linkedin.com/in/matthew-yacobucci-323b4b2/