Kickoff event videos are now up
All talks from the FP Launchpad Kickoff on April 13, 2026 are now available on YouTube. The playlist includes 10 talks covering hardware design, security, formal verification, compilers, programming languages, and AI-assisted metatheory.