Skip to content
Carolina Code Conference
Served by Erlang (Nova) in 56ms

2025 speaker

Houston Haynes

Houston Haynes

Founder of Braidpoint - former F# Software Foundation Board of Trustees

Asheville, NC

Houston’s career started out of university when he was hired by his research advisor Bob Moog who was restarting his business at the time of Houston’s graduation. 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 robotic process automation, software-based decision support and related intelligent devices were always part of the picture. He founded SpeakEZ in 2021 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.

Visit website

2025 · intermediate

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.

From the talk