Что в 2020 стоит читать нублолам про формальную верификацию? Стоит ли бежать за толпой и дрочить на TLA⁺/PlusCal? Вымирают ли агды да идрисы с петухами? Где я мог наткнуться на ATS и какого чёрта его название засело у меня в голове? Почему Microsoft Research пилит аж два прувера? Ну и всё такое.

Про что лущ делать стримы: про прыщепердолинг или про эмбеддоёбство?

А есть ли проекты создания 3D принтеров на основе цианоакрилата и содой?

obs-studio можно попросить показывать только разрешённые воркспейсы?

Why doesn't degenerative values harm Jews living in the same culture/country as it does whites?

https://leroymerlin.ru/product/radiator-monlan-500-70-15052760/ норм теплообменник для водянки?

Забавная фигняс TeamViewer, на моей памяти уже года полтора–два как — под Линухом [не работает без запущенного Display Manager](https://community.teamviewer.com/t5/Linux/Unable-to-run-TV13-without-display-manager-even-when-using-tar/td-p/27669). Предлагаю оставить в стороне вопрос про решето и нинужно (я лично именно такого мнения придерживаюсь), и предположить: а на хрена ему?.. Ладно он даже в чисто клиентском режиме требует работающего демона под Линухом. Это я могу если не простить, то понять. А Display Manager-то ему зачем?..

Во сколько лет ты скомпилировал свой первый сплоит?

По вегану ли есть короновирусных жмуров?

Не догоняю. Вот тут https://en.wikibooks.org/wiki/LaTeX/Internationalization#Cyrillic_script честно сказано про `\cyremdash`, и даже некоторая семантическая нагрузка у вариантов есть. Вот тут https://www.fileformat.info/info/unicode/category/Pd/list.htm до фига символов, специфичных для разных языков, не то что письменностей. Yj почему при этом в Unicode нет CYRILLIC EM DASH?..

нахуя козе боян?

Есть в природе лицензия, запрещающая пользователю продукта энфорсить любой копирайт, кроме этой лицензии?

Почему манкуб в DooMII перед стрельбой говорит "Обнимаю"?

Есть в мире придурки, которые готовы общаться только по Скайпу, Телеге, Ватсаппу, Аське, Вайберу, Дискорду, прочей всякой галиматье; есть немного более умные придурки, готовые по Жабберу, Матриксу и т.д. Ну и когда ты в душе сочуствуешь только каким-то одним из этих придурков, то ты всё равно придурок, и, если тебе таки остальные придурки для чего-то нужны, то ты обычно действуешь одним из способов. 0. Ищешь/ставишь/пишешь транспорты для Жаббера например. Это было, в общем-то всем хорошо, но это увы не про сегодня. Можно транспорты для Матрикса, но это тоже не про сегодня, да и не про завтра. 1. Ставишь себе и запускаешь всю эту помойку — ну то есть вот натурально клиенты этой всей галиматьи. Если ты кого-то из этой помойки очень боишься или не любишь, то можешь запустить его в Докере или в каком-нибудь Флатпаке, дополнительно огородить и получать непретязательное удовольствие, от того, что пугаешь его голой жопой с безопасного расстояния. 2. Ставишь какую-нибудь универсальную вебовую огораживалку типа Rambox, которая запускает от них вебморды и вся такая сама в себе. Это в принципе очень прикольно и идеологически выдержанно. Но, во-первых, в Рамбоксе всё это перестаёт нормально работать, даром что 95% само сделано на Электроне. А во-вторых есть такое ощущение, что системных ресурсов при этом особо не экономится. То есть единственный твой выигрыш с технической точки зрения — одна грёбаная иконка в трее вместо семи. А, ну ещё много аккаунтов сделать легче, но с Докерами-Флатпаками это тоже не проблема. Вот по поводу ресурсов и будет мой вопрос к уважаемому Бнвачу. Кто-нибудь это считал/измерял? Насколько семь обвешанных перделками страничек в Рамбоксе или аналогичном чуде будут меньше кушать ресурсов, чем, скажем, семь запущенных Телег или подобной им дряни? И меньше ли вообще?

Кто на Ruby практикует? В свете грядущего релиза 3.0 уже определились с тем, на что должны быть похожи хинты для type inference?

мокороны ор картоха ор салад

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

Кто-нибудь в реальном времени подавлял шум микрофона при помощи PulseAudio? Примерно так: https://askubuntu.com/questions/18958/realtime-noise-removal-with-pulseaudio. Если да, то как впечатления? Как качество, насколько грузит проц? Шум от дерьмовой звуковухи ноутбука, со встроенным и внешним микрофонами примерно одинаковый.

Чё там у 4TV с производством АПФ2?

Чят, я всегда в поиске нищебродских - но достойных - VPS-хостеров в украине, литве, латвии, эстонии, финляндии, швеции. Да, как можно ближе к рашке, но за её пределами. Пока мои фавориты - по-прежнему edis.at (очень много локаций) и yourserver.se. Был еще zomro.com, но в мае они выводят из латвии последние сервера и окончательно уебывают в нидерланды. Если кто-то пользуется такими хостерами - набрасывайте.