Hacker Newsnew | past | comments | ask | show | jobs | submitlogin
user:daanx
created:July 31, 2017
karma:89
about:<https://www.microsoft.com/en-us/research/people/daan>

<https://github.com/koka-lang/koka>

<https://github.com/microsoft/mimalloc>

submissions
comments
favorites