silentvoice
- Karma
- 104
- Created
- 12 years ago
About
I research scientific computation and high performance computing. I also have a growing interest in functional programming and dependent types.Recent Submissions
- 1. ▲ Black box optimization competition (bbcomp.ini.rub.de)
- 2. ▲ Why min(NaN,x) is x in IEEE (github.com)