?

Log in

Верхняя запись Лучшее

авг. 5, 2016 | 03:28 pm

Чтобы не пробираться сквозь груду всего, ссылки на лучшее из журнала:
Метки:

Ссылка | Оставить комментарий {3} | Поделиться

Любопытные ссылки

янв. 27, 2017 | 09:03 am

Кросс-браузерная идентификация пользователей с точностью до 99,24% (.pdf)

Тест: можно ли отследить ваш браузер?

Домашняя страничка Лэсли Лэмпорта, лауреата премии Тюринга 2013 года за фундаментальный вклад в теорию и практику распределённых и взаимодействующих систем. Его книгу "Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers" (.pdf) можно скачать бесплатно с сайта Microsoft. Язык TLA+ использовали инженеры Amazon для поиска ошибок в дизайне сервисов S3 и DynamoDB (.pdf).

Время, часы и упорядочивание событий в распределенной системе (.pdf). Статья Лэсли Лэмпорта, одна из наиболее часто упоминаемых работ в истории информатики (Computer Science). Опубликована, когда автору было 37 лет. Красивое сочетания простых и логичных рассуждений, доступной математики и фундаментальных свойств реального мира. Словил тот самый "ага!-момент" во время чтения. Удивительно простое, но вместе с тем гениальное наблюдение: если а -- это событие передачи сообщения процессом A, а b -- это события получения этого самого сообщения системой B, то а случилось перед b. Отсюда все начинается и следует -- и алгоритм синхронизации часов, и распределенный алгоритм работы с общим ресурсом, и принципиальные ограничения.

Spanner: глобально распределенная база данных Гугла. (.pdf) В статье отчетливо видно влияние работы Лэмпорта. Из списка литературы узнал, что Барбара Лисков тоже занималась вопросами распределенных вычислений. До этого я знал её как человека, который ввел понятие ADT — абстрактных типов данных (.pdf) — ядра ООП и знаменитый принцип подстановки Лисков, она же буква L в SOLID. В 2000-ом году, каких-то 17 (!!!) лет назад, Лисков опубликовала книгу по объектно-ориентированному дизайну с использованием Java: "Program development in Java: Abstraction, specification and object-oriented design" (отзывы). Не читал, но в список занес.

JMH: библиотека для микро-бенчмарков. Входит в состав OpenJDK.
Метки:

Ссылка | Оставить комментарий | Поделиться

История одной идеи.

янв. 26, 2017 | 04:24 pm

В июле 2016-го я записал такую идею: нейронная сеть для поиска / генерации нейронных сетей. Автоматический поиск наилучшей нейронной сети и ее конфигурации для поставленной задачи.

Записал и успокоился, а в Массачусетском технологическом взяли и сделали.

Теперь думаю, тем ли я в жизни занимаюсь?

Ссылка | Оставить комментарий {1} | Поделиться