Latest Interviews

Regions with OCaml's Local Types | OCaml Unboxed

Jane Street researchers introduce a `regional` variant within the OCaml compiler's `locals` feature that treats function parameters as variables permitted to escape their enclosing region exactly once. This mechanism enforces strict type constraints on return values while enabling critical stack allocation optimizations in recursive tail calls and loop iterations. By defining regions around function and loop bodies, the system prevents $O(N)$ space complexity for local data without compromising the language's type safety guarantees.

Real Numbers – Episode 04, Passing Your Driver's Test

Sawyer

This episode introduces Bayes' theorem to invert conditional probabilities, utilizing a DMV exam scenario to demonstrate calculating the likelihood that a passing applicant studied. The presentation further details Jane Street's business application of Bayesian inference for validating mathematical models against empirical data and derives the underlying proof using the commutative property of logical intersection. Concurrently, the summary resolves a prior probability challenge involving a card game where specific disjoint scenarios combine to yield a one-in-78 chance of losing an Ace on the first turn. Viewers are now tasked with solving the DMV problem using the provided formula, with the solution to be revealed in a future challenge.