… но на самом деле не совсем. Доказана типобезопасность подмножества Rust. Соответствующая статья опубликована аж целых два года назад. А доказательство верифицировано, просто афигенский рокетсайнс.
Считаю, что об этом полезно будет узнать жителям ЛОРа, особенно некоторым анонимам.
P.S. Сам с удивлением узнал сей факт, читая наброс humbug на хабре. Очень качественный наброс, кстати. Рекомендую.
Данное неприятное глазу окружение как нельзя лучше соответствует карантинному безделью.
А если серьезно, то данное окружение и NixOS — это оксюморон, потому как CDE просто апофеоз FHS-предрассудков, все пути в этом DE просто жестко захардкожены в коде еще со времен древних коммерческих юниксов, а NixOS полностью ломает FHS. И тем не менее оно как-то опакечено и работает.
На скрине можно видеть работу пакетного менеджера Nix, а именно запуск программ без их установки в систему.
>>> Просмотр
(1920x1080,
92 Kb)
Столкнулся тут в работе с такой фишкой GCC: он ничего не имеет против бесконечных рекурсий:
#include <stdio.h>
int f()
{
return f();
}
int main()
{
printf("%d\n", f());
}
clang выдает ворнинг. Про компиляторы более надежных ЯП, чем С и С++ я даже молчу.
Собственно, сабж. Какие вообще есть десктопные процессоры с TPD до 65 (лучше до 40) ватт с нормальной вычислительной мощностью? Вопрос чисто теоретический. Просто интересно, есть ли такое в природе (кроме новых атлонов). И у кого есть опыт сборки компактных систем с нормальной производительностью на ватт.
https://www.cykelgalleri.dk/galleri/billeder/olympia-speedlite-aarg_-1998/6583
нашел такой вел по цене ниже рынка, вот думаю стоит ли его брать?
карбоновый фреймсет 1998 года вызывает большие вопросы по поводу надежности и усталости за эти овер 20 лет
а что думаете вы?
на лоре есть те, кто катает на карбоновых рамах?
стоит оно того, чтобы переходить на него со стального шоссера весом примерно 9.5кг?
Всем привет!
Владельцы данной видеокарты, если есть таковые, расскажите пжл, как в Линуксе с ней живете?
Что пробовал:
Ubuntu 16, 18, 20
Mint 17, 18
Manjaro последнюю и предпоследние версии
Fedora
Deepin
Лайв версии работают, ставятся нормально, но потом после первого перезагруза OS встает колом - десктоп моргает и фризится полностью, приходится делать ребут. Подозреваю, что с обновлением прилетает либо новое ядро или патчи к нему.
Карта живая, работает в 7, 8, 10-ке без проблем (проверял на другой машине) и у себя (сделал дуалбут для теста)
Есть вариант остаться на Ubuntu 16 или даже 14, Mint 17, но смущает протухший софт и невозможность поставить snapd (а мне для юзера нужно на этой машине Skype, Viber, Telegram)
SSD, ASUS P5Qe, RAM 8Gb
Для датчика колебаний хочу посмотреть спектры частоты в районе 5-10 герц, но известные программы audacity и conic visualiser дают спектры от 40 герц. Можно ли в них быстро подправить этот нюанс или может есть другая программа? Или может в этих программах не увидел нужного свойства?
Не могу найти Linux Kernel 5.4 - i386.deb
в Ubuntu доступно только 5.3.
Linux Kernel 5.4 только x64.
Подскажите где взять Linux Kernel 5.4 - i386.deb?
Компиляция не устраивает, (не умею)
Есть тиристорный регулятор для коллекторника переменного тока (с последовательным возбуждением). В настойщий момент там PI-регулятор, работающий от ошибки скорости, плюс колхозная линеаризация параметров мотора. Все это работает, но… so-so…
Теоретически, если взять стенд, и для всех нагрузок/скоростей построить функцию
F(скорость, момент) => фаза симистора
то можно по такой табличке рулить с очень хорошей стабильностью.
Но поскольку стенда нет, то хочется взять корявый тормозной PID, и на ходу подстраивать табличку. Если в табличке есть подходящие параметры - берем напрямую, минуя пид. Если нет - тогда на основе пида, и по мере подстройки запоминаем к чему стремиться, чтобы в следующий раз не ждать пока пид устаканится.
Я не знаю, как это описать красивыми и правильными словами, но по-моему должны быть готовые решения для таких адаптивных систем. Подскажите пожалуйста, куда копать.
PS. Речь о регуле бормашинки. По задумке, когда ей начнут бормашинить, она постепенно начнет держать обороты все лучше и лучше. Как-то так.
доброго времени суток , снова . возникла задача найти или создать ПО обеспечивающее прием и обработку шифрованных инициативных сообщений от автоматизированных систем по протоколу snmpV3. проще говоря сниффер . на языке С++ . предложили как вариант взять за основу snmptrapd т.к. исходный код находится в открытом доступе . покопались в нем . но что то как то дело не пошло , файл не находит хидеры ,и много много еще всего . с огромной надеждой спрашиваю , может здесь у кого то есть такой сниффер под snmpv3 на плюсах ???? скорее всего это последняя просьба о помощи , больше в линукс мы не полезем , никогда ….
И при этом ещё выдаёт сообщение, что nano является частью system и поэтому всё будет сломано?
Как исправить я нашел - [gentoo] --depclean хочет удалить nano
Мне непонятно почему такое изначально. Ну, допустим, что он не часть system. Почему тогда выдаётся предупреждение?
Перед удалением nano поставь что-нибудь еще, потом можешь смело nano сносить.
Пишет pinkbyte
А почему бы тогда в stage3 не запаковать world-файл по-умолчанию?
Если не хочется трогать world-файл,
то можно ли это (тот факт что nano должен быть установлен) как-нибудь протащить через профиль?
!Ъ: На официальном бложике ракетки вышла праздничная запись в честь двадцатипятилетия самой первой правки в HISTORY.txt проекта:
Version 0.7: May 10, 1995
mred:default-<x> changed to mred:<x> in system
README in demo directory
Lots of bug fixes
Ъ: За три с половиной месяца до этой записи: если функциональное программирование – это так круто, то почему его никто не использует? А давайте сделаем язык, который поможет в изучении алгебры!
Случилось так, лорчик, что вляпался я в один проект. Там используется российская CRM от 1С - Битрикс24 (не путать с Битрикс, хотя ескобар.avi). И возникла там задача, привести все телефонные номера к единому формату (с +7 и т.д.). Из коробки такой функции там почему-то нет, и CRM +71234567890 и 1234567890 воспринимает как разные номера и не считает такие контакты дублем. Не спешите зевать, дальше будет интереснее. У этого Битрикс24 унутри есть нетекстовое программирование через блок-схемы, которое называется бизнес-процессы. Наверное менеджмент 1С решил, что в этом будет проще разобраться не-программисту.
Вобщем загуглил я как решить проблему, и нашел статью от аналитика копроративных сисьтем, как он сам себя подписал. Читать все не обязательно, но оцените объем материала и количество и сложность схем. Тем временем на любой «скриптухе» это делается в несколько строчек.
Всем привет. подскажите пожалуйста, у меня такая задача: есть две машины на linux в одной сети, на одной хочу добавить доступ к некоторым каталогам, а на вторую машину их монтировать, чтобы они смотрелись как локальные. Я знаю что есть пути решения как samba и ftp, а есть другие варианты? Просто первый раз с этим сталкиваюсь уверен что есть что-то проще, а нагуглить не могу.
Не так давеча здесь Intel vs AMD я радовался что наконец получил вменяемую скорость за вменяемые деньги, убежав от Интела.
Сегодня я еще раз убедился, что прелесть работы состоит не только в цифровых попугаях.
Досталась мне нашарика Невидия GTS450. Не самая лучшая видеокарта, однако на порядок лучше встроенной в AMD 200GE затычки Vega3, да и ОЗУ можно разгрузить.
Но, не запустилась. Вот просто не запустилась.
Отнес к соседу - запустилась. Взял его Radeon поставил себе - не запустилась. Все тупые советы перепробовал, биосы прошил, виндовс переустановил бла бла бла, короче дело именно в том, что ВНЕШНИЕ ВИДЕОКАРТЫ не работают то ли с этим процессором и платой, то ли с этим процессором, на форумах уже висят жалобы.
Ребята, это обыкновенная PCIE-видеокарта! Это не какой-то ЧПУ, это не хитрожопый мейнфрейм, это сцука обыкновенная видеокарта, на обыкновенной ATX-плате, на обыкновенном Athlon, ну как так можно ?!
Я занимаюсь x86-компьютерами начиная с i386SX (хотя и двойка у меня тоже была), и ни разу не видел чтобы на Штеуд что-либо не работало, было не совместимо с их логикой или процессорами.
Помню, обсуждалась проблема с материнской платой: Задолбался ставить linux на материнку Gigabyte GA-970A-DS3P
Проблеме 5 лет. Но мне сейчас попала в руки эта материнка. Запускаю на ней ubuntu 20.04. Проблема та же. Решение от анонимуса с iommu=soft помогло.
Так вот, откуда возникают такие проблемы? Кто виноват? Линус, gigabyte, amd, Чубайс, велосипедисты?
Скоро лето, хочется почаще выходить на улицу, но как же без интернетов? 4G не нужно, через него я слышал, коронавирус передаётся.
Есть такой двор который желательно весь, ну если не весь, то хотя бы лавочки рядом с песочницей покрыть домашним Wi-Fi с хорошей скоростью и латенси. Условия скорее всего будут тепличными т.к. прямо туда смотрит окно, есть возможность направить точку антеннами во двор. Розетки, ethernet кабель, всё под боком, опять же. Уровень действия — 9 этаж.
Какую точку доступа подальнобойнее и пошире взять? Желательно mikrotik, т.к. у неё много других плюсов, но не критично если есть альтернативы.