LINUX.ORG.RU

Информация о пользователе ymn

Nick: ymn
Полное имя: Александр
ID: 83940

Город: Екатеринбург
Дата регистрации:
Последнее посещение:
Статус: ★★★★★ (корректор)
Избранные теги: agda, common lisp, coq, dependent types, fstar, idris, lisp, ocaml, pytorch, rust, sml, искусственный интеллект

На работе занимаюсь машинным зрением и глубокими сетями для анализа и обработки изображений.

Ключевые слова: python, opencv, pytorch.

В свободное время изучаю гомотопическую теорию типов, пишу на cubicaltt и решаю kaggle.

Статистика

Первая созданная тема:
Последняя созданная тема:
Первый комментарий:
Последний комментарий:
Число комментариев: 4244

Раздел Число тем
Новости 127
Форум 132
Галерея 5
Голосования 1

Сообщения пользователя