Langton's ant part III - Visualizations with OCaml

A post about using OCaml to make 4K visualizations of multicolored generalizations of Langton's Ant. This is a follow up to my earlier posts here and here.

Conway's circle theorem and symbolic algebra

Conway's circle theorem is a result in classical geometry. We use Mathematica to provide a computer-assisted proof using only symbolic algebra.

circle animation

3D Printing a Permutoassociahedron

Putting together a 3D-printable model of a permutoassociahedron.

animated 1-skeleton of a permutoassociahedron

Primality testing in OCaml - part II

The second in a series of posts about implementing primality tests in OCaml. In this post, we'll implement a deterministic primality test for the OCaml int type using the Miller-Rabin primality test.

Primality testing in OCaml - part I

We implement a rudimentary primality test in the OCaml programming language.