News for hackers. Stuff that matters.
Re:The truth about Goobuntu: Google's in-house desktop Ubunt... by jahewson on Thursday August 30, 2012 @06:53AM (#4453971)
The SAT solver work is great, for anyone interested check out http://www.mancoosi.org/, there's even an annual competition for solving Linux package upgrade problems.

There are no comments on this comment yet.