>>213293

>Так Виндовс может всё то же самое

Винда давно уже не простая и настраиваемая. Простота погребена в нагромождениях интерфейса, существующих ещё со времён XP, а настраиваемость скрыта в дебрях сервисов, реестра и групповых политик, в сравнении с которыми текстовые конфиги и юниты системды — верх изящества.

>Офис тебе как минимум рано или поздно может понадобиться. Про альтернативы вроде LibreOffice, у которых едет вся разметка даже слышать не хочется.

Как бы уже 9 лет не пригождается. Для обычных задач мне давно хватает LibO Writer, для более серьёзных расчехляется LaTeX, а если вдруг раз в сто лет надо открыть и посмотреть документ с Вордика, то скажу прямо, я не умираю от уехавшего абзаца или таблички (хотя в последние годы у Writer и Calc с этим всё довольно сносно, местами даже лучше, чем между зоопарком версий МСОфиса).

>Ради красивой оболочки лишать себя работоспособной ОС — странная идея.

Сообщение слишком длинное. Полный текст.

>>213307
Если хочешь, можешь забрать:
https://upload.wikimedia.org/wikipedia/commons/e/e6/Hommik_Mukri_rabas.jpg

>>213221
>>213315

Линуксу не хватает обратной совместимости и масштабируемых, зрелых стандартов и API, доступных из под гуя.
Система, которая стоит дома, должна быть такая, чтобы можно было и в красивом окошке фотки 20-летней давности посмотреть одной кнопкой, и в игрушки поиграть, и разом кучу файлов отредактировать если надо, без головной боли.
Но так как в тренде постримить аниме и посидеть на ычане и всё с телефона, мы этого вряд ли когда-либо дождёмся.

>>213276

>1366x768

Места на таком микродисплее хватает? Надо как минимум 1440x900.

>>213360

>Система, которая стоит дома, должна быть такая, чтобы можно было и в красивом окошке фотки 20-летней давности посмотреть одной кнопкой, и в игрушки поиграть, и разом кучу файлов отредактировать если надо, без головной боли.

Плохому юзеру апи мешают. Причём тут линукс, если все эти задачи решает прикладной софт, да ещё в ряде случаев один и тот же, имеющий порты на все системы?

>>213362
Мешает. Прекрасно помню, как шатание апи/аби в 2.6.36-2.6.41 каждый минорный релиз ломало половину системы. Ладно тогда было интересно в этом копаться, но сейчас нафиг не надо. Система должна работать без необходимость ее перенастраивать каждое обновление.

>>213364
На уровне ядра давно такого нет, если не считать всякое полуэксперементальное вроде BTRFS.
И используй стабильный дистрибутив, возможно даже LTS, с LTS-ядром, тогда ломаться ничего не будет. Если конечно тебе не нужны всякие новые фичи.

А то бывает, что некоторые поставят какой-нибудь Arch, а к тонкостям роллинг-дистрибутива не готовы.

>>213364

>2.6.36-2.6.41

Давай я тогда заявлю, что десятку в интернет нельзя выпускать, потому что у меня в своё время XP от сассера померла.

>>213366
RHEL 6 с ядром 2.6.32 до сих пор поддерживается, кстати.
А по программе ELS даже RHEL 5 с ядром 2.6.18 до сих обладает ограниченной поддержкой.

>>213314

>>Да возьмите в магазине инструментов автомобильный набор набор щупов и не страдайте.

Щупами мереть расстояние от сопла до базы? или я чего-то не понимаю?

>>213318

>>Страдает только оп, ибо еще не познал прелестей гладкого стекла.

Стало очевидно что то стекло приклеено к нагревателю, весьма неплохо кстати, но это из минусов, из плюсов - само стекло вроде ровное
Я вот думаю, может заказать этот подогрев с Али, там цена вроде рублей 600, и сверху на его уже лепить что угодно через термостату?

>>213320

>Щупами мереть расстояние от сопла до базы?

Устанавливать. Как бумажкой, но только щупом. Щуп стальной, точность лучше.

>>213321

> Щупами мереть расстояние от сопла до базы? или я чего-то не понимаю?

Нафиг? Там бумажка нужна как индикатор касания и чтобы головка не скребыхала по столу, сиречь не засорялась покрытием стола и не царапала стол. Можешь взять фольгу для тех же целей.
А щуп быстро засрется ошметками пластика с сопла. Придется отмывать, но проще взять новую бумажку.

