timothy from the modified-seldon-plan dept.
fatalGlory writes "Despite some initial reservations about Gnome-shell, it appears to be coming out very nicely. In some preliminary benchmarking tests I've been conducting, Ubuntu's Unity desktop on 11.04 Natty uses roughly double the memory that Gnome-shell uses."
"I think it is true for all _n. I was just playing it safe with _n >= 3
because I couldn't remember the proof."
-- Baker, Pure Math 351a