Recent Posts

Your p-values Are Bogus

Is hypothesis testing built upon a house of lies? No, probably not. But still, read this article.

Types as Propositions

What is the connection between data types and logical propositions? Surprisingly, it runs quite deep. This post explores and illuminates that link.