Мануалов нет, всё это довольно узкая область исследования. Я боюсь, кайф словите только если сами всё додумаете.
Препятствий имхо нет, разве что переписать графическую платформу qubuntu под eglfs/xlib.
В апреле 1993 г., на московской квартире, где Deviator встречался со своими друзьями-кракерами (одним из них был небезызвестный Baphomet), появилась идея создания новой группы.
Да? А мы вот тут экзамен по IBM WebSphere Business Modeler в универе сдавали, там можно построить бизнес-процесс с помощью блоков, мышкой, а дальше автоматически сгенерировать Java или C++ классы. С полным покрытием по RUP. Только тссс :)
Новый формат пакетов не более чем еще один формат пакетов
Это невежество. Если статья на OpenNet не очень чётко объясняет суть, то вот на хабре писали про это в более простой форме и разница налицо. habrahabr.ru/post/179751/
а на qt разве пишут без зависимостей?
Речь не о самих зависимостях, а о способе подготовки к линковке с ними.
На Windows Mobile уже было и работало прекрасно :)
Препятствий имхо нет, разве что переписать графическую платформу qubuntu под eglfs/xlib.
Кстати, про андеграунд снят замечательный сериал the.scene — habrahabr.ru/post/150239/
Насчёт верификации теорем — я думаю это неразрешимая проблема и у самих математиков уже наверняка были исследования на эту тему.
Речь не о самих зависимостях, а о способе подготовки к линковке с ними.