> Стало очевидно что то стекло приклеено к нагревателю, весьма неплохо кстати, но это из минусов, из плюсов - само стекло вроде ровное

Просто брось поверх стола стекляшку, как тебе уже советовали. И экспериментируй уже с ней со всякими каптоновыми, blue tape, abs-juse и лаком для волос.

> Я вот думаю, может заказать этот подогрев с Али, там цена вроде рублей 600, и сверху на его уже лепить что угодно через термостату?

Сообщение слишком длинное. Полный текст.

>>213320
Смысл выкидывать деньги? Клей поверх своего.
>>213321
А еще неплохо царапает голову, так как пара металл-металл, где металл головки достаточно мягкий. Я кусачками для пластика его коцнул, которые ни разу не HSS.

Бои продолжаются, удалось найти стекло + лак для волос и зажимы
В общем Адгезия появилась, и это радует, но теперь у модели поднимаются края. Как я понимаю тут проблема с температурой. И я так вангую
Если деталь не липнет - низкая температура абазы
Если загибаются края - высокая температура
Или дело в температуре экструдера?

Про лак - система я так полагаю такая
Ставлю стекло
На холодный стол брызгаю лак, до появления некого тонкого слоя
Далее грею стол и уже печатаю?

>>213348
Края загибаются из-за того, что деталь остывает.
Вот очень хорошее объяснение и возможные инструкции по митигации: https://youtu.be/DQu0ThBS4MY

>>213348
Во-первых, что за материал?
Во-вторых:
Загибаются края потому что резко остывает пластик с большим коэффициентом расширения. Путей решения тут много:
Увеличить адгезию: наклеить клейкую ленту, применить, таки, Plastik 71 в аэрозольном исполнении, попробовать клей-карандаш. Все эти способы так себе. Ну и я надеюсь, ты нормально выставил ноль, и он не вешает первый слой в воздухе, а намазывает на стол.
Уменьшить усадку путем уменьшения температуры сопла - с этим надо экспериментировать. Вычислить примерно температуру, на которой сопло способно работать с этим пластиком. Сделать это можно примерно так: уменьшать температуру относительно рекомендуемой, и при этом через каждые пять градусов пытаться протолкнуть пруток. Как только экструдер начнет проскальзывать или не проворачиваться - увеличить температуру на пять градусов, и печатать на ней. Если тестовый отпечаток получится с пропусками, экструдер начнет пощелкивать, просто не понравится как печатает - снова увеличить температуру.
Уменьшить скорость печати, ограничив максимальную скорость перемещения головки. Тогда преведущий слой успеет остыть до момента нанесения последующего, и они не будут работать на свертывание одновременно.
Уменьшить отток тепла:
У тебя сверху на принтере крыши нет? Вот сделай ему крышу хоть из картонки гофрированной. Так же стенки и морду прикрой, если они не прикрыты. Тут тебе придется самому фантазию проявить.

Сообщение слишком длинное. Полный текст.

>>213348

> На холодный стол брызгаю лак, до появления некого тонкого слоя
> Далее грею стол и уже печатаю?

Я брызгал на горячий. И обходился небольшим количеством, когда поверхность стекла становится шероховатой, но капли еще не слились в один ровный слой. Но, по-моему, без разницы.
И, да, прикрывай направляющие и шнек от лака когда брызгаешь. А то загадишь подшипники и гайку. Лучше прямо сейчас протри их и заново нанеси смазку.

ОП, еще почитай вот эту тему:
https://iichan.hk/bro/res/24013.html

>>213356

>>Во-первых, что за материал?

ABS

>>Увеличить адгезию: наклеить клейкую ленту, применить, таки, Plastik 71 в аэрозольном исполнении, попробовать клей-карандаш. Все эти способы так себе.

Самый оптимальный вариант пока БФ-2, держит очень даже

>>Ну и я надеюсь, ты нормально выставил ноль, и он не вешает первый слой в воздухе, а намазывает на стол.

Уже давно, все советы учтены, под простой лист А4, проходит слегка с усилием

Сообщение слишком длинное. Полный текст.

Эль, псай, тутттуру.

>>213285
Эх, жаль не хлебопечка...

