Latest Interviews

Playing Atari Games in OCaml

Laurent Mazare

This presentation explores the application of machine learning to Atari games by leveraging OCaml's functional type safety alongside PyTorch and TensorFlow for GPU-accelerated deep learning. It details how supervised convolutional neural networks achieve over 99.5% image classification accuracy and how reinforcement learning agents utilizing Deep Q-Learning can master games like Breakout and Pong, albeit with significantly slower training times than humans. The talk concludes by highlighting the technical interoperability achieved through custom OCaml bindings and outlines future research directions in transfer learning and generalization across varying game environments.

Marius Eriksen: Distributed, Incremental Dataflow Processing in the Cloud with Reflow

Marius Eriksen

The Braille bioinformatics team has developed Reflow, an open-source workflow engine designed to treat biological data pipelines as functional programs rather than static dependency graphs. By enforcing a strict data model and dynamic cloud resource provisioning, the system automatically parallelizes tasks, caches results through referential transparency, and ensures reproducible computations via versioned "data spaces." Currently adopted by Grail, the Chan Zuckerberg Institute, and several biotech startups, Reflow reduces infrastructure complexity while enabling efficient incremental updates to massive genomic and machine learning pipelines.

Effective Programming: Adding an Effect System to OCaml

This presentation details a comprehensive framework for algebraic effects that separates effect specification from implementation by treating operations like concurrency and state as explicit, resumable interruptions. It contrasts this approach with traditional monads to eliminate boilerplate and demonstrates a full conversion of the OCaml standard library, introducing syntax for tracking purity, region-based locality, and effect polymorphism directly in the type system. The work culminates in a runtime model where effect handlers manage heap-allocated call stacks while future extensions aim to enforce region safety and support multi-handler compositions for complex scenarios.