Hello weary traveller! Welcome to my site, I hope you enjoy your stay.

This is a type of an online journal of mine. We have the following goals:

• Internet detox;
• Pass some exams;
• Learn to Python script;
• Take care of a small garden;
• Translate, translate, translate! (Marx and Cummings)

The poetry section is not for the translations above, but my own writings.

I am in graduate school studying mathematics. My intrests are currently algebraic topology (that's not true), geometric group theory. I also experiment with lean, agda -- automatic theorem proving software.

Currently looking at lens spaces. A comprehensive paper on the topic, all hand written, by Watkins. Besides this one, I have to read Whitehead's original paper on CW complexes and results concerning them.

There are several other papers I wish to read, once I get the time.