Search Articles

Search Results: OCaml

Unikernel‑First Email Search: OCaml, Solo5, and the Blame Project

Unikernel‑First Email Search: OCaml, Solo5, and the Blame Project

The Blame unikernel turns an OCaml codebase into a tiny, statically linked web server that can search large email archives from the client side. By leveraging Solo5, Miou, and a custom web framework, the project demonstrates how to keep memory usage under 256 MB while serving 30 k emails through a browser.

OCaml's Parallel Evolution: Charting a Decade of Multicore Breakthroughs

KC Sivaramakrishnan's extensive talks reveal OCaml's transformative journey from single-core to parallel powerhouse, featuring effect handlers, verified distributed systems, and hardware-assisted security. This technical deep dive explores how these innovations reshape functional programming for multicore and distributed computing demands.