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/