dmitin

Saint-Petersburg olympiad in topology 2018

dmitin Oct 01, 2018 12:19

http://mathcenter.spb.ru/nikaan/olympiade.html
Problems: http://mathcenter.spb.ru/nikaan/olympiad/problems2018eng.pdf (English)
http://mathcenter.spb.ru/nikaan/olympiad/problems2018.pdf (Russian)

( Read more... )

Habrahabr

dmitin May 22, 2017 16:02

My post in Habrahabr blog (in Russian)
https://habrahabr.ru/post/329176/
From dependent types to Homotopy type theory in Scala + Shapeless + ProvingGround

#scala

#scala

Interview with Albert

dmitin May 03, 2017 22:21

( Read more... )

Introduction to programming with dependent types in Scala

dmitin Mar 31, 2017 23:47

All videos are online. Totally 8 hours of video, 130 slides, and 50 programming exercises (in pure Scala and in Scala + ProvingGround library ( Read more... )

Introduction to programming with dependent types in Scala

dmitin Mar 23, 2017 14:12

https://stepik.org/course/ThCS-Introduction-to-programming-with-dependent-types-in-Scala-2294/Read more... )

Интервью

dmitin Nov 25, 2009 17:33

По приколу дал интервью студентам для мехматовской газеты:

страница 1

страница 2

Попиарим научный форум dxdy.ru

dmitin Jul 08, 2008 20:37

( Read more... )

Найдите 10 отличий

dmitin Mar 18, 2008 17:18

( ... )

Это всё я :)

dmitin Jan 06, 2008 00:05

http://vkontakte.ru/id5499034Read more... )