caxapa.ru :: Полностью кастомизированные решения: синтез с оптимизацией по выбранным параметрам ядра процессора, тулчейна и исходного кода -> Интересно, так кто-то делает или нет?

Evgeny_CD^{Архитектор} (03.03.2015 15:45, просмотров: 6343)

Полностью кастомизированные решения: синтез с оптимизацией по выбранным параметрам ядра процессора, тулчейна и исходного кода -> Интересно, так кто-то делает или нет? http://caxapa.ru/583768.html

- Ура! Я не одинокий придурок в этом мире! Это называется "суперкомпиляция" Evgeny_CD(124 знак., 03.03.2015 15:59)
  - Суперкомпиллятор доктора Туама ? :) - scorpion(03.03.2015 17:16)
    - Тьфу! Ну зачем ты его в суе вспомнил? - Evgeny_CD(03.03.2015 17:23)
      - Кстати, а почему у него такое идиотское "О" было? Так сразу как-то представляется, как он произносит свой ник со вскриком внезапным на этом месте %) И вообще, что за ник такой, чего он вообще значит? Если значит... - Николай Коровин(03.03.2015 18:11)
        
        Тайное значение ника мне неизвестно. Как и буквы О. - Evgeny_CD(03.03.2015 18:17)
        
        Это не из-за того ли, что он одну буковку менял в никах из-за постоянных банов? Вообще он как-то мимо меня прошёл, я в срачи лезу редко... - Николай Коровин(03.03.2015 18:35)
        
        Я с ним вообще ни разу в конфах не сцеплялся. Но персонаж знатный.... - Evgeny_CD(03.03.2015 18:36)
        
        Нам его не хватает :) - scorpion(03.03.2015 21:11)
        
        Коллективный укроп-срач превосходит доктора по эффективности растраты мозговой энергии. При наличии дохтора часть посетителей конфы отправилась бы в больничку. - Evgeny_CD(03.03.2015 21:12)
        
        Это не укро-срач... Это наше будущее. - max(03.03.2015 21:45)
        
        Такого будущего у нас не будет. Будет то будущее, которое мы выберем для себя. точка. - Evgeny_CD(03.03.2015 23:07)
- Ага, модель с over9000 параметрами. И 100500 бета-тестеров, которые ловят баги в этом 9000-мерном пространстве. Это прекрасно :-) - SciFi(03.03.2015 15:50)
  - Ну как бы подразумевается, что исходник более низкого уровня синтезируется из "верхнего уровня" гарантированно безошибочно. Вроде как теория такое позволяет. - Evgeny_CD(03.03.2015 15:57)
    - Ага, это если "верхний уровень" безглючный. Что сомнительно. - SciFi(03.03.2015 16:02)
      - А пусть верхний уровень - это сети Петри или еще что, что позволяет проводить формальную верификацию непротиворечивости. - Evgeny_CD(03.03.2015 16:05)
        
        Я про исходники процессора и компилятора с over9000 параметрами. Никакой петрик не сможет это проверить. - SciFi(03.03.2015 16:07)
        
        А мы набор параметров тоже будем из описания Самого Высокого Уровня компилировать :) - Evgeny_CD(03.03.2015 16:10)

Средства и методы разработки