CURRENT MISSION

ABOUT ME

PHILOSOPHY

Aut tace aut loquere meliora silentio

兴趣

Philosophy: intuitionism, foundations of mathematics.

Mathematics: mathematical logic, category theory, algebraic topology.

Computer science: type theory and functional programming, complexity theory, cryptography, Archlinux, topcoder.

Chess.

Playing piano: Chopin etudes, Shostakovich preludes&fugues, Beethoven sonatas, Rachmaninov preludes, etc.

Also cycling, running, orienteering.

• books
• cooking
• running
• chess
• music
• piano
• cycling
• computer science
• teaching
• history
• logic
• mathematics
• science

音乐、电影和书籍

Music: Shostakovich, Prokofiev, Beethoven, Chopin, Debussy, Rachmaninov.

Books: Grass, Nabokov, Dostoevsky, Dickens.

Films: Leigh, Tarkovsky, Haneke, Anderson, Allen.

我做过的一件不可思议的事情

Once, my fellow pupil at school took away my shoe just before the lesson. At this day teacher chose me to call to the blackboard. So, just with one remaining shoe I had to retell the chapter from the history textbook in front of the giggling pupils. It was very confusing.

教，学，和分享

I'd be happy to teach somebody, say, playing chess or using computer properly (for example, replacing Windows to Linux :)).

In turn, it'd be nice for me to develop my cooking skills.