squiddish
squiddish avatar
Active user
4 months ago by invitation from shapr
0, averaging 0.00 per story/comment
1, most commonly tagged release
0

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