Braids: Finding n-body fixed points in two dimensions. Based on Braids in Classical Dynamics

Malware Globe: A visualization of a week of global malware levels.

Subtypes with Scott Encodings: A fun approach to achieving subtyping with scott encodings.