hyperpape
hyperpape avatar
Active user
2 years ago by invitation from telemachus
357, averaging 2.30 per story/comment
4, most commonly tagged formalmethods
151
https://github.com/hyperpape

Into goofy hacks, optimization, compilers, and also everything else under the sun. I sometimes post my notes at http://justinblank.com.