In this episode our hosts are joined by Bailey Hayes, CTO of Cosmonic, and Pat Hickey, Principal Engineer at Fastly, to discuss WASI—WebAssembly System (or Standard depending on who you ask) Interface. Listen in to learn more about why WASI is important, what all the “previews” are, whether or not the component model is done, plus so much more!

Chapters:
1:25 – AI and WASM in Edge locations
4:03 – Is it WebAssembly System of Standard Interface?
6:10 – What is WASI and why is it important?
8:41 – What is preview 0, 1, 2, etc.?
10:54 – Is the component model done?
11:35 – Preview 2 vote
13:33 – WASI proposals
17:06 – Features of preview 2
23:21 – Server and client side webassembly
27:06 – J-co project
27:54 – How to get involved
28:33 – Bytecode Alliance guest languages

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 | LinkedIn | @Joel_Moses 
Oscar Spencer | X | LinkedIn
Matthew Yacobucci | LinkedIn

WebAssembly System or Standard Interface – Ep 3 – WebAssembly Unleashed

Welcome to WebAssembly Unleashed with hosts Joel Moses, Oscar Spencer, and Matt Yacobucci. Join us to discover who’s recently experienced impressive performance improvements using WebAssembly, how maple whiskey is related to Wasm runtimes, and what is the process of innovation.  This month our special guest, Matt Butcher, CEO of Fermyon, shares his incredible journey through the tech industry, his insights on WebAssembly's potential to revolutionize cloud computing, and the innovative work Fermyon is doing with Spin. Explore the evolution from startup to large-scale enterprise and gain valuable perspectives on community building and technological advancements.
  
Chapters:
00:00 Introduction to WebAssembly Unleashed
00:49 Firefox's WebAssembly Performance Boost: https://www.howtogeek.com/firefox-75x-faster-running-webassembly/
01:59 Excitement for Upcoming Community Group Events
02:19 Interview with Matt Butcher: Background and Fermyon
05:22 The Birth of WebAssembly at Microsoft
10:01 Wasm Runtime From Browser to Server 
16:38 Deis Labs Projects and the Pattern of Innovation 
20:04 Failed Projects and Lessons Learned
22:04 Career Journey: From Hewlett Packard to Fermyon
22:21 The Vision Behind Fermyon
24:11 WebAssembly and Cloud Efficiency
27:39 The Birth of Fermyon
31:26 Community Building and Challenges
39:27 What led to Spin?
43:05 Conclusion and Final Thoughts
Episode 5 w/Gilad Bracha: https://youtu.be/BQjTShpa8VM?si=DMDyh5U--BaQ_FGE

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/t5/user/viewprofilepage/user-id/398372
Oscar Spencer | https://twitter.com/oscar_spen | https://www.linkedin.com/in/oscarspen/
Matthew Yacobucci | https://www.linkedin.com/in/matthew-yacobucci-323b4b2/

Turning Wasm Research Passions into a Business – Ep 12 – WebAssembly Unleashed

Join hosts Joel Moses, Oscar Spencer, and Matt Yacobucci as they dive deep into the world of formal verification with special guest Chris Fallin. In this episode of WebAssembly Unleashed, the team discusses the importance of formal verification in software development, particularly for WebAssembly. Chris, a co-author of the Cranelift compiler and Mozilla alum, explains the concept of formal verification, its significance, and how it can be applied to ensure software correctness and security. The conversation covers a range of topics including type safety, the use of SMT solvers, the challenges in formally verifying compilers, and the potential role of AI in generating formally verified code. Don't miss this insightful discussion if you're keen to learn about cutting-edge techniques to make software more reliable and secure.

00:00 Welcome to WebAssembly Unleashed
00:57 Community Updates
01:41 Guest Introduction: Chris Fallin
02:18 What is formal verification and why is it important?
03:10 Formal Verification in WebAssembly
06:28 Challenges and Real-World Applications
07:52 Tools and Techniques for Verification
20:22 Future Directions and Broader Implications
28:21 AI and Formal Verification
30:44 Lack of Formal Verification Consequences

Did you miss the WebAssembly Unleashed episode 16 with Bruce Gain? Check it out here: https://youtu.be/Gjd8l1Sz9qY?si=QGixwObXJgvex9DS

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/

Unlocking the Secrets of Formal Verification in WebAssembly | Ep 19 | WebAssembly Unleashed

DevCentral is F5's online Community of Technical Peers dedicated to learning, exchanging ideas, and solving problems – Together.

We host audio podcasts created by our Community, for our Community.

Unlocking the Secrets of Formal Verification in WebAssembly | Ep 19 | WebAssembly Unleashed

F5 DevCentral Community

Related tracks