суббота, 17 мая 2014 г.

Рефлен

За последние полгода часто встречаю

- De Bruijn, француз по фамилии Сахарович (дед у него из белых) называл его как "ДеБра", причем с французским акцентом "ДеБруа", где вот это "у" совсем короткое, и "р" прикольно французское.
Он оказывается, дофига чего не только в автоматах и комбинаторике сделал. Но еще и в логику залез с Automath, и даже а в книгах по зависимым типам он немного упоминается.
А в русском пока нет устойчивого его написания. От ДеБрюжина до ДеБрюйна.

- Sleator. Еще раза 4-5 слышал. В основном, "вот это сделал вот этот чувак. Он еще знаменит, что с Тарьяном сделал splay-деревья". Тарьяна за последние полгода я слышал меньшее количество раз, и похоже только в связке со Слейтором.

- Conway. Тот который "жизнь". Причем, он ее проклинает, так как все его только по "жизни" и знают. У меня на полке лежит "Квадратичные формы, данные нам в ощущениях". Так и не заметил бы, случайно увидел где-то автора, не в самой книжке.

В живую я только Слейтора видел. Да и то, в тот момент я о нем слышал факта полтора.

Непонадкусанное

В 7.1.1 что-то случилось со связью (wifi). Оно рвется, на более/менее больших файлах.
Я сначала грешил на все что можно (солнце в глаза/шквалистый ветер), переставлял apps (другого слова здесь и не подобрать). Потом разум взял свое, и не вернул. Нагуглил, что реально в 7.1.1 что-то со связью. Получасовая попытка откатить прошивку неудачна, более опытные люди утверждают что это нетривиально (невозможно?). Мою задачу тривиально решает провод, да оно и быстрее, как оказалось. Я-то обычно через воздух несколько гигов лил, как бы удобно. Оказалось, что даже wput в unix/mac есть. А проводом вообще летает, так что ноуПроблем.

Заказал прошку с 16гб. Деньги с карты-то они взяли, сначала при заказе писали что 2-3 недели. Только после оплаты пишут такие-то даты, а это 5-6 недель. Вот думаю - геи бородатые женщины. Через пару дней присылают смс и письмом, что все круто, гипотеза Риманна доказана, таки 3 недели. Понятно, маркетнинг, типа, я должен благодарить. Хрен вам, бородатые женщины. Сначала стулья. Раз деньги уже взяли.