чудесная дискуссия об иммиграции, переходящая в

https://lm644.dreamwidth.org/83895.html  - извините, подзамочная, так что... 

Я на самом деле не понимаю наших местных борцов за свободу иммиграции, имеют ли они в виду, что и 100 миллионов из Китая впустить в США тоже окей, или пять миллионов палестинских беженцев в Израиль - тоже ведь люди, и те и те.

дыбр

проснулся чуть не в 8, а в 9 Майк докладывает про свою крипту; ну что, ломанулся позавтракал, потом в университет, там еще раз позавтракал, сел Майка слушать.

Но а) мне неинтересно, б) все это как-то очень сложно для меня. Они там с Грегом и Павлом замутили алгоритмы, на базе пай-калкулюса, чтобы значительно ускорить пропускную способность крипты. Ну окей. Скучно.

Следующий Раян Орендорфф, рассказывает, как зависимые типы помогают правильно линейную алгебру имплементировать. Ну знамо дело, полтора года назад я это докладывал; и почему там с большими матрицами можно, все такое. Только у него на хаскеле, так что чуток почище код, чем у меня, бедолаги скальщика. Я ему пробовал показать аналогичную фигню с моей имплементацией, но он не соизволил даже глянуть на мой экран. Ну вот чо так. Впрочем, не хер ли с ним.

В 11 какая-то персиянка задвигала "ZIO на производстве". По-моему, она впервые в жизни выступает на публике, и английский ей тяжело дается. Фигня, короче.

После обеда зато Франсуа Ридо задвинул офигенный доклад, https://github.com/AlacrisIO/bdao на тему "как я перешел с бестиповой лямбды на типизированную"; доклад был прекрасен. Ну и Франсуа вообще речист. Такое ощущение, что я перепру его доклад на "скала против питона", и буду с ним на работе, что ли, выступать.

В 2 Джеймс Даглас выступал. Когда-то мы с ним на скалабее рассекали. Джеймс рассказывал о применении теории категорий в строительстве любительских радиостанций. Ну чо. Я не знаю про радио, но в категориях он полный лох. Естественное преобразование Фурье. Такого типа дискурс. Короче, фигня.

В 3:30 мой доклад. Как раз в 50 минут уложился. Нормально; и фанданго тоже помогло народ разбудить и отвлечь от компов. И глаза ни у кого не закатывались.

Но у некоторых были вопросы, и мы с Майком и Дэниэлом пошли в аудиторию, и еще час там строили классификатор подобъектов на топосе графов, и всякое такое. Потом Майк показал мне https://ncatlab.org/nlab/show/bornological+topos - ну я тут отпал. Топос, который содержит модели всех теорий, причем не только конечных, но любых счетных. Вот тебе и Левенгейм-Скулем.

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

Ну ладно; расставались все сердечно. Но еще не закончилось, еще развлекуха завтра и послезавтра. И насчет книжки поговорить завтра. Это чо, они отказываются, что ли. Вот же ж бля. Ну или хз.

Пиво пить с народом я не пошел, я не могу каждый день пить пиво, уже блевать хочется. Пошел в гостиницу; по дороге в прекраснейшем итальянском ресторане Carelli's (всем рекомендую) поужинал, и валяюсь тихо в номере. Еще и поработаю чуток, там на мой пулреквест смешные каменты понаписали некоторые.

 

 

border around Missouri and Alabama?

See, they ban abortion, in several years they will have a surplus of children which they don't need, so they'll be sending these kids over the state borders (human trafficking it's called when not happening on the Mexican border) the same way the distressed mothers of Guatemala and Honduras send their kids, because they did not want them, first of all.

We will need a border around Missouri and around half-Alabama (the other half is water).

Or?

(Actually, we have to think about both kinds of a sudden kids surplus.)

And don't send them to the Bay Area, we have a housing shortage anyway.