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

August 2017

S M T W T F S
   1 23 4 5
6 7 8 9 10 11 12
13 14 15 16 1718 19
20 21 2223242526
2728293031  

Most Popular Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Aug. 23rd, 2017 06:14 am
Powered by Dreamwidth Studios