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

"Google открыл код защищённой операционной системы KataOS"	+/–
Сообщение от opennews (??), 15-Окт-22, 10:43
Компания Google объявила об открытии наработок, связанных с проектом KataOS, нацеленным на создание защищённой  операционной системой для встраиваемого оборудования. Системные компоненты KataOS написаны на языке Rust и выполняются поверх микроядра seL4, для которого на системах RISC-V предоставлено математическое доказательство надёжности, свидетельствующее о полном соответствии кода спецификациям, заданным на формальном языке. Код проекта открыт под лицензией Apache 2.0... Подробнее: https://www.opennet.me/opennews/art.shtml?num=57920
Ответить | Правка | Cообщить модератору

Сообщения

[Сортировка по ответам | RSS]

1. Сообщение от Аноним (1), 15-Окт-22, 10:43	+3 +/–
Genode какой-тл
Ответить | Правка | Наверх | Cообщить модератору

2. Сообщение от Аноним (2), 15-Окт-22, 10:45	+1 +/–
Опять пермессивщина
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #3, #7

3. Сообщение от Аноним (3), 15-Окт-22, 10:47	–1 +/–
вам шашечки?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #2 Ответы: #6, #44, #178

4. Сообщение от Аноним (4), 15-Окт-22, 11:03	+7 +/–
Эти все скучные буковки читайте сами. Где не скучные обои?
Ответить | Правка | Наверх | Cообщить модератору

6. Сообщение от Самый Лучший Гусь (?), 15-Окт-22, 11:04	+13 +/–
GPL нам подавайте иначе это просто напросто фольшивка
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #3

7. Сообщение от Аноним (7), 15-Окт-22, 11:04	–1 +/–
Вы так говорите, как будто это плохо))
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #2 Ответы: #21

8. Сообщение от Аноним (8), 15-Окт-22, 11:04	–3 +/–
> Rust также предоставляет средства для защиты от целочисленных переполнений Кто пишет эту чушь? Раст не предоставляет средств для защиты от переполнения целочисленных переменных. Как минимум в продовой сборе софта.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #10, #11, #91

9. Сообщение от Аноним (9), 15-Окт-22, 11:06	+9 +/–
>[оверквотинг удален] > логически верифицированное ядро > заслуживающими доверия > особый уровень защиты > подтверждения отсутствия сбоев > верификации надёжности > безопасных приёмов программирования > минимизирующих ошибки > Безопасная работа с памятью > средства для защиты > минимизации логических ошибок Надо брать определенно. А то уже устал сидеть на не заслуживающей доверия незащищенной операционной системе с небезопасной работой с памятью, максимизированными логическими ошибками, неверифицированной надежностью и без средств защиты от небезопасности (а также без особого уровня такой защиты).
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #27, #118

10. Сообщение от Анонн (?), 15-Окт-22, 11:14	–8 +/–
Раст предоставляет защиту в дебаге и однозначное поведение в релизе. А не "хз как, пусть компилятор решает".
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #8 Ответы: #86

11. Сообщение от Прув (?), 15-Окт-22, 11:18	–4 +/–
Ох уж эти иксперды с опеннета пишущие в комментах чушь… Все там предоставляется, нужно только явно вызывать Смотри overflowing_*, saturating_*, checked_* и saturating_* -> например checked_add
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #8 Ответы: #24, #28

12. Сообщение от Аноним (12), 15-Окт-22, 11:28	+8 +/–
Блин я только перешёл на Fuchsia
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #172

13. Сообщение от Аноним (13), 15-Окт-22, 11:32	+/–
Fiasco.OC? Ты ли это?
Ответить | Правка | Наверх | Cообщить модератору

14. Сообщение от Аноним (14), 15-Окт-22, 11:35	–4 +/–
Конкуренция это всегда хорошо, может хоть Гугл заставит Линуса шевелиться...
Ответить | Правка | Наверх | Cообщить модератору

15. Сообщение от Аноним (15), 15-Окт-22, 11:45	+3 +/–
Это просто чудесно: > The initial Sparrow target platform was intended to have 4MiB of memory. A production build of the included services fit in <3MiB of memory but due to the overhead of CAmkES and the rootserver boostrap mechanism actually require ~2x that to reach a running state. Почему так - они точно не знают. Предлагают переписать всё на расте.
Ответить | Правка | Наверх | Cообщить модератору

