Notes

Things I find worth writing down. Mostly in English, occasionally in Russian.