Создатель Sword Art Online рассказывал, что микроволновым импульсом можно уничтожить людской мозг; должно быть, это означает, что импульсом меньшей мощности можно нанести мозгу такой удар, который не укокошит немедленно, однако заставит (как и в случае с наркотическим отравлением клеток мозга и гибелью части их) галлюцинировать, и если кто-то сосредотачивался на машине времени, то ему приглючится и прошлое, и встреча с самим собою, и проч.

>>213327
А человек после такого сможет пост на борды писать? У него ж мозг неслабо так поврежден.

>>213327
В реальности от микроволновой атаки галлюцинации не получаются.
Сплошь лишь головные боли, тошнота, да нарушения зрения, слуха и координации: https://www.gq.com/story/cia-investigation-and-russian-microwave-attacks

>>213335
Водки пить меньше надо.

>>213336
Это не водка. География и профиль жертв слишком специфичный.

>>213339
Дадад, ковайные русские облучают жыдоволнами.

Послушайте, но ведь авторкою статьи >>213335 является та самая Юлия Иоффе, которая в ноябре 2019 года некоторое время утверждала, что ей как русскоговорящей (и как пользовательнице русской клавиатуры) показалось, что завершать отрывки текста символом закрывающей угловой кавычки (») способны только явные агенты путинизма (даже если это происходит в Арканзасе и имеет смысл своего рода стрелочки «читать дальше», для которой не появляется никакой парной открывающей угловой кавычки в начале), но затем по адресу https://twitter.com/juliaioffe/status/1197283607305433095 поправилась.

Это прекрасно характеризует и её кругозор (потому что этот же символ употребляется, скажем, во французской пунктуации), и её пользовательский опыт (потому что на русских клавиатурах этот символ по умолчанию ничуть не проще набрать, чем на американских: всё та же цифровая комбинация при нажатом Alt, если только наперёд не сменить стандартную раскладку на раскладку Бирмана или что-нибудь другое в этом же роде), и, главное, её непрошибаемую железобетонную всегдашнюю готовность всюду увидать российский след даже вопреки тем фактам, которые для этого приходится проигнорировать (как французскую пунктуакцию) или преувеличивать (как простоту набора угловой кавычки на русских клавиатурах).

Поэтому относиться со значительным доверием к списку симптомов микроволнового воздействия из её статьи (в которой этот список легко мог быть силою её увлечения пополнен или усечён для поддержания несомненности версии о чекистском ударе по мозгу цээрушников) я не готов.

>>213354
Вообще-то есть отчет научной комиссии, который перечисляет точно такие же симптомы воздействия пульсирующего микроволнового излучения и приходит к выводам, что клиническая картина наиболее напоминает именно такое воздействие: https://www.nap.edu/read/25889/chapter/1

>>213332
При +200% к цене при возне с памятью (вот не надо, ряженый к ней требователен). Все тут понятно.

С тем же успехом можно заявить, что 1600 - добро, собираться надо минимум на 3600X. Вот там-то да, гигагерцы.

Чии, прости меня, что пишу в этом треде. У меня глупый вопрос, на который нигде нет ответа. У меня есть ноутбук, и в нём три слота M.2. Первый (занят с рождения) на NVMe память x4, второй (тоже занят) x1 на wi-fi модуль, и есть третий свободный, и судя по HWiNFO он тоже x1. Будет ли работать в нём память NVMe x4?

>>213337
M.2 — это слот, который предоставляет кучу интерфейсов в зависимости от ключей.
Теоретически PCIe-часть полностью соответствует спецификации PCIe, а значит точно так как и в PCIe x1 должна работать любая карта с большим числом линий, если удастся совместить физически, то и в M.2 ситуация точно такая же.
Но бывают всякие программные особенности, когда прошивка имеет всякие хаки и не инициализирует некоторые PCIe-линии правильно.

В общем тебе нужно проверить три вещи — ключи M.2, определяющие совместимость карты и слота, физически доступное пространство для карты, так как особенно в ноутбуках оно может быть ограничено, и программную совместимость, попробовав рабочую карту в слоте.

>>213338
Ты не совсем прав. В реальном низкобюджетном мире часто встречаются варианты, где разведена только sata без x1, хотя отдельного ключа для "только сата" не существует.

По сути вопроса - в 1й слот точно входят линии, во 2й скорее всего одна, в 3м я бы ожидал как раз сату - потому что туда просто нечего больше пихать, кроме второго медленного диска. С завода два диска ставить смысла нет, лучше зарядить общий прайс увеличением объема nvme. Я бы попробовал перекинуть wifi-карту в 3й слот, если она не заведется - nvme, с большой вероятностью, тоже.

