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/