https://opennet.ru/openforum/vsluhforumID3/139497.html Разработчики криптографической библиотеки wolfSSL развивают TCP/IP стек wolfIP, оптимизированный для использования на встраиваемых устройствах, имеющих ограниченные ресурсы, а также для систем, работающих в режиме реального времени, и решений, требующих повышенной надёжности (Safety-Critical). Для предсказуемого потребления ресурсов в wolfIP не используется динамическое выделение памяти - все буферы и таблицы сокетов имеют фиксированный размер и настраиваются на этапе компиляции. Код проекта написан на языке Си и распространяется под лицензией GPLv3...<br><br>Подробнее: https://www.opennet.ru/opennews/art.shtml?num=64989<br> https://opennet.ru/openforum/vsluhforumID3/139497.html#121 Thu, 19 Mar 2026 14:37:38 GMT Язык Си ничем не скомпрометирован. И программы, написанные на нём, by design тоже.<br>Пока в какой-либо конкретной программе не обнаружится какая-либо конкретно ошибка (которую можно исправить). К любому другому языку это относится точно так же.<br> https://opennet.ru/openforum/vsluhforumID3/139497.html#119 Thu, 19 Mar 2026 05:45:20 GMT &gt; Традиционно? Очень ждем список с традиционно-массово-дырными IP стеками.<br><br>Если проявишь немного рвения, то прямо здесь в поиске ты их найдёшь. Во встраиваемых стэках их НЕПРИЛИЧНО много. Именно в этом и причина того, что IoT ломают так часто.<br> https://opennet.ru/openforum/vsluhforumID3/139497.html#118 Tue, 17 Mar 2026 08:47:27 GMT Почитайте хотя бы на Хабре про ту историю с Arine-5<br><br>Вкратце: в двести раз более безопасный язык чем Ada не помог бы.<br><br>Т.к. поставка задачи ошибочна.<br><br>В любом случае, писать критику про Ада в связи с первым запуском Arine-5 совершенно некорректно.<br><br>( Хотел немножко полу-матерного вместо нейтрального "некорректно"...<br><br> Но: "Мы же с вами деловые люди?.." )<br> https://opennet.ru/openforum/vsluhforumID3/139497.html#117 Tue, 17 Mar 2026 08:38:42 GMT Read as:<br><br>} Что такое надёжный by design ЯП?<br><br>Ada SPARK <br><br>М.б. ещё что-либо из Большого Паскаля.<br><br>Для них, хотя бы, написание верифицированного компилятора выглядит логичным.<br> https://opennet.ru/openforum/vsluhforumID3/139497.html#116 Tue, 17 Mar 2026 08:37:39 GMT } Что такое надёжный by design ЯП?<br><br>Ada SPARK <br><br>М.б. ещё что-либо из Большого Паскаля.<br><br>Для них, хотя бы, написание верификацированного компилятора выглядит логичным.<br> https://opennet.ru/openforum/vsluhforumID3/139497.html#115 Tue, 17 Mar 2026 06:58:10 GMT Серьезно?)) Когда в корпоративном софте значение заменяемое банальным bool занимает 2 Мб, это как уровень? Когда передача 10000 файлов, с полезным объемом данных 38 кб каждый, все остальное мусор требует канала в 10 Gbit для гарантированной доставки этих файлов в 600 секунд, это как высоко оптимизированный софт?-)))) Ладно, еще пример случай из жизни - есть 10 млн клиентов, реквизиты клиента это 100 полей, нужен отчет делающий список эти клиентов и сортировку по дате рождения одна таблица и вторая таблица с реквизитами клиентов, у которых сегодня ДР. СУБД крутится на кластере из 40 серваков (двуголовые серваки на Xeon 2690, 128 gb озу в каждом, коннект между серваками 10Gbit), время формирования отчета 25 минут, скачок нагрузки с 10% до 76%. Это как вменяемо? Не ну талантливые ребята, у меня точно мозгов не хватит так запрос написать.))<br> Я такой список могу до вечера приводить, к вопросу о современном софте)<br> https://opennet.ru/openforum/vsluhforumID3/139497.html#114 Tue, 17 Mar 2026 05:15:07 GMT Традиционно? Очень ждем список с традиционно-массово-дырными IP стеками.<br> https://opennet.ru/openforum/vsluhforumID3/139497.html#113 Mon, 16 Mar 2026 14:55:04 GMT &gt; Иронично, что именно неработающий лифт вдохновил Грэйдона Хора создать Rust.<br><br>При этом лифты по прежнему написаны на си. И тот самый неработающий тоже.<br> https://opennet.ru/openforum/vsluhforumID3/139497.html#112 Mon, 16 Mar 2026 14:53:57 GMT &gt; } сознательно не добавили проверки для горизонтальной скорости из Float64 в Int16, <br>&gt; так как Ariane 4 не выходил за пределы Int16.<br>&gt; Да. Де-факто ошибка в спецификации.<br><br>Де-факто ошибка в яп, который как бы должен быть безопасным by design.<br><br>&gt; И всё: остальное лирика.