Индекс форумов |
Исходное сообщение |
---|
"Микроядро seL4 математически верифицировано для архитектуры ..." Отправлено Аноним, 10-Июн-20 15:27 |
WD это хорошо (он заменил mips на arm и riscv), но ты забыл про NVIDIA, лет 10 применяющую risc-v в своих видимокартах. Сейчас уже пару лет как есть "десктопы" на risc-v. Особо от x86 не отличаются, но асссемблерных оптимизаций в программах не завезли и поэтому немножко сливает в плане производительности. Цена на порядки адекватней эльбрусов, несмотря на то что в долларах. |
При общении не допускается: неуважительное отношение к собеседнику, хамство, унизительное обращение, ненормативная лексика, переход на личности, агрессивное поведение, обесценивание собеседника, провоцирование флейма голословными и заведомо ложными заявлениями. Не отвечайте на сообщения, явно нарушающие правила - удаляются не только сами нарушения, но и все ответы на них. Лог модерирования. |
Закладки на сайте Проследить за страницей |
Created 1996-2024 by Maxim Chirkov Добавить, Поддержать, Вебмастеру |