Technology

Formal Methods, Functional Programming, and Securing the Java Ecosystem

airhacks.fm podcast with adam bien by Adam Bien

Mar 31, 202600:55:13Technology

An airhacks.fm conversation with Brian Vermeer ( @BrianVerm ) about: growing up with a Commodore 64 and gaming, inheriting a 486 DX2 with Windows 3.1 , first "enterprise" migration from Windows 3.1 to 3.11, early experim...

About This Episode

Formal Methods, Functional Programming, and Securing the Java Ecosystem is an episode from airhacks.fm podcast with adam bien by Adam Bien. An airhacks.fm conversation with Brian Vermeer ( @BrianVerm ) about: growing up with a Commodore 64...

Podcast

This episode belongs to airhacks.fm podcast with adam bien.

Listen Online

Use the player on this page to stream the episode online.

Episode Details

Published Mar 31, 2026, 00:55:13 long, audio available.

Formal Methods, Functional Programming, and Securing the Java Ecosystem

About This Episode

Related Episodes