Zero knowledge proofs

Posted on sob 29 październik 2016 in Programming articles • Tagged with cryptography, zero-knowledge, snarks

Zero knowledge proofs are a powerful cryptographical concept, but they might be complex and hard to grasp at first. Let's start exploring the subject with a simple example, which I first read here.

A classic example

Imagine you are playing snooker with your color-blind friend and you want to ...

Continue reading

Monadic nirvana

Posted on śro 07 wrzesień 2016 in Programming articles • Tagged with monads, haskell, programming, functional programming

The following article, written in polish, consists of my notes taken while studying monads from "monads for the curious programmer series":

I highly recommend all programmers to read the ...

Continue reading

Where did TDD go wrong

Posted on wto 06 wrzesień 2016 in Programming videos • Tagged with testing, TDD, programming

I have recently watched a very interesting talk given by Ian Cooper about the flaws of TDD. You can watch the whole talk here. Below are my notes taken while watching.

Test behaviours, not implementations

A better TDD definition

New piece of behaviour means we should write a test

What ...

Continue reading