Выпуск Muen 1.0, открытого микроядра для создания высоконадёжных систем,
opennews (?), 25-Окт-21, (0) [смотреть все]
- написаны на языке Ада - хорошо звучит ,
Онаним (?), 22:02 , 25-Окт-21, (1) +13 //
- А если по делу SATA в критически важных системах оценил ,
Онаним (?), 22:16 , 25-Окт-21, (4) –6
- Хоть на васике , как бы не звучало - не на си оно никому не нужно ,
Аноним (-), 23:16 , 25-Окт-21, (14) –21 //
- Даалект который математически проверяется Как на си это сделать Никак ,
Ingdfg (?), 23:26 , 25-Окт-21, (15) +5 //
- Математическая верификация не спасает от ошибок в коде Математическая верификац,
МарьВанна (?), 06:17 , 26-Окт-21, (29) –14
- Математическая верификация гарантирует только, что оно не слетит в UB или runt,
Онаним (?), 07:31 , 26-Окт-21, (36) +3
- Например так - https www opennet ru opennews art shtml num 40297,
Совершенно другой аноним (?), 08:23 , 26-Окт-21, (43) –1
- frama-c, погуглите,
читатель (?), 22:49 , 29-Окт-21, (149)
- Это какая-то новая стадия отрицания Сишка это помойный язык с нездоровым синтакс,
Аноньимъ (ok), 04:10 , 26-Окт-21, (25) –10 //
- Си - это ассемблер для ленивых он легко позволяет делать реализации всяких reso,
sdfgjsdfjdj (?), 09:39 , 26-Окт-21, (54) +2
- кто любит терпят, да, но любить ,
Админ Анонимов (?), 10:41 , 26-Окт-21, (65) –3
- Скорее - вплоть до самых разных баек о том, как можно суперкруто ,
Аноним (-), 12:36 , 26-Окт-21, (84)
- Yes Любят его престарелые смузихлебы за то-же за что молодые любят жаваскрипт ,
Аноньимъ (ok), 15:51 , 26-Окт-21, (107) –1
- При чём тут питон А, тьфу, питон про прикладное ПО невероятно низкого качества ,
uis (ok), 12:59 , 26-Окт-21, (94) –2
- Подумать только на АДА А почему на сверхбезопасном и самом-мамом луДшем dele,
Dzen Python (ok), 00:53 , 26-Окт-21, (18) –2 //
- Потому, что Ада куда более структурирована, детерминирована, и поддаётся верифик,
Аноньимъ (ok), 04:05 , 26-Окт-21, (24) +2 //
- Наверное критически поразмыслить тебе не позволяет твой жмущий сишный гениальный,
Аноним (47), 08:57 , 26-Окт-21, (47) –1 //
- Оно не на ADA написано, а на верифицируемом подмножестве языка ADA, диалекте ADA,
Аноним (68), 10:48 , 26-Окт-21, (68) +2
- При загрузке из колонок раздается Descent Into Cerberon из Quake 2,
Kuromi (ok), 19:45 , 26-Окт-21, (125)
- Есть ли там watchdog, который позволял бы ребутнуть проц без потери запущенных п,
Аноним (2), 22:09 , 25-Окт-21, (2) –1 //
- Э-э-э, а какой в этом смысл Если возникла ситуация, в которой только реакция wat,
Онаним (?), 22:13 , 25-Окт-21, (3) +8 //
- смысл зависит от реализации Вызов вачдога может запустить полную проверку конте,
Аноним (33), 07:04 , 26-Окт-21, (33) –1 //
- Единственный смысл - снять дамп бектрейс опционально и перезапуститься Никакая,
Онаним (?), 07:29 , 26-Окт-21, (35) +3
- Если это он, то не может Он должен делать аппаратный сброс ,
uis (ok), 12:53 , 26-Окт-21, (92)
- да успокойтесь уже, не говорится в этой оси про вачдог Речь была о контроллере ,
Аноним (33), 16:14 , 26-Окт-21, (110)
- Чтобы сразу же после ребута влететь в то же самое состояние ,
YetAnotherOnanym (ok), 14:00 , 26-Окт-21, (100)
- То есть даже тут x86 слили в отстойник истории А кто-то до сих пор над десктопе,
QwertyReg (ok), 22:32 , 25-Окт-21, (6) –5 //
- Действительно, сейчас все бросятся на твой растопроцА я думал уже глупее фракта,
Аноним (12), 22:40 , 25-Окт-21, (12) –4
- И как же ты по такой фразе сделал такой вывод Ты бы с наркотой завязал а пока н,
пончик (?), 22:43 , 25-Окт-21, (13) –3
- Единственный вопрос почему твои посты настолько жирные, что уже даже неинтересн,
Dzen Python (ok), 00:55 , 26-Окт-21, (19) –2 //
- Нужно ,
Аноним (16), 00:32 , 26-Окт-21, (16)
- Скрыто модератором,
Аноним (17), 00:36 , 26-Окт-21, (17) –1 //
- Посоветуйте хороший учебник по языку программирования Ада пожалуйста ,
Аноним (22), 02:54 , 26-Окт-21, (22) //
- У меня книга где то валяется так и называется Язык Ада , могу дать,
Аноним (40), 08:22 , 26-Окт-21, (40)
- Была очень хорошая книжка издательства Мир 1988 Н Джехани - Язык Ада,
anonymous (??), 08:38 , 26-Окт-21, (45) +1
//
- Да-да-да Коричневая обложка Еду как-то на 22м троллейбусе мимо елоховки - тогд,
pofigist (?), 10:09 , 26-Окт-21, (61) +4
//
- спасибо,
доброжелатель (?), 11:15 , 26-Окт-21, (72)
- У Джехани вроде и по сям была книга неплохая ,
uis (ok), 12:47 , 26-Окт-21, (90) +1
//
- путеводитель по Аду Пожалуйста https ru wikipedia org wiki Божественная_комед,
Минона (ok), 09:19 , 26-Окт-21, (51) //
- Например, вот, от компании AdaCore https learn adacore com Есть ещё А Гавва ,
Аноним (79), 11:54 , 26-Окт-21, (79) +1 //
- Некрономикон под ред Брюса Эш Кэмпбелла ,
Kuromi (ok), 19:46 , 26-Окт-21, (126)
- Вот тут мне нравится как концепции показывают http www ada-ru org safe_secure_,
PnD (??), 10:41 , 27-Окт-21, (140) +1
- 20 часов работает еще не зависло Вау ,
Аноним (23), 03:13 , 26-Окт-21, (23) //
- Альтернатива Линуксу Годно ,
Аноним (27), 06:11 , 26-Окт-21, (27) //
- Не бздуноподобная пермиссивка-разрешиловка Зачёт ,
Аноним (31), 06:25 , 26-Окт-21, (30) +6 //
- Ненужная ос на ненужном языке - с ненужной лицензией, все правильно Кто-то защит,
. (?), 08:20 , 26-Окт-21, (39) –2 //
- открыл попкорн и приготовился к очередному срачу ,
Минона (ok), 09:13 , 26-Окт-21, (50) –1 //
- Зря достал попкорн, кина не будет ,
Аноним (-), 13:23 , 26-Окт-21, (95)
- А почему под срач так хорош именно попкорм А горох не лучше ,
Аноним (138), 10:19 , 27-Окт-21, (138) //
- какой зеленый из баночки попробуй 9786 ,
Минона (ok), 10:47 , 27-Окт-21, (141)
- Для того чтобы наслаждаться срачем со сороны, не учавствуя в нём, нужен мягкий д,
Аноним (-), 12:00 , 27-Окт-21, (143)
- Закрытый таки всегда надёжнее Чем распахнутый ,
Аноним (138), 10:20 , 27-Окт-21, (139)
- все что нужно знать об этой бесполезной поделке ,
. (?), 08:23 , 26-Окт-21, (42) –1
- А какой футпринт Неyжто Qubes здорового человека ,
Аноним (44), 08:27 , 26-Окт-21, (44) –1
- Прибито гвоздями к интелу ,
Аноним12345 (?), 09:25 , 26-Окт-21, (52) +1
- А есть сравнение с se4L ,
Аноним (60), 10:08 , 26-Окт-21, (60)
- А что там с AMD-V Незаслуженно обидели красных ,
Аноним (64), 10:37 , 26-Окт-21, (64) //
- Ада - это Ада, это не раст Вот где настоящая надёжность ,
uis (ok), 12:39 , 26-Окт-21, (85) –1 //
- Только вот язык Ада - не модный ,
Аноним (-), 14:42 , 26-Окт-21, (103) //
- Это хорошо, модно-молодёжные в него лезть не будут ,
Anonymous XE (?), 16:42 , 26-Окт-21, (115) //
- Старые программисты на Ада умрут от старости, без модной молодёжи кому вы свою А,
Аноним (-), 17:12 , 26-Окт-21, (117)
- Молодые и модно-молодёжные, это, как бы, не эквивалентно ,
Anonymous XE (?), 18:18 , 26-Окт-21, (123)
- Кто на Аду будет вкатываться, есть такие ,
Аноним (119), 17:38 , 26-Окт-21, (119) //
- Мне от одного списка аппаратных возможностей плохо стало Неужели ВСЁ ЭТО нужн,
Gogi (??), 20:30 , 26-Окт-21, (131) //
- Открытый и высоко надёжный таки разные вещи Друг с другом никак не связанные ,
Аноним (138), 10:18 , 27-Окт-21, (137) //
1,2,6,16,22,23,27,30,42,44,52,60,64,85,119,131,137
|
Вариант для распечатки
