Observations

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

В классе сначала Алекс рассказал про устройство stackexchange; поразительно. На венде сервера, база на сиквелсерверах, но при этом сервера огромные, все в памяти - и их мало.

Потом смотрели кино, https://www.youtube.com/watch?v=hmX2s3pe_qk - Рунар выступает на тему, как из паттерна "интерпретатор" сделать морфизм из свободной монады в заданную. Ну в смысле последняя часть про монады заняла последние пять минут, а остальное вполне вменяемо для публики.

Потом я сказал, что желающие могут идти домой, потому что UML все равно все знают. Но почти все остались, и мы весело провели время, обсуждая схемы. Т.к. все все знают, то все участвовали.

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

Ну и еще пытался понять, как это Рунар перепел монаду коплотности на язык родных параметрических типов скалы. Там как-то с леммой Ионеды как-то кривовато, по-моему, выглядит. Ну подумаю.

Смотрю еще кино, Love and other drugs; ну там Джилленхал, брат, рассекает, полфильма трахается. Так чисто по-человечески ничего фильм, но стиль мне совсем не нравится этот рваный. Да и медленно прозревающий герой как-то тоже... Ну не то чтобы совсем вата, но что-то ватное ощущается. А я последнее время такое очень не люблю.