ДАВАЙ ДАВАЙ
ДАВАЙ ДАВАЙ
ДАВАЙ ДАВАЙ

Thank you Jonah Hill I love you

Thirty years ago, Jerome Nriagu argued in a milestone paper that Roman civilization collapsed as a result of lead poisoning.

The present work shows that “tap water” from ancient Rome had 100 times more lead than local spring waters.


https://www.pnas.org/doi/abs/10.1073/pnas.1400097111

мой взгляд на историю примерно такой:

1) Христианство появилось из-за спорыньи в пиве
2) Язычество из-за психоделических грибов
3) Римская империя рухнула из за свинца в трубах
4) Финансовые кризисы происходят из-за кокаина
5) Философия в Древней Греции появилась из-за того, что греки пили много вина под палящим солнцем
6) Скоро в игру вступит мистер Аддералл

охуеть, все это время я искал не там, логики в Потсдаме есть – но они на факультете Computer Science

и все даже лучше, чем я думал – у них есть группа людей, которая ведет "Картезианский семинар" и что они там читают?

категорная квантовая механика (чек), логика высшего порядка (чек), разные теории типов (чек), теория формальных языков (чек)

update – теперь правило большого пальца такое:

надо заниматься теми вещами, по которым еще не нихуя не вышло

> Helmut Schwichtenberg, Ludwig-Maximilians-Universität Munchen

Ludwig-Maximilians-Universität Munchen

я должен был быть там
я
должен был ходить на семинар по гомотопической теории типов
я ––

иду писать ему письмо

попал в rabbit hole и 4 часа непрерывно собирал литературу для курсовой

> As a young child I had great trouble sleeping, and I thought about death almost every night

PS. No I didn't meet Voevodsky - he showed up at Cornell after I left and I return only for a few months each year

> Currently nobody teaches category theory. We went through that a few years ago in the Cartesian Seminar

> Hope that helps

чудеса немецкой бюрократии:

Мне надо было продлевать визу и получать ВНЖ. Я встал рано утром и приехал в местный центр c приятным названием AUSLÄNDERBEHÖRDE DER LANDESHAUPTSTADT POTSDAM, там огромная очередь, которая за полтора часа не сдвинулась ни на одного человека, я уехал.

Украинцы, которые стояли там в очереди, говорили, что надо получить "термИ́н". Это ебучее слово ТЕРМИ́Н меня уже так заебало за этот месяц – это какая-то эфемерная сущность, которая сваливается тебе наголову из ниоткуда (или добывается тяжелым трудом)

Подслушав разговоры я понял, что люди просыпаются по утрам и думают как же им получить ТЕРМИ́Н; во время обеда думают когда же им уже дадут ТЕРМИ́Н; а может быть они придут без ТЕРМИНА и им дадут его на месте. Главное – получить ТЕРМИ́Н, потому что нет ТЕРМИ́НА – нет бумажки. Нет бумажки – тебя депортируют нахуй.

Сегодня я поменял тактику и не встал в 7 утра, чтобы ехать получать ТЕРМИ́Н. Я решил позвонить. Так совпало, что именно в этот день мне ответили на телефонный звонок (на 4 раз)

Оказывается: на меня уже назначена встреча (то есть ТЕРМИ́Н) 31 числа в 9 утра, но мне об этом никто не сказал. Так что ехать туда, чтобы назначать время для встречи (ТЕРМИ́НА) не надо (а потом еще раз ехать на встречу – ТЕРМИ́Н номер два).


И все это время я уже обладал этим самым ТЕРМИ́Н’ом,
но даже об этом не подозревал


Т Е Р М И́ Н

неожиданно купил гитару