Поскольку голове несколько полегчало, то в планах на вечер вешить хаскелевую задачку на доказательство леммы Yoneda. codewars.com Чтоб показать изоморвизм надо среди прочего, судя по необходимому типу, определить контравариантный функтор (a -> b) -> f b -> f a И если на диаграмке со стрелочками еще можно сообразить почему он должен существовать, то как реализовать его в реальности да еще и параметрически полиморфным образом мыслей пока нет.

На градуснике +29. В такую погоду страдают только те, кто не умеет правильно одеваться. В такую погоду нужна дышащая синтетика и ни грамма хлопка ни в каком виде.

не в первый раз уже замечаю, насколько удобнее Humidex, чем температура и влажность по отдельности. вот сегодня во Врангеле моём такая погодка imagizer.imageshack.com
теперь берём вот такое сильное колдунство imagizer.imageshack.com и считаем
1 час — 32 балла, начало зоны слабого дискомфорта
4 часа — ~29,5 баллов, конец зоны комфорта
7 часов — 30 баллов, начало зоны слабого дискомфорта
10 часов — 34 балла, середина зоны слабого дискомфорта
13 часов — 38 баллов, конец зоны слабого дискомфорта
16 часов — 37 баллов, конец зоны слабого дискомфорта
19 часов — 32,5 балла, начало зоны слабого дискомфорта
22 часа — 29 баллов, конец зоны комфорта

отсюда следует, что сегодня в принципе неплохой денёк

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

как очешуительно ходить босиком. Линолеум так приятно холодит.
Что за погода вечно в этом городе, вечно жара какая-то, дождь последний раз был больше недели назад. Как люди тут годами живут.

У меня во всех b2b договорах в разделе "форсмажор" есть пункты про ядерные взрывы и изменение значений глобальных мировых констант. Надо по возрастанию замеса добавить туда опровержение обобщённой гипотезы Римана. Павда непонятно что делать, если она верна, но при этом удачно окажется примером недоказуемого утверждения, как предрекает теорема о неполноте. Повесить бизнес потери на Гёделя?

Для истории: лето началось ужасно! Середина весны, как обычно, было жарким, но к июню всё скатилось в какую-то задницу! Холодно пипец, как осенью. +10-12 днём, +5-8 ночью. И дожди. И тучи. И конца-края этому не видно...

По данным журналистов, уличённые в употреблении наркотиков военные проходили службу на базе ВВС «Фрэнсис Уоррен» в штате Вайоминг. Там на боевом дежурстве стоят твердотопливные межконтинентальные баллистические ракеты Minuteman III.
russian.rt.com

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

После 4 дней пыток и перекладки кабеля интернет наконец появился. Но сегодня после часа ночи, все погрузилось во тму. Проверив потенциал на входе, я полез в этажный щит. Что бы описать представшую мне картину литературно, нужно быть минимум Пелевиным. Но электрик из аварийки не смог сдержать своей радости. 10 минут на самодиагностику и вызов, 15 минут ожидания и 45 минут колупаний. Но думаю надо перечитать "за миллиард лет до конца света". А погода ясная хотя и холодная, заря красивая и крыши уже освещает взошедшее солнце.

А снился мне Бельтайн. На нём толчки устроили зачем-то ролевуху. Повыполняв унылых квестов, я решил, что ну нахрен, пошло оно все лесом, пойду бухать с Кельтами в кельтятник. И так мне этого захотелось, что от радости я перешел на бег и с этим вот неиспольненным светлым желанием я проснулся. Реальность жестоко накрыла меня.

Хочется ли мне сегодня жить, спросил я себя утром, и глядя в окно на яркий солнечный свет, пришел к выводу что вероятно хочу. На улице, радось от красивой картинки сводила на нет какая-то сенсорная каша в башке, неясного генеза. Интернета нет. Но сегодня появилась консоль! Если включить пинговалку, то радиолинк не падает каждые 30 секунд, подвисая на следующие 30. Да я чуть с ума не сошел за полтора дня такого привета из 90-х. А теперь, выключаешь браузер и можно работать.

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