Blog

The OCaml Planet

Articles and videos contributed by both experts, companies and passionate developers from the OCaml community. From in-depth technical articles, project highlights, community news, or insights into Open Source projects, the OCaml Planet RSS feed aggregator has something for everyone.

Want your Blog Posts or Videos to Show Here?

To contribute a blog post, or add your RSS feed, check out the Contributing Guide on GitHub.

The Jane Street Interview Process — 2020 Edition

We’re busy preparing for our software engineering fall hiringseason. Over the years we’vedone our best to make our interview process more transparent tocandi...

24 Jul 2020

Jane Street Tech Blog

Read Article
Proving Algebraic Datatypes are “Algebraic”

The set of types which can be defined in a language together with +++ and ∗*∗ form an “algebraic structure” in the mathematical sense, hence the name. It means the definitions of +++ and ∗*∗ have to satisfy properties such as commutativity or the existence of neutral elements. In this article, we prove the sum and prod Coq types satisfy these properties.

12 Jul 2020

Thomas Letan’s Blog

Read Article
Traceroute

24 Jun 2020

Hannes Mehnert

Read Article
Really low latency multipliers and cryptographic puzzles

At Jane Street, we have some experience using FPGAs for low-latencysystems–FPGAs are programmable hardware where you get the speed of anapplication-specific ...

22 Jun 2020

Jane Street Tech Blog

Read Article