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

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 // Так вы никогда и не работали , Аноним (50), 14:28 , 15-Окт-22, (50) +3 Не хочется потому и не работали Это разве странно , Аноним (72), 17:20 , 15-Окт-22, (72) +5 Берёшь и лицензируешь форк под GPL Всего делов-то, но вонять ты горазд , Пенис (?), 20:45 , 15-Окт-22, (87) +3 Замечено, как только копрорасты хотят что-то выкинуть из объедков, почти прямико, Аноним (178), 11:54 , 17-Окт-22, (178) –1 Вы так говорите, как будто это плохо , Аноним (7), 11:04 , 15-Окт-22, (7) –1 // Да, пермиссивщина это плохо , Аноним (-), 12:01 , 15-Окт-22, (21) +3 Эти все скучные буковки читайте сами Где не скучные обои , Аноним (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 Скрыто модератором, анон (?), 13:12 , 16-Окт-22, (150) Скрыто модератором, Аноним (151), 13:20 , 16-Окт-22, (151) 1 mrustc2 rust-gcc3 rustc, Igraine (ok), 13:47 , 16-Окт-22, (154) Интересный пример, в двух из трех репозиториев авторы сами чёрным по белому пишу, анон (?), 23:33 , 16-Окт-22, (169) Ох уж эти иксперды с опеннета пишущие в комментах чушь 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 // А где в этой ветке хоть слово было про Си , Прохожий (??), 13:42 , 15-Окт-22, (38) Омг , Аноним (65), 16:45 , 15-Окт-22, (66) Лучшая защита это прямые руки и умение в алгоритмы, а не клепание формочек на фр, 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 // Встречайте Гладиаторские бои на гугл-арене И пусть победит сильнейший , Аноним (172), 08:34 , 17-Окт-22, (172) 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) // Напиши плз контакты, как гуглу с тобой связаться, куда доказательства отправлять, Самый умный из вас (?), 13:51 , 15-Окт-22, (42) +7 // Так он написал имя Гугл же всё про всех знает , n00by (ok), 17:09 , 15-Окт-22, (71) Google открыл код защищённой операционной системы KataOS, Бывалый смузихлёб (?), 11:59 , 15-Окт-22, (19) –1 // Логично же Его же придется переверифицировать заново А так используют уже вери, Аноним (7), 12:05 , 15-Окт-22, (22) // Всё просто верификатор не может верифицировать код раста , Аноним (122), 03:24 , 16-Окт-22, (119) +1 Похоже я ошибся , ОС не для десктопа а для встраиваемых штук Но это ещё вопрос , Alexey Torgashin (?), 12:10 , 15-Окт-22, (23) +1 // Подскажу Даже гугл её никуда не взял Делай вывод , Аноним (8), 12:23 , 15-Окт-22, (25) +4 // Часто подобные проекты изначально делают ради эксперимента, делают тесты, выводы, _kp (ok), 09:55 , 17-Окт-22, (177) Для определенного класса встраиваемых штук, тк требования слишком высокие чтобы, eganru (?), 12:23 , 15-Окт-22, (26) –1 Для вещей, где софтварный сбой может стоит миллиарды Вряд ли В любом случае не , Аноним (49), 14:14 , 15-Окт-22, (49) // Ну и чем оно лучше того же миникса А для остальных случаев - есть как минимум йо, Бывалый смузихлёб (?), 16:16 , 15-Окт-22, (60) –1 // Скажу, чтобы у тебя, знатного растохейтера лишний раз подгорело - всё, кроме мик, Аноним (172), 09:02 , 17-Окт-22, (173) +1 Не похоже, что сабж такой уж дорогой Для чего ещё Нам мало где требуется надёжн, Аноним (89), 21:31 , 15-Окт-22, (89) +1 Меня уже не удивляет то, что в передовых разработках применятся раст Превосход, Джон Макагонов (?), 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 // Зима приближается, нужно запасаться , Аноним (58), 15:22 , 15-Окт-22, (58) +3 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 Talk is cheap, show me your code c , Аноним (151), 13:12 , 16-Окт-22, (149) Работа с памятью Теперь можно гораздо меньше уделять ей внимания Странно, что , Прохожий (??), 07:19 , 19-Окт-22, (198) Для дополнительной защиты все компоненты, кроме микроядра, изначально развиваютс, Аноним (36), 13:29 , 15-Окт-22, (36) +5 // Линукс - для серверов и десктопа А это для встройки Разные ниши В идеале и Ли, Прохожий (??), 13:50 , 15-Окт-22, (40) // Только переписывание линукса на раст линуксу ничего не даст Так что этого никог, Аноним (35), 14:29 , 15-Окт-22, (53) +1 // Вообще-то даст - дополнительную стабильность Это уже огромный жирный плюс , Прохожий (??), 07:17 , 19-Окт-22, (197) окей, окей, Yocto и остальные на помойку, тк анон опенета решил, что Linux для с, Бургер (?), 15:21 , 15-Окт-22, (57) // Вот именно На помойку Любая проблема с памятью и всё, конец железке , Прохожий (??), 07:26 , 19-Окт-22, (200) ноотопы в помощь, Бургер (?), 13:32 , 23-Окт-22, (208) Они не отстанут пока не сломают Линукс окончательно , Аноним (140), 11:27 , 16-Окт-22, (131) Ожидаемо набежало стадо воинов супротив Rusta Местные неосиляторы решили в очер, Прохожий (??), 14:01 , 15-Окт-22, (47) Такое ощущение,что amd64 закапывают вслед за х86 Новости чуть ли не поголовно п, Аноним (48), 14:09 , 15-Окт-22, (48) +1 // Гегемония интел-амд многим мешаетГуглу в том сегменте заработать как Строим нов, Аноним (95), 22:01 , 15-Окт-22, (95) +2 А это всё на каких языках написано И почему нет пары абзацев о достоинствах это, ИмяХ (?), 15:11 , 15-Окт-22, (56) // Потому что цель это пиар раста Если бы цель была написание безопасностной и надё, Аноним (140), 11:23 , 16-Окт-22, (128) –2 // Т е за 50 лет существования сишки никто такой целью не задавался , Аноним (151), 13:10 , 16-Окт-22, (148) +2 // Задавался И написал Называется L4 , Аноним (158), 15:20 , 16-Окт-22, (158) –1 Называется слышал звон , Аноним (151), 15:48 , 16-Окт-22, (159) L4 - микроядро Микроядро - не операционная система, а ее часть Пусть и важная , Аноним (172), 09:41 , 17-Окт-22, (175) Они взяли верифицированное микроядро и сверху накинули неверифицированную инфрас, Аноним (-), 17:43 , 15-Окт-22, (74) +1 // А у вас есть верифицированная инфраструктура на си, чтобы накинуть поверх ядра , Аноним (108), 23:25 , 15-Окт-22, (110) // Примерно те же люди, которые сделали проект seL4, сделали проект CakeML - a func, anonymous (??), 13:29 , 16-Окт-22, (152) У них ничего не получится Как обычно , Аноним (82), 19:42 , 15-Окт-22, (82) +1 // Сказал аноним в адрес корпорации с мультимиллиардным оборотом , Прохожий (??), 07:30 , 19-Окт-22, (201) А там не хрустело ли Да и какие дрова Не под это сферическое оборудование, под , 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 // Ну так гиганты статистику выкладывали - от 70 спасёт, от 30 логических , хот, Аноним (172), 09:50 , 17-Окт-22, (176) +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)   Если что-то доказано, то оно доказано и это можно проверить механически, и никак, red75prime (?), 14:44 , 20-Окт-22, (205)   точно проверить и проинтерпретировать да ну математика оно такое как и любое з, Myyx (?), 21:11 , 20-Окт-22, (207)   Названия просто трындец Предлагаю им сделать имя пользователя по умолчанию - ЛС, Аноним (146), 12:25 , 16-Окт-22, (146) +1 // Держи карман шире , Аноним (160), 15:54 , 16-Окт-22, (160) думаешь поможет , Лсдуз (?), 15:59 , 16-Окт-22, (161) –1 // Да ну нафиг, обычный карго-культ, это так не работает Сперва хотя бы министерств, пох. (?), 16:40 , 16-Окт-22, (163) // Это всё у них есть, что ещё они могут сделать , Аноним (122), 21:31 , 16-Окт-22, (166) –1 Никого такие заявления не напрягают За такое надо замуровывать пока не поздно , Аноним (167), 21:33 , 16-Окт-22, (167) –1 // Скорее что тогда надо законодательство и практику менять так, что фото и видео н, A (?), 17:37 , 17-Окт-22, (186) // А вот если начал думать иначе, сменился отпечаток, сменились документы и заново , A (?), 17:38 , 17-Окт-22, (187) Вспомнилась ОС на Rust Redox Есть GUI и микроядро, Аноним (168), 22:55 , 16-Окт-22, (168) +1 // Типа есть Оно не работает от слова совсем , истина в последней инстанции (?), 00:30 , 18-Окт-22, (190) –1 // Если ты пытался её запускать, то и неудивительно С твоими-то когнитивными спосо, Прохожий (??), 07:36 , 19-Окт-22, (202) Вот это правильно Создавайте на Расте новые ОС, а 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

Сообщения

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

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

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

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

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

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

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

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

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

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