projects

I've created a publicly-accessible directory of slides of talks I've given (or intend to give) here.

I've begun informally publishing Jupyter notebooks to a public github repository. Mostly, these notebooks will be presentations of ideas in more detail than I can provide in a talk.

An implementation of Datalog in Rust which uses continuous truth values. It currently only supports in-memory truth tables.

Match-refute diagrams are a low-level hybrid between imperative and logic paradigms, related to both first order logic and binary decision diagrams.

These are some of the things I've made for myself or to prove a point.