Recent Posts

Intro to DDlog

A dive into using Differential Datalog

The Slowest Quicksort

Writing the slowest quicksort implementation, for science!