LINUX.ORG.RU

18
Всего сообщений: 77

Обязать программистов использовать Раст для проектов повышенной надежности

Прежде всего ссылка: https://www.roi.ru/71821/

Для ТруЪ резидентов копирую этот прекрасный текст:

Наверно, сейчас в России программы, требующие повышенной надежности, (ядерное оружие, атомные станции, авиация, электроэнергетика, биржи/банки и т.п.) пишут на чем попало. Иными словами, может взорваться или отключиться в любой момент.

В США была министерская программа Пентагона перевести все военные разработки на один язык программирования повышенной надежности (Ада). В России ничего подобного нет.

К слову, американцы очень плохо справились с этим проектом (и потом его, по глупости, еще и отменили): транслятор (программа, управляющая выполнением других программ) для Ады имеет огромное количество ошибок, что более чем «компенсирует» надежность самой Ады.

Практический результат Уменьшение количества катастроф и аварий.

Причем, Раст - современный язык программирования с большими возможностями. А значит, использовать его для разработки сложных программ достаточно эффективно.

Попутно вопрос, типичный линуксоид и борец за Свободу пользуется ГосУслугами или ЕСИА? Или анонимность наше всё?)

Перемещено leave из development

 , ,

Alve ()

А почему никто не обсуждает, что Mozilla распространяет по техническим каналам политику?

Mozilla воспользовалась push-уведомлениями для распространения политической рекламы в Firefox

Пользователи мобильной версии Firefox для Android выражают возмущение нецелевым использованием функции доставки push-уведомлений для распространения рекламы публикации в блоге Mozilla с призывом подписать петицию StopHateForProfit, направленную против поддержки ненависти, расизма и дезинформации в Facebook. Уведомление было отправлено через активный по умолчанию канал «default2-notification-channel», предусмотренный для отправки важных технических уведомлений. Применение подобного канала для доставки политически ангажированной рекламы является неприемлемым и рассматривается некоторыми пользователями как нарушение миссии Mozilla.

Собсно сабж.

https://www.opennet.ru/opennews/art.shtml?num=53427

 ,

PPP328 ()

АНБ снова напоминает о важности установки патчей или эксплуатация известной уязвимости в EXIM Российским ГРУ

На своём сайте https://www.nsa.gov/News-Features/News-Stories/Article-View/Article/2196511/e...

объявили об известных им случаях эксплуатации известной уже примерно год уязвимости в Exim CVE-2019-10149 позволяющей запускать произвольный код на атакуемой системе.

Причём упоминают что атаки производились из главного центра специальных технологий ГРУ Генштаба РФ, также известного как «подразделение 74455»,что уже мелькало в новостях, и чего они так рекламируют это подразделение? :)

Также они приводят подробности https://media.defense.gov/2020/May/28/2002306626/-1/-1/0/CSA Sandworm Actors ...

где среди признаков атаки с августа 2019 приводя следующие IP и домены:
95.216.13.196
103.94.157.5
hostapp.be

 , , ,

Den0k ()

А почему GNU не хочет заключить союз с одним из производителей материнских плат?

Союз такой, производитель делает три модели материнских плат лля актуальных процессоров, для топового, нижнего и embed сегментов рынка соответственно, при этом максимально удовлетворяя требованим свободного оборудования, а GNU и FSF официально рекомендуют эти платы для работы с Linux, стараясь по возможности подключить к этому и разные дистрибутивы Linux?

Конечно мне сейчас скажут что есть списки свободного оборудования, но ведь там всякое старьё на котором смогли запустить что-то свободное.

А тут можно эксперементировать с формфактором материнской платы, предьявлять требования к доступности интерфейсов, например разместить BIOS на съёмной платке и т.д.

Особенно хорошо если на отдельные платы вынесут встроенный аудиокодек и сетевые карты, что снизит стоимость материнки, но при необходимости позволит её доосностить нужным оборудованием.

 , , ,

torvn77 ()

Конец интернету и видеоиграм?

Трамп после двух массовых убийств в США заявил о вреде интернета и видеоигр

Президент США Дональд Трамп выступил с обращением к нации в связи с двумя массовыми убийствами, которые произошли 3-4 августа. Он заявил, в частности, что «ненависти нет места в Америке» и что страна должна осудить расизм.

Среди факторов, влияющих на совершение массовых убийств, Трамп назвал интернет, который, по его мнению, предоставляет возможности для радикализации «беспокойных умов» и используется для совершения других преступлений.

«Опасности интернета и соцсетей не должны быть проигнорированы и не будут проигнорированы», — заявил Трамп, осудив также «прославление насилия» в видеоиграх.

Президент США также заявил, что «психические заболевания и ненависть спускают курок, а не оружие». Он призвал сосредоточиться на выявлении потенциальных преступников до совершения массовых убийств.

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

 , , ,

ZenitharChampion ()

Пожалуйста, добейте клуб

Дело @BruteForce: рассмотрение по существу - конкретно вот эту тему. Её окончательно скатили в слабоумие и политоту.

 , ,

Deleted ()

модераторы, вы что умышленно поощряете пропаганду нацизма и нацрознь?

герой вполне себе невозбранно исполняет http://i.piccy.info/i9/e30f6470ca61493a959583daf81ee56a/1550481704/104336/130... и не первый раз, и не только в том треде, я пишу с ссылки Ссылки на некорректные сообщения (46) (комментарий) результата 0.

в другом треде Прошу пояснений про Клуб, ТС заявляет претензию типа, «а чо мне возражают когда нац достоинство русских и украинцев оскорбляю, и разжигаю национальную рознь?»

этот герой заявляет что «не было такого», а указанный мной еще вчера модерам в «ссылках» комент висит, причем, после моей ссылки есть удаленные коменты - т.е. мою ссылку на его коммент,

вот он

Потому что хохлы — вообще не нация. Это часть русской нации.

Верно говоришь, всякие хохлы, малоросы и прочие рабы — часть исторического недоразумения, почему-то именуемого „русской нацией”, поэтому их необходимо гнать на родную рабсеюшку. А вот украинцы — это отдельная самостоятельная нация свободных людей, в отличие от т.н. „русских”, представляющих из себя сброд манкуртов из мокшей, эрзей, чудей, мерей и прочих таёжных дикарей, платящих дань белым людям Киевской Руси.

Просто всякие редиски зачем-то на беловежском соглашении решили разделить одну нацию на несколько. Это было плохо и неправильно. Надо вернуть всё взад. Чтоб русские, украинцы и белоруссы были в одном государстве, ибо это одна нация.

С тем что надо вернуть всё взад тоже согласен. Ведь Украина и Белорусь — вот и вся Великая Русь. Всякие же т.н. „русские” и прочие варвары из окраин пускай идут взад в родные аулы осваивать тайгу под недоболотом-недорекой, именуемой Москвой. А теперь я должен отлучиться, ибо пришла пора вернуть в зад твоей мамаше.

т.е. мою ссылку на пропаганду нац. идей модеры видели, но не удалили.

я цитирую герою его комент, который он в том треде отрицает.

по окнцовке, герой остается при своих, а мне снимают скор за то, что цитировал героя, которого модеры любезно покрывают и поощрают.

 

ParoVozz10 ()

Нашёл интересную статью про Дениса Попова

Вот собственно - http://jeder.ru/?p=160

[От 13.12.2018] Внимание: автор этой статьи по ссылки - линуксофоб, без навыков критического мышление лучше даже не читать.

Интересно было бы потыкать bolgenos на LFS. А если серьёзно Денис Попов ничего плохого не сделал, наоборот он был обязан поменять название своего дистрибутива.

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

Так что Денис всё правильно сделал. По поводу других программ: вот в Дебиане Firefox назывался iceweasel и никто не жаловался и т.д.

А так обычная linux-сборка, которых тысяча! Так до Попова клепали, так сейчас клепают.

 , , , ,

gtk3 ()

Диванный Путин

Кто играл в Realpolitiks? Есть несколько вопросов.

1) Там реально выиграть по рейтингу, не играя за США?

2) Что за хрень с размером армии у РФ?

3) Почему в играх такие убогие модели? Где ещё хотя бы десятка три фактора, типа уровня преступности, коррупции? Какая игра самая сложная в этом плане?

 , ,

Deleted ()

а может альтернативу Центральной избирательной комиссии сделать?

Сайт, на который слить свои голоса и тупо оценить реальные проценты за сегодня.

Авторизация по Вк и facebook, отсеять дубликаты эвристикой, или через взаимную ручную правку.

Перемещено leave из talks

 

pacify ()

Интерфейс между наукой и обществом

Содержательный разговор о науке в России:
https://www.youtube.com/watch?v=CgV7QHy0mV8

Модераторам: Здесь много научных сотрудников и сочувствующих.
Перенесите в Клуб или Talks, если нет места в Science & Engineering.
Никаких политических споров с моей стороны не будет.

 , ,

Evenik ()

Реакционная модерастия. Доколе?

Модедартор leave в отношении меня хочет устроить террор Субординация в ИТ отделе (комментарий)
Он запрещает высказывать мои политические и философские взгляды, но при этом ничуть не мешает высказывать их моим оппонентам. Таким образом он ставит меня в ущемлённое положение по сравнению с либералами или фашистами. Им можно свободно выражать свои взгляды, а мне нет.

Хочу прекращения этих угроз. И вменяемой политики модерирования, дабы не было больше поводов вносить всех модераторов ЛОРа в расстрельный список.

Я ранее пытался множество раз переносить дискуссию с ЛОРа во вконтакте, но у меня это не получилось. Мои оппоненты не хотят спорить со мной на страницах той социальной сети. Они хотят это делать на ЛОРе.

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

 ,

PeKar ()

Нильс Торвальдс участвует в президентской гонке.

Как всем известно, в Финляндии 28 января 2018 года проводятся президентские выборы.

https://en.wikipedia.org/wiki/Finnish_presidential_election,_2018

Как связано с линуксом? Да без Нильса линукса бы и не было.

 , ,

onlybugs ()

Выборы журналистов государственных СМИ

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

 , , , ,

watashinoshi ()

Эй! Я жертва модераторского произвола.

«Вынос» сервера 1с (Форум) 5.3 Национальные/политические/религиозные споры (-7)

www.linux.org.ru/forum/talks/13331764

Я всего лишь пошутил в ответ на просьбу человека дать ему фашисткий сервер.

JB Жаба! Помогай мне! Меня модерируют модараторы-сталкеры. Они стремятся меня в автобан отправить используя любые формальные предлоги. (прям как роскомнадзор)

Score: 6

Меня уже почти выдавили с ЛОРа. Неужели никто не видит что я жертва политизированного модераторского произвола?

 , , ,

rezedent12 ()

А можно создать тему с опросом про заработные платы и имущественное состояние посетителей LOR?

Хочу сделать опрос относительно источников дохода, его величины и имущества. Естественно в вариантах ответа после объяснения критериев на основе работы «Классы современной России», будут «люмпен», «пролетарий», «полу-пролетарий», «рабочая аристократия», «буржуа».

Результаты данного опроса позволят мне понять реальный классовый состав LOR. Можно?

 , , ,

rezedent12 ()

Несколько мыслей о искусственном интеллекте и инвестициях в его развитие.

Источник https://youtu.be/2YM-qQrXwcg
Возьмём простой пример. Отказавшие в автомобиле тормоза, выбор между бетонной стеной как собственной гибелью и сбиванием двух людей. Инстинктивно большинство людей не успев задуматься решат эту задачу в пользу своего выживания. В проведённом же опросе результаты разделились примерно поровну. В случае сознательного действия - это сознательный выбор.

А теперь предположим что данную задачу будет решать автопилот. Естественно он будет решать её сознательно. Способ решения данной задачи будет обусловлен алгоритмом автопилота. И поэтому возникают 2 вопроса:
1) Какое типовое решение этой или подобной задачи ты предпочтёшь покупая автомобиль?
2) Какое типовое решение ты предпочтёшь в качестве пешехода?
Прямо говоря. Купишь ли ты автомобиль который будет чужую жизнь ставить выше твоей? И будешь ли ты протестовать против автомобилей которые, жизнь владельца ставят выше большого количества жизней других людей?

Я думаю что если технологии придётся отвечать на такие вопросы, то её развитие вообще не ясно. А в случае с правилом «кто платит - тот и танцует», вполне определённо и опасно для общества. (На уровне пьяных мажоров за рулём?)

Linux тут при том что вполне вероятно искусственный интеллект будет его использовать. В нити ожидаю философское обсуждение, ибо мне не охото сейчас говорить о политике. Хотя кого я ввожу (не намеренно) в заблуждение?.. Любой философский вопрос касаясь прогрессивных и реакционных направлений перетекает в политический, а вне направлений не может быть решён.

Перемещено jollheef из talks

 , , , ,

rezedent12 ()

Раздельные политики паролей

Интересует, можно ли настроить разные политики паролей для разных пользователей. Если да,то как

 ,

misterildir ()

Пиратская партия заняла второе место на выборах в Исландии

https://meduza.io/feature/2016/10/30/vybory-v-islandii-piratskaya-partiya-zan... (в ссылке сказано «третье», но в заголовке — «второе»)

10 из 63 мест в парламенте. Правительственная партия и её союзник суммарно получили 29 мест. Но, насколько я понял, есть один нюанс. Дело в том, что «пираты» входят в союз с социал-демократами и прочими левыми, и суммарно они имеют 27 мест. На 2 места меньше, чем у правительства, но помимо них в парламент прошла ещё одна партия, «Возрождение», и она — левая, и хотя о союзе с «пиратами» она ещё не заявила, скорее всего, она не вступит в союз с правительственной партией.

В итоге, у «пиратов» и их союзников есть все шансы стать доминирующей силой в исландском парламенте.

Такие дела.

 ,

the_electric_hand ()

Ethereum: децентрализация, сэр

В Ethereum прошло голосование, в результате которого единогласно было поддержано решение в пользу hard fork'а, исправляющего fuck up разработчиков The DAO.

Голосованием держателей ETH с явкой в 5.5% было принято решение об откате блокчейна. Вот, она, карл, децентрализация, отказоустойчивость и нецензурируемость. Чуть более 5% пользователей могут отцензурировать нецензурируемое.

!Ъ: http://elaineou.com/2016/07/18/stick-a-fork-in-ethereum/

 , , , ,

dazdraperma ()