|
|
|
user: thirsteh
created: 2010-06-21
karma: 3544
I spend a lot of my day hours XORing things together, and I'm particularly interested in PL research/high-assurance software development (Haskell, Agda, Coq, etc., but also how to make software in any language more secure and reliable.)I'm always happy to continue a discussion in private through email: my username at google's mail.
submissions:
|
|