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

Проекту seL4 присуждена премия ACM Software System Award, opennews (??), 06-Май-23, (0) [смотреть все] Скоро Фуксия со своим Цирконом спустится и покроет всё стадо , Аноним (1), 22:34 , 06-Май-23, (1) // Угу, спустится, с высот фоторамки и что там еще - говорящий кофейник Не хотел бы, пох. (?), 22:38 , 06-Май-23, (3) –1 // Про джаву тоже говорили что он только для кофемашин И где сейчас джава Да она , Аноним (1), 23:11 , 06-Май-23, (5) +1 // Ну да - на всех кладбищах enterprise environment Новых проектов на ней нет К, _ (??), 04:15 , 08-Май-23, (36) Ксожалению, таки есть Для новых прозектов берут Швинг и продолжают пейсать на д, Аноним (38), 08:49 , 08-Май-23, (38) –1 А чем Котлин не джава , Аноним (39), 11:20 , 08-Май-23, (39) +1 Однако эти кладбища почему-то способны платить тебе стабильную хорошую ЗП, в о, Аноним (63), 21:00 , 11-Май-23, (63) Да не везде, и вообще она давно закатывается И даже graalvm её не вытянет Как р, Заноним (?), 18:51 , 08-Май-23, (40) Мне нравятся такие древние языки Чем меньше дешёвой школоты хочет с ней работа, Аноним (63), 21:01 , 11-Май-23, (64) Ну на java столько понаписали, что ЗП ещё долго будут платить , Заноним (?), 00:28 , 12-Май-23, (65) у гугла и на sel4 есть ОСhttps www opennet ru opennews art shtml num 57920, Аноним (43), 21:36 , 08-Май-23, (43) +1 Очень крутой проект, показывающий насколько тяжело и дорого так разрабатывать со, Анонн (?), 23:20 , 06-Май-23, (6) +7 // Поэтому Hurd и не смогли дописать , Аноним (1), 23:29 , 06-Май-23, (7) –1 // Нет, его к счастью писали, а не верифицировали-верифицировали Просто на фоне лин, пох. (?), 00:10 , 07-Май-23, (10) –2 в этом контексте для проектов уровня промышленных операционных систем звучит с, vitalif (ok), 23:32 , 06-Май-23, (8) // промышленная - это в промышленности Каким-нибудь приводом конвейера управлять, , пох. (?), 23:09 , 08-Май-23, (45) верификацияСлово проверка ведь с более меньшим углеродным следом, товарищи , Аноним (22), 08:33 , 07-Май-23, (22) –1 // Верификация - проверкаАутентификация - проверкаАвторизация - проверкаВалидация -, Аноним (41), 19:24 , 08-Май-23, (41) +5 Интересные подробности Я особенно обратил бы внимание на то, что 1 это всё пок, warlock66613 (ok), 20:58 , 08-Май-23, (42) Скрыто модератором, InuYasha (??), 23:37 , 06-Май-23, (9) –1   // Скрыто модератором, пох. (?), 00:11 , 07-Май-23, (11) +2   // Скрыто модератором, Аноним (12), 01:01 , 07-Май-23, (12) –1   // Скрыто модератором, Аноним (18), 03:56 , 07-Май-23, (18)   Скрыто модератором, пох. (?), 09:55 , 07-Май-23, (26) +1   Скрыто модератором, tty0 (?), 01:03 , 07-Май-23, (13)   Скрыто модератором, Прохожий (??), 02:08 , 07-Май-23, (16) –5   // Скрыто модератором, пох. (?), 09:58 , 07-Май-23, (27)   Они что-то там на Haskell начудили, молодцы А я могу таким же образом мой код ве, Аноним (24), 08:54 , 07-Май-23, (24) // Нет Вы же наверняка используете сторонние библиотеки, как минимум стандартную б, warlock66613 (ok), 12:16 , 10-Май-23, (61) шта А можно чуть подробнее, на что повлияла разработка seL4 Может, какие-то О, Аноним (29), 12:48 , 07-Май-23, (29) // https www opennet ru opennews art shtml num 59052Это Вам не подойдет , Аноним (31), 13:47 , 07-Май-23, (31) –1 Болгары восхитились Ну и вообще, чего докопался, это не троллейбус из буханки,, пох. (?), 16:34 , 07-Май-23, (32) Проекту seL4 присуждена премия ACM Software System Award, Степан (?), 19:02 , 07-Май-23, (33) // О, точно, двадцать плетей басурманину Столешница, скоморох , пох. (?), 21:54 , 07-Май-23, (35) +1 на разработку современных систем применяемых в критически важных областях - авто, Аноним (43), 21:47 , 08-Май-23, (44) +1 // чегой-то мне кажется что мэйнстрим сейчас - как в тойете с педалью газа Когда п, пох. (?), 23:17 , 08-Май-23, (46) // майнстрим сейчас исключить человеческий фактор из управления автомобилямиhttps , Аноним (43), 10:27 , 09-Май-23, (47) Ну вот тойета опередила тренд на десять лет Правда, исключенному человеческом, пох. (?), 11:28 , 09-Май-23, (48) Майстрим сейчас, как и всегда - подоить доверчивых лошк W инвесторов и потребляd, Аноним (49), 12:37 , 09-Май-23, (49) +1 Ну зочем вы тгавите - Маск всего двух только пока и убил Ну трех если считать , пох. (?), 15:24 , 09-Май-23, (52) для развития технологий нужны финансы это очевидно, но вы покупаете товары потом, Аноним (43), 16:25 , 09-Май-23, (54) А в огороде бузина, это тоже очевидно Внезапно, можно развивать технологии и при, Аноним (49), 17:16 , 09-Май-23, (55) внезапно переход от L2 к L3 имеет чисто правовые сложности - после сертификации , Аноним (43), 23:28 , 09-Май-23, (59) Угу, чисто правовые сложности опять танцорам мешают, а не то они бы всем показ, Аноним (49), 11:37 , 10-Май-23, (60) +1 сказки не надо рассказывать - когда там всплеск развития ИИ начался несколько , Аноним (43), 09:31 , 11-Май-23, (62) –1 с моей точки зрения вся эта идея формальной верификации микроядра и полученной з, Аноним (51), 14:04 , 09-Май-23, (51) –2 поток сознания эксперта опеннетаПро то что такое формальная верификация и как эт, пох. (?), 15:26 , 09-Май-23, (53) +1 Строгое математическое доказательство показало, что все предусмотренные ТЗ бекдо, fidoman (ok), 19:45 , 07-Май-23, (34) –2 лично мне чужды подобные инновационные решения встроеных систем, я предпочитаю р, Аноним (51), 14:03 , 09-Май-23, (50) –4 1,6,24,29,34,50

