CoreInfra. История основания

Что значит основать свою компанию в 2024 году и развивать бизнес в 2026 году? Здесь будет про опыт создания наших продуктов, развитие IT компании и конечно про технологии.

Вы могли слышать о некоторых из нас как об авторах проекта StatsHouse^[4], быть на наших выступлениях на HighLoad++ или работать вместе с нами в компаниях ВКонтакте, Яндекс или Транзас. Мы — инженерная команда, имеющая опыт создания технологических продуктов и запуска ML-сервисов, которыми пользуются миллионы людей.

О нас

Компания CoreInfra была создана двумя основателями в 2024 году. Должность CEO занял Илья Щербак — в прошлом директор инфраструктурной разработки ВКонтакте, работал в калифорнийском video-tech стартапе, начинал карьеру, как разработчик системного программного обеспечения. CTO — Григорий Петросян, руководитель группы Core Infrastructure ВКонтакте, автор state-of-the-art библиотек property-based тестирования для Go — rapid^[3] и для Rust — chaos_theory^[2], строил mission-critical системы для большого числа пользователей в финтех и инженерных компаниях.

Наша область интересов и экспертизы — стык AI/ML и классической инфраструктурной разработки, где ключевыми являются надежность и корректность. Мы имеем опыт разработки баз данных, распределенных систем, систем распределенной доставки контента, обладаем глубоким опытом реализации сетевых протоколов и многого другого.

AI × Verification

При разработке системы репликации и контроля membership кластера для баз данных ВКонтакте, основанной на распределенном консенсусе^[1], мы осознали необходимость прикладной верификации как единственного возможного способа построения надежных сложных инженерных систем. Это знание было использовано при создании нашего первого продукта — системы прикладной верификации и автономного тестирования AT1. AT1 основан на полносистемном программируемом структурном фаззере, который позволяет глубоко исследовать сложные системы и находить ошибки в сложных конфигурациях и состояниях.

Такой подход получает еще больше преимуществ во времена интенсивного внедрения AI кодинг-агентов, что и нашло отражение в нашем слогане, в который мы очень верим: AI × Verification → Future. Здесь сложился пазл: вместе с фазой генерации, которую дают передовые модели, цикл замыкается фазой верификации, которую обеспечивает AT1 и другие технологии, разрабатываемые внутри компании.

Сейчас основными направлениями работы команды являются CoreInfra AI Hub и CoreInfra AT1. Первое направление — генерация и технологии конструирования AI-агентов, второе — прикладная верификация и инструменты разработки и deep testing.

Future

Мы работаем над новой формой организации AI компьюта, построенной через детерменированный мультиплатформенный рантайм, который позволит строить надежные долгоживущие процессы сочетая AI и обычные исполняемые блоки.

References

1. BARSiC https://www.youtube.com/watch?v=V033-W6Xxk0
   Верификация распределенного консенсуса.

2. chaos_theory https://github.com/flyingmutant/chaos_theory
   Современная библиотека для property-based тестирования на Rust.

3. Rapid https://github.com/flyingmutant/rapid
   Современная библиотека для property-based тестирования на Go.

4. StatsHouse https://github.com/VKCOM/statshouse
   Высокодоступная, масштабируемая, мультитенантная система мониторинга.

P.S.

Подписывайтесь на наш телеграм канал @coreinfra и следите за нашим сайтом https://coreinfra.ru