Linked by Thom Holwerda on Mon 6th Apr 2009 10:05 UTC
Thread beginning with comment 357313
To view parent comment, click here.
To read all comments associated with this story, please click here.
To view parent comment, click here.
To read all comments associated with this story, please click here.
RE[3]: Well Done vs BitC-Holy-Grail(?)
by pg--az on Mon 6th Apr 2009 14:27
in reply to "RE[2]: Well Done"






Member since:
2006-05-02
Yeah, EROS and CoyotOS really looked "promising", but I always felt that Shapiro somehow lacked the determination to push this project forward. So while I always hoped a formally verified, maybe really secure and fully functional, usable operating system would come out of this project, realistically, I knew it wouldn't happen.
Maybe at Microsoft he really gets something done...