Сообщения

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

9. Скрыто модератором	–1 +/–
Сообщение от InuYasha (??), 06-Май-23, 23:37
Сейчас растоманы не просто нервно курят в сторонке, а задыхаются в дыму, дёргаясь в припадках )
Ответить | Правка | Наверх | Cообщить модератору

	11. Скрыто модератором	+2 +/–
	Сообщение от пох. (?), 07-Май-23, 00:11
	Ну если честно - их ресдох хотя бы был похож на законченую операционную систему. А тут голое микроядро непонятно для чего, зато верифицированное.
	Ответить | Правка | Наверх | Cообщить модератору

	12. Скрыто модератором	–1 +/–
	Сообщение от Аноним (12), 07-Май-23, 01:01
	Почему "непонятно для чего"? Как раз понятно - чтобы использовать его как запускалку виртуальных машин и быть уверенным что не выйдет за пределы виртуалки. "seL4 can run Linux in a virtual machine. seL4 is [...] hypervisor with a sound worst-case execution-time (WCET) analysis, and as such the only one that can give you actual real-time guarantees, no matter what others may be claiming."
	Ответить | Правка | Наверх | Cообщить модератору

	18. Скрыто модератором	+/–
	Сообщение от Аноним (18), 07-Май-23, 03:56
	Осталось ешё верифицированную виртулку написать. Если неверифицированную, то можно Genode взять.
	Ответить | Правка | Наверх | Cообщить модератору

	26. Скрыто модератором	+1 +/–
	Сообщение от пох. (?), 07-Май-23, 09:55
	> Почему "непонятно для чего"? > Как раз понятно - чтобы использовать его как запускалку виртуальных машин и для запускалки виртуальных машин общего назначения а не чего-то совсем не от мира сего - надо уметь в сети, диски, межхостовый обмен, паравиртуализацию и Б-г знает чего еще кажущееся очевидным я забыл. А тут ничего нет, пустыня. > быть уверенным что не выйдет за пределы виртуалки. виртуалка без сети, дисков и управления и так никуда не выйдет, а выйдет так пожалеет что вышла - потому что там опять ничегошеньки нет. То есть написать это все (неизвестно, между нами, с какой итоговой производительносью и куда при этом пойдет верифицированность) наверное можно, но нереально - нет у человечества столько лишних кодеров. Остаются только совсем уж странные нишевые применения, а поскольку те никогда не будут массовыми - рынок и в этих нишах выберет что попроще и попонятнее.
	Ответить | Правка | К родителю #12 | Наверх | Cообщить модератору

	13. Скрыто модератором	+/–
	Сообщение от tty0 (?), 07-Май-23, 01:03
	Проблема в том, что людей, которым нужен не продукт, а инструмент слишком мало. На этом проекте можно реализовать очень крутые вещи, к примеру, захардкодив ядро целиком в железе. Но это слишком долго, а значит будем по старинке - нестабильное ядро и много обновлений
	Ответить | Правка | К родителю #11 | Наверх | Cообщить модератору

	16. Скрыто модератором	–5 +/–
	Сообщение от Прохожий (??), 07-Май-23, 02:08
	С логикой и здравым смыслом у очередного местного аналитика (от слова анал) всё, как обычно, то есть никак. Если уж кто и будет задыхаться и дёргаться в припадках, так это Сишники. 9 тыс. строк кода и 8 лет верификации - прекрасная производительность (нет). Не говоря уж о стоимости. Куда лучше всё-таки, когда от подавляющей части ошибок защищает компилятор прямо во время разработки. Остальные верифицировать займёт куда меньше времени.
	Ответить | Правка | К родителю #9 | Наверх | Cообщить модератору

	27. Скрыто модератором	+/–
	Сообщение от пох. (?), 07-Май-23, 09:58
	> Куда лучше всё-таки, когда от подавляющей части ошибок защищает компилятор прямо во > время разработки. Остальные верифицировать займёт куда меньше времени. да, просто прекрасно. Все время разработки уходит на борьбу с компилятором, потом чувак сдается и пишет unsafe {мамойклянус!} Результат - компилятор успешно защитил, нет разработки нет и ошибок. Не правда ли, ресдох?
	Ответить | Правка | Наверх | Cообщить модератору

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

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