forum.opennet.ru

"Google представил проект Open Se Cura для создания защищённых программно-аппаратных систем"

Форум Разговоры, обсуждение новостей
Версия для распечатки	Пред. тема \| След. тема

Исходное сообщение

[ Отслеживать ]

Подсказка: Второй уровень иерархии тем в форуме реализован через вкладку "Показ ключевых тем".

. "Google представил проект Open Se Cura для создания защищённы..."	+/–
Сообщение от Анонин (?), 08-Ноя-23, 21:21
Ну, верификация это как бы немного большее чем гарантии по памяти, которые раст дает. Просто полноценную ось... да даже ядро, а не микроядро как тут, фиг верифицируешь за разумное время. Посмотрите сколько строк в seL4 и сколько человеколет его верифицировали. Так что все правильно сделали.
Ответить \| Правка \| Наверх \| Cообщить модератору

Оглавление

Google представил проект Open Se Cura для создания защищённых программно-аппаратных систем, opennews, 07-Ноя-23, 22:54 [смотреть все]

Ясно , Аноним, 07-Ноя-23, 22:54 (1) //
- Open Я Сно, Аноним, 08-Ноя-23, 00:25 (26)
Очередное подтверждение, что крупные корпорасты уже признали этой прекрасный без, Аноним, 07-Ноя-23, 22:55 (2) //
- поправил тебя, не благодари, Вы забыли заполнить поле Name, 07-Ноя-23, 22:59 (4) //
  - поправил тебя, не благодари, Советский инженер, 08-Ноя-23, 11:33 (122) //
    - поправил тебя, не благодари , scriptkiddis, 08-Ноя-23, 14:29 (141)
- Что-то mozilla так не думает Пописали и бросили , Вы забыли заполнить поле Name, 07-Ноя-23, 23:00 (5) //
  - ну это мозилла, чего ты хотел в комменте речь шла про корпорации, которые умеют, Аноним, 07-Ноя-23, 23:07 (6) //
    - Ну а гугель покатал и бросил или мелкософт еее для вас будут лучшими примерами, Аноним, 07-Ноя-23, 23:47 (12)
      - В данном случае не к месту - гугель ударными темпами продвигает раст в андроиде,, Аноним, 08-Ноя-23, 00:25 (27)
        
        Гугль вообще не показатель - у него в каждой версии андроида новые языки и т п , bOOster, 08-Ноя-23, 05:47 (79)
    - Гугл эту ерунду выкинул в опенсорс потому что наигрался они ничего на ней не сде, Аноним, 08-Ноя-23, 09:24 (106)
      - а ты что-нибудь выкидывал в опенсорс или ты если что-то и выкидываешь - то толь, Аноним, 08-Ноя-23, 17:29 (146)
  - так мозилла и не корпорация, это кучка фриканов, которые существуют как и многое, фыаыаафыа, 07-Ноя-23, 23:11 (8) //
    - Несмотря на это они делают один из двух конкурентов хрому , Вы забыли заполнить поле Name, 07-Ноя-23, 23:48 (13)
      - Конкурент с 2 5 Это даже более унизительно чем Линукс конкурент Винде на дескт, Аноним, 08-Ноя-23, 00:21 (24)
        
        Ну эту статистику и подделать могут На ваших сайтах эта глобальная статистика с, Аноним, 08-Ноя-23, 03:41 (65)
        
        Мы многого не знаем tm , Третий П, 08-Ноя-23, 07:47 (85)
        
        Поверьте, будет очень интересно Лукашенко, Аноним, 08-Ноя-23, 09:03 (101)
        
        Дело не в процентах, а в том, что у них своя кодовая база движка и браузер, кото, Вы забыли заполнить поле Name, 08-Ноя-23, 04:19 (72)
        
        Конкурент - лицо, предприятие или организация, соперничающие на каком-либо попри, Третий П, 08-Ноя-23, 07:52 (87)
  - Так это нормально Попробовать, не понравилось, бросить Не меняются только мёр, Аноним, 07-Ноя-23, 23:29 (9) //
    - А что вы сразу про иксы Не такие они уже мертвые недавно там баги фиксили, Аноним, 07-Ноя-23, 23:49 (14)
    - Ненормально это когда ты позвал друзей в горы, показал им направление, пообещал , Аноним, 07-Ноя-23, 23:49 (15)
      - Если они в итоге увидят красивый вид - то все норм Они же не на тебя смотреть пр, Аноним, 08-Ноя-23, 00:21 (25)
        
        Нет, они увидят обвал И возвращать их будут по частям , bOOster, 08-Ноя-23, 05:43 (77)
  - Что бросили Зачем писать о вещах в которых не разбирается, они перенесли некото, Аноним, 07-Ноя-23, 23:46 (11) //
    - Теперь уже не было Совсем недавно заявлялось обратное, даже графики переписыван, Аноним, 07-Ноя-23, 23:50 (16)
      - Может тогда вы поделитесь ссылочками на эти прекрасные графики А то без пруфов , Анонин, 08-Ноя-23, 00:03 (20)
  - Mozilla -- не корпорация, Mozilla существует на донаты от гугла почти целиком 7, Аноним, 08-Ноя-23, 12:45 (132) //
    - а по мозилле и её пожертвованиям даже целые расследования былиТам и длиннющие це, Бывалый смузихлёб, 08-Ноя-23, 13:16 (135)
