office

связь

На днях оповещения от ЖЖ перестали приходить мне на почту (у кого-нибудь еще такое наблюдается? Upd: разобрался, проблема была в настройках моего сервера), заглянул в список сообщений тут на сайте, внезапно увидел персональное сообщение, которое было отправлено 2 месяца назад, но ЖЖ счел его подозрительным и на почту не продублировал.

Чтобы такого впредь не случалось, всем, кому это может понадобиться, сообщаю: мне можно (и лучше) писать на info@ мой ник тут .com.

(написано в марте 2015, пост поднят вверх для заметности)
professor

Kerr

Интернет удивил с утра. Помните решение Керра, описывающее вращающуюся черную дыру? Найденное им в 60-х и использованное в том числе для рендера в Интерстелларе (только там редшифт выключили). Оказывается, если квора не врет, Рой Керр еще жив и активно что-то пишет и лайкает!



https://www.quora.com/profile/Roy-Patrick-Kerr
dab

Почти медаль :)

Ура, долгие часы прокрастинации на youtube оказались вознаграждены: персональное упоминание с занесением в почетный список бездельников на канале Fermilab. https://youtu.be/ZoJeWwtfdmQ?t=397

Предыдущее достижение моей карьеры в ютюб-физике - упоминание на The Science Asylum https://youtu.be/t0nGy2rsXYY?t=351 :)

Кстати, если кто интересуется популярными роликами вокруг физики и еще не знает эти каналы, рекомендую. А еще больше рекомендую PBS Space Time.
faculty of numbers

Abstract Data Types vs. Objects

On Understanding Data Abstraction, Revisited
http://www.cs.utexas.edu/~wcook/Drafts/2009/essay.pdf

Занятный легко читаемый обзор о том, как сильно отличаются абстрактные типы данных (ML-style) от объектов (OOP-style). При выбранных определениях довольно четкая картина вырисовывается.
Показывает, в каком смысле "the typical object-oriented program makes far more use of higher-order values than many functional programs."
Рассказывает, что Reynolds еще в 70-х описывал Expression Problem задолго до того, как Вадлер ей дал название.
Показывает, как некоторые принципы, которые могли казаться фольклором / best practices, тут выходят естественными математическими следствиями. "In a pure object-oriented style, classes are only used to construct objects, and interfaces are used for types."
Становится видно естественное тяготение динамически типизированных языков к ООП.
Что значат в этом ключе autognosis и complex operations.
Тайпклассы хаскеля тоже затрагиваются.

Ничего особого нового, но приводит мысли в порядок. Особенно, если свой язык дизайнить собираешься.
guilin

На велике по Лондону

Британцы так любят кататься на велике, что даже страну свою назвали Великобритания.


Нашел недавно на амазоне недорогую экшн камеру, купился на обещания того, что там гироскоп и всяческая стабилизация. Попробовал с ней на велосипеде поехать, но увы, трясется все совершенно ужасно. Что меня убедило таки взять новую GoPro. И вот на фоне обычного порошка обычной камеры становится видно, насколько это вообще черная магия. Как они добиваются такой гладкости, поразительно просто.

Сделал большой круг до центра города и обратно. Смонтировал, сжав по времени малоинтересные участки.

Путь от дома до более-менее центра:


Один очень симпатичный район там, и от него к Гайд-парку:


От Гайд-парка к Риджент стрит, Пикадилли, Трафальгарской площади, парламенту и далее:
Collapse )
А, еще с неожиданной проблемой столкнулся. На новых ноутах при подключении GoPro по USB компьютер ее не видит. Но если вместо поставляемого с камерой провода взять USB-C to USB 3.1 Gen 2 Cable, тогда все работает. Вот вам и USB.
office

Еще лисички

Этой ночью направил камеру на дальний угол сада. А там мама-лиса с тремя детьми!



Update: снял, как лисы через дырку под забором шастают, а еще тем же путем ходит ёжик!

office

Лисички

(ручной перепост из dreamwidth. если автоматический заработает, может быть дубль, не обессудьте)

Обнаружил тут, что есть целая индустрия trail cameras для наблюдений за живностью: с датчиком движения, ночным видением и инфракрасной подсветкой. После очередного набега зверей на сад, возделываемый нашей пожилой соседкой снизу, решились наконец обзавестись такой камерой и посмотреть, кто там что делает по ночам. Улов за первую же ночь: два лисенка, птицы, белки и толстый кот.



Что у нас тут лисы живут мы давно знаем, несколько раз их встречали на улице, пару раз за последние недели видели маму-лису в окно вечером. А теперь можно будет регулярно следить за их активностью и узнать, где именно у них нора (пока лишь примерно представляем).
guilin

Walking Simulator

Прогулялся на закате по району. Тепло, все цветет, птички поют, кошки гуляют, белочки скачут. Хорошо! Умиротворяющее видео для просмотра в полный экран на 1080: