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
Chris Fallin elucidates formal verification's role in WebAssembly, discussing its application in ensuring software correctness and security with hosts Joel Moses, Oscar Spencer, and Matthew Yacobucci in this interview.
12 May 2025
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/
2 May 2025
AI, Red Teaming, and Post-Quantum Cryptography: Key Insights from RSA 2025
Join Aubrey and Byron at RSA Conference 2025 as they dive into transformative topics like artificial intelligence, red teaming strategies, and post-quantum cryptography. From exploring groundbreaking OWASP sessions to analyzing emerging AI threats, this episode highlights key insights that shape the future of cybersecurity. Discover the challenges in red team AI testing, the implications of APIs in multi-cloud environments, and how quantum-resistant cryptography is rising to meet AI-driven threats. Don't miss this exciting recap of RSA 2025!
00:00 Introduction
00:47 Personal Conference Highlights
03:07 PQC Meanderings
05:44 AI Red Teaming
11:21 OWASP Compass / CISO Checklist
13:03 A Prompt Injection Tale
14:03 Protect Your System Prompts
15:00 Beyond The Hype Cycle?
17:17 From The Show Floor
19:03 Dreadnode Dyana Sandbox
21:35 More From The Floor
22:53 Deepfakes
25:38 The Allure Of Using Obvious AI
26:22 Gonna Take Crucible For A Spin
27:12 Final Conference Thoughts
30:45 Outro
Who has been a guest on DevCentral
Names identified in recent episode analyses. Showing up to five guests.
Chris Fallin
Till Schneidereit
Ken Arora
Chuck Herrin
Pete Scheffler
Reach and audience
Public platform figures. Ratings count people who left a rating, not total listeners.
YouTube views
9,440,707
Score snapshot 15 Sept 2025
Apple Podcasts (US)
5.0 / 5
1 ratings
Spotify
5.0 / 5
3 ratings
Podcast Authority Score: 75 / 100
A composite of feed quality, social presence, YouTube performance and engagement. Read the methodology.
Quality
89
Social presence
0
YouTube
93
Engagement
60
Contact DevCentral
Guest appearances
Books guests
Based on episode analysis; this does not confirm that the show is currently accepting guests.
Host of DevCentral?
Claim your podcast to manage its listing and keep your show details accurate.
Pod Engine is an independent podcast discovery and analytics service and is not affiliated with or endorsed by this podcast. Artwork and show content belong to their owners. Full legal notice.
Explore this show Podcast research with Pod Engine