>>213334

>вот не надо, ряженый к ней требователен

Да, но во-первых, выше чем 3200 к первогену нет смысла брать (что не так уж и много по нынешним меркам), во-вторых, материнка на B450 стоит копейки.

>3600X

+$50 за букву. Только 3600 или сразу 3700X. Или 3600XT, если у мамы разгонятор (что довольно бессмысленно на Рузене, впрочем).

Им Амуда выкатила великолепный сокет с четырьмя поколениями процов и путём апгрейда от бюджетной машинки до топовой производительности, но нет, не хочу, хочу жрать тухлый "8"/8 эфикс, который даже Зионам на Нехейлеме уступает, что уж говорить о 1155. Топ за свои деньги, my ass.

>>213337
Будет работать на скорости X1, очевидно же. Поэтому берёшь SATA SSD в форм-факторе M.2, всё равно он пропускную способность не выберет. И обращаешь внимание на ключи в слоте.

>>213334

>при возне с памятью

Мой 3600 к выдаёт 3660 в Cinebench 20 на 2133mhz (Samsung 8gb cl15 и прочее-прочее). Воткнул и пользуюсь. Просто держу в курсе.

>>213346
Я вот тоже так думал, пока не увидел этот тред на форуме
https://forums.lenovo.com/t5/ThinkPad-11e-Windows-13-E-and-Edge-series-Laptops/E15-Gen-2-AMD-Secondary-M-2-ssd-slot-not-functioning-correctly/m-p/5036834

>>213340
Ну, да. Надо было написать, что в зависимости от ключей и разведенных линий. Если какой-то интерфейс в слоте не разведен, то он естественно работать не будет.

И, кстати, перекидывание Wi-Fi карты может и не быть гарантией. Вроде были какие-то M.2 карты, которые используют USB вместо PCIe.

Нужно пробовать именно с картой, которая использует PCIe.

>>213350
У финкпадов биос-лок на неродное оборудование.

Альзо, процессор доисторический, Xeon E5450.

Драсьте-мордасьте.

Я заранее скажу, что являюсь вообще полным нубом в линуксе, поэтому сорян, если что-то не так назову.

Ryzen 3600
16gb DDR4
Asrock B450M PRo4-F которую планирую отдать товарищу и купить потом б550м, так как тот сидит с лицом лица на 2c/4t lga1150
RX480 8Gb
Два SATA ssd и один SATA 1Tb который содержит кучу личных данных, так что я на всякий пожарный его отсоединю

Хочу сделать чисто игровую VM (клиент - вин 10) на убунту 20.04, но меня волнует момент следующий: как на виртуальную машину послать собсна саму видеокарту? IOMMU в биосе включил, но вот сама логика мне не очень понятна, да и не определился с программой для виртуализации (VMware desktop?). И можно ли это сделать без сильного удара про производительности (5%-10% ок, 30% - не ок)?

С чего начать, какой дистрибутив для виртуалки брать?

Сообщение слишком длинное. Полный текст.

Использую для проигрывания ютубовского видео из консоли связку mpv и youtube-dl. Собственно, вопрос: как указать предпочитаемый размер видео, и куда его прописывать -- в конфиг качалки или плеера?

Альзо, лучше всего заработало так:

>vo=gpu
>hwdec=nvdec

Там и CUDA подключается в процессе, насколько понял. Впрочем, есть вариант прямо указать hwdec=cuda, но не пробовал, и так ведь работает.

>>213253
Привет тебе с другой доски от mpv-адепта!

> и куда его прописывать -- в конфиг качалки или плеера?

В конфиг плеера, конечно же (mpv.conf)!
У меня это выглядит подобным образом:
ytdl-format=bestvideo[height<=?1440][vcodec=?vp9]+bestaudio/best
bestvideo выбирает лучшее качество видео, но при условии, что разрешение будет равняться 1440p, с предпочитаемым кодеком VP9. Чтобы запретить VP9, нужно вместо вопросительного знака, поставить восклицательный, тогда видео будет отдаваться h.264 кодеку, не рекомендую для видео с 60 FPS, потому что они, как правило, закодированы в VP9, а если их отдавать h.264, то они будут максимум что в разрешении 720p. Без аппаратного ускорения, на i3-3110M, видео не теряет кадры, в отличие от HTML5 YT-плеера на Firefox.

