WebAssembly's SpecTec | Ep 18 | WebAssembly Unleashed

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 Unleashed 01:20 Exciting WebAssembly Developments 02:34 Special Guest: Andreas Rossberg 04:35 Functional Programming Insights 11:37 WebAssembly Specification and SpecTec 22:02 Test Matrix Generation for WebAssembly 23:49 Will SpecTec make WebAssembly proposals move any faster? 24:57 Reference Interpreter and Meta Interpreter 27:56 SpecTec's Potential Applications 30:54 Comparing SpecTec with Other Tools 32:34 Motivation and Commitment to WebAssembly and SpecTec 36:10 Surprising Uses and Future of WebAssembly 39: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/octo Reports - https://www.f5.com/services/resources/reports

Meet 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/