![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
juan_gandhiНу как-то не очень с утра пошло. Ни на хайк, ни на велике. Пятка болит, плечо болит, ухо закладывает... съел таблетку, валялся. Заскедьюлил наш категорный семинар на конец ноября, Валерия расскажет про интерпретацию интуиционизма; начал готовить декабрьский митап Скалабея, два спикера, я их не знаю, в смысле, по именам знаю, и видел, но вряд ли узнаю в лицо. Нас тут пара тысяч в Скалабее.
Ну и от неча делать стал работать. Между прочим, впервые наконец написал совершенно нахально тесткейс на полный прогон парсера. Сразу пошли баги, баги пошли. Классно. Для прогона нужны и браузер (настоящий), и сервер (настоящий, сам написал), и база (ну, это мок).
Еще подрегулировал выключатель в гараже, а то он слишком быстро выключал (таймер там); и еще собрал макет системы для поливания купающихся енотов. Ну и почитываю про линейную логику да подумываю про то, можно ли вообще в категориях strictness выразить, или что. Ну в смысле, надо ли какие-то моноидальные городить, как для линейной логики, или можно топосами обойтись как-то. По идее-то. Ну или топос с NNO.
В обед смотрели фильм про Бобров. Впечатляет. Бобры - преобразователи природы. Люди просто этого обычно не видят, вклада бобров. А они как Израиль. В Неваде, в пустыне, построили оазис, к примеру. Бобры.
Поехали на барбекью. Дров с собой взяли. Уже довольно прохладно вечерами. Сразу разжег костер; а ужин был о! Какой салат! С мисо соусом! И жареные перцы, и шашлык. Пришел Скот, рассуждали о праве человека вот взять и ни хрена не делать целых четыре часа подряд, и как это хорошо бывает. Ну и так с ним вообще чесали языками. Скот постепенно оттаивает от своего тоталитарного культа. Пришла и Сильвия; ну и тут понеслось про керамику и про бейсбол. Почему вот нужен 7-inning stretch, откуда это вообще (и почему после него пиво не продают).
А вечером дома досмотрели оставшиеся 13 минут фильма про бобров; хорошо!
Ну и от неча делать стал работать. Между прочим, впервые наконец написал совершенно нахально тесткейс на полный прогон парсера. Сразу пошли баги, баги пошли. Классно. Для прогона нужны и браузер (настоящий), и сервер (настоящий, сам написал), и база (ну, это мок).
Еще подрегулировал выключатель в гараже, а то он слишком быстро выключал (таймер там); и еще собрал макет системы для поливания купающихся енотов. Ну и почитываю про линейную логику да подумываю про то, можно ли вообще в категориях strictness выразить, или что. Ну в смысле, надо ли какие-то моноидальные городить, как для линейной логики, или можно топосами обойтись как-то. По идее-то. Ну или топос с NNO.
В обед смотрели фильм про Бобров. Впечатляет. Бобры - преобразователи природы. Люди просто этого обычно не видят, вклада бобров. А они как Израиль. В Неваде, в пустыне, построили оазис, к примеру. Бобры.
Поехали на барбекью. Дров с собой взяли. Уже довольно прохладно вечерами. Сразу разжег костер; а ужин был о! Какой салат! С мисо соусом! И жареные перцы, и шашлык. Пришел Скот, рассуждали о праве человека вот взять и ни хрена не делать целых четыре часа подряд, и как это хорошо бывает. Ну и так с ним вообще чесали языками. Скот постепенно оттаивает от своего тоталитарного культа. Пришла и Сильвия; ну и тут понеслось про керамику и про бейсбол. Почему вот нужен 7-inning stretch, откуда это вообще (и почему после него пиво не продают).
А вечером дома досмотрели оставшиеся 13 минут фильма про бобров; хорошо!
