Открыт код сверхнадёжного микроядра seL4,
opennews (ok), 29-Июл-14, (0) [смотреть все] +1
- Сначала нужен список поддерживаемого оборудованияИ список портиротированного ПОУ,
evkogan (?), 09:39 , 29-Июл-14, (2) //
- У меня инфа Поддерживается железо F-16, M1 Abrams, Piranha, MX, SAPS, MASP, GDM,
уке (?), 09:47 , 29-Июл-14, (4) +32 //
- Демократичненько,
commiethebeastie (ok), 10:27 , 29-Июл-14, (17) +7
- ссылку или бабабол,
Аноним (-), 14:12 , 29-Июл-14, (39) //
- Классно M1 Abrams, сервер, серверная и дизельгенератор в одном флаконе ,
Fantomas (??), 16:14 , 29-Июл-14, (52) +5 //
- Да, у кого-то есть ,
anonim (?), 09:49 , 29-Июл-14, (7) +4
- Ну беспилотники уже поддерживаются Дело за малым ,
Аноним (-), 09:50 , 29-Июл-14, (8) +2
- про титаник тоже так говорили,
re (?), 09:47 , 29-Июл-14, (5) +14 //
- Так все правильно - капитан и айсберг не были составными частями корабля, на них,
Аноним (-), 09:50 , 29-Июл-14, (9) +18
- каким бы надёжным не был сейф, его всегда можно бросить в вулкан с ,
Кевин (?), 13:59 , 29-Июл-14, (37) +4
- Т е не мне одному кажется, что математики что-то не учли ,
Аноним (-), 17:22 , 29-Июл-14, (60) +2 //
- есть мнение, что говоруны эти были лицами заинтересованными,
Аноним (-), 00:43 , 30-Июл-14, (84)
- Никто не спорит что примитивный тасксвичер можно написать без багов Теперь удач,
Аноним (-), 09:53 , 29-Июл-14, (10) +8 //
- То есть ты хочешь сказать, что все ваши поделки априорно бажные Я правильно теб,
Аноним (-), 10:11 , 29-Июл-14, (11) –1 //
- Я хочу сказать что все мало-мальски сложные программы апнриори бажные И хрен вы,
Аноним (-), 10:18 , 29-Июл-14, (13) +11 //
- Зависит от инструмента, подхода к разработке, и человека К критическим задачам ,
chinarulezzz (ok), 12:03 , 29-Июл-14, (29) +2
- К критическим задачам надо подходить скурпулезно Делая резервирование, проводя ,
Crazy Alex (ok), 14:33 , 29-Июл-14, (40) +2
- согласен, добавлю только, что эксперимент по созданию сверх надежного, но крайне,
cmp (ok), 15:54 , 29-Июл-14, (46) –1
- Только одно, но ничто не мешает ядру не просто прибить драйвер, а перезапустить ,
evkogan (?), 16:32 , 29-Июл-14, (53)
- Драйвер, может, и перезапустится, но перезапустится ли железка ,
Аноним (-), 16:50 , 29-Июл-14, (55)
- Железка и драйвер работают синхронно - перезапуск драйвера, в лучшем случае поте,
cmp (ok), 17:01 , 29-Июл-14, (57) –2
- Особенно прикольно AMDшники GPU ресторят при сбоях Они пытаются восстановить со,
Аноним (-), 23:58 , 29-Июл-14, (79)
- скажи, ты говоришь так же, как и пишешь 8212 монотонно, укладывая в одно пред,
arisu (ok), 19:10 , 30-Июл-14, (105) +2
- Насколько я понимаю, единственный более-менее надежный вариант реакции - громко ,
Crazy Alex (ok), 17:03 , 29-Июл-14, (58) +3
- По моим наблюдениям за ядром линукса это обычно так встает колом железка, а пот,
Аноним (-), 19:01 , 29-Июл-14, (71) +1
- жаль только, что для разных пользователя эти двадцать процентов включают разные ,
arisu (ok), 19:08 , 30-Июл-14, (104)
- Просто невнимательность, но не просто Не надо умных слов, друг Люди делают не ,
chinarulezzz (ok), 18:49 , 29-Июл-14, (66) +1
- А это не оправдания, это капитанинг Иногда, даже если не хочется делать баг - о,
Аноним (-), 23:59 , 29-Июл-14, (80) –1
- Про философию я соглашусь, она здесь неуместна, но игнорировать психологию совсе,
Ordu (ok), 02:11 , 30-Июл-14, (88)
- Нэт, это физиология изучает Хвать уже муть писать, спутали всё Алгоритмы с реф,
pavlinux (ok), 04:47 , 30-Июл-14, (93) –1
- не нужно думать что знания нашей психики завершены То что мы ошибаемся не означ,
chinarulezzz (ok), 03:05 , 01-Авг-14, (134)
- Вот у лифта может быть дубовый алгоритм, который воможно провалидировать математ,
Аноним (-), 18:31 , 29-Июл-14, (62) +1
- и свойственно _не_ ошибаться можно, они же знают что им свойственно Хорошо Эт,
chinarulezzz (ok), 18:57 , 29-Июл-14, (70)
- Какая в пязду оптимальная поездка, на несвязаном графе с последовательными узла,
pavlinux (ok), 05:03 , 30-Июл-14, (94)
- Ваши тоже _Все_ http lib ru ANEKDOTY errors txt_with-big-pictures html Чем,
Andrey Mitrofanov (?), 11:06 , 29-Июл-14, (23) //
- зато дарповы гранты ,
Аноним (-), 10:15 , 29-Июл-14, (12)
- Если отказаться от бесполезного bloatware kde gnome systemd etc с кучей модных,
Mihail Zenkov (ok), 10:53 , 29-Июл-14, (21) –1 //
- Это объясняет и оправдывает тысячи дистров линя ,
Аноним (-), 11:27 , 29-Июл-14, (25)
- Угу А потом вам понадобится какая-то хитрая алгоритмика для экономии топлива А,
Crazy Alex (ok), 14:45 , 29-Июл-14, (41) //
- Вот это и есть overengineering ибо дальнейшее усложнение алгоритмов повышает сло,
Mihail Zenkov (ok), 19:06 , 29-Июл-14, (72)
- Выигрыш - в том, что ты продашь больше машин, показав людям эту экономию или это,
Crazy Alex (ok), 00:16 , 30-Июл-14, (81)
- Невидимая рука рынка как бы намекает - зачем тратиться на топливную экономично,
Аноним (-), 03:02 , 30-Июл-14, (89) +1
- И вот тут мы опять смотрим на Хы с разными WM - ,
Vkni (ok), 22:30 , 30-Июл-14, (116)
- А также выбросить GPU со спеками на 900 страниц, чипы беспроводной сети у которы,
Аноним (-), 18:45 , 29-Июл-14, (64) +1 //
- Да нужно выбрасывать или делать их совершенно независимыми узлами, дабы в случае,
Mihail Zenkov (ok), 19:15 , 29-Июл-14, (75) –1
- Нужно Выбрасывайте, разрешаю Как вы себе это представляете Вот хочется вам кар,
Аноним (-), 00:35 , 30-Июл-14, (83)
- gt оверквотинг удален Аноним, съибни, а Ну лошара же последний ,
pavlinux (ok), 05:47 , 30-Июл-14, (96) –3
- Точно также как строится микроядерная ОС Есть контроллер с основной программой, ,
Mihail Zenkov (ok), 13:27 , 30-Июл-14, (98)
- А допотопные версии зажигания были и вовсе механическими Ну вот вы и замените к,
Аноним (-), 00:44 , 30-Июл-14, (85) //
- как я понимаю микрокод и аппаратный алгоритм процессора по сути компонент таск,
an (??), 16:06 , 29-Июл-14, (50) –1
- Гг Осталось теперь математически доказать надежность всех остальных сервисов, к,
bav (ok), 10:19 , 29-Июл-14, (14) +1 //
- Летают и работают А у вас в протоны датчики уебиметром заколачивают Чья б мыча,
Аноним (-), 11:28 , 29-Июл-14, (26) –2 //
- Что доказывает качество конструкции и огромный запас прочности, на фоне которого,
Гость (?), 12:33 , 29-Июл-14, (32) //
- Конкретно с seL4 летает, вероятно очень мало всего А это аппаратный баг, от него,
Аноним (-), 18:47 , 29-Июл-14, (65)
- Ща поверх него запилят сверхнадёжное ПО на JavaScript и HTML5 ,
Аноним (-), 10:21 , 29-Июл-14, (15) +14
- Надо еще доказать корректность компилятора которым это все собирается ,
Аноним (-), 10:27 , 29-Июл-14, (16) +8 //
- еще одно ядро,
IMHO (?), 10:32 , 29-Июл-14, (18)
- там кода кот наплакал код, конечно, легко читается и всё такое, но там ничего о,
хрю (?), 10:41 , 29-Июл-14, (19) +2 //
- ну так правильно, с тяжолым ядром в верх не полетишь, избавляются от груза,
IMHO (?), 10:48 , 29-Июл-14, (20) +1
- Так в этом то и весь пойнт сверхнадежных - надо спихнуть все проблемы на других,,
Аноним (-), 18:54 , 29-Июл-14, (68) +3 //
- Франкенштейн ,
Аноним (-), 10:54 , 29-Июл-14, (22) –2
- Персиянские операторы Автобазы подтверждают ,
Аноним (-), 11:20 , 29-Июл-14, (24)
- Ну что, ждем новости типа В ядре seL4 обнаружена критическая уязвимость Х,
Аноним (-), 11:35 , 29-Июл-14, (27) –2 //
- Ну всё, после этого Танненбаум и Торвальдс стоят в сторонке и, обнявшись, плачут,
Какаянахренразница (ok), 11:52 , 29-Июл-14, (28) +3
- Просто офигительная новость Актуальное микроядро под GPL лицензией, да еще и на,
chinarulezzz (ok), 12:08 , 29-Июл-14, (30) //
- где то уже читал про математическое доказательство и микроядро, и при чем недавн,
Аноним (-), 13:34 , 29-Июл-14, (34) –2 //
- Кажется беспилотник уже ломали в 2012 году Уверены они что система надежная http,
trdm (ok), 14:56 , 29-Июл-14, (42) –1 //
- Что-то не компилится ,
my (?), 15:06 , 29-Июл-14, (43) –1 //
- Если там не Systemd то ненужно Ведь всё, на чём нет Systemdб крутые хакеры объя,
Zenitur (ok), 15:43 , 29-Июл-14, (45) –1 //
- А была ли доказана безошибочность программ, которые использовались при провекри ,
Пропатентный тролль (?), 16:09 , 29-Июл-14, (51) –1 //
- Чем оно надёжнее проверенного Windows Core ,
Аноним (-), 17:12 , 29-Июл-14, (59) –4 //
- Рилтайм от блекбери круче, инф100 1 да и кореос торт а не печенько рекламное,
Аноним (-), 16:15 , 30-Июл-14, (102) –1
- Это что попытка диверсии типа программы Звездных войн ,
Anonizmus (?), 20:43 , 30-Июл-14, (107) –1 //
2,5,10,14,15,16,18,19,22,24,27,28,30,34,42,43,45,51,59,102,107
|
Вариант для распечатки
