Первый truly stateless оптимальный алгоритм модел-чекера и его проверка на Coq +26
- Блог компании Образовательные проекты JetBrains
- Тестирование IT-систем
- Алгоритмы
- Функциональное программирование
Публикации с хабом Алгоритмы
Синтетические постеры для кино: как обрезать логотип телеканала, хардсабы и чёрные грани +35
Вариационные автоэнкодеры для системы рекомендаций +3
Восстанавливаем результаты выборов в Государственную думу 2021 года с помощью машинного обучения +65
Простой цифровой радиоприемник на базе контроллера STM32G4 своими руками +85
Сколько ты стоишь? Метод анализа вакансий с HR-агрегаторов +13
Фильтрация шума сигнала +35
Нейросеть, способная объяснить себе задачу: P-tuning для YaLM +32
Алгоритм генерации тайловых карт Model Synthesis +11
Химия. Максимальный поток +4
Как создать легко воспроизводимый DS проект +2
Обратная сторона хакатона +4
Как Windows 11 уменьшила размер кумулятивных обновлений на 40% +23
Паутина для чайников: алгоритм строительства паучьих сетей +26
Решаем логистическую задачу: алгоритм привязки фактической и плановой стоянок автомобилей +4