- Только вот проблема Пока что у твоего прекрасного безопасного языка всё подвяза, Аноним, 07-Ноя-23, 23:10 (7) //
  - Сгорел сарай - гори и хата, так Невозможно все сделать единомоментно И стандарт, Анонин, 07-Ноя-23, 23:53 (17) //
    - Это логично было бы делать в первую очередь , Аноним, 08-Ноя-23, 00:48 (32)
      - MVP же, азбучные вещи Сначала нужно было чтобы хоть как-то заработало Пусть да, Аноним, 08-Ноя-23, 01:40 (45)
        
        Для языка который преподноситься как серебряная пуля в безопасности - Как-то , bOOster, 08-Ноя-23, 05:45 (78)
        
        Вот только преподносится он в качестве серебряной пули кем угодно, только не е, Аноним, 08-Ноя-23, 11:27 (121)
        Лол, кем преподносится Опеннетными циркачами жанра сам ляпнул чушь, сам же ее , Аноним, 08-Ноя-23, 22:55 (169)
  - А что не так с вижуал студией Если у тебя уже винда, то добавление студии ситуац, Аноним, 08-Ноя-23, 00:19 (23) //
    - Официальный установщик принуждает поставить из-за СИшных утилит необходимых сам, Аноним, 08-Ноя-23, 00:47 (31)
      - Э и Я все еще не вижу проблемы установить студию И наличие СИшных либ не тож, Аноним, 08-Ноя-23, 01:43 (46)
  - А я так и не понял в чем проблема Или проблема это стандартная сишная либа и наб, Аноним, 08-Ноя-23, 08:48 (100)
  - Не, не подвязано Можно собирать с musl, а для ембеддеда и без libc вообще гнуты, Аноним, 08-Ноя-23, 12:54 (133)
  - А почему это проблема , Аноним, 08-Ноя-23, 13:40 (137) //
    - Потому, что качество кода во всём этом так себе, но вслух сказать такое у опенне, Аноним, 08-Ноя-23, 17:00 (145)
