Exploring Quantum Computing, AI, Networking and Cryptography at AppWorld 2025

https://is1-ssl.mzstatic.com/image/thumb/Podcasts112/v4/5e/24/03/5e240383-cd6b-edd8-860b-b1c431e9b744/mza_6191529724529820504.jpg/600x600bb.jpg

DevCentral

F5 DevCentral Community

95 episodes

4 months ago

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/

Technology

RSS

All content for DevCentral is the property of F5 DevCentral Community and is served directly from their servers with no modification, redirects, or rehosting. The podcast is not affiliated with or endorsed by Podjoint in any way.

Technology

https://i1.sndcdn.com/artworks-eXOUBlYdC8YhqzUS-wv6SUg-t3000x3000.png

Exploring Quantum Computing, AI, Networking and Cryptography at AppWorld 2025

DevCentral

18 minutes 20 seconds

7 months ago

Exploring Quantum Computing, AI, Networking and Cryptography at AppWorld 2025

Join us as we dive into the exciting world of quantum computing and AI at App World 2025, held at the fabulous Fontainebleau in Las Vegas. Aubrey from DevCentral hosts a fascinating discussion with Daniela Pontes and Brett Wolmarans from F5. They explore the latest advancements in AI, the impact of quantum computing on cybersecurity, and what the future holds for post-quantum cryptography. Discover how F5 is leveraging AI to optimize and secure applications, and learn about the recent release of the AI gateway. Daniela delves into the looming threat of quantum computing on current cryptography standards, explaining the importance of transitioning to quantum-resistant algorithms and even a little on quantum networking. Stay tuned for insights on how industries like finance and healthcare are preparing for a quantum future. Don't miss this episode full of expert knowledge and cutting-edge technology! Discover how F5 is leveraging AI to optimize and secure applications, and learn about the recent release of the AI gateway. Daniela delves into the looming threat of quantum computing on current cryptographic systems, explaining the importance of transitioning to quantum-resistant algorithms. Stay tuned for insights on how industries like finance and healthcare are preparing for a quantum future. Don't miss this episode full of expert knowledge and cutting-edge technology!