Jul. 12th, 2017

дыбр

Jul. 12th, 2017 10:15 pm
juan_gandhi: (Default)
Да блин, сегодня вышел на час позже, потому что надо было на машине. И чо. А ничо, 2.5 часа в одну сторону. Не утомительно, но стремно.

В обед встречался с Женей Б., в конторе на букву Т. Еда у них классная. Показал ему свою алгебру, думал типа советы даст насчет типов. Советов не было, а были вопросы - "а чо, это компилируется". Ну ладно. Я не претендую на совершенство, я претендую на некоторый прорыв в сознании. Пока получается. Женя, кстати, присоветовал фантомные типы врезать, если чо. Ну чо, у МакБрайда и Патерсона получалось же. Посмотрю.

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

Обратно ехал, думал, как алгоритм Самона поправить; и понял, что мне нужен Gradient Descent Engine. Ну там не ахти. Вы будете смеятся, но еще в СССР, в нашем КБ, у нас этот градиентный спуск прям на буровых работал. Ну мы ж филологи математики!

По дороге заехал в Lumber Liquidators; но там нашего ламината нету. 

Дома что, устал как собака. Налил себе Maker's Mark. Ну он кондовый, конечно. Не Вудфорд.

Ладно; хотели пойти гулять, но тут пришла Машка, еще светло, отнимать еду у Зинки. Зинка тоже сидит, но за еду не борется. Пришли и котята, все пять; залезли на елку и смотрят на соседскую собаку. Машка тоже залезла на забор; от страха сидит на нем не как кошка, а как, знаете, сосед, только голову высовывает. Собаки лают, Машка мурчит своим деткам. Потом вся эта тусня пошла в пруду купаться. 

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

Зиночка вечером потом за бантиком бегала. Домашняя таки кошечка, просто одичалая.

Сходили погуляли, конечно. Народу полно.

Потом еще я перечитывал документы, подруга файлит в одно интересное место, преподавать. Ну дай бог. 

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





Profile

juan_gandhi: (Default)
juan_gandhi

October 2017

S M T W T F S
1 2 3 45 6 7
8 910 11 12 13 14
15 16 17 18 19 20 21
22232425262728
293031    

Most Popular Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Oct. 22nd, 2017 06:16 am
Powered by Dreamwidth Studios