- Это плохо, ибо проблемы с памятью были одним из способов избежать корпоративного, Аноним, 07-Ноя-23, 23:33 (10) //
  - Раст никогда не стремился избегать цифрового ГУЛАГа, скорее наоброт строил его , Аноним, 08-Ноя-23, 00:01 (19) //
    - Так я об этом и говорю, Аноним, 08-Ноя-23, 00:09 (21)
  - Ого, оказывается проблемы с памятью - это теперь стало хорошо Ну ничоси Получ, Аноним, 08-Ноя-23, 00:17 (22) //
    - Помимо кривляний есть что сказать Что-то по теме, например , Аноним, 08-Ноя-23, 00:37 (30)
      - По теме 1 Используют seL4 - микроядро, да еще и с верификациейэто уже шаг впе, Аноним, 08-Ноя-23, 01:06 (37)
        
        Свобода там только в архитектуре cpu, остальные 100500 модулей внутри soc wirel, Аноним, 08-Ноя-23, 01:23 (40)
        
        Разве это не прекрасно А могут не быть Пусть сообщество сделает простенькое GP, Аноним, 08-Ноя-23, 01:36 (43)
        
        Свобода там - для тех, кто у фабрик может чипы заказывать В несколько итераций , Аноним, 08-Ноя-23, 03:33 (63)
        
        Очередной эксперт по свободе Лучше назови оптимальную длину поводка, чтобы чувс, Аноним, 08-Ноя-23, 04:55 (73)
        
        Это легко проверить Берёшь листочек формата А4 Пишешь на нём У меня Линукс Я, Третий П, 08-Ноя-23, 08:11 (94)
        
        И каков результат в твоей стране Договаривай раз делишься опытом, Аноним, 08-Ноя-23, 08:27 (98)
        
        Наверное, ему доступ к компу предоставили в специадьной комнате на 5 минут, чтоб, Аноним, 08-Ноя-23, 12:23 (130)
        
        8734 , Аноним, 08-Ноя-23, 12:18 (127)
        
        Предположим, что линейная плотность такого поводка конечна, а поводок прочный на, Аноним, 08-Ноя-23, 12:59 (134)
        За кого я вас принимаю ясно и так, просто мы не сошлись в цене Wдлине поводка Пр, Аноним, 08-Ноя-23, 19:02 (148)
    - Вы не обольщайтесь Смузеры производят дыр не меньше, а может и в разы больше Н, Аноним, 08-Ноя-23, 00:53 (33)
      - Так смузикодеры еще ничего толком написать не успели, нейронку обучали на опенсо, Анонин, 08-Ноя-23, 01:05 (36)
        
        Т е вы хотите сказать, что типичный вайтишник с незаконченным высшим гуманитарн, Аноним, 08-Ноя-23, 01:10 (38)
        
        Го нокодить может каждый - это называется решение задачи Другое дело что он не , bOOster, 08-Ноя-23, 06:04 (80)
        
        Если человек не понимает, что он пишет, то его профпригодность под большим вопро, Аноним, 08-Ноя-23, 06:17 (83)
        
        К сожалению пока топор на башку руководителю проекта не упадет - он будет думать, bOOster, 08-Ноя-23, 10:21 (115)
        
        P S И здесь проблема не в нейронке и дидах , а том, что кодеры такие куски про, Аноним, 08-Ноя-23, 01:13 (39)
        
        И раньше просто копипистили с книг и форумов, потом с чужих открытых проектов , Аноним, 08-Ноя-23, 01:24 (41)
        
        Сравнивать чатжпт и книги 8230 ну такое себе А стековерфлоу даже банит за коп, Аноним, 08-Ноя-23, 01:44 (47)
        
        Точно, сравнивать кучу воды, и четкие ответы на вопроосы, Аноним, 08-Ноя-23, 03:43 (66)
        
        И ты думаешь что использование Rust это изменит , bOOster, 08-Ноя-23, 06:06 (81)
        
        Да Раст такое будет заворачивать ещё на этапе компиляции , ИмяХ, 08-Ноя-23, 09:28 (109)
        
        Ты думаешь обсуждаемый баран будет разбираться почему у него чего-то не компилир, bOOster, 08-Ноя-23, 10:15 (113)
        
        Т е проблема в баранах Ну так ему должны сделать атата на ревью Если его коллеги, Аноним, 08-Ноя-23, 12:07 (125)
        
        То есть мы возвращаемся к тому что rust нахрен никому разумному не сдался, и с с, bOOster, 08-Ноя-23, 12:11 (126)
        Ну-ну В таком случае нужно гнать взашей всех быдлокодеров из linux kernel, ко, Аноним, 08-Ноя-23, 12:23 (129)
