|
|
| user: | thirsteh | | created: | June 21, 2010 | | karma: | 3544 | | about: | 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 | | comments | | favorites |
|