>>213273
Спасибо, всё отлично работает, только я прописал 1080 (у меня монитор 1920х1200 же).

>>213274
На самом деле, разрешение монитора и разрешение видео могут разниться. 4K видео на твоём мониторе будет выглядеть лучше, чем сходное 1080p, особенно, при приличном алгоритме/шейдере даунскейлинга. Чтобы провести аналогию — для игр есть NVIDIA DSR, например.

>>213251
Без второй видяхи забудь о PCI passthrough. Альзо, ты бы лучше вник в тему гейминга на Линуксе, больше выхлопа будет.

>>213251
Альзо, перекат с B450 на B550 не имеет смысла, если только ты не планируешь всунуть 2 М.2 или взять B550 с хорошим VRM, способным вывезти 12 ядер.

Поня, пчаму столько людей вкатываются в вим/неовим, но так мало - в емакс?

>>212454
Ну знаешь, она хоть и весит пол кило, но отбиваться ей неудобно.
мимовладелец

https://arstechnica.com/gadgets/2020/11/raspberry-pi-400-the-under-100-desktop-pc-you-didnt-know-you-needed/
Клавиатура со встроенным компьютером. Без дисковода и полегче.

>>212837
Она что-нибудь кроме консоли и стандартного рабочего стола вообще тянет? Туда наверное даже не все привычные программы для линукса можно установить в силу элементарной совместимости. Не говоря уже о памяти, процессоре и месте на диске. Игрушка для ребёнка выразившего желание стать программистом - не более. Раньше нечто подобное в палатках продавалось со специальными 8-битными картриджами, где был офис, бэйсик и прочее.

>>212839
По ссылке написано, что она тянет ютуб в не слишком высоком разрешении, для одноплатников с пассивным охлаждением это уже круто. И для них вполне есть задачи, большинство из которых, впрочем, клавиатуры не требуют.

>>212841
Учитывая, что тот компьютер с которого сейчас пишу не тянет без лагов даже на минимальном, не просто "уже", а уже ужасно круто.

>>212837
Да это же такой современный спектрум, лол.