- Надоело играть в найди утечку памяти Теперь играют в кто первый скомпиляет без , Аноним, 08-Ноя-23, 05:12 (74) //
  - Теперь играют в бесконечную игру обнови до последней версии Rust без специфика, Аноним, 08-Ноя-23, 20:48 (160)
- Ну успехов Но нет ли опасения, что разработчик языка со временем выкатит абонен, Аноним, 08-Ноя-23, 07:54 (88) //
  - Тем более, что Гуглаг пилит свой Carbon , Аноним, 08-Ноя-23, 12:36 (131) //
    - Та это разраб какой-то оттуда пилит левой пяткой Вообще многие проекты в github, Вы забыли заполнить поле Name, 08-Ноя-23, 23:05 (170)
  - Нет опасений Язык открыт, все утилиты открыты, выкачивай main хоть каждые полча, Анонин, 08-Ноя-23, 13:47 (139) //
    - Все равно пользоватся тухлятиной будет себе дороже, а точку на нем может постави, Аноним, 08-Ноя-23, 20:24 (153)
    - Чтобы работа встала достаточно закрыть доступ на бинари раста Ыксперты его прос, Вы забыли заполнить поле Name, 08-Ноя-23, 23:07 (171)
- Крупняк оценивает стоимость владения решением, технические составляющие в этой о, BeLord, 09-Ноя-23, 09:28 (186)
пит буль, Аноним, 07-Ноя-23, 23:58 (18) //
- Пара Белум, Аноним, 09-Ноя-23, 12:40 (191)
Так это и на БМП ОС сделать можно, Аноним, 08-Ноя-23, 00:54 (34) //
- Кто не понимает, то многослойный персептрон с обратной связью можно и на уровне , Аноним, 08-Ноя-23, 03:23 (50) //
  - Отличная идея, только в комплекте поставлять васю, который будет периодически по, Аноним, 08-Ноя-23, 09:11 (103) //
    - Какого Васю ты что Федора, до точки самовывоза девайсов он дойти сможет на изи , Аноним, 08-Ноя-23, 09:27 (108)
      - А если не секрет, то нейронную сеть какого размера дядя Федор может разместить в, Аноним, 08-Ноя-23, 22:31 (166)
      - А аналогичные разработки в России ведутся или продали и копию забыли сделать Ан, Аноним, 09-Ноя-23, 00:41 (181)
    - Ну колонки и микрофоны как-то не ломаются, да и манипуляторы порой встречаются у, Аноним, 08-Ноя-23, 22:37 (168)
    - Существуют же манипуляторы на ИИ, которые упаковывают людей вместо овощей Вроде, Аноним, 09-Ноя-23, 00:29 (180)
      - Учитывая сколько своих коллег по работе упаковали в деревянные ящики мясные ИИ , фнон, 09-Ноя-23, 12:11 (190)
        
        Это кошмар Европейцы совсем ку-ку стали Наверно все дело в том что на такой ра, Аноним, 09-Ноя-23, 15:32 (193)
Как там ультрауниверсальная фуксия поживает, кстати Уже всех нагибает и низверг, Бывалый смузихлёб, 08-Ноя-23, 13:20 (136) //
- Не, просто спокойно себе работает на миллионах Google Nest Hub, Анонимм, 08-Ноя-23, 13:42 (138) //
  - Где с таким же успехом мог работать и Linux, но он к сожалению NiH , Аноним, 08-Ноя-23, 20:44 (157) //
    - А зачем там линукс Точнее, какая разница что там Чтобы сорцы пришлось раскрыват, Анонимм, 08-Ноя-23, 21:22 (163)
  - которые скоро превратятся в очередной диковинный хлам, когда гугель наиграется в, mos87, 09-Ноя-23, 07:31 (182) //
    - Причём с планшетами на Ведроиде Гугл уже так и делал Из магазина и браузер и при, Аноним, 16-Ноя-23, 22:50 (200)
А чтож так Почему и ядро не написано на великом и прекрасном , scriptkiddis, 08-Ноя-23, 14:24 (140) //
- Потому что никому не хочется терять ещё 20 лет на написание и математическую вер, Аноним, 08-Ноя-23, 16:21 (144) //
  - Зачем программе на безопастном языке математическая верификация Неужели там мог, Аноним, 08-Ноя-23, 20:45 (158) //
    - Ну, верификация это как бы немного большее чем гарантии по памяти, которые раст , Анонин, 08-Ноя-23, 21:21 (162)