18. Сообщение от Alexey Torgashin (?), 15-Окт-22, 11:56	+/–
Пусть сначала этот гугл докажет что это не просто выкидыш , не просто перделка. От вторых мелко мягких . А реальная вещь. Реальная значит работает с реальными программами, которые должны появиться. Не только браузер и медиа плеер которые есть везде и всегда. А VSCode и аналоги, графические редакторы , редакторы видео и монтажа. Офис хорошо бы . И тп. Это же относится к ОС Геноде которая непонятно что и непонятно зачем .
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #42

19. Сообщение от Бывалый смузихлёб (?), 15-Окт-22, 11:59	–1 +/–
> Для дополнительной защиты все компоненты, кроме микроядра, изначально развиваются на языке Rust > на языке Rust > кроме микроядра
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #22

21. Сообщение от Аноним (-), 15-Окт-22, 12:01	+3 +/–
Да, пермиссивщина это плохо.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #7

22. Сообщение от Аноним (7), 15-Окт-22, 12:05	+/–
Логично же. Его же придется переверифицировать заново. А так используют уже верифицированное.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #19 Ответы: #119

23. Сообщение от Alexey Torgashin (?), 15-Окт-22, 12:10	+1 +/–
Похоже я ошибся , ОС не для десктопа а для встраиваемых штук. Но это ещё вопрос кто и зачем возьмёт такую Ос. Для роутеров ? Ещё куда не шло. Для интернета вещей этого поганого, который нужен только для товарища майора чтобы следить , и хакеров ? Тогда нафиг . Для чего ещё?
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #25, #26, #49

24. Сообщение от Аноним (8), 15-Окт-22, 12:22	+3 +/–
Любому человеку это кажется не очень то и безопасным.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #11 Ответы: #29

25. Сообщение от Аноним (8), 15-Окт-22, 12:23	+4 +/–
Подскажу. Даже гугл её никуда не взял. Делай вывод.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #23 Ответы: #177

26. Сообщение от eganru (?), 15-Окт-22, 12:23	–1 +/–
Для определенного класса встраиваемых штук, тк. требования слишком высокие чтобы на средней руки MCU запускать.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #23

27. Сообщение от швондер (?), 15-Окт-22, 12:26	+4 +/–
Колючие глаза Римского через стол врезались в лицо администратора, и чем дальше тот говорил, тем мрачнее становились эти глаза. Чем жизненнее и красочнее становились те гнусные подробности, которыми уснащал свою повесть администратор... тем менее верил рассказчику финдиректор. Когда же Варенуха сообщил, что Степа распоясался до того, что пытался оказать сопротивление тем, кто приехал за ним, чтобы вернуть его в Москву, финдиректор уже твердо знал, что все, что рассказывает ему вернувшийся в полночь администратор, все – ложь! Ложь от первого до последнего слова.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #9

28. Сообщение от Маняним (?), 15-Окт-22, 12:26	+2 +/–
> Ох уж эти иксперды с опеннета пишущие в комментах чушь… про С > Все там предоставляется, нужно только явно вызывать __builtin_*_overflow
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #11 Ответы: #38, #66

29. Сообщение от eganru (?), 15-Окт-22, 12:28	–1 +/–
Это безопасно. Почти в любом языке есть возможность сделать безопасную работу и проверку переполнений. if unlikely(a + b < a) assert("...") большого ума не требует В rust в дебаге он по умолчанию проверяет и какие-то ошибки Вы можете так найти. Понятно, что не все и даже не 10 часть. Но гораздо лучше, чем ничего.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #24 Ответы: #65, #93, #182

30. Сообщение от Джон Макагонов (?), 15-Окт-22, 12:29	–6 +/–
Меня уже не удивляет то,  что в передовых разработках применятся раст. Превосходство раста очевидно,  его величие - просто свершившейся факт. Даже скучно уже.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #35

31. Сообщение от eganru (?), 15-Окт-22, 12:34	+6 +/–
Вообще такое ощущение, что новости специально пишут так, чтобы в комментах был жыр с хорошим запасом.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #58

33. Сообщение от Друг Сергея (?), 15-Окт-22, 13:06	–2 +/–
Kata Containers, KataOS, Rust и Go - что происходит?
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #45

35. Сообщение от Аноним (35), 15-Окт-22, 13:08	–6 +/–
раст не полетел. Ему на смену уже идёт Карбон.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #30 Ответы: #46, #174, #183

