Sep 2020 - Present
Sergey Kruk
- @lonelyelk
Resume
Portfolio
Recently I was reminded by GitHub's ReadME project how I admired Why The Lucky Stiff back in the day. I have finally read what ReadME called «a series of characteristically strange documents», but ...
There is a Kevin Buzzard's course on «Formalizing Mathematics» available on GitHub of Imperial College London. It is structured as workshops in Lean. I started it to pass time during my vacation. E...
On one side it is strange that AR tutorials for Unity are becoming outdated in 2 years. On the other side it is fascinating how easy it is to build a proof of concept and experience augmented reali...
Recently finished reading The Anthropocene Reviewed by the favourite author of American teenagers John Green.