squiddish

Status: Active user
Joined: 2 years ago by invitation from shapr
Karma: 2, averaging 0.50 per story/comment
Stories Submitted: 1, most commonly tagged release
Comments Posted: 3
About:

Software engineer from Germany interested in functional programming, soundness, formal methods, cryptography.