Samsung запросто забила бы Nokia и ценой, и количеством. Собственно именно такую картину мы сейчас наблюдаем на рынке Android смартфонов, некогда лидеры рынка Sony и HTC терпят большие убытки и занимают мизерную долю.
Разве сейчас модельный ряд Samsung дешевле или разнообразнее конкурентов?
Однако после приведения сертификатов Coursera к стандартизированному виду, отражения факта выполнения программных задач в сертификате больше нет.
Не уверен, как это было раньше, но сегодня я получил сертификат об окончании своего первого курса, «Cryptography I». Факт решения программных задач в сертификате отражается пометкой «with distinction», которую можно получить только выбив не менее 70% баллов за эти самые опциональные задания. Удивило, что нигде не отобраражается балл за обязательную часть курса.
Где вы тут осуждение увидели? На лицо недостаток мотивации для покупки новой версии ОС (после чего уже могло бы и осуждение возникнуть :) ). Не все любят обновляться ради обновлений.
Мне кажется, что плохое здесь то, что у вас нет никаких инструментов контроля за своими личными данными. Без вашего ведома компания может как делать свой продукт лучше на основе вашей информации, так и продавать ее Министерству Любви вашего государства.
Насколько можно верить авторам, HOL является interactive theorem prover, то бишь предназначен для доказательства теорем при активном участии специалиста в предметной области. Подозреваю (чудовищно некомпетентен, но мнение имею :-)), что участие часто сводится к вбиванию с черновика набросков доказательства — вот вам и механическая проверка.
Комментарии к багрепорту не читал, но осуждаю могу заметить, что летом очень даже пользовался wine на amd64. Если поломаны зависимости, может быстрее будет попробывать их самому разгрести и удалить старые пакеты, мешающие wine?
Кому нужна теория — тот её быстрее освоит имея практические навыки.
Имхо, конечно, но этот подход никак не запрещает изучать исключительно теоритические предметы при наличии хороших методических материалов (книга, преподавательский конспект лекций, и т.д.). Наоборот, это позволяет сосредоточиться на тех вещах, доказательство которых нетривиально и непонятно, а не на огромной куче определений и простых вещей, которые всегда есть в каждом курсе. К тому же, это практически не отличается от того, как это реально работает и сейчас: так или иначе, свой собственный конспект перед коллоквиумом надо разобрать и осознать самостоятельно. Разница лишь в том, по чьим материалам будешь готовиться и когда задашь интересующие вопросы: до или после колоквиума.
Как я понимаю, проверить любой код на отсутствие таких лаж невозможно.
Это технически возможно, просто до поры до времени это не очень волновало даже самих производителей процессоров, но последние несколько лет ситация поменялась. Сейчас есть исследовательская группа в Кембридже (и сочувствующие в INRIA и прочих учреждениях), которая формализировала модели памяти SPARC, x86 и Power (раз и два). Есть люди, интересующиеся формальной верификацией поверх слабых моделей памяти (например, C++).
> Вы ничего не перепутали? ARM и PowerPC — совершенно разные архитектуры.
В контексте данной статьи автор мог смело писать их в одном предложении: модели памяти этих архитектур близнецы-братья.
Могу согласиться с вами лишь частично: глюки и тормоза вылезают только там, куда прикладывает свою програмистскую руку Canonical. :-) Другими словами, если не пользоваться Unity, то Ubuntu в целом получается таким себе удобным debian testing (а это очень стабильно и здорово).
> переключателя полноэкранности не предусмотрено
На самом деле, когда вы находитель в dash, кнопки закрыть/развернуть/свернуть в левом верхнем углу управляют именно им. Другими словами, есть там разворачивание меню на весь экран.
> панель не показывается обратно, если настроить автоскрытие
Очень похоже на баг Unity времен до 12.04. Собственно, из-за кривых рук разработчиков этого бага, ЕМНИП, вырезали режим «умного скрытия» панели, когда она не показывается только при перекрытии каким-то окном.
Не уверен, как это было раньше, но сегодня я получил сертификат об окончании своего первого курса, «Cryptography I». Факт решения программных задач в сертификате отражается пометкой «with distinction», которую можно получить только выбив не менее 70% баллов за эти самые опциональные задания. Удивило, что нигде не отобраражается балл за обязательную часть курса.
А какая часть сил австро-венгров воевала против нас?
(чудовищно некомпетентен, но мнение имею :-)), что участие часто сводится к вбиванию с черновика набросков доказательства — вот вам и механическая проверка.осуждаюмогу заметить, что летом очень даже пользовался wine на amd64. Если поломаны зависимости, может быстрее будет попробывать их самому разгрести и удалить старые пакеты, мешающие wine?В контексте данной статьи автор мог смело писать их в одном предложении: модели памяти этих архитектур близнецы-братья.
На самом деле, когда вы находитель в dash, кнопки закрыть/развернуть/свернуть в левом верхнем углу управляют именно им. Другими словами, есть там разворачивание меню на весь экран.
Очень похоже на баг Unity времен до 12.04. Собственно, из-за
кривых рук разработчиковэтого бага, ЕМНИП, вырезали режим «умного скрытия» панели, когда она не показывается только при перекрытии каким-то окном.