Ну на самом деле нашлась бага в генерации подобъектов предпучков. Фокус в том, что я их строил из P(x), беря точки - но у точек значения - множества, а не элементы, так что они хоть и находятся в 1-1 соответствии с подобъектами, но не равны. Ну и вот.
Пока дошло, пока нарисовал правильный код - уже 9 вечера. Все, тесты прошли, код закомичен.
Еще что, еще подруга начала разносить стенку под лестницей. Тут у нас вопросы, как перила ставить, как лестницу присобачивать. С одной стороны, не хотелось бы перебарщивать, с другой надо же чтоб красиво.
Съездили в Лоуз, потом в Хоум дипо, посмотрели, как там и чо.
Обедали в Cha Cha Sushi - это одно из самых лучших мест. Народу толпа в очереди, конечно. Ну хоть очередь электронная - на айпаде записываешь свое имя, сколько, и годится ли суши бар, и телефон - потом выходит пацан из двери и орет "Влад!" (Я почему-то не Хуаном записался, хз. Там вокруг много Хуанов было; наверно, поэтому. Прекрасная там еда.
Ну и все; завтра выходной, наверно; прокачусь на велике, да сдую листья у дома. Траву во вторник постригу.
Пока что не дорешали до конца, как перила ставить. Но не на ступеньки. Подруга уже мебель выбирает под лестницу, а я блин думаю, эх... перила ставить. Это сложно. Но интересно.
Но сначала предпучки. Следующий по плану - классификатор подобъектов. Ну чо, лемма Йонеды рулит.
Французский еще не доделан, ой.
И еще; досмотрев прессконференцию астрофизиков, как-то слишком иронически отношусь к этой киношке, American Gods. Примитивно слишком. Досмотрю, конечно - но астрофизики как бы показали истинную меру вещей.