Проекту 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
- Однако эти кладбища почему-то способны платить тебе стабильную хорошую ЗП, в о,
Аноним (63), 21:00 , 11-Май-23, (63)
- Да не везде, и вообще она давно закатывается И даже graalvm её не вытянет Как р,
Заноним (?), 18:51 , 08-Май-23, (40)
- у гугла и на 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 //
- в этом контексте для проектов уровня промышленных операционных систем звучит с,
vitalif (ok), 23:32 , 06-Май-23, (8) //
- верификацияСлово проверка ведь с более меньшим углеродным следом, товарищи ,
Аноним (22), 08:33 , 07-Май-23, (22) –1 //
- Интересные подробности Я особенно обратил бы внимание на то, что 1 это всё пок,
warlock66613 (ok), 20:58 , 08-Май-23, (42)
- Скрыто модератором,
InuYasha (??), 23:37 , 06-Май-23, (9) –1 //
- Они что-то там на Haskell начудили, молодцы А я могу таким же образом мой код ве,
Аноним (24), 08:54 , 07-Май-23, (24) //
- шта А можно чуть подробнее, на что повлияла разработка 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) //
- на разработку современных систем применяемых в критически важных областях - авто,
Аноним (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
- с моей точки зрения вся эта идея формальной верификации микроядра и полученной з,
Аноним (51), 14:04 , 09-Май-23, (51) –2
- Строгое математическое доказательство показало, что все предусмотренные ТЗ бекдо,
fidoman (ok), 19:45 , 07-Май-23, (34) –2
- лично мне чужды подобные инновационные решения встроеных систем, я предпочитаю р,
Аноним (51), 14:03 , 09-Май-23, (50) –4
1,6,24,29,34,50
|