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