Building Proof to reduce the work needed to trust a software change. Engineer, founder. I want fewer compromises between shipping and quality.

Istanbul