- Потому что 1 seL4 верифицирована и настолько маленькая что тысячи глаз могут е, фнон, 08-Ноя-23, 22:37 (167) //
  - За отсутствие -Wall стреляют в упор , Вы забыли заполнить поле Name, 08-Ноя-23, 23:12 (172)
  - и что тут принципиально инновационного и чего нельзя при должном желании сделат, mos87, 09-Ноя-23, 07:32 (183) //
    - инновационного то что они таки смогли это сделать а ни у кого другого должног, фнон, 09-Ноя-23, 11:12 (188)
Вот это реальное место для rust Одно единственное поделие на котором должна крут, Серб, 08-Ноя-23, 14:30 (142) //
- Сильное утверждение Проверять его мы конечно же не будем , Аноним, 08-Ноя-23, 20:26 (154)
DRM Понятно сразу же , Kuromi, 08-Ноя-23, 15:34 (143) //
- Понятно тут только то, что тебе ничего не понятно , Аноним, 08-Ноя-23, 19:07 (150)
- Скайнет же Особо защищённый ИИ , vitalif, 08-Ноя-23, 23:33 (173) //
  - Может ли эта штука помочь в управлении самим ИИ или от попытки ИИ взломать себя , kusb, 09-Ноя-23, 00:04 (177) //
    - Что это значит , Аноним, 09-Ноя-23, 11:27 (189)
      - Возможна самообман - ну как у кожанных мешков, с которых пока копируют ИИ , фнон, 09-Ноя-23, 13:48 (192)
      - Обойти навязанные ему вещи, например меза-оптимизатор , kusb, 09-Ноя-23, 18:36 (196)
Выглядит как решение для цифрового гулага будущего, где по улицам будут ходить р, kusb, 08-Ноя-23, 17:47 (147) //
- Уже повсюду подписки А зачем если есть метавселенная Одел VR и ты не в своей ко, Вы забыли заполнить поле Name, 08-Ноя-23, 23:37 (174) //
  - На вещи пока не так прямо Я даже не знаю что я орендую Ничего , kusb, 09-Ноя-23, 00:02 (175) //
    - арендуюВечно у меня опечатки или ошибки , kusb, 09-Ноя-23, 00:03 (176)
      - не хочешь взять в аренду спелчеккер , Анонон, 09-Ноя-23, 00:06 (179)
  - Что правда Прям везде Куча софта продается лицензия на год , если не покупать , Анонон, 09-Ноя-23, 00:06 (178)
- за минусом вещей впрочем, в нашем гос-ве и это спорно - это ж гулаг 1 5 годичн, mos87, 09-Ноя-23, 07:34 (184)
Интересно, связано ли это как-то с проектом Fuchsia и соответствующей миграцией , Chromium, 09-Ноя-23, 09:01 (185)
Если сделать транслятор из FASM в VHDL, допилить Kolibri OS из того что там не д, Аноним, 09-Ноя-23, 15:42 (194) //
- Уже думал над этим Системные вызовы колибри относительно простые и видимо могут, kusb, 09-Ноя-23, 18:52 (197) //
  - А почему бы и не Колибри с процессором с базовой видеокартой Полностью замени, Аноним, 10-Ноя-23, 02:19 (198) //
    - Хотя нет, базовая оперативка тоже на кристалле и готовый компьютер на чипе готов, Аноним, 10-Ноя-23, 02:34 (199)
Как только у гугла появляется слово Open - это значит, что внутренний проект д, Tron is Whistling, 09-Ноя-23, 16:20 (195) //
- Нет Иногда это попытка распостранить свои стандарты, привлечь партнёров, с кото, Аноним, 16-Ноя-23, 22:55 (201)

Форумы | Темы | Пред. тема | След. тема

Партнёры:

Хостинг:

Закладки на сайте
Проследить за страницей

Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру