geoguessr

Конечно, Австралия и Бразилия достали уже. Но когда тебя вдруг забрасывают в знакомые места - Кетчикан, или прямо на Майдан Незалежности (в этой точке я ошибся на 23 метра), как-то чувствуешь себя типа как дома.

announcement

Agda, anybody? Coq? Hey, Bay Area, time to wake up and try to catch up with the civilized world...