Houston Haynes - Firefly - an F# compiler goes native to CPU, GPU and beyond

Описание: This talk is an exploration of how F#s new Firefly compiler, part of the Fidelity Framework, creates a seamless bridge between high-performance computing and formal verification. Discover how Firefly's direct MLIR/LLVM compilation unlocks native efficiency while F* verification ensures mathematical correctness. Get a glimpse into how this groundbreaking open core initiative enables targeting verifiable AI systems to CPU, GPU and other accelerators "on the metal" - all while maintaining F#'s tooling vaunted reputation for providing guardrails to support developer productivity.

About Houston Haynes - Asheville, NC
Founder of SpeakEZ.ai - former F# Software Foundation Board of Trustees
Socials
  / speakez-llc  
https://speakez.ai/

Houston's career started when his university research advisor Bob Moog was leaving academia and restarting his business. That eventually led to the revival of Moog Music as an international brand. He has since worked in industries ranging from entertainment to automotive, where hardware-driven process automation, software-based decision support and related intelligent devices were always part of the picture. He founded SpeakEZ in 2020 in response to the corporate surveillance proliferating in cloud services and continues his work designing security and privacy-minded intelligent services for organizations of all sizes.

Presented on August 15, 2025 at the Carolina Code Conference in Greenville, SC
https://carolina.codes

Sponsored by...
Flywheel - https://www.flywheelgreenvillesc.com/
Vonage - https://developer.vonage.com/en/home
Times 20 Consulting - https://x20.io/

Organized by Brightball, Inc - https://www.brightball.com/