Simple Multi-stage Docker Builds

December 7, 2020

Cynnovative is committed to rapidly testing and deploying research prototypes. As such, we always look for ways to let our data scientists write code which is easily deployable and adheres to good engineering practices. At Cynnovative, we use Docker for production deployments and model training on GPU-enabled hardware. Rather than moving code into a Docker… Read more »

Building with Lambda Calculus

Building with λ-calculus

November 22, 2020

For those not yet initiated in λ-calculus, the first questions are usually the four Ws: What, Who, When, and Why. Created by Alonzo Church in the 1930s (a decade that had other notable inventions like Monopoly, nylon, frozen foods, polarizing glass and the Zippo lighter), λ-calculus is defined as a formal system for expressing computation… Read more »