Есть ли примеры внедрения результатов исследований в computer science в ядро Linux, инфраструктуру GNU? Как вообще сейчас выглядят взаимоотношения свободного софта и computer science?

Перехожу с Windows на Linux, ищу дистрибутив с такими требованиями:

• Стабильность, возможно даже в ущерб новизне.
• Поддержка лэптопов.
• Максимальное быстродействие, свистелки и перделки не приветствуются.
• (желательно) StumpWM или awesome «из коробки».
• (желательно) Developer tools, в особенности SML, Common Lisp, Scheme «из коробки».
• Возможность запустить Mathematica (или версии под Linux таки не существует?)
• MP3-кодеки, Flash для YouTube.
• LaTeX с русификацией.
• Быстрое конфигурирование без излишнего красноглазия, source-based дистрибутивы не приветствуются.

Также ищу какую-нибудь замену Evernote, с онлайн-синхронизацией и клиппером.