36. Сообщение от Аноним (36), 15-Окт-22, 13:29	+5 +/–
Для дополнительной защиты все компоненты, кроме микроядра, изначально развиваются на языке Rust с использованием безопасных приёмов программирования... Вот растаманы, пользуйтесь, а линукс в покое оставьте!
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #40, #131

38. Сообщение от Прохожий (??), 15-Окт-22, 13:42	+/–
А где в этой ветке хоть слово было про Си?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #28

40. Сообщение от Прохожий (??), 15-Окт-22, 13:50	+/–
Линукс - для серверов и десктопа. А это для встройки. Разные ниши. В идеале и Линукс весь переписать на Rust полностью.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #36 Ответы: #53, #57

42. Сообщение от Самый умный из вас (?), 15-Окт-22, 13:51	+7 +/–
Напиши плз контакты, как гуглу с тобой связаться, куда доказательства отправлять
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #18 Ответы: #71

44. Сообщение от Аноним (-), 15-Окт-22, 13:52	+9 +/–
Нам не хочется бесплатно работать на хайпомакак в гугле. Это странно?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #3 Ответы: #50, #87

45. Сообщение от Прохожий (??), 15-Окт-22, 13:52	+1 +/–
Эволюция происходит. Софт усложняется. Люди ищут способы бороться с этой сложностью.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #33 Ответы: #90

46. Сообщение от Прохожий (??), 15-Окт-22, 13:55	–3 +/–
MS, Google, Amazon, Meta вовсю начали использовать Rust. Но анонимный воин супротив Раста не даст этим корпорациям себя обмануть. У него дома Rust не взлетел. :)))
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #35 Ответы: #120

47. Сообщение от Прохожий (??), 15-Окт-22, 14:01	+/–
Ожидаемо набежало стадо воинов супротив Rusta. Местные неосиляторы решили в очередной раз отметиться, высказав своё "фе" к тому, чего они не понимают, потому что неспособны.
Ответить | Правка | Наверх | Cообщить модератору

48. Сообщение от Аноним (48), 15-Окт-22, 14:09	+1 +/–
Такое ощущение,что amd64 закапывают вслед за х86. Новости чуть ли не поголовно про АРМ и даже Линукс набрал растокодеров для этой архитектуры.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #95

49. Сообщение от Аноним (49), 15-Окт-22, 14:14	+/–
> Для чего ещё? Для вещей, где софтварный сбой может стоит миллиарды. > Для роутеров? Вряд ли. В любом случае не для домашних роутеров. Цена сбоя домашнего роутера близка к нулю. Поэтому в нём лучше из железа выжать максимум и засунуть всё в монолитное ядро.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #23 Ответы: #60, #89

50. Сообщение от Аноним (50), 15-Окт-22, 14:28	+3 +/–
Так вы никогда и не работали.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #44 Ответы: #72

53. Сообщение от Аноним (35), 15-Окт-22, 14:29	+1 +/–
Только переписывание линукса на раст линуксу ничего не даст. Так что этого никогда не произойдет.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #40 Ответы: #197

56. Сообщение от ИмяХ (?), 15-Окт-22, 15:11	+/–
>>поверх микроядра seL4, >>фреймворк Renode >>инструментарий CAmkES А это всё на каких языках написано? И почему нет пары абзацев о достоинствах этого языка?
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #128

57. Сообщение от Бургер (?), 15-Окт-22, 15:21	+/–
>А это для встройки окей, окей, Yocto и остальные на помойку, тк анон опенета решил, что Linux для серверов и десктопа. embedded девелоперы, расходимся.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #40 Ответы: #200

58. Сообщение от Аноним (58), 15-Окт-22, 15:22	+3 +/–
Зима приближается, нужно запасаться.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #31

60. Сообщение от Бывалый смузихлёб (?), 15-Окт-22, 16:16	–1 +/–
Ну и чем оно лучше того же миникса? А для остальных случаев - есть как минимум йокто для линуксоморды и ртос вроде сейфРтос или азурРтос( бывшая треадИкс ) для собственно управляющего мк Я, кстати, наверняка пропустил упоминание что сабж - компактная РТОС( ОСРВ ) ведь иначе непосредственно ей не может рулиться что-либо, если ошибка в ней может стоить миллиарды
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #49 Ответы: #173

65. Сообщение от Аноним (65), 15-Окт-22, 16:44	+2 +/–
Чушь не пори это полностью небезопасно.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #29

66. Сообщение от Аноним (65), 15-Окт-22, 16:45	+/–
Омг
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #28

71. Сообщение от n00by (ok), 15-Окт-22, 17:09	+/–
Так он написал имя. Гугл же всё про всех знает. ;)
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #42

72. Сообщение от Аноним (72), 15-Окт-22, 17:20	+5 +/–
Не хочется потому и не работали. Это разве странно?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #50

74. Сообщение от Аноним (-), 15-Окт-22, 17:43	+1 +/–
Они взяли верифицированное микроядро и сверху накинули неверифицированную инфраструктуру Rust? Rust верифицировали?
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #110

82. Сообщение от Аноним (82), 15-Окт-22, 19:42	+1 +/–
У них ничего не получится. Как обычно.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #201

83. Сообщение от user90 (?), 15-Окт-22, 19:58	–1 +/–
А там не хрустело ли? Да и какие дрова? Не под это сферическое оборудование, под реальное?
Ответить | Правка | Наверх | Cообщить модератору

85. Сообщение от Аноним (85), 15-Окт-22, 20:38	–1 +/–
Васян с бодуна сделает опечатку в коде и всё это логически верифицированное можно отправлять на помойку.
Ответить | Правка | Наверх | Cообщить модератору

86. Сообщение от Лолштоним (ok), 15-Окт-22, 20:39	+3 +/–
Как раз компилятор решает.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #10 Ответы: #108

87. Сообщение от Пенис (?), 15-Окт-22, 20:45	+3 +/–
Берёшь и лицензируешь форк под GPL. Всего делов-то, но вонять ты горазд.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #44

89. Сообщение от Аноним (89), 15-Окт-22, 21:31	+1 +/–
> где софтварный сбой может стоит миллиарды Не похоже, что сабж такой уж дорогой. Для чего ещё? Нам мало где требуется надёжный софт? Например, тот же транспорт, медицина.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #49

90. Сообщение от Аноним (90), 15-Окт-22, 21:32	–1 +/–
Я бы не сказал, что они что-то упростили...
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #45 Ответы: #132, #198

91. Сообщение от Chlen22sm (?), 15-Окт-22, 21:52	+8 +/–
Лучшая защита это прямые руки и умение в алгоритмы, а не клепание формочек на фреймворках.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #8 Ответы: #96, #153

92. Сообщение от Аноним (92), 15-Окт-22, 21:55	+2 +/–
Очередное распиаренное фуфло от гугла для жертв современного образования
Ответить | Правка | Наверх | Cообщить модератору

93. Сообщение от Igraine (ok), 15-Окт-22, 21:55	+/–
Но ведь в С и С++ если a и b целое со знаком, то переполнение неопределенно, условие всегда ложно и компилятор имеет право его удалить
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #29

95. Сообщение от Аноним (95), 15-Окт-22, 22:01	+2 +/–
Гегемония интел-амд многим мешает Гуглу в том сегменте заработать как? Строим новый
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #48

96. Сообщение от Igraine (ok), 15-Окт-22, 22:03	–5 +/–
Покажите что вы там своими прямыми руками написали. И да, фреймворк это программная платформа, определяющая структуру программной системы. К формочкам фреймворк имеет очень косвенное отношение, разве что в фантазиях местных... посетителей
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #91

103. Сообщение от Аноним (103), 15-Окт-22, 22:40	+1 +/–
Это очень большая проблема что L4 предлагает большой выбор. Всё должно быть компактно для разной архитектуры в ядре. Без вариантов можно и так и можно и подругому.
Ответить | Правка | Наверх | Cообщить модератору

108. Сообщение от Аноним (108), 15-Окт-22, 23:20	+1 +/–
И разные компиляторы обрабатывают эту ситуацию по разному! В том-то и проблема
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #86 Ответы: #116

110. Сообщение от Аноним (108), 15-Окт-22, 23:25	+/–
А у вас есть верифицированная инфраструктура на си, чтобы накинуть поверх ядра? Что, нет? Как же так... Вот и у них не было, а писать с нуля на шрешете они не захотели.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #74 Ответы: #152

113. Сообщение от Neon (??), 16-Окт-22, 01:05	+1 +/–
От логических ошибок программиста никакой Rust не спасет.)
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #176

115. Сообщение от Аноним (115), 16-Окт-22, 01:31	–3 +/–
Посочувствуем Гугле - кроме него, да пары отмороженых студентов, никто писать на Рже не будет. Если сейчас, со всеми доступными инструментами и туториалами этого никто делать не хочет, то дальше и подавно! Есть такой "эффект новизны", когда объявляют новый язык и все, кому надо и не надо, набегают в него и начинают писать хелловорлды. Но у Раста этот пик ДАВНО ПОЗАДИ! Все, кто проникся языком, на нём и пишут. Все оба. :) Остальные махнули рукой и БОЛЬШЕ НИКОГДА в него не вернутся. Так что непонятно, на что надеются uдuоты, пропихивающие Раст во все щели - всё, клоуны, расходитесь - ваш Ржа не взлетел! Даже линynс ему не поможет, т.к. подавляющее большинство кода - Си, а растаманские модули попросту выкинут за отсутствием вменяемого количества разрабов.
Ответить | Правка | Наверх | Cообщить модератору

116. Сообщение от анон (?), 16-Окт-22, 02:01	+/–
и сколько есть разных компиляторов rust?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #108 Ответы: #122, #140, #154

118. Сообщение от Аноним (122), 16-Окт-22, 03:22	+6 +/–
> заслуживающими доверия Вот ^^^ это ^^^ - самое главное! Самый чётко определённый термин, доказанный математически.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #9

119. Сообщение от Аноним (122), 16-Окт-22, 03:24	+1 +/–
Всё просто: верификатор не может верифицировать код раста.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #22

120. Сообщение от Аноним (122), 16-Окт-22, 03:27	+/–
> Meta вовсю начали использовать Rust Тогда понятно, почему у их Вселенная не взлетела, а народ разбегается уже после первого месяца.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #46 Ответы: #162, #199

122. Сообщение от Аноним (122), 16-Окт-22, 05:21	+/–
каждую новую версию!
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #116

123. Сообщение от pashev.ru (?), 16-Окт-22, 08:58	+2 +/–
> математическое доказательство надёжности, свидетельствующее о полном соответствии кода спецификациям Осталось доказать надёжность спецификаций. Но тут в комнату вошёл Гёдель...
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #165, #192

128. Сообщение от Аноним (140), 16-Окт-22, 11:23	–2 +/–
Потому что цель это пиар раста. Если бы цель была написание безопасностной и надёжной операционной системы они бы взяли ANSI C
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #56 Ответы: #148

131. Сообщение от Аноним (140), 16-Окт-22, 11:27	+/–
Они не отстанут пока не сломают Линукс окончательно
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #36

132. Сообщение от Аноним (140), 16-Окт-22, 11:28	–1 +/–
Нет ничего проще, надёжнее и безопаснее чем ANSI C, остальное пустой пиар
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #90 Ответы: #149

140. Сообщение от Аноним (140), 16-Окт-22, 11:38	–2 +/–
Ноль. Потому что-то назвать обёртку вокруг llvm "комплилятором" это себя не уважать. Это просто линтер.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #116 Ответы: #150, #151

146. Сообщение от Аноним (146), 16-Окт-22, 12:25	+1 +/–
> KataOS > CAmkES > seL4 Названия просто трындец. Предлагаю им сделать имя пользователя по умолчанию - ЛСДУ3.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #160, #161

148. Сообщение от Аноним (151), 16-Окт-22, 13:10	+2 +/–
> Если бы цель была написание безопасностной и надёжной операционной системы они бы взяли ANSI C Т.е. за 50 лет существования сишки никто такой целью не задавался?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #128 Ответы: #158

149. Сообщение от Аноним (151), 16-Окт-22, 13:12	+/–
> Нет ничего проще, надёжнее и безопаснее чем ANSI C, остальное пустой пиар "Talk is cheap, show me your code!" (c)
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #132

150. Сообщение от анон (?), 16-Окт-22, 13:12	+/–
это даже для опеннета очень слабый наброс.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #140

151. Сообщение от Аноним (151), 16-Окт-22, 13:20	+/–
https://github.com/Rust-GCC/gccrs https://github.com/bjorn3/rustc_codegen_cranelift > Ноль. Потому что-то назвать обёртку вокруг llvm "комплилятором" это себя не уважать. Это просто линтер. Наглядная демонстрация главного принципа Военов Супротив Раста: "Громкий, четкий, мощный пук заменяет аргументы!"
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #140

152. Сообщение от anonymous (??), 16-Окт-22, 13:29	+/–
Примерно те же люди, которые сделали проект seL4, сделали проект CakeML - a functional programming language and an ecosystem of proofs and tools built around the language. The ecosystem includes a proven-correct compiler that can bootstrap itself. А что сделали инженеры Google? Пока что просто написали неверифицированный код на Rust, но бахвалятся безопасностью проекта. Да ещё только под RISC-V и ARM64. И запускают это на своих вендорлокнутых железяках. А всем остальным предлагают веровать в безопасность этих решений. Спасибо, пусть оставят внутри своей корпорации как и Zircon, который в пару шагов эксплуатировали реята из Positive Technologies.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #110

153. Сообщение от анон (?), 16-Окт-22, 13:31	+8 +/–
ага, просто пишите хороший код, а плохой не пишите.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #91

154. Сообщение от Igraine (ok), 16-Окт-22, 13:47	+/–
1) mrustc 2) rust-gcc 3) rustc
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #116 Ответы: #169

158. Сообщение от Аноним (158), 16-Окт-22, 15:20	–1 +/–
Задавался. И написал. Называется L4.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #148 Ответы: #159, #175

159. Сообщение от Аноним (151), 16-Окт-22, 15:48	+/–
> Задавался. И написал. Называется L4. Называется "слышал звон".
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #158

160. Сообщение от Аноним (160), 16-Окт-22, 15:54	+/–
Держи карман шире!
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #146

161. Сообщение от Лсдуз (?), 16-Окт-22, 15:59	–1 +/–
думаешь поможет?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #146 Ответы: #163

162. Сообщение от Аноним (162), 16-Окт-22, 16:01	+1 +/–
Именно поэтому — как узнают, что на расте написано, сразу бегут, пока пацаны с опеннета не засмеяли.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #120

163. Сообщение от пох. (?), 16-Окт-22, 16:40	+/–
Да ну нафиг, обычный карго-культ, это так не работает. Сперва хотя бы министерство у себя пусть создадут, а вот потом можно уже и к распилу приступить.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #161 Ответы: #166

165. Сообщение от Аноним (122), 16-Окт-22, 20:33	+2 +/–
> Но тут в комнату вошёл Гёдель... Для справки: (1948 год) ...на собеседовании Гёдель попытался доказать, что Конституция США формально-логически неполна и не гарантирует защиты от установления диктатуры, но был вежливо остановлен.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #123

166. Сообщение от Аноним (122), 16-Окт-22, 21:31	–1 +/–
Это всё у них есть, что ещё они могут сделать?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #163

167. Сообщение от Аноним (167), 16-Окт-22, 21:33	–1 +/–
> В качестве примера подобных приложений приводятся системы, манипулирующие изображениями людей и голосовыми записями. Никого такие заявления не напрягают ? За такое надо замуровывать пока не поздно. А то потом гуголь наберет кредитов на имя любого человека. Они чем нибудь думают ?
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #186

168. Сообщение от Аноним (168), 16-Окт-22, 22:55	+1 +/–
Вспомнилась ОС на Rust Redox. Есть GUI и микроядро
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #190

169. Сообщение от анон (?), 16-Окт-22, 23:33	+/–
Интересный пример, в двух из трех репозиториев авторы сами чёрным по белому пишут что это очень ранняя стадия и совсем не готово для продакшна. Ну, время идёт, можно и подождать
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #154

172. Сообщение от Аноним (172), 17-Окт-22, 08:34	+/–
Встречайте! Гладиаторские бои на гугл-арене! И пусть победит сильнейший!
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #12

173. Сообщение от Аноним (172), 17-Окт-22, 09:02	+1 +/–
> Ну и чем оно лучше того же миникса? Скажу, чтобы у тебя, знатного растохейтера лишний раз подгорело - всё, кроме микроядра, написано на расте, а не на анархистском си студентами в миниксе. По сути это почти как раз та самая "ОС на расте", которую вы от растаманов требуете и ржете над редокcом. Всякие загрузчики и "системдэ", менеджеры памяти, процессов, файловая и сетевая подсистемы, драйверы и т.п - всё на расте. Т.е. можно сказать что это и есть "ОС на расте", не считая микроядра, которое минимальный набор самых базовых функций выполняет. Ну просто микроядро верифицировано и там ошибок нет - можно и оставить. Вот тем и лучше миникса - тот же самый студент, который с легкостью дырявый сишный усб\блютуз драйвер для миникса напишет, настолько же просто дырявый код в катаос не вкатит - раст будет сильно сопротивляться привычным студенческим ошибкам.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #60

174. Сообщение от Аноним (172), 17-Окт-22, 09:31	+2 +/–
> раст не полетел. Ему на смену уже идёт Карбон. Ты заврался донельзя. Всё перевернул. Раст летит как раз хорошо и это видно по проектам, которые пилят гиганты, включая этот. Даже перечислять не буду, вам это без толку раз за разом перечислять. Как метать бисер сами знаете перед кем. Как не в коня корм. Проекты эти просто не для васянов, часть из них сложны, непонятны. Не музыкальные плееры, короче. и карбон идет не на смену расту. Он идет на смену плюсам. Про это сами авторы пишут. И пишут, что если ты пишешь на го, свифте, расте - должны на них и писАть. Ты заходил на гитхаб разработчиков карбона? Вот что они пишут: " Why build Carbon? <в начале пишут что C++ древнее легаси-...овно, которое долго развивалось как бык поссал (вкривь и вкось) и что там куча технического долга и т.п и т.д. Но есть гигатонны полезного кода, который так просто не выкинешь. А потом пишут:> Existing modern languages already provide an excellent developer experience: Go, Swift, Kotlin, Rust, and many more. Developers that can use one of these existing languages should. Unfortunately, the designs of these languages present significant barriers to adoption and migration from C++. These barriers range from changes in the idiomatic design of software to performance overhead. Carbon is fundamentally a successor language approach, rather than an attempt to incrementally evolve C++. " Т.е. карбон - заменитель Си++, а не раста. И если ты можешь писАть на расте - ты должен писАть на расте. Так авторы карбона и сказали, честно-честно. Там во фразе "Developers that can use one of these existing languages should" слова "can" и "should" даже выделены жирным шрифтом. Ну чтобы даже тебе понятно было. А вот если ты плюсовик замшелый, который ничего нового выучить не в состоянии, не готов менять парадигму мышления и у которого горы плюсового легаси-кода, требующего переписывании - добро пожаловать в карбон.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #35

175. Сообщение от Аноним (172), 17-Окт-22, 09:41	+/–
> безопасностной и надёжной операционной системы >> Задавался. И написал. Называется L4. L4 - микроядро. Микроядро - не операционная система, а ее часть. Пусть и важная.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #158

176. Сообщение от Аноним (172), 17-Окт-22, 09:50	+1 +/–
> От логических ошибок программиста никакой Rust не спасет.) Ну так гиганты статистику выкладывали - от 70% спасёт, от 30% ("логических", хотя они все наверное логические) - нет. А если начнете требовать 100% и возражать что "если хоть 1% остается то нинужна", то тогда на дорогах и зебры со светофорами не нужны, да и вообще ПДД - всё равно находятся дятлы которые на красный проезжают/пробегают и носятся как будто на всей планете больше никого не осталось.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #113

177. Сообщение от _kp (ok), 17-Окт-22, 09:55	+/–
Часто подобные проекты изначально делают ради эксперимента, делают тесты, выводы, учитыают в других разработках. Забрасывают побочное изделие.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #25

178. Сообщение от Аноним (178), 17-Окт-22, 11:54	–1 +/–
> вам шашечки? Замечено, как только копрорасты хотят что-то выкинуть из объедков, почти прямиком на кладбище "открытых" проектов, по традиции это всё смазывается апачной лицензией. Совпадение?!...
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #3

182. Сообщение от Аноним (182), 17-Окт-22, 14:20	+/–
это чудесно, но что, если signed?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #29

183. Сообщение от Аноним (183), 17-Окт-22, 16:48	+/–
Естесственно, Rust придуман не Google.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #35

186. Сообщение от A (?), 17-Окт-22, 17:37	+/–
Скорее что тогда надо законодательство и практику менять так, что фото и видео не играют роли. В пользу какой-либо подписи через отпечаток связей нейронных клеток головного мозга.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #167 Ответы: #187

187. Сообщение от A (?), 17-Окт-22, 17:38	+/–
А вот если начал думать иначе, сменился отпечаток, сменились документы и заново все права получать... Ибо гад уже думает не как раньше было одобрено. Мрак.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #186

188. Сообщение от Максим (??), 17-Окт-22, 18:17	+1 +/–
Вот это правильно! Создавайте на Расте новые ОС, а Linux оставьте в покое, пожалуйста.
Ответить | Правка | Наверх | Cообщить модератору

190. Сообщение от истина в последней инстанции (?), 18-Окт-22, 00:30	–1 +/–
Типа есть. Оно не работает от слова совсем.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #168 Ответы: #202

192. Сообщение от red75prime (?), 18-Окт-22, 01:11	+/–
...посмотрел на что пытаются натянуть его теорему о неполноте, схватился за голову и убежал
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #123 Ответы: #193

193. Сообщение от pashev.ru (?), 18-Окт-22, 20:41	–2 +/–
> ...посмотрел на что пытаются натянуть его теорему о неполноте, схватился за голову > и убежал Так и не понял ты, юный падаван, суть математики.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #192 Ответы: #196

194. Сообщение от fidoman (ok), 18-Окт-22, 20:42	–1 +/–
открытие наработок...связанных с проектом...нацеленным на... Хороший ход, не публикуя завершённый проект, получить активность энтузиастов, которые расскажут про все дыры.
Ответить | Правка | Наверх | Cообщить модератору

196. Сообщение от red75prime (?), 19-Окт-22, 07:08	+/–
Если это про то, что формализация арифметики может быть противоречивой, то про такое могут беспокоится только совсем выжившие из ума джедаи.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #193 Ответы: #203, #204

197. Сообщение от Прохожий (??), 19-Окт-22, 07:17	+/–
Вообще-то даст - дополнительную стабильность. Это уже огромный жирный плюс.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #53

198. Сообщение от Прохожий (??), 19-Окт-22, 07:19	+/–
Работа с памятью. Теперь можно гораздо меньше уделять ей внимания. Странно, что приходится объяснять это снова и снова.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #90

199. Сообщение от Прохожий (??), 19-Окт-22, 07:22	+/–
Она ещё не готова просто, о взлёте говорить пока рано. Про другие фирмы есть что сказать?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #120

200. Сообщение от Прохожий (??), 19-Окт-22, 07:26	+/–
Вот именно. На помойку. Любая проблема с памятью и всё,  конец железке.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #57 Ответы: #208

201. Сообщение от Прохожий (??), 19-Окт-22, 07:30	+/–
Сказал аноним в адрес корпорации с мультимиллиардным оборотом. :)
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #82

202. Сообщение от Прохожий (??), 19-Окт-22, 07:36	+/–
Если ты пытался её запускать, то и неудивительно. С твоими-то когнитивными способностями. А так вообще работает. И даже на реальном железе. Фотки на сайте можно посмотреть.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #190

203. Сообщение от pashev.ru (?), 19-Окт-22, 13:55	+/–
> Если это про то, что формализация арифметики может быть противоречивой, то про > такое могут беспокоится только совсем выжившие из ума джедаи. Так и не понял ты, юный падаван, суть математики.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #196

204. Сообщение от pashev.ru (?), 19-Окт-22, 13:56	+/–
> Если это про то, что формализация арифметики может быть противоречивой, то про > такое могут беспокоится только совсем выжившие из ума джедаи. Скачай и прочитай «Гёдель, Эшер, Бах: эта бесконечная гирлянда». А также «Новый ум короля».
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #196 Ответы: #205

205. Сообщение от red75prime (?), 20-Окт-22, 14:44	+/–
Если что-то доказано, то оно доказано и это можно проверить механически, и никакие теоремы о неполноте этому не мешают. А соответствует-ли теорема спецификации, написанной на естественном языке - вопрос внематематический. И Гёдель, Пенроуз или Хофштадтер, как и любые другие люди, тут могут только тыкнуть пальцем в несоответствие спецификации и её формализации (если оно есть).
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #204 Ответы: #207

207. Сообщение от Myyx (?), 20-Окт-22, 21:11	+/–
>> Если что-то доказано, то оно доказано и это можно проверить механически точно. проверить и проинтерпретировать. да? ну математика оно такое как и любое знание античные греки не знали вернее отметали идею нуля ньютон прямо скажем читер гаус с новой геометрией просто забоялся в отличии от лобачевского кантор вроде числился современниками сумасшедшим это я к тому что тут тоже не все так просто
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #205

208. Сообщение от Бургер (?), 23-Окт-22, 13:32	+/–
> Вот именно. На помойку. Любая проблема с памятью и всё,  конец > железке. ноотопы в помощь
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #200

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема