projects

Presentations

0 minute read Published: 2019-01-17

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

Public Research Notebooks

0 minute read Published: 2019-01-17

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.

DeltaLog

0 minute read Published: 2018-08-29

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

match-refute diagrams

1 minute read Published: 2018-08-29

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

Completed and Ongoing Projects

1 minute read Published: 2018-08-29

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

Themed by (a fork of) after-dark.