Presentations
0 minute read Published: 2019-01-17I've created a publicly-accessible directory of slides of talks I've given (or intend to give) here.
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.