Взял стабы (GKS screw-in), 110 Gateron Yellow (чёрный низ, прозрачный верх, 5 пин), кейкапы Hana ( https://aliexpress.ru/item/1005001793205428.html ), пластиковый корпус для XD84Pro и зелёночайные кейкапы ( https://aliexpress.ru/item/1005001785440023.html ).

Ну штож, дорогое хобби. Буду опять жрать рис и худеть.

Ычан, хочу опробовать клавиатуру 40%, фиксед сплит/сплит (первое желательно), но у меня только $120 :(
Как собрать такую в таком бюджете? Какую-нибудь Reviung41 напечатать через jlc, купить свитчей и капов, надеть - норм идея?

>>213342
А разве нет способа попробовать без покупки?

>>213343
Скорее всего во всей моей стране такого никто не купил, у нас тут все консервативны в этом плане

>>213322

> То есть мозг умного дома несмотря на все хабы, шлюзы и прочую дребедень в белых коробочках находится на сервере в Китае?

Да, желтый господин желает знать, что ты делаешь у себя дома, грязный лаовай.

> Или я ошибаюсь и все локально.

Да, все можно локально. Но это дороже, тебе придется собрать подходящее железо, которое будучи открытым, стоит в разы дороже. Потом собрать Линукс, потом собрать и настроить систему умного дома на этом железе.

И никто не продает готовых локальных решений как большие дяди?

>>213322
Что именно ты так называешь - "умный дом"? Если это какое-то конкретное законченное решение, то про него и нужно спрашивать. Если что-то, что собирается из разных компонентов разных производителей и каким-то образом между собой склеивается, - зависит от того, что использовано вместо клея, очевидно. Если розетка связана с мозгами по проводам, то на наличие/отсутствие интернета ей понятное дело плевать. Если ты хочешь управлять домашними механизмами с телефона находясь где-то далеко, то без интернета это делать сложновато.

>>213323
Придётся взять старый системник/малинку, воткнуть в домашний роутер, раскатать туда абсолютно стандартный образ с чем угодно, и поставить openHAB или что угодно ещё из репозиториев одной командой. А потом настраивать, да.

>>213326
Все популярные на рынке решения это всё беспроводные устройства. Связать умный выключатель и умную лампочку напрямую нельзя. Нужен шлюз. Нам навязали новый протокол беспроводной связи зигби. Якобы он энергоэффективней вайфая и блютуза. Возможно это и так.
Чтобы умный выклчатель включал умную лампочку нужно создать сценарий. Если выключатель нажат, тогда лампочка загорается. Этот сценарий ты создаешь сам на планшете, телефоне. Но он сам хранится на сервере в Китае. В итоге ты нажимаешь выключатель. Выключатель обращается к шлюзу, говоря ему "Меня нажали". Шлюз через твой вайфай роутер связывается с сервером в Китае, говоря ему: " Тут это, выключатель нажали". Сервер смотрит список сценариев, находит нужный, читатет его и через интернет говорит твоему шлюзу:" Включить лампочку". Шлюз обращается к лампочке: "Лампочка гори!" Вот так вот лампочку включаем через Китай. И вообще это неплохо, если бы интернет иногда не отключался. От непогоды что-то где-то порвалось, или забыл заплатить или рыбнадзор чего-то напортачит. Тогда даже лампочку нельзя будет включить

>>213328

>новый

Нет.

>энергоэффективней

Намного, bt5le до него как до луны. Ты же не хочешь батарейки во всей технике раз в месяц менять?

>>209000
Математически определенное железо не существует в физическом мире, а ценность - штука по определению количественная, и ты не дал никаких количественных оценок полезности доказуемых практических программ.
Да, тут только сочувствовать.

ОП на связи. Жадная корпорация в 2к19 даже не подарит 8 ядер на 5ггц обычному пользователю. На макс частотах камень в играх троттлит, перегревается, сыпет ошибками. После длительных мучений и плясками с бубном, и всеми сопутствующими настройками биоса, пришлось смириться и скинуть настройки к дефолтным, одно ядрышко на 4.9, остальные 7 на 4.6.

>>209179
Дело не в жадности. Просто стабильных единиц исчезающе мало. И чем мельче тех.процесс - тем меньше. Поэтому их продают под другим брендом. Какой-нибудь экстрим эдишн и отдают тому кто больше заплатит. А остальное сортируют по степени стабильности и в разной степени кастрируют.

Кажется, вот здесь что-то рассказывают про доказательное программирование.
https://whycardano.com/science-and-engineering/ru/#формальная-спецификация-и-верификация

Правда там скорее про доказуемо безопасный протокол...

>>208967

> Не вижу механизма, через который ошибки в трёх копиях одной программы коррелируют, а в трёх разных программах - нет.

Разные люди будут вносить разные ошибки, не?

Совершенно случайно попалась статья о попытке проверить, насколько хорошо это работает.
http://sunnyday.mit.edu/papers/nver-tse.pdf
Ошибки в разных программах конечно коррелируют, но никак не в той же степени, что и в трёх копиях одной, и некоторое заметное количество багов при сравнении таки вылавливается.

> The correlated faults were, in general, far more obscure. The first example involves the comparison of angles. In a number of cases, the specifications require that angles be computed and compared. As with all comparisons of real quantities, the limited precision real comparison function was to be used in these cases. The fault was the assumption that comparison of the cosines of angles is equivalent to comparison of the angles. With arbitrary precision this is a correct assumption of course but for this application it is not since finite precision floating point arithmetic was used and the precision was limited further for comparison.

>>209312
А ошибки в процедуре сравнения? Программа по определению не способна полностью себя верифицировать. Так кто же будет сторожить сторожей? Капча вообще предлагает закомментировать всё. Программа которая не делает ничего - не содержит ошибок.

>>209314
Мне кажется она будет достаточно небольшой, чтобы её имело смысл формально доказывать, например.

>>208496

>Что думаешь, Чи?

Как не будет нам сверхзвуковых пассажирских самолётов, ни даже просто больших самолетов, ни 500-сильных стальных машин с 20летним ресурсом, так и не будет долговечных компьютеров с гонкой гигагерц и терабайт оперативки.
Все должно быть рационально и размеренно в дивном новом мире.
>>209315
А почему вы вообще сюда формальную верификацию вспомнили? Она только ухудшит производительность, ведь если сейчас код на С++ или Java и есть той самой спецификацией описывающей логику программы, то для доказуемого программирования ее придется составлять на более высоком уровне абстракции, неизбежно теряя простор для оптимизаций. При этом составление спецификации все равно подвержено человеческому фактору и ничего в реальных оплачиваемых задачах не решает. Формально верифицированная программа, например, не спасла бы два boeing 737 max.

>>209312

>Разные люди будут вносить разные ошибки, не?

Ты как будто с другой планеты. Большинство ошибок в программах шаблонные.
>>208972

>Какой вывод? Любая переменная размерностью n бит имеет 2^n число возможных состояний, любой if или switch множит число полных состояний программы.

Вероятность совпадения выводов не отчисла полный состояний зависит, а от конкретной программы, железа и числа N. Чем задублированная программа проще и чем меньше объём результата, тем выше вероятность порождения одинаковых ошибочных результатов. Вывод: дублировать надо сложные программы с большими результатами.

>>208496
До 3 нм ещё может быть будут повышать частотки, а дальше только ядра и СМТ4, возможно даже АРМОПОБЕДА.

>>209183

>И чем мельче тех.процесс - тем меньше

Не говоря уже о том, что чем больше плотность, тем дороже вейфер, ЕМНИП, 5 нм будет стоить где-то в полтора раза дороже, чем 7, собственно, почему Амуда ударилась в чиплеты, и Штеуд вслед за ней.

>>208107

> Планировал ручками собрать-разобрать
> компьютер не программист ни разу

Программист и не должен разбирать компьютер. Он же программы пишет. :3

>>208107
Отдать родственникам/друзьям? Для какой-нибудь файлопомойки он очень уж горячий выйдет.

>>208114
Я поговорил с родственниками. Отдам дедушке, как раз тот без пеки живёт уже долгое время. Только буду брать не R9 290, а что-то проще. Хотя я в своё время пускал слюни на неё... Хз. Надо подумать, но отдам, верно.

Пасиб, котятоньки.

Сапца, кисики.

i5-6600 (non-k)
Asus H170-Pro (сокет 1151)
16gb DDR4 (2133mhz)
RX480 8gb
Corsair CX750M
Играю пока что в 1080р/60, планирую перекатываться на 1440p.

Бюджет: 20к.
Я правильно понимаю, что наиболее логичный апгрейд - процессор+материнка (под разгон)?
6700k ИЛИ 7700k + материнская на чипсете Z170/Z270?
Есть ещё варик такой: купить какую-нибудь Вегу или Нави чуть позже (когда нереф выйдет), потом купить монитор под 1440р, потом процессор.
Я склоняюсь ко второму варианту, потому что проц и материнку ещё дешевле возьму.

Сообщение слишком длинное. Полный текст.

>>209283
Смысла нет покупать новый процессор до выхода Ice Lake у Intel или Zen 2 у AMD. Хотя капча намекает, что с новым поколением можно будет лохануться, или на какую-то залоченность.

>>209297
Icelake не появится на десктопах до середины 2020, Зен2 уже продаётся.

>>209302

> Зен2 уже продаётся.

Ух ты, и правда, но самый "вкусный" шестнадцатиядерник только осенью появится.

Используй закрытый альбом в имгуре, Люк.

Держу в курсе - я наконец-то проапгрейдился.

>>209302

>Icelake не появится на десктопах до середины 2020

За это и люблю ычан.

>>213204
А я рад. Эти безопасные облака с химозным запахом порядком задалбывали - и ведь их обладателю в 95% случаев не докажешь, что он не прав, позиция "не дым и все тут"! Пусть лучше икусы свои в уголках дуют.

мимо с проблемной дыхалкой

Плохо что эти штуковины так сильно дискредитировали ингаляторы и обычные ультразвуковые парогенераторы. Теперь на их покупателей иначе чем на наркоманов не смотрят. В том числе те в чьих силах всё запрещать.

>>213204
Цена на моды упала вслед за спросом. Спрос упал, потому что появился солевой никотин. Теперь в мелких девайсах никотина больше, удар по горлу меньше и заправка без хлопот. А пара вокруг так же мало.
Для тех кто хочет бросить курить - вин. Хотя меня не сильно радует, что школота начнёт садиться больше на никитос чем на пар.

>>213238
Школота ещё свежая, так что пусть себе. Сердечно-сосудистая система от никотина садится где-то к 30-35 годам, так что им пока нечего бояться.