Hacker News new | ask | show | jobs
by cies 1739 days ago
Super cool indeed. I learned MSFT pulled funding for this project. Sadly.
1 comments

No, that seems wrong. Its currently only Daan working on this, but as you can see the last commit to 'master' was 7 days ago and the last commit to 'dev' yesterday...
So was there MSFT funding? And is there now MSFT funding?

That it gets continued as a hobby project does not mean it was not funded at some point (and is no longer).

But I'm not sure about my statement; no source also (just remember reading it).

CORRECTION: as can be read rest of the thread, Koka is being funded by MSFT.

Daan is employed full-time at MS Research and gets to spend this time on Koka (when he is not writing conference papers). There is currently no further funding or deployment of Koka within Microsoft that I know of (unlike mimalloc which seems to be used by Azure and Bing).
Thanks for setting this straight!