Hacker News new | ask | show | jobs
by gsnedders 4419 days ago
LLVM goes back to 2003, and Sing# is based on Spec# which is only 2004?
1 comments
pjmlp 4419 days ago
The Wikipedia mentions 2003 and we can assume there was already work going on before.

http://en.wikipedia.org/wiki/Singularity_%28operating_system...

Although the first published papers are indeed from 2004.

link
gsnedders 4419 days ago
Work on LLVM started in 2000, FWIW.
link