Piotr Paradziński

I am a software engineer interested in FP, type systems, compilers, verification, distributed systems, and category theory.

This blog is a lab notebook plus essay collection built with Hakyll.