Partially Applied

Moving on From Quantopian

This past Friday was my last day at Quantopian, after a little over six years (or eight years, depending on how you count). I'm extremely proud of the work I've done as part of the Quantopian team. I'm also extremely grateful for the trust that Quantopian as an organization has placed in me during my tenure. I can't think of another place where I could have grown so much and learned so much, so early in my career.

Read Full Post

Exploring Church Numerals with Python

This post explores Church Encoding, a method of representing natural numbers as lambda calculus terms.

Assumed Knowledge:

This post assumes that you're already familiar with a few concepts. You may still enjoy the post if you're not familiar with these ideas, but if you start to feel lost, these might be good topics to brush up on before continuing.

A (Very) Brief Introduction to Lambda Calculus

Lambda calculus is a theoretical model for computing in which the only allowed operations are:

Read Full Post