silentvoice
I research scientific computation and high performance computing. I also have a growing interest in functional programming and dependent types.
Recent submissions
All submissions and comments on Hacker News.
I research scientific computation and high performance computing. I also have a growing interest in functional programming and dependent types.
All submissions and comments on Hacker News.