Join hosts Joel Moses, Oscar Spencer, and Matthew Yacobucci as they take a retrospective look at WebAssembly's exciting developments from 2024 and share their insightful predictions for 2025. This special episode covers groundbreaking advancements in WebAssembly core technology, the WASI ecosystem, and highlights notable progress from previous guests like Bailey Hayes, Pat Hickey, Chris Dickinson, and more. Discover the evolving trends in WebAssembly, its increasing adoption in production, and what the future holds for this transformative technology. Don't miss our rundown of core WebAssembly updates, the rise of server-side applications, and expert commentary on what's next for WASI and WebAssembly in AI and security workloads. Unleash the power and promise of WebAssembly with us!

Chapters: 
00:00 Welcome to WebAssembly Unleashed
00:39 Reflecting on a Year of WebAssembly
01:30 Updates from Past Guests
03:02 Core WebAssembly Developments: Garbage Collection, Memory64, and more…
06:06 WASI's Banner Year
10:08 WASI Preview 3
15:47 Community Trends and Developments
23:49 Predictions for 2025
	
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 | www.linkedin.com/in/joelmoses/ | community.f5.com/t5/user/viewprof…e/user-id/398372
Oscar Spencer | twitter.com/oscar_spen | www.linkedin.com/in/oscarspen/
Matthew Yacobucci | www.linkedin.com/in/matthew-yacobucci-323b4b2/

State of WebAssembly 2025 | Ep 15 | WebAssembly Unleashed

Join Joel Moses, Oscar Spencer, and Matt Yacobucci as they discuss the latest news and recent developments in WebAssembly, such as Zig 0.140 and projects like running Linux inside a PDF file. This episode features special guest Nick Fitzgerald, a notable contributor to WasmTime and CraneLift, who explains the concept of garbage collection in programming. The discussion covers  garbage collection in the context of WebAssembly, diving into algorithms, their implications, and challenges in implementation. They also touch upon the future of WebAssembly in embedded systems and the broader applications of these technologies in various programming languages like Java and Python. Don't miss this engaging and informative episode!
	
Chapters: 
00:00 Welcome to WebAssembly Unleashed
00:57 What's interesting this week in WebAssembly? 
02:12 Linux PDF: A WebAssembly Feat
03:29 Understanding Garbage Collection with guest Nick Fitzgerald
05:20 Reference Counting vs Tracing Garbage Collection
	A Unified Theory of Garbage Collection paper: https://courses.cs.washington.edu/courses/cse590p/05au/p50-bacon.pdf
7:22 What's driving the push to get GC into WebAssembly right now?
10:25 What makes Garbage Collection implementation so difficult?
12:09 Challenges in Garbage Collection Implementation
15:19 Are you bound by the language runtime GC or by the Wasm runtime?
19:32 Challenges in Type Systems Implementation
22:59 Object-Oriented Hierarchies and Python
24:34 Garbage Collection Proposal Insights
31:35 Will the end users have extra work?
32:50 Can GC help with Ahead of time Compiling?
35:11 Fuzz Testing and Bug Fixing
36:05 Custom Page Size Proposal
38:03 Future of Garbage Collection Algorithms
	
Did you miss the WebAssembly Unleashed episode with Gilad Bracha? Check it out here:
What WebAssembly can learn from JAVA’s history | Ep5 | WebAssembly Unleashed https://youtu.be/BQjTShpa8VM?si=S4sHWZeRqVIbCdn_
	
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/


The Future of WebAssembly Garbage Collection | Ep 17 | 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.

New tracks tagged #Bytecode alliance