В каком-то смысле да, но для программиста выглядит ближе к многопоточной парадигме, в частности доступно ветвление кода внутри потока (реализуется выполнением обеих ветвей и применением маски).
А в NVIDIA Volta планировщик уже даже может при необходимости разделять потоки и вести для каждого отдельный стек и счётчик инструкций. Оптимизацией под Volta я пока не занимался, так что не могу сказать, насколько сильно это в реальности меняет подход к программированию.
Поправка по поводу GPU: большинство современных видеокарт (NVIDIA, AMD, ARM Mali) используют модель SIMT (Single Instruction, Multiple Threads), а не SIMD. Что не отменяет того факта, что алгоритмы для них нужны другие, чем для CPU общего назначения, и, соответственно, набор эффективно решаемых задач на CPU и GPU не совпадает.
Если делить на активов и пассивов, получается изначальная «гетеросексуальная» задача. Если добавлять универсалов, есть два варианта:
1) Пара может состоять из двух универсалов. Тогда в общем случае задача неразрешима (доказывается тем же самым примером).
2) Универсалы могут составлять пару только активам/пассивам. Тогда задача представляется немного по-другому, появляются три группы A, P, U из которых надо составить равновесное множество пар вида (a p), (a u) или (p u). Кажется, что эта задача тоже должна решаться слегка изменённой процедурой Гейла-Шепли.
Всё верно, в статье ошибки нет. Рассмотрим возможные комбинации партнёров: ab cd (1), ac bd (2), ad bc (3).
1) b предпочитает c своему партнёру a, c тоже предпочитает a по сравнению с d. Пары распадаются, переходят в состояние (3).
2) a предпочитает b своему партнёру c, b тоже предпочитает a по сравнению с d. Пары распадаются, переходят в состояние (1).
3) c предпочитает a своему партнёру b, a тоже предпочитает c по сравнению с d. Пары распадаются, переходят в состояние (2).
Производитель предлагает образ Debian, с которым я его и использую. Работает неплохо, включает дополнительный репозиторий с раскладками клавиатуры и прочими специфичными для девайса штуками. Для меня большой минус — невозможность поставить дуалбут Debian и Sailfish (только с Android). Собрать свой образ на основе другого дистра руки не дошли, не знаю, насколько это реально.
Сейчас телеграм по умолчанию при входе с нового устройства первым делом отправляет запрос на подтверждение через телеграм же. И только спустя час даёт возможность восстановить доступ через СМС.
Для меня оказалось проще перейти на zsh. В нём после настройки с история ведёт себя хорошо, есть фичи, которых в баше не хватает, а синтаксис после bash гораздо привычнее, чем у fish.
Я имел в виду аналог амдшных hcc и HIP для C++, только для Rust.
SPIR-V интереснее, т.к. более переносимо, но должно быть сложнее в реализации (hcc, как и rustc использует LLVM).
Q — рациональные числа, IEEE 754 ассоциировать с каким-то алгебраическим множеством неразумно.
Это достаточно узкоспециализированная вещь, обычно для этого существуют специальные библиотеки.
В nim можно объявить несколько переменных одного типа как
var a, b, c: intЕщё способ с включенной Compose Key: Compose,",U.
В каком-то смысле да, но для программиста выглядит ближе к многопоточной парадигме, в частности доступно ветвление кода внутри потока (реализуется выполнением обеих ветвей и применением маски).
А в NVIDIA Volta планировщик уже даже может при необходимости разделять потоки и вести для каждого отдельный стек и счётчик инструкций. Оптимизацией под Volta я пока не занимался, так что не могу сказать, насколько сильно это в реальности меняет подход к программированию.
Поправка по поводу GPU: большинство современных видеокарт (NVIDIA, AMD, ARM Mali) используют модель SIMT (Single Instruction, Multiple Threads), а не SIMD. Что не отменяет того факта, что алгоритмы для них нужны другие, чем для CPU общего назначения, и, соответственно, набор эффективно решаемых задач на CPU и GPU не совпадает.
Только (u u) пары — частный случай задачи с четырьмя группами, а значит эта задача в общем случае не имеет решения.
Если делить на активов и пассивов, получается изначальная «гетеросексуальная» задача. Если добавлять универсалов, есть два варианта:
1) Пара может состоять из двух универсалов. Тогда в общем случае задача неразрешима (доказывается тем же самым примером).
2) Универсалы могут составлять пару только активам/пассивам. Тогда задача представляется немного по-другому, появляются три группы A, P, U из которых надо составить равновесное множество пар вида (a p), (a u) или (p u). Кажется, что эта задача тоже должна решаться слегка изменённой процедурой Гейла-Шепли.
Всё верно, в статье ошибки нет. Рассмотрим возможные комбинации партнёров: ab cd (1), ac bd (2), ad bc (3).
1) b предпочитает c своему партнёру a, c тоже предпочитает a по сравнению с d. Пары распадаются, переходят в состояние (3).
2) a предпочитает b своему партнёру c, b тоже предпочитает a по сравнению с d. Пары распадаются, переходят в состояние (1).
3) c предпочитает a своему партнёру b, a тоже предпочитает c по сравнению с d. Пары распадаются, переходят в состояние (2).
Да, появилась. Когда покупал свой Gemini (чуть больше года назад) уже из коробки работало.
Раньше можно было с addons.mozilla.org поставить adblock. Дело не в wayland, а в устаревшем движке.
Производитель предлагает образ Debian, с которым я его и использую. Работает неплохо, включает дополнительный репозиторий с раскладками клавиатуры и прочими специфичными для девайса штуками. Для меня большой минус — невозможность поставить дуалбут Debian и Sailfish (только с Android). Собрать свой образ на основе другого дистра руки не дошли, не знаю, насколько это реально.
Лично мне больше всего симпатизирует стиль Qt.
Вот именно. В современном C++ для таких вещей принято на RAII полагаться.
Согласен, хорошо, когда есть и сенсорный экран и физические кнопки перелистывания, но у ONYX это похоже не так.
Я имел в виду аналог амдшных hcc и HIP для C++, только для Rust.
SPIR-V интереснее, т.к. более переносимо, но должно быть сложнее в реализации (hcc, как и rustc использует LLVM).