Comment by layer8

You mean masochist? ;)

I’m similar, though I wish programming languages would gives us more facilities to statically double-check the correctness reasoning.