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

Выпуск 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 Вам этого мало , Аноним (37), 07:37 , 26-Окт-21, (37) +2 А смысл Оно всё равно всё так же при неудачном раскладе звёзд может например пот, Онаним (?), 09:48 , 26-Окт-21, (57) По крайней мере она от чего-то спасает А с си как Никак , Ingdfg (?), 12:10 , 26-Окт-21, (80) +3 см сообщения 43 - для SeL4, который на C тоже делали Математическую верификаци, Совершенно другой аноним (?), 12:34 , 26-Окт-21, (83) –1 Писали на самом деле на хаскеле, лишь после верификации корректности логики рабо, Аноним (-), 12:46 , 26-Окт-21, (88) +3 что-то у Вас не сходится - Вы сами пишете, что верификация, которая выполнялась , Совершенно другой аноним (?), 13:28 , 26-Окт-21, (97) –4 У тех, кто лишь ту новость и читал, но ни по каким сылкам не ходил http web1 c, Аноним (-), 16:34 , 26-Окт-21, (113) Например так - 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 весь HPC на сях и фортране, вряд-ли это было бы так если б язык не нравился, sdfgjsdfjdj (?), 10:47 , 26-Окт-21, (67) –1 тут скорее другое - жена страшная как война но держат дети, Админ Анонимов (?), 11:40 , 26-Окт-21, (77) –1 ты шутишь в этих системах транспорты точат так, что за каждый лишний бранч на f, sdfgjsdfjdj (?), 12:15 , 26-Окт-21, (82) –2 для оптимизации узких мест есть ассемблер, Админ Анонимов (?), 14:56 , 26-Окт-21, (104) пробовал на асме большие проекты делать а под несколько архитектур да хотя бы , sdkhflskhgl (?), 20:17 , 26-Окт-21, (129) Хмммммммм , Аноньимъ (ok), 16:00 , 26-Окт-21, (109) –2 Скорее - вплоть до самых разных баек о том, как можно суперкруто , Аноним (-), 12:36 , 26-Окт-21, (84) Yes Любят его престарелые смузихлебы за то-же за что молодые любят жаваскрипт , Аноньимъ (ok), 15:51 , 26-Окт-21, (107) –1 При чём тут питон А, тьфу, питон про прикладное ПО невероятно низкого качества , uis (ok), 12:59 , 26-Окт-21, (94) –2 Да, сишка это системный питон такой Врайт ванце краш еверивере В сишке синтакси, Аноньимъ (ok), 15:58 , 26-Окт-21, (108) –1 Лучше и читабельнее пока не придумано, все эти питорастические извраты так извра, Онаним (?), 19:57 , 26-Окт-21, (127) Подумать только на АДА А почему на сверхбезопасном и самом-мамом луДшем dele, Dzen Python (ok), 00:53 , 26-Окт-21, (18) –2 // Потому, что Ада куда более структурирована, детерминирована, и поддаётся верифик, Аноньимъ (ok), 04:05 , 26-Окт-21, (24) +2 // Мне кажется, это был сарказм, uis (ok), 12:54 , 26-Окт-21, (93) Ада с рустом это как мягкое с солёным Раст это про функциональщину и безопасност, Аноньимъ (ok), 16:19 , 26-Окт-21, (112) Хрусту надо больше Ада , Онаним (?), 19:58 , 26-Окт-21, (128) Наверное критически поразмыслить тебе не позволяет твой жмущий сишный гениальный, Аноним (47), 08:57 , 26-Окт-21, (47) –1 // Дык отож - пока сабж пилили, оно так и не стало ничем таким, что могло бы перетя, YetAnotherOnanym (ok), 13:58 , 26-Окт-21, (99) –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 // Там в пору уже к доктору сходить , Аноним (20), 01:03 , 26-Окт-21, (20) –1 Нужно , Аноним (16), 00:32 , 26-Окт-21, (16) Скрыто модератором, Аноним (17), 00:36 , 26-Окт-21, (17) –1 // Скрыто модератором, Аноньимъ (ok), 04:14 , 26-Окт-21, (26) Посоветуйте хороший учебник по языку программирования Ада пожалуйста , Аноним (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 // Главное чтобы они не были вооружены тележками, uis (ok), 12:48 , 26-Окт-21, (91) +1 Шигорину язык программирования Ада не понравится , Аноним (-), 13:27 , 26-Окт-21, (96) +1 спасибо, доброжелатель (?), 11:15 , 26-Окт-21, (72) У Джехани вроде и по сям была книга неплохая , uis (ok), 12:47 , 26-Окт-21, (90) +1 // Ага, в волосатой обложке , YetAnotherOnanym (ok), 16:34 , 26-Окт-21, (114) путеводитель по Аду Пожалуйста https ru wikipedia org wiki Божественная_комед, Минона (ok), 09:19 , 26-Окт-21, (51) // Да, тоже хотел Данте предложить , Онаним (?), 09:48 , 26-Окт-21, (58) Например, вот, от компании AdaCore https learn adacore com Есть ещё А Гавва , Аноним (79), 11:54 , 26-Окт-21, (79) +1 // Спасибо, Аноним (22), 16:16 , 26-Окт-21, (111) Некрономикон под ред Брюса Эш Кэмпбелла , 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) // Отпишись поподробнее , Аноним (-), 13:28 , 26-Окт-21, (98) Альтернатива Линуксу Годно , Аноним (27), 06:11 , 26-Окт-21, (27) // Муэн - микроядро А Линукс- это и ещё сброник аппаратных и виртуальных драйверов, Аноним (31), 06:26 , 26-Окт-21, (31) // Муэн - заявочка на ядро здорового человека Линукс - клиническая помойка , Аноним (32), 07:02 , 26-Окт-21, (32) –2 // когда muen обрастёт таким-же количеством поддерживаемого железа - станет тоже по, sdfgjsdfjdj (?), 09:42 , 26-Окт-21, (56) Не станет Потому что в микроядерной архитектуре не придется все это васянское г, pofigist (?), 10:11 , 26-Окт-21, (62) –1 хех, и получишь что-то вроде 3 11 венды микроядро, но все дрова надо качать рук, sdfgjsdfjdj (?), 10:45 , 26-Окт-21, (66) Нда у 3 11 - микроядро учи матчасть Лучше как у линакса - когда в процессе, pofigist (?), 12:11 , 26-Окт-21, (81) –1 нда вот и выросло поколение ЕГЭ WinNT до версии 4 0 имела архитектуру очень, sdfgjsdfjdj (?), 12:47 , 26-Окт-21, (89) –1 Да уж - заметно Нет и никогда не было WinNT 3 11 - это была Windows for Worksgr, pofigist (?), 17:34 , 26-Окт-21, (118) да, затупил, не тот минор написал, давно дело было, забывать стал, sdkhflskhgl (?), 20:19 , 26-Окт-21, (130) Это деменция Прививался чтоль Такое перепутать - невозможно , pofigist (?), 16:58 , 28-Окт-21, (148) Угу И количество переключений контекста тоже здоровенного человека Особенно эт, uis (ok), 12:45 , 26-Окт-21, (87) Не бздуноподобная пермиссивка-разрешиловка Зачёт , Аноним (31), 06:25 , 26-Окт-21, (30) +6   // Ненужная ос на ненужном языке - с ненужной лицензией, все правильно Кто-то защит, . (?), 08:20 , 26-Окт-21, (39) –2   // Ну почему ненужная-то Да, академическая поделка Но с учётом проделанной работы п, Онаним (?), 09:49 , 26-Окт-21, (59) +1   // Ну вот это и есть синоним ненужного - годно не знаю для чего Поскольку запусти, пох. (?), 11:00 , 26-Окт-21, (69) –2   А тем временем, на SPARK-2014, под Muen OS, люди в Европе потихоньку переписываю, Аноним (68), 11:08 , 26-Окт-21, (71) –1   Ну вот с РВ не согласен, там лучше подходит си, а остальное - да, Ада, uis (ok), 12:41 , 26-Окт-21, (86) –1   Люди на Muen OS давно девайсы выпускают, например такой https www nitrokey co, Аноним (68), 11:03 , 26-Окт-21, (70)   А если ещё входа под кабель питания нет - вообще экстра-безопасно выйдет , Онаним (?), 11:29 , 26-Окт-21, (76) +1   Нет, вход для питания и выход в сеть девайсу нужны А клавы, мониторы, даже свет, Аноним (78), 11:41 , 26-Окт-21, (78)   Только выхода, входа из сети не надо D, Онаним (?), 14:41 , 26-Окт-21, (102)   Действительно, зачнм независающей ОС локальная консоль А для конфигуряния есть , Anonymous XE (?), 16:52 , 26-Окт-21, (116)   открыл попкорн и приготовился к очередному срачу , Минона (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), 12:45 , 27-Окт-21, (144)   Закрытый таки всегда надёжнее Чем распахнутый , Аноним (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) // У программистов писавших Муэн материнки с процами от Интел , Аноним (101), 14:35 , 26-Окт-21, (101) Ада - это Ада, это не раст Вот где настоящая надёжность , 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) // многаденех курсы бисплатные личная пальма под цвет ноутбука ада за 24 часа от ну, Аноним (-), 18:37 , 26-Окт-21, (124) // Райдер модного, молодёжного и прогрессивного человека 1 Много денег 2 Бесплатн, Аноним (-), 06:31 , 27-Окт-21, (133) Аду же разрабатывала оборонка америки Наса на ней клепала управление своими шат, Аноним (33), 17:08 , 27-Окт-21, (147) Мне от одного списка аппаратных возможностей плохо стало Неужели ВСЁ ЭТО нужн, Gogi (??), 20:30 , 26-Окт-21, (131) // Главное - не смотри на инициализацию ACPI и PCI в линуховом ядре Вот где ад та, Онаним (?), 20:44 , 26-Окт-21, (132) на суперзащищенном airgap ждать пока вскроют через трансформатор, Аноним (142), 11:40 , 27-Окт-21, (142) Открытый и высоко надёжный таки разные вещи Друг с другом никак не связанные , Аноним (138), 10:18 , 27-Окт-21, (137) // сперва академическое открытое, потом уж точное наведение на нужную голову в реал, Аноним (142), 12:48 , 27-Окт-21, (145) // Это вояка , Аноним (-), 14:28 , 27-Окт-21, (146) 1,2,6,16,22,23,27,30,42,44,52,60,64,85,119,131,137

Сообщения

[Сортировка по времени | RSS]

30. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	+6 +/–
Сообщение от Аноним (31), 26-Окт-21, 06:25
>Код распространяется под лицензией GPLv3. Не бздуноподобная пермиссивка-разрешиловка. Зачёт.
Ответить | Правка | Наверх | Cообщить модератору

	39. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	–2 +/–
	Сообщение от . (?), 26-Окт-21, 08:20
	Ненужная ос на ненужном языке - с ненужной лицензией, все правильно. Кто-то защитил свой phd, и можно выносить.
	Ответить | Правка | Наверх | Cообщить модератору

	59. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	+1 +/–
	Сообщение от Онаним (?), 26-Окт-21, 09:49
	Ну почему ненужная-то. Да, академическая поделка. Но с учётом проделанной работы по верификации секущихся концов (не алгоритмической конечно...), вполне себе годно, только не знаю, для чего.
	Ответить | Правка | Наверх | Cообщить модератору

	69. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	–2 +/–
	Сообщение от пох. (?), 26-Окт-21, 11:00
	Ну вот это и есть синоним ненужного - "годно не знаю для чего". Поскольку запустить из реально существующего можно только кастрированный линукс, а зачем нам еще один?
	Ответить | Правка | Наверх | Cообщить модератору

	71. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	–1 +/–
	Сообщение от Аноним (68), 26-Окт-21, 11:08
	А тем временем, на SPARK-2014, под Muen OS, люди в Европе потихоньку переписывают код с C и Rust.. Решения есть, где нужна высокий уровень безопасности, стабильности и работы в режиме реального времени.
	Ответить | Правка | Наверх | Cообщить модератору

	86. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	–1 +/–
	Сообщение от uis (ok), 26-Окт-21, 12:41
	Ну вот с РВ не согласен, там лучше подходит си, а остальное - да, Ада
	Ответить | Правка | Наверх | Cообщить модератору

	70. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	+/–
	Сообщение от Аноним (68), 26-Окт-21, 11:03
	Люди на Muen OS давно девайсы выпускают, например такой: https://www.nitrokey.com/products/nethsm Меня повеселила одна фича: "наш девайсы с OS настолько безопасны, что даже консоль для ввода и вывод на монитор не предусмотрены..." Гениально! Зачем компу клава и монитор? Еще и админа тогда надо чтоб сидел и стучал по клаве, смотрел в монитор. Комп должен просто работать, без человека, как лампочка, включил и оно работает.
	Ответить | Правка | К родителю #59 | Наверх | Cообщить модератору

	76. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	+1 +/–
	Сообщение от Онаним (?), 26-Окт-21, 11:29
	А если ещё входа под кабель питания нет - вообще экстра-безопасно выйдет.
	Ответить | Правка | Наверх | Cообщить модератору

	78. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	+/–
	Сообщение от Аноним (78), 26-Окт-21, 11:41
	Нет, вход для питания и выход в сеть девайсу нужны. А клавы, мониторы, даже светодиодная индикация не надо.
	Ответить | Правка | Наверх | Cообщить модератору

	102. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	+/–
	Сообщение от Онаним (?), 26-Окт-21, 14:41
	Только выхода, входа из сети не надо? :D
	Ответить | Правка | Наверх | Cообщить модератору

	116. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	+/–
	Сообщение от Anonymous XE (?), 26-Окт-21, 16:52
	Действительно, зачнм независающей ОС локальная консоль? А для конфигуряния есть же SSH.
	Ответить | Правка | К родителю #70 | Наверх | Cообщить модератору

	50. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	–1 +/–
	Сообщение от Минона (ok), 26-Окт-21, 09:13
	* открыл попкорн и приготовился к очередному срачу.
	Ответить | Правка | К родителю #30 | Наверх | Cообщить модератору

	95. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	+/–
	Сообщение от Аноним (-), 26-Окт-21, 13:23
	Зря достал попкорн, кина не будет.
	Ответить | Правка | Наверх | Cообщить модератору

	138. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	+/–
	Сообщение от Аноним (138), 27-Окт-21, 10:19
	А почему под срач так хорош именно попкорм? А горох не лучше?
	Ответить | Правка | К родителю #50 | Наверх | Cообщить модератору

	141. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	+/–
	Сообщение от Минона (ok), 27-Окт-21, 10:47
	какой? зеленый из баночки? попробуй ☺
	Ответить | Правка | Наверх | Cообщить модератору

	143. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	+/–
	Сообщение от Аноним (-), 27-Окт-21, 12:00
	Для того чтобы наслаждаться срачем со сороны, не учавствуя в нём, нужен мягкий диван и попкорн. Всё.
	Ответить | Правка | К родителю #138 | Наверх | Cообщить модератору

	144. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	+/–
	Сообщение от Аноним (138), 27-Окт-21, 12:45
	А пыво???
	Ответить | Правка | Наверх | Cообщить модератору

	139. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	+/–
	Сообщение от Аноним (138), 27-Окт-21, 10:20
	Закрытый таки всегда надёжнее. Чем распахнутый.
	Ответить | Правка | К родителю #30 | Наверх | Cообщить модератору

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

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