Recent Posts

New Paper on the arXiv!

I just put a new paper up on the arXiv, and so I thought I would share it here. This was the final paper I wrote for my Ph.D., and it’s the one I’m most prou...

Types as Propositions

Some of the most meaningful mathematical realizations that I’ve had have been unexpected connections between two topics; that is, realizing that two concepts...

Inverse Transform Sampling in Python

When doing data work, we often need to sample random variables. This is easy to do if one wishes to sample from a Gaussian, or a uniform random variable, or ...

The Meaning of Entropy

Entropy is a word that we see a lot in various forms. It’s classical use comes from thermodynamics: e.g. “the entropy in the universe is always increasin...

Anomaly Detection in Dynamic Networks

“Data analysis” is a hugely popular thing these days, for obvious reasons. When most people think of “data,” they think of a table where the columns are vari...

NetComp: Network Comparison in Python

As I worked on my research on network data analysis, it became clear that there was a need for a Python library that implemented the analytical tools I was i...