Микроядро seL4, Ada/SPARK и 185 модулей: разбор проекта
185 модулей ядра, not‑proved: 0. Сеть и хранилище в Ring 3, TCP работает на железе. Разбор проекта Schild TCB: формальная верификация…
Latest Web news from Tech News
All topics
AI
agents
ai
api
architecture
automation
backend
beginners
career
database
devchallenge
devops
discuss
javascript
linux
llm
machinelearning
mcp
opensource
performance
productivity
programming
python
react
security
showdev
testing
tutorial
typescript
webdev
Безопасность микроядра: где заканчивается трюизм и начинается инженерия
Привет, Хабр! Меня зовут Анна Мелехова, я старший архитектор ПО в «Лаборатории Касперского». Вместе с командой занимаюсь разработкой микроядерной Ka…
ОС2000 («Багет 2.0») Российская ОСРВ для управления «Бураном», «Суперджетами» и атомными подлодками
При слове «операционная система» мои друзья обычно представляем Windows, macOS или какой-нибудь дистрибутив Linux. Но за этими привычными образами п…