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

Проекту 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]

	33. "Проекту seL4 присуждена премия ACM Software System Award"	+/–
	Сообщение от Степан (?), 07-Май-23, 19:02
	> декстопа > проверяемая, клоуны
	Ответить | Правка | К родителю #29 | Наверх | Cообщить модератору

	35. "Проекту seL4 присуждена премия ACM Software System Award"	+1 +/–
	Сообщение от пох. (?), 07-Май-23, 21:54
	О, точно, двадцать плетей басурманину! Столешница, скоморох!
	Ответить | Правка | Наверх | Cообщить модератору

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

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