Overflow in consistent hashing (2018)

Ten years of improvements in PostgreSQL's optimizer

Vulcan: A Javascript Automated Proof System

No, Really, What's a Monad?

The often-overlooked random forest kernel

Vulcan: A JavaScript Automated Proof System