3 ms·
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 lo
by cies 5y ago
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.
- anfelor 5y agoDaan 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).
- cies 5y agoThanks for setting this straight!