Мне кажется, что кто-то не хочет понимать прочитанное, а кто-то не понимает смысла даже своего сообщения. Обратите оба внимание на то, что двенадцать человек четыре года занимались «работой по формулировке алгоритма математического доказательства». Они провели огромную работу за это время. Плодом этой работы стала «интерактивная программа Isabelle». И вот уже с помощью нее был проведен анализ микроядра. Сколько труда ушло на анализ не уточняется. Но не четыре года :) Думаю, порядка дня-двух, а может и меньше.
«Неопровержимый факт» без фактов… Кто всерьез воспримет ваши слова? Вы опускаетесь до уровня простого тролля.
И, конечно, вы не знаете, что если вам повезет и вы найдете один-два таких «неопровержимых факта», есть приложение «Центр отзывов», где вы можете донести свое мнение и его даже прочтут и, возможно, изменят интерфейс, который «профессианалы «дизайнили», сидящие на огрызках».
Упреждая ваш возможный ответ о низкой контрастности выделения ссылки в первом скриншоте, укажу, что я сам выбрал именно такой цвет. Настроить цвет интерактивных элементов можно тут:
Да, комп в небольшой сети, но ссылка появляется задолго до окончания сканирования. У меня — секунды через две после начала. Чуть ниже в ответе про цвет ссылки можно увидеть, что сканирование еще идет, а ссылка уже есть.
Вас не смутило то, что в цитате ссылаются на труд Панова М.В. (https://ru.wikipedia.org/wiki/%D0%9F%D0%B0%D0%BD%D0%BE%D0%B2,_%D0%9C%D0%B8%D1%85%D0%B0%D0%B8%D0%BB_%D0%92%D0%B8%D0%BA%D1%82%D0%BE%D1%80%D0%BE%D0%B2%D0%B8%D1%87)Однако, вы ничтоже сумняшеся подвергли сомнению авторитет автора.
Также вы аккуратно обходите молчанием, что приведенное вами правило касается написания приставок, а не составных слов. Как мне кажется, оно не применимо в нашем случае.
Мы уверены, что элемент super в русском языке конца века проявляет статус аффиксоида, хотя русская научно-учебная традиция упорно считает этот элемент приставкой. И поэтому, чтобы резко не ломать ее, в описаниях о функционировании этого элемента в русской речи мы будем назвать его и аффиксоидом, и «приставкой», хотя авторитетный лингвист нашего времени М.В. Панов [3] относит элемент супер- (наряду с экс-, обер-, ультра-, псевдо-) к одной из трупп «аналитических прилагательных». «Извращенное сознание ультра-диахрониста, — пишет исследователь, — может видеть в этих прилагательных приставки. Как были, так-де и остались. Эта квазиосторожность не идет на пользу дела. Действительно, по происхождению это при- ставки-интерпациоиализмы. Но сейчас-то они псевдопрефиксы, обрели все признаки слова, а, став словами, они неизбежно попадают в класс аналитических прилагательных. Какие признаки? Свободная, нефразеологическая сочетаемость с существительными (Приставки-то фразеологичны! Это в их природе). Сочетаемость с частицами. Фонетическая примета слова: особое персональное ударение».
…
Если “Русская грамматика” 1982 года утверждает, что употребление «приставки» супер- ограничивается научно-технической терминологией и газетно-публицистической сферой, то в начале XXI века можно утверждать, что слова с данным компонентом функционируют буквально во всех сферах жизнедеятельности человека. Так, в сфере «Отдых и развлечения» можно отметить использование следующих композитов: суперуспех, супергруппа, суперхит, супербалет, суперфильм, супербоевик, супердиск, суперепетиция, суперсюжет, суперзрелище, суперпевец, суперзвезда, суперколлекция, суперальбом, суперлотерея, супертур, суперДракои-трапсформер, супердискотека, суперструна и т.д. Есть иронический окказионализм суперпупер, где вторая часть созвучна с русским пуп, в значении выпячиваться. (суперпу- перпауэрстронгфорвард).
Наибольшим количеством слов с элементом супер — отличается тематическая группа «Техника, связь, приборы». Здесь можно встретить: супермашина, суперавтомобиль, суперкомбайн, супертранспорт, супердвигатель для суперистребителя, суперзвездолет, суперсамолет, суперантенна, суперсистема, суперконтроль, супермодель, суперсубмарина, суперкрейсер, сутеркорабль, сутерсудно, суперэсминец, суперяхта, суперрадар, суперкомпьютер, супердисплей, супертелевизор, суперробот, суперглаз (техника для бизнеса), супернадежность, суперускоритель, суперфиксация, супермеханизм, супердрель, суперклещи, суперсверло, супернож, суперсейф, суперклей, супербудильник и др.
Актуализация употребления аффиксоида super в современном русском языке. Дьяков А.И., доцент кафедры Иностранных языков, кандидат филологических наук, Сибирский университет потребительской кооперации, г. Новосибирск
Видимо, вы правы.
Но мне все-таки «режут глаз» эти суперъядра и суперъяхты. Может быть потому, что «супер» уже не приставка, а самостоятельное слово? Тогда это «один из корней двусоставного слова». (http://www.russ.ru/pole/Super)
Слитно пишутся существительные и прилагательные, начинающиеся с элементов: авиа-, авто-, агро-, библио-, био-, вело-, гелио-, гидро-, гомо-, графо-, зоо-, кино-, лже-, лито-, макро-, микро-, метео-, мото-, мульти-, нео-, палео-, поли-, псевдо-, радио-, теле-, термо-, стерео-, фото-, фоно-, экзо-, электро- (их количество может быть более одного в слове)…
…
… Этому же правилу подчиняется и написание иноязычных корней-приставок: анти-, архи-, инфра-, контр-, пан-, супер-, ультра-, экстра-: антинародный, архимодный, инфракрасный, контратака (но: контр-адмирал), пангенезис, панзоотия, суперобложка, ультрамикроскоп, ультрафиолетовый, экстравагантный, экстраполяция (но: экстра-класс, экстра-почта).
Примечание. Если вторая часть слова — имя собственное, такие образования пишутся через дефис: квази-Горький, лже-Пушкин (но: Лжедмитрий — историческое написание), пан-Америка, пан-Европа.
Валгина Н.С., Светлышева В.Н. Орфография и пунктуация: справочник.- М.: «Неолит», 2001
Также у некоторых существует ограничение на длину пароля.
Как все эти взаимоисключающие условия совместить в одном алгоритме?
Далее вы породили много текста с утверждениями но без доказательств.
Сгинь, тролль! Аминь!
И, конечно, вы не знаете, что если вам повезет и вы найдете один-два таких «неопровержимых факта», есть приложение «Центр отзывов», где вы можете донести свое мнение и его даже прочтут и, возможно, изменят интерфейс, который «профессианалы «дизайнили», сидящие на огрызках».
Бегающие точки — индикатор поиска. Выбор цвета для них не принципиален, наверное, если учесть, что «бегающих» ссылок в природе не бывает :)
Как по мне — вполне себе ссылка.
Вы бы хоть попробовали у себя, прежде чем писать.
Ничего тут «мотать», очевидно, не надо.
ИЧСХ, после нажатия на плюсик «Добавить принтеры и сканеры», чуть пониже появляется ссылка «Необходимый принтер отсутствует в списке».
Так вот, нажатие на эту ссылку открывает так долго искомый вами Мастер Установки принтера. Заметьте, что опять ничего «мотать» не надо.
Как говорил Коровьев-Фагот: «Поздравляю вас, гражданин, соврамши!»
Также вы аккуратно обходите молчанием, что приведенное вами правило касается написания приставок, а не составных слов. Как мне кажется, оно не применимо в нашем случае.
Суперяхту я выделил. Специально для вас.
Но мне все-таки «режут глаз» эти суперъядра и суперъяхты. Может быть потому, что «супер» уже не приставка, а самостоятельное слово? Тогда это «один из корней двусоставного слова». (http://www.russ.ru/pole/Super)
Таким образом, правильно будет написать суперяд.