Просыпаюсь я в понедельник, не рано, умываюсь, не спеша готовлю завтрак. Размышляю о том, как не хочется ехать на работу. И тут я понимаю, что на работу ехать не надо! А надо ехать на «Highload», конференцию, посвященную высоким нагрузкам в Интернете. Понятно, что 90% высоких нагрузок в Интернете — это популярные веб-сайты для школьников и скучающих офисных работников. В принципе вся эта кухня мне не особо интересна, но некоторые технические аспекты бывают любопытны. Кроме того на таких мероприятиях можно продуктивно пообщаться на отвлеченный темы. Например мы пытались придумать систему счисления с основанием «пи». Поняли, что для начала нам нужно придать смысл фразе «сделать что-то 3.14 раз». Подняли аксиоматику натуральных чисел, но никуда не продвинулись. Наконец обратились за помощью в Гугл и выяснили интересные вещи. Системы с иррациональным основанием изучал некий Бергман, при этом в качестве основания он использовал «золотое сечение», «тау» — ((sqrt(5) + 1)/2 (извините, лень доставать латех). В его системе любое целое число раскладывается в сумму целых степеней «тау». Системы с трансцендентными основаниями (в частности «пи») изучал Кнут, но его работу я так и не смог найти. Полагаю, что в системе с основанием «пи» целое число должно раскладываться в какой-то бесконечный многочлен по степеням «пи». Ясно, что понятие «цифра» в таких системах теряет смысл.
В общем сегодня второй день конференции, я хорошо пообедал и намериваюсь послушать про программирование для многоядерных процессоров. Кстати об обеде. Конференция про высокие нагрузки не справляется с высокими нагрузками во время обеда. Нерациональная расстановка посуды и еды приводит к огромным очередям, что безусловно несколько напрягает. Но мы оба дня умудрялись проскочить раньше всех, используя опыт прошлых подобных мероприятий.