We're looking forward to #ICFP2026 in Indianapolis! OCaml is our primary development language at Jane Street, and we're actively building new language features and formal verification tools. See our recent blog post, and come chat with out team at the conference.