Google открыл код защищённой операционной системы KataOS,
opennews (??), 15-Окт-22, (0) [смотреть все]
- Genode какой-тл,
Аноним (1), 10:43 , 15-Окт-22, (1) +3
- Опять пермессивщина ,
Аноним (2), 10:45 , 15-Окт-22, (2) +1 //
- вам шашечки ,
Аноним (3), 10:47 , 15-Окт-22, (3) –1 //
- GPL нам подавайте иначе это просто напросто фольшивка,
Самый Лучший Гусь (?), 11:04 , 15-Окт-22, (6) +13
- Нам не хочется бесплатно работать на хайпомакак в гугле Это странно ,
Аноним (-), 13:52 , 15-Окт-22, (44) +9 //
- Замечено, как только копрорасты хотят что-то выкинуть из объедков, почти прямико,
Аноним (178), 11:54 , 17-Окт-22, (178) –1
- Вы так говорите, как будто это плохо ,
Аноним (7), 11:04 , 15-Окт-22, (7) –1
//
- Эти все скучные буковки читайте сами Где не скучные обои ,
Аноним (4), 11:03 , 15-Окт-22, (4) +7
- Кто пишет эту чушь Раст не предоставляет средств для защиты от переполнения цел,
Аноним (8), 11:04 , 15-Окт-22, (8) –3 //
- Раст предоставляет защиту в дебаге и однозначное поведение в релизе А не хз ка,
Анонн (?), 11:14 , 15-Окт-22, (10) –8 //
- Как раз компилятор решает ,
Лолштоним (ok), 20:39 , 15-Окт-22, (86) +3 //
- И разные компиляторы обрабатывают эту ситуацию по разному В том-то и проблема,
Аноним (108), 23:20 , 15-Окт-22, (108) +1
- и сколько есть разных компиляторов rust ,
анон (?), 02:01 , 16-Окт-22, (116)
- каждую новую версию ,
Аноним (122), 05:21 , 16-Окт-22, (122)
- Скрыто модератором,
Аноним (140), 11:38 , 16-Окт-22, (140) –2
- 1 mrustc2 rust-gcc3 rustc,
Igraine (ok), 13:47 , 16-Окт-22, (154)
- Ох уж эти иксперды с опеннета пишущие в комментах чушь 8230 Все там предоставл,
Прув (?), 11:18 , 15-Окт-22, (11) –4 //
- Любому человеку это кажется не очень то и безопасным ,
Аноним (8), 12:22 , 15-Окт-22, (24) +3 //
- Это безопасно Почти в любом языке есть возможность сделать безопасную работу и п,
eganru (?), 12:28 , 15-Окт-22, (29) –1
- Чушь не пори это полностью небезопасно ,
Аноним (65), 16:44 , 15-Окт-22, (65) +2
- Но ведь в С и С если a и b целое со знаком, то переполнение неопределенно, усл,
Igraine (ok), 21:55 , 15-Окт-22, (93)
- это чудесно, но что, если signed ,
Аноним (182), 14:20 , 17-Окт-22, (182)
- про С__builtin_ _overflow,
Маняним (?), 12:26 , 15-Окт-22, (28) +2 //
- Лучшая защита это прямые руки и умение в алгоритмы, а не клепание формочек на фр,
Chlen22sm (?), 21:52 , 15-Окт-22, (91) +8 //
- Покажите что вы там своими прямыми руками написали И да, фреймворк это программн,
Igraine (ok), 22:03 , 15-Окт-22, (96) –5
- ага, просто пишите хороший код, а плохой не пишите ,
анон (?), 13:31 , 16-Окт-22, (153) +8
- gt оверквотинг удален Надо брать определенно А то уже устал сидеть на не засл,
Аноним (9), 11:06 , 15-Окт-22, (9) +9 //
- Колючие глаза Римского через стол врезались в лицо администратора, и чем дальше ,
швондер (?), 12:26 , 15-Окт-22, (27) +4
- Вот это - самое главное Самый чётко определённый термин, доказанный мат,
Аноним (122), 03:22 , 16-Окт-22, (118) +6
- Блин я только перешёл на Fuchsia ,
Аноним (12), 11:28 , 15-Окт-22, (12) +8 //
- Fiasco OC Ты ли это ,
Аноним (13), 11:32 , 15-Окт-22, (13)
- Конкуренция это всегда хорошо, может хоть Гугл заставит Линуса шевелиться ,
Аноним (14), 11:35 , 15-Окт-22, (14) –4
- Это просто чудесно Почему так - они точно не знают Предлагают переписать всё на,
Аноним (15), 11:45 , 15-Окт-22, (15) +3
- Пусть сначала этот гугл докажет что это не просто выкидыш , не просто перделка ,
Alexey Torgashin (?), 11:56 , 15-Окт-22, (18) //
- Google открыл код защищённой операционной системы KataOS,
Бывалый смузихлёб (?), 11:59 , 15-Окт-22, (19) –1 //
- Похоже я ошибся , ОС не для десктопа а для встраиваемых штук Но это ещё вопрос ,
Alexey Torgashin (?), 12:10 , 15-Окт-22, (23) +1 //
- Подскажу Даже гугл её никуда не взял Делай вывод ,
Аноним (8), 12:23 , 15-Окт-22, (25) +4 //
- Для определенного класса встраиваемых штук, тк требования слишком высокие чтобы,
eganru (?), 12:23 , 15-Окт-22, (26) –1
- Для вещей, где софтварный сбой может стоит миллиарды Вряд ли В любом случае не ,
Аноним (49), 14:14 , 15-Окт-22, (49) //
- Меня уже не удивляет то, что в передовых разработках применятся раст Превосход,
Джон Макагонов (?), 12:29 , 15-Окт-22, (30) –6 //
- раст не полетел Ему на смену уже идёт Карбон ,
Аноним (35), 13:08 , 15-Окт-22, (35) –6 //
- MS, Google, Amazon, Meta вовсю начали использовать Rust Но анонимный воин супро,
Прохожий (??), 13:55 , 15-Окт-22, (46) –3 //
- Тогда понятно, почему у их Вселенная не взлетела, а народ разбегается уже после ,
Аноним (122), 03:27 , 16-Окт-22, (120)
- Именно поэтому 8212 как узнают, что на расте написано, сразу бегут, пока паца,
Аноним (162), 16:01 , 16-Окт-22, (162) +1
- Она ещё не готова просто, о взлёте говорить пока рано Про другие фирмы есть что,
Прохожий (??), 07:22 , 19-Окт-22, (199)
- Ты заврался донельзя Всё перевернул Раст летит как раз хорошо и это видно по пр,
Аноним (172), 09:31 , 17-Окт-22, (174) +2
- Естесственно, Rust придуман не Google ,
Аноним (183), 16:48 , 17-Окт-22, (183)
- Вообще такое ощущение, что новости специально пишут так, чтобы в комментах был ж,
eganru (?), 12:34 , 15-Окт-22, (31) +6 //
- Kata Containers, KataOS, Rust и Go - что происходит ,
Друг Сергея (?), 13:06 , 15-Окт-22, (33) –2 //
- Эволюция происходит Софт усложняется Люди ищут способы бороться с этой сложнос,
Прохожий (??), 13:52 , 15-Окт-22, (45) +1 //
- Я бы не сказал, что они что-то упростили ,
Аноним (90), 21:32 , 15-Окт-22, (90) –1 //
- Нет ничего проще, надёжнее и безопаснее чем ANSI C, остальное пустой пиар,
Аноним (140), 11:28 , 16-Окт-22, (132) –1
- Работа с памятью Теперь можно гораздо меньше уделять ей внимания Странно, что ,
Прохожий (??), 07:19 , 19-Окт-22, (198)
- Для дополнительной защиты все компоненты, кроме микроядра, изначально развиваютс,
Аноним (36), 13:29 , 15-Окт-22, (36) +5 //
- Линукс - для серверов и десктопа А это для встройки Разные ниши В идеале и Ли,
Прохожий (??), 13:50 , 15-Окт-22, (40) //
- Только переписывание линукса на раст линуксу ничего не даст Так что этого никог,
Аноним (35), 14:29 , 15-Окт-22, (53) +1 //
- окей, окей, Yocto и остальные на помойку, тк анон опенета решил, что Linux для с,
Бургер (?), 15:21 , 15-Окт-22, (57) //
- Они не отстанут пока не сломают Линукс окончательно ,
Аноним (140), 11:27 , 16-Окт-22, (131)
- Ожидаемо набежало стадо воинов супротив Rusta Местные неосиляторы решили в очер,
Прохожий (??), 14:01 , 15-Окт-22, (47)
- Такое ощущение,что amd64 закапывают вслед за х86 Новости чуть ли не поголовно п,
Аноним (48), 14:09 , 15-Окт-22, (48) +1 //
- А это всё на каких языках написано И почему нет пары абзацев о достоинствах это,
ИмяХ (?), 15:11 , 15-Окт-22, (56) //
- Они взяли верифицированное микроядро и сверху накинули неверифицированную инфрас,
Аноним (-), 17:43 , 15-Окт-22, (74) +1 //
- У них ничего не получится Как обычно ,
Аноним (82), 19:42 , 15-Окт-22, (82) +1 //
- А там не хрустело ли Да и какие дрова Не под это сферическое оборудование, под ,
user90 (?), 19:58 , 15-Окт-22, (83) –1
- Васян с бодуна сделает опечатку в коде и всё это логически верифицированное можн,
Аноним (85), 20:38 , 15-Окт-22, (85) –1
- Очередное распиаренное фуфло от гугла для жертв современного образования,
Аноним (92), 21:55 , 15-Окт-22, (92) +2
- Это очень большая проблема что L4 предлагает большой выбор Всё должно быть компа,
Аноним (103), 22:40 , 15-Окт-22, (103) +1
- От логических ошибок программиста никакой Rust не спасет ,
Neon (??), 01:05 , 16-Окт-22, (113) +1 //
- Скрыто модератором,
Аноним (115), 01:31 , 16-Окт-22, (115) –3
- Осталось доказать надёжность спецификаций Но тут в комнату вошёл Гёдель ,
pashev.ru (?), 08:58 , 16-Окт-22, (123) +2 //
- Для справки 1948 год на собеседовании Гёдель попытался доказать, что Конст,
Аноним (122), 20:33 , 16-Окт-22, (165) +2
- посмотрел на что пытаются натянуть его теорему о неполноте, схватился за голо,
red75prime (?), 01:11 , 18-Окт-22, (192) //
- Так и не понял ты, юный падаван, суть математики ,
pashev.ru (?), 20:41 , 18-Окт-22, (193) –2 //
- Если это про то, что формализация арифметики может быть противоречивой, то про т,
red75prime (?), 07:08 , 19-Окт-22, (196)
- Так и не понял ты, юный падаван, суть математики ,
pashev.ru (?), 13:55 , 19-Окт-22, (203)
- Скачай и прочитай 171 Гёдель, Эшер, Бах эта бесконечная гирлянда 187 А так,
pashev.ru (?), 13:56 , 19-Окт-22, (204)
- Названия просто трындец Предлагаю им сделать имя пользователя по умолчанию - ЛС,
Аноним (146), 12:25 , 16-Окт-22, (146) +1 //
- Никого такие заявления не напрягают За такое надо замуровывать пока не поздно ,
Аноним (167), 21:33 , 16-Окт-22, (167) –1 //
- Вспомнилась ОС на Rust Redox Есть GUI и микроядро,
Аноним (168), 22:55 , 16-Окт-22, (168) +1 //
- Вот это правильно Создавайте на Расте новые ОС, а Linux оставьте в покое, пожал,
Максим (??), 18:17 , 17-Окт-22, (188) +1
- открытие наработок связанных с проектом нацеленным на Хороший ход, не публ,
fidoman (ok), 20:42 , 18-Окт-22, (194) –1
1,2,4,8,9,12,13,14,15,18,19,23,30,31,33,36,47,48,56,74,82,83,85,92,103,113,123,146,167,168,188,194
|
Вариант для распечатки
