23 Sep 2017, 07:43 • theory, entropy • 107 views

Intuitively, entropy is the measure of in how many states a system can be.
But how can we arrive from this intuition at \( H(X)= -\sum_i p_i \log p_i \)?

26 Sep 2017, 07:00 • monads, theory • 195 views

...a monoid in the category of endofunctors. This enigmatic sentence keeps perplexing beginner programmers.
In this post we dissect it so you don't have to read a whole book on category theory in order to understand what it means.