slides for logic of toposes (part 2)

I started talking about topos logic at BACAT, so here are slides, which are, mostly, just a plan of my next talk. References: Johnstone, TT.

https://docs.google.com/presentation/d/1ifVHKj7Nrr_moL1HlGN4c6NzyWNaJjljxbf57AthUOg/edit?usp=sharing

(sorry, sharing was not set properly; fixed)

полезное чтение

http://typeclassopedia.bitbucket.org/

Palo Alto, July 12

https://www.facebook.com/events/579148942198550/

дыбр за полтора дня

Вчера притащился на работу еле к пол-одиннадцатого, на стендап; пообещал к пятнице Мурманский полуостров Массачусетс, и сел программировать.

Ну и оказалось, что ни одного целого аккаунта для опытов. Понаписал всем письма, кто может помочь, плюнул на это, переключился на мастер бранч, замержил туда что было и давай разбираться, что там не работало. Одна лавочка уже неделю не парсится; стал глядеть. А у них там укрепили оборону, у них на странице два айфрейма, и в одном из них нужно форму заполнить и кликнуть сабмит.

И вот я оставшееся время, до буквально пять минут назад, трахался с этим всем делом; Селениум на айфрейм почему-то ни хрена не пускает, ну и т.д. Фреймы нормально.

Так; а в полседьмого поехал на встречу наших активистов Скалабея. В Гочи Тапе, японском прибамбасном ресторане, оказалось, что если не зарезервировал так и хренушки. Прямо Нью Йорк какой-то; оставили записку и пошли в Лафонтена на Кастро же. Сидели языками чесали про машин лернинг, про функциональщину, про то, что выступать что-то некому стало. В десятом часу разошлись.

Так что уже не писал никакого дыбра.

Утречком же меня что-то торкнуло почти в пять; встал и дорисовал план лекции про топосную логику; потом позавтракали да пошли по холмам гулять; погода сегодня не жаркая, хорошо. Никого не встретили; нашли только красивое перо птицы, но оно куда-то потерялось, как это обычно происходит.

Потом я позаделывал дефекты покрашенной стенки; высохнет, подмажу-подшкурю, и подкрашу.

На работу притащился в пол-одиннадцатого, но стендапа не было, и пожаловаться на то, что все сломато, некому было. Ну как все сломато. Частично.

Обед принесли на работу, из ближайшей греческой столовки. Я лично употребил хориатики салат и шашлык из баранины; там было еще много всяких видов еды, но мне нельзя.

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

Не работает. Выкидывает. Бля. Придется изучать вопрос... (гуглить я умею)

только что узнал

Что коала - сумчатые.

Да. Бывает.

А искал я, собственно, сумчатого гения.

Зато узнал, что бывают сумчатые лисы, сумчатые кошки, сумчатые лягушки, сумчатые летучие мыши, и сумчатая рыбка ля-ля-ля.

Митинг ЛДПР в Пскове

холмогор догадался

"Егор Холмогоров. Новороссия будет свободной!"

Дык. Чем раньше, тем лучше.

дыбр

Итак, после обеда зафигачил таки эту фигню с айфреймами. Код какой-то коекаковский, но хрен с ним. Под конец дня поставил на стейджинг, опыты на серии настоящих аккаунтов, да поехал в Симантек, на встречу с Алексом Мартелли, а также с двумя присутствующими здесь жжистами (не раскрываю никаких айдентитей пока сами не отметятся). Алекс, конечно, стилист языка питон - но и все, собственно. Речь была миленькая, смешная, но малосодержательная. И на слайдах стоит штамп - копирайт Гугла. Прямо как Тема в былые годы, он тоже на любую фотографию свой копирайт ставил. Народ там языком почесать собрался, вот и все, собственно.

Я, правда, понаписал с полстранички про функторы; по мудрому совету мудрейшего trurle стал как-то больше фокусироваться на более важных вещах.

Ну и все, собственно; сейчас пойду котлетку поем да и спать.