ФиззБазз ΟΕΔ. Практическое введение в формальную верификацию на зависимых типах Idris 2 +26
Публикации с хабом Блог компании Страховой Дом ВСК
Библиотека OutboxML от Страхового Дома ВСК +6
- Страховой Дом ВСК corporate blog
- Machine Learning
- Блог компании Страховой Дом ВСК
- Машинное обучение
- Big Data
- Python
- Open source
Как разорвать порочный круг: почему ИТ и бизнес говорят на разных языках и как это можно исправить +5
Синергия Process Mining и BI: как Страховой Дом ВСК строит эко-систему процессной аналитики Proceset в ИТ +5
Подготовка к миграции информационных систем и сервисов +5
- Блог компании Страховой Дом ВСК
- DevOps
- Сетевые технологии
- Информационная безопасность
- Системное администрирование
Скрам-мастер: право имею? -3
- Блог компании Страховой Дом ВСК
- Agile
- Управление разработкой
- Управление продуктом
- Управление проектами
Нагрузочное тестирование: простым языком +4
Как мы подружили Jira и Telegram +5
Apache Avro — на светлой стороне Кафки +4
Использование именованных каналов NamedPipe для выполнения команд от имени администратора
Интеграция со СМЭВ, как это было
Бенчмарк HTML парсеров в Python: сравнение скорости
Личный кабинет клиента Страхового Дома ВСК -6
- Искусственный интеллект
- Блог компании Страховой Дом ВСК
- Анализ и проектирование систем
- Управление продуктом
- Управление продажами
Искусство создания безопасных и надежных приложений +1
ИТ-стажировки в Страховом Доме ВСК: как студенты погружаются в работу Блока ИТ -2
