История изменений
Исправление
hateyoufeel,
(текущая версия)
:
До сих пор не понимаю, почему столько желающих писать на rust и так мало на ada и spark?
А вообще, на них пишут. Из последнего крутого, что я находил, есть Muen.
Muen is an Open Source separation kernel (SK) for the Intel x86/64 architecture that has been formally proven to contain no runtime errors at the source code level.
Исходная версия
hateyoufeel,
:
До сих пор не понимаю, почему столько желающих писать на rust и так мало на ada и spark?
А вообще, на них пишут. Из последнего крутого, что я находил, есть Muen.