ушел с хэллоинской тусовски чтобы читать этот папирус
#iwillneverhavealife
https://arxiv.org/abs/1406.3219
#iwillneverhavealife
https://arxiv.org/abs/1406.3219
arXiv.org
Natural models of homotopy type theory
The notion of a natural model of type theory is defined in terms of that of a representable natural transfomation of presheaves. It is shown that such models agree exactly with the concept of a...
🍌3
Покажу вам кусок истории.
Мой друг (и сосед) весь день оцифровывает документы и, помимо прочего, семейные архивы.
Его прадед Fritz Hecht, немецкий еврей и уроженец Мюнхена, уехал из Германии в 1938 году. Он покинул Гамбург на корабле* компании Hamburg Südamerikanische Dampfschifffahrts-Gesellschaft и выбрал новым местом жительства Монтевидео, Уругвай.
Фриц любил вкусно поесть, поэтому среди вещей, которые были взяты с собой, было меню Münchner Hofbäuhaus. Оно уцелело и по сей день. За это ему уважение.
Почти сто лет спустя его правнук теперь живет в Мюнхене и пишет магистерскую диссертацию по Делезу.
Снизу прилагаю пару фотографий.
* Корабль назывался Cap Arcona. 2 года спутся он был переоборудован для нужд кригсмарине Рейха. Судно использовалось для транспортировки военнопленных по Балтийскому морю. В конце 1944 года оно было потоплено в результате налета британских истребителей-бомбардировщиков вместе с 4500 заключенными, которые находились на борту.
Мой друг (и сосед) весь день оцифровывает документы и, помимо прочего, семейные архивы.
Его прадед Fritz Hecht, немецкий еврей и уроженец Мюнхена, уехал из Германии в 1938 году. Он покинул Гамбург на корабле* компании Hamburg Südamerikanische Dampfschifffahrts-Gesellschaft и выбрал новым местом жительства Монтевидео, Уругвай.
Фриц любил вкусно поесть, поэтому среди вещей, которые были взяты с собой, было меню Münchner Hofbäuhaus. Оно уцелело и по сей день. За это ему уважение.
Почти сто лет спустя его правнук теперь живет в Мюнхене и пишет магистерскую диссертацию по Делезу.
Снизу прилагаю пару фотографий.
* Корабль назывался Cap Arcona. 2 года спутся он был переоборудован для нужд кригсмарине Рейха. Судно использовалось для транспортировки военнопленных по Балтийскому морю. В конце 1944 года оно было потоплено в результате налета британских истребителей-бомбардировщиков вместе с 4500 заключенными, которые находились на борту.
❤8❤🔥5
ОТВЕТСТВЕННОСТЬ
Компания «Hamburg-Südamerikanische Dampfschifffahrts-Gesellschaft» не несет ответственности за причинение вреда жизни, здоровью или телесной неприкосновенности, за утрату или повреждение багажа либо иного имущества пассажиров, за задержку перевозки или выдачи груза, а также за любые иные неблагоприятные последствия — даже в том случае, если ущерб возник по вине самой компании, ее морских или береговых сотрудников либо ее представителей. В связи с этим компания настоятельно рекомендует пассажирам в их собственных интересах оформить надлежащее страхование жизни, здоровья и имущества. Багажный отдел компании по запросу может организовать страхование багажа на всем пути следования — от места проживания пассажира до порта назначения или конечного пункта прибытия. Страхование оформляется за счет страхователя и покрывает любые виды утраты или повреждения имущества в соответствии с условиями страховой компании.
Компания «Hamburg-Südamerikanische Dampfschifffahrts-Gesellschaft» не несет ответственности за причинение вреда жизни, здоровью или телесной неприкосновенности, за утрату или повреждение багажа либо иного имущества пассажиров, за задержку перевозки или выдачи груза, а также за любые иные неблагоприятные последствия — даже в том случае, если ущерб возник по вине самой компании, ее морских или береговых сотрудников либо ее представителей. В связи с этим компания настоятельно рекомендует пассажирам в их собственных интересах оформить надлежащее страхование жизни, здоровья и имущества. Багажный отдел компании по запросу может организовать страхование багажа на всем пути следования — от места проживания пассажира до порта назначения или конечного пункта прибытия. Страхование оформляется за счет страхователя и покрывает любые виды утраты или повреждения имущества в соответствии с условиями страховой компании.
🌚3
Empty Name
Покажу вам кусок истории. Мой друг (и сосед) весь день оцифровывает документы и, помимо прочего, семейные архивы. Его прадед Fritz Hecht, немецкий еврей и уроженец Мюнхена, уехал из Германии в 1938 году. Он покинул Гамбург на корабле* компании Hamburg…
Билет на двоих, кстати, стоил 25 тысяч в сегодяшних долларах