| user: | silentvoice |
| created: | March 31, 2014 |
| karma: | 104 |
| about: | I research scientific computation and high performance computing. I also have a growing interest in functional programming and dependent types. |
| 1. | Black box optimization competition(bbcomp.ini.rub.de) |
| 2. | Why min(NaN,x) is x in IEEE(github.com) |