Экосистема разработки в 2021 году: чем живут программисты в России и мире +17
Публикации с тегом jetbrains research
Первый truly stateless оптимальный алгоритм модел-чекера и его проверка на Coq +26
- Блог компании Образовательные проекты JetBrains
- Тестирование IT-систем
- Алгоритмы
- Функциональное программирование
JetBrains Education: предсказание побочных эффектов лекарств +11
Научно-исследовательские инициативы JetBrains +26
Из студентов в преподаватели: интервью с выпускниками магистерской программы JetBrains + ИТМО. Часть 2 +1
Model Checking для тестирования многопоточности? С Lincheck — легко +6
Открытые материалы: курс по вычислительной нейронауке +12
Learn to Run +1
Истории развития популяций, генетика и генетические алгоритмы +10
Анализ данных ChIP-seq: от гистонов к информатическим задачам +6
Открытые лекции лабораторий JetBrains Research +15
Введение в функциональные зависимости +7
Arend – язык с зависимыми типами, основанный на HoTT (часть 2) +19
Подход интенсивного обучения STEM +14
Реляционное программирование: боль, интерес и снова боль +20
- Блог компании Питерская Вышка
- Алгоритмы
- Математика
- Ненормальное программирование
- Учебный процесс в IT
