Dependent types are a way of proving facts about your program at compile time. One interesting use case of dependent types, which I've discovered recently, is ensuring consistency in a sharded database system. Sharding is a database practice where different pieces of data are stored in different physical databases ...

On the hazards of significance testing. Part 2: the false discovery rate, or how not to make a fool of yourself with P values

Hands-Free Kafka Replication: A Lesson in Operational Simplicity. Self-recommending.

This is a great essay by Michael Anissimov discussing why people who know an unpopular secret about ...

In category theory, a Free Object is an algebraic object M[_] possessing a natural transformation - a way of lifting a function f: A => N into a function from M[A] => N which preserves the algebraic structure. In this article I'm going to discuss how this applies to the ...