Великий немецкий мыслитель Иммануил Кант утверждал, что пространство - это линза в человеческом уме, через которую разум смотрит на чувственные данные, упорядочивая воспринимаемые нами формы, цвета и звуки. Поэтому чтобы разобраться в чём-то, наш ум всегда стремится свести это что-то к визуальной модели геометрического пространства. В этом эссе мы с вами поговорим о нескольких таких пространствах и их свойствах: физическом пространстве, гомотопическом пространстве типов в математике и типизированных...

Три самых частых вопроса, которые мне задают в течение последнего года: как летается на «дальнобое», как гигант Боинг 777 рулится в сравнении с «малышом» 737 и каково работать вторым пилотом после всего того, что было. Про жизнь пилота-дальнобойщика я уже рассказывал, с тех пор ничего не изменилось, формула «чемодан собрал – чемодан разобрал» всё так же работает, разве что укрепился во мнении, что при том планировании, что я имею сегодня, это идеальная работа. Почему? Непривычно много выходных – считай, полмесяца провожу дома...