В МТИ, по их словам, выполнили верификацию реального кода файловой системы, воспользовавшись инструментом доказательства теорем Coq, который позволяет на формальном языке описать элементы компьютерной системы и взаимоотношения между ними.
24 апреля в прямом эфире в формате видеоподкаста состоялась традиционная технологическая конференция ELMA Power UP. Основные темы 2024 года: Low-code микросервисы, CX, CSP и их влияние на развитие бизнеса.