• Rust в ядре Linux
    +1

    Спасибо за пояснение!

  • Rust в ядре Linux
    +7

    2 вопроса:

    Как решили проблему с числами с плавающей точкой (в ядре они не поддерживаются, слишком дорогая смена контекста)? Как решили проблему с различными неявными паниками, например при нехватке памяти?

  • Находим и устраняем уязвимости бинарных файлов в Linux — с утилитой checksec и компилятором gcc
    +1
    Все таки canary==канарейка
  • Долгая дорога к быстрым обновлениям Android
    0

    Допустим, Гуглу очень помогла покупка doubleclick на сомнительных условиях

  • Долгая дорога к быстрым обновлениям Android
    0

    Ага, а также ATF, подписи и пр. -- пусть все это идёт в руки _компании, заботящейся о приватности и безопасности_.

  • Долгая дорога к быстрым обновлениям Android
    +1

    То есть бедный добрый Google борется против злых вендоров с кастомными прошивками? Скорее наоборот, Google сначала захватил большой рынок, позволив вендорам быть не просто "производителями чипов", а полноправными партнёрами, теперь же полностью подминает под себя всех (+ ARMv9 с переносом некоторых интересных вещей в Realms, подальше от вендоро-зависимой трастзоны -- это ARM+Google вместе реализовали + странная новая цепочка подписей). И все это под соусом "заботы о пользователях", ага.

  • Создана крупнейшая карта распределения тёмной материи во Вселенной
    0

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

  • Google официально представил свою третью ОС — подробнее о Fuchsia
    0
    GNU GENERAL PUBLIC LICENSE
    Version 2, June 1991

    ++Загрузчик к Линуксу вообще никак не относится: референсная реализация SMC для EL3 вообще под BSD-3
  • Пиринговые мессенджеры — враг государства?
    +9
    Читайте внимательно первоисточники. С точки зрения американской правовой системы, есть большая разница между «вошел в Капитолий и крушил все подряд» и «прошел через уже открытые двери». Суды рассматривают обстоятельства и применяют разные санкции.

    On Appeal of Pretrial Detention Orders (No. 1:21-cr-00118-1) (No. 1:21-cr-00118-2)
    ...Putting it all together, because the record strongly suggests that Munchel and Eisenhart would present no safety risk if subjected to strict release conditions, the district court clearly erred in finding that the government had proved its case by clear and convincing evidence.
  • Samsung просит милости у голландского монополиста ASML
    0

    Производство тут же остановится. Современные сканеры, станки и пр. специальное оборудование использует жёсткую привязку к производителю, местоположению, техпроцессу и фактически постоянно контролируются им.

  • Мутации фрактального бульона под названием «Мультивселенная» — об инфляционной модели Андрея Линде и Алана Гута
    0
    Для сигнала, движущегося со сверхсветовой скоростью относительно некоторой первой системы отсчета найдется такая еще одна система отсчета (движущаяся с v>>0, v<c относительно исходной «покоящейся» системы отсчета), в которой оно движется в прошлое, и в которой можно сконструировать процесс, благодаря которому «оно отправит сигнал в прошлое, чтобы оно не отправляло самому сигнал в прошлое» (что даст парадокс).

    Вот здесь хорошее объяснение с картинками, почему сверхсвет приводит к коммуникации в прошлое

    www.physicsmatt.com/blog/2016/8/25/why-ftl-implies-time-travel

    Конечно, есть и немного другой взгляд, например вот тут

    arxiv.org/pdf/gr-qc/0107091.pdf

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

    Похожие на ваш пример разбирается как раз в вышеприведенной статье как один из примеров, когда казуальность не нарушается, так что тут вы правы) однако, если вы добавите к вашему примеру субсветовой звездолет, то можно сконструировать уже пример, в котором казуальность будет нарушена.
  • Разработчики встраиваемых систем не умеют программировать
    +2

    Недостаточно исследований

  • Разработчики встраиваемых систем не умеют программировать
    +5

    Посмотрел uavcan. По сути, очередной встраиваемый rpc. Эмбедеры используют rpc, архитектуру на основе событий, гетерогенный компьютинг и пр., а не только лампочками моргают:-) Алгориитмы эмбедерам не нужны? Так они часто на одних только хитрых алгоритмах и структурах данных и сидят. Не надо всех под одну гребёнку, пожалуйста.

  • Мутации фрактального бульона под названием «Мультивселенная» — об инфляционной модели Андрея Линде и Алана Гута
    +2

    Есть мнение, что эксперимент "Планк" закрыл инфляцию. См. блог Сабины, там есть ссылки и дальнейшая дискуссия
    http://backreaction.blogspot.com/2019/03/inflation-status-update.html?m=1


    Очень кратко: нет, инфляция не решает проблему тонкой настройки, а отодвигает ее в прошлое; инфляция постулирует наличие скалярного поля (кто вам сказал, что это поле Хиггса?) и тем самым методологически не особо лучше простого постулирования начальных параметров расширения Фридмана

  • Линус Торвальдс остался недоволен рядом моментов в использовании Rust для Linux
    0
    Тогда все претензии к разработчикам патча :-) Как и Линус, я не против Раста в ядре :-)
  • Линус Торвальдс остался недоволен рядом моментов в использовании Rust для Linux
    +10
    Претензия Линуса в том, что вместо возвращения ENOMEM в том или ином виде неявный аллокатор вызовет панику. Никакого «писать что-то мимо» здесь нет.

    Upd.: грубо говоря, если какой-то подсистеме не хватило памяти, то это еще не повод для вызова общей паники. Пусть лучше отвалится юзерспейсный клиент, который вызвал такой драйвер, которому не хватило памяти.
  • Почему вы должны попробовать Rust
    +1
    Вы можете уточнить исходное определение (например, уточняя понятие «вселенная» и дополняя понятие «ограниченности» временным ограничением), назовем это «расширенным утверждением», и будете скорее всего правы в рамках ваших расширенных допущений. Однако это не означает неправоты моего ответа на изначальное более общее утверждение другого участника Хабра.
  • Почему вы должны попробовать Rust
    +2
    К минусам Rust следует отнести достаточно жесткую привязку к одной системе сборки, к одному тулчейну и к одному способу задания зависимостей. GCC front-end пока не достиг высокого уровня, при этом есть проблемы со стабильностью спецификации, что важно для авионики и пр. mission-critical.

    Та же, например, Ada без освобождения памяти (а так обычно обстоят дела в авионике) гарантирует memory safety и thread safety (с использованием protected), и при этом обладает стабильной спецификацией. MISRA-C позволяет уменьшить число неявных ошибок программистов C и т.д. С точки зрения разработчиков и заказчиков таких систем, плюсы от перехода на rust не столь очевидны.
  • Почему вы должны попробовать Rust
    +1
    В предложенном вами примере достаточно всего 10^36536 шагов для решения задачи в общем виде для указанного компьютера.
  • Почему вы должны попробовать Rust
    0
    Изначальный посыл был «Полностью автоматическое доказательство правильности в любом случае принципиально невозможно»
    Для конечной машины всегда возможно.
  • Почему вы должны попробовать Rust
    0
    К тому же вполне возможна формальная верификация программ, написанных на C, например микроядро seL4 тыц
    Ну и фреймворки типа Frama-C помогают писать спецификации прямо в коде.
  • Почему вы должны попробовать Rust
    0
    Проблемы остановки не существует для компьютеров с конечным числом состояний.
  • Умный print для C
    0

    Сделал нечто похожее в свое время, ещё натянул на это сверху вариабельные макросы. Прошло время, и я понял всю прелесть стандартного printf с форматами

  • Умный print для C
    0

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

  • Почему Джеф Безос – самый опасный политикан на планете
    0
    Справедливости ради, крупный производитель базовых станций для 5G. Как и соседний Ericsson.
  • Microsoft отказалась продавать софт МГТУ им. Н. Э. Баумана
    +2
    Если совсем откровенно, то рабочий процесс на многих кафедрах нашего благословенного вуза давно пора перестраивать, вот и повод будет.
  • Microsoft отказалась продавать софт МГТУ им. Н. Э. Баумана
    +2
    Siemens NX работает из коробки на линуксе, как и многие другие САПРы. Расчеты? ANSYS официально поддерживает Linux (доступна поддержка для RHEL и SUSE). Nastran-подобные давно есть на линуксе. OpenFOAM во многом стандарт для расчетов гидродинамики, изначально создавался для юникс-подобных систем, да и расчетные кластеры на базе Windows сейчас сложно отыскать. Математика? Matlab доступен на линуксе, Wolfram Mathematica на линуксе, python со всем богатством пакетов — сами знаете. Дело в привычке и лоббизме, других причин для отказа от миграции я не вижу.
  • Бета-тестеры Starlink показали присланное им оборудование для спутникового интернета
    0
    Но и это уже тестируется,

    www.spaceflightinsider.com/missions/starlink/inter-satellite-laser-communications-improving-starlink-performance-as-spacex-expands-constellation

    During the live broadcast of September’s Starlink 11, SpaceX Senior Program Reliability Engineer Kate Tice confirmed that there had been tests conducted using two satellites which featured ‘space lasers’. “Recently as the Starlink team completed a test of two satellites …that are equipped with our inter-satellite links which we call called space lasers,” she said, “With these space lasers, the Starlink satellites were able to transfer hundreds of gigabytes of data.”
  • Apple удалила аккаунт Epic Games и все игры компании из App Store
    +2

    Уже давно смартфоны на ARM работают с гипервизором выше ядра ОС и несколькими осями, работающими параллельно. У андроидосмартфонов в параллель работает какая-нибудь vendor-specific Trusted OS, у Apple есть похожее решение. В будущем конструкция ещё больше усложнится.

  • Svelte, исчезающий фреймворк, что всё никак не исчезал
    0
    Если такой выбор будет давать конкурентные преимущества в такой-то отрасли в такой-то стране для такой-то фирмы — почему бы и нет?
  • Коронавирус: почему надо действовать прямо сейчас
    0

    Интересно, что сделали в Японии, что у них такой необычный график

  • Лицензия для проектов с открытым исходным кодом, которая обязывает пользователей «не причинять вред»
  • Франция будет блокировать разработку Facebook Libra
    +11

    И правильно делают во Франции — Фейсбуку плевать на privacy, он теперь хочет собирать данные с ваших транзакций и продавать их третьим лицам. Никаких маркетинговых сказок про "за интернетом будущее" и "ретрограды проиграют". Просто бизнес больших данных, ничего личного. Не должно быть никакого доверия корпорации Цукерберга по-умолчанию. Как и к другим собирателям больших данных.

  • Не морочьте мне голову со своим функциональным программированием
    +3

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

  • Не морочьте мне голову со своим функциональным программированием
    +6

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

  • Минкомсвязи одобрило законопроект об изоляции рунета
    0

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


    2) Существует гипотеза, что вероятность того, что депутат увидит именно мое обращение, а не мой же комментарий на Хабре, больше.


    Следовательно, это, возможно, опровергает ваш аргумент, при верности высказанной гипотезы.


    Я спокойно осознаю, что абсолютная вероятность позитивного исхода мала (и была бы ещё меньше, если это был бы не законопроект одного сенатора и одного депутата, а какая-нибудь "могила" с сотней подписантов.) Но она отлична от нуля, и явно не хуже других стратегий.


    Для более подробного обоснования — Hanc marginis exiguitas non caperet

  • Минкомсвязи одобрило законопроект об изоляции рунета
    0

    Спасибо, что поправили мое обоснование. Выводов это не меняет.

  • Минкомсвязи одобрило законопроект об изоляции рунета
    0

    Стратегия 1: сидеть на диване. Условная вероятность (произойдут нужные мне изменения при условии сидения на диване) = А


    Стратегия 2: написать комментарий на Хабре. Условная вероятность (произойдут нужные мне изменения при условии написания комментария на Хабре) = Б


    Стратегия 3: написать жалобу. Условная вероятность (произойдут необходимые мне изменения при условии написания жалобы) = В.


    Я утверждаю, что В>Б>А, так как государственная система реагирует обычно только при непосредственном взаимодействии с государственной системой. Применяем теорему Байеса. Значит, для повышения вероятности успеха, я должен выбрать вариант В, что я и сделал.


    Заметьте, я не упоминаю конечную величину каждой из вероятностей, я только сравниваю их между собой.


    Вам достаточно такой рациональности?

  • Минкомсвязи одобрило законопроект об изоляции рунета
    0

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

  • Минкомсвязи одобрило законопроект об изоляции рунета
    0

    Простите, я некоторое время был преподавателем в университете. Нас постоянно заставляли писать бессмысленные бумаги в министерство. Пусть теперь хотя бы представители законодательной власти, хотя бы секретари депутатов на зарплате 30к, будут отрабатывать те деньги, что у них есть.


    Если бюрократическая машина может работать, то пускай она работает.