This document provides a quick overview of "type theory", and specifically, how we use it to reason about data and design in IPLD. We take "type theory" to mean primarily: a way of reasoning about ...

Evaluation framework and methods for estimating cardinalities of groups of sets - cardinality_estimation_evaluation_framework/examples/notebooks/install_on_google_colab.ipynb at master · ...

Abstract: Inspired by sparse learning, the Markowitz mean-variance model with a sparse regularization term is popularly used in sparse portfolio optimization. However, in penalty-based portfolio ...

While the world goes wild for categorification (and the part that doesn’t, should!), I seem to be fixated on decategorification — or counting as it’s popularly known. And right now I’m obsessed with ...