News for hackers. Stuff that matters.

A comment on Curiosity was built with 2.5 million lines of C. Parent comment

Re:Curiosity was built with 2.5 million lines of C by gtani on Tuesday August 07, 2012 @12:40PM (#4350879)
Detailed account of using Spark and PVS theorem prover in such an app

http://www.cs.virginia.edu/~jck/publications/Xiang.Yin.disse...

[ Parent | on HN ]

There are no comments on this comment yet.