the talk we'll have on 9/28

Title: Partial Compilers and Dialectica Categories
Valeria de Paiva,
Rearden Commerce

Abstract: Dialectica Categories (also known as dialectica spaces), the main construction of my phd thesis, have had several (unrelated) applications. I've used them to model Linear Logic, FILL(Full Intuitionistic Linear Logic), the Lambek Calculus and classes of Petri Nets (with C. Brown and D. Gurr). They were also used to model state in programming language semantics, after U. Reddy (with M. Correa and H. Hausler), and fuzzy Petri nets (with A. Syropoulos) and several 'superpower games' (A. Blass). Recently Mihai Budiu, Joel Galenson and Gordon Plotkin used dialectica categories in the modelling of partial compilers. I want to discuss this application, presented in the preprint "The Compiler Forest" (#90), available from Plotkin's webpage, to see if I understand it. Since I know little about compilers, audience participation will be very welcome!

Check out bacat google group.

пелевинщина с сорокинщиной

Зафрендил меня кто-то... в постах пол переменный, имя какое-то искусственное...

Но вот что пишут - прям Сорокин. Или Пелевин. Или Сорокин. Возможно, Питирим.

"В православный праздник Рождества Богородицы семь быстровозводимых Обыденных Храмов будут одновременно построены в семи федеральных округах России.
21 сентября 2011 в праздник Рождества Богородицы Обыденные Храмы за сутки появятся в Твери, Калининграде, Уфе, Сочи, Екатеринбурге, Иркутске и Южно-Сахалинске.
В Калининграде ради сооружения Обыденного Храма к гражданам города присоединятся звезды российского шоу-бизнеса: Иван Охлобыстин, Оксана Федорова, Авраам Руссо, Георгий Лепс, Андрей Малахов, Григорий Гладков, Михаил Леонтьев и Борис Галкин. Знаменитости переоденутся в спортивные костюмы, чтобы принять активное участие в строительстве. Об этом они заявили в видео-обращениях, которые размещены в блоге Председателя Российского Клуба Православных Меценатов (РКПМ) Андрея Поклонского http://a-poklonsky.livejournal.com/ и на сайте проекта www.7hramov.ru.
Из Москвы участников проекта в Калининград доставит предоставленный партнерами проекта борт. Места на борту выделены и для представителей масс-медиа. Аккредитацию СМИ будет осуществлять администрация РКПМ.
Во время строительства храмов будет организован телемост между стройплощадками в регионах и установлена плазменная панель на стройплощадке в Калининграде. Благодаря этому участники проекта смогут увидеть, как проходит возведение обыденных храмов в различных городах России и пообщаться друг с другом в режиме он-лайн.
Как пояснил Председатель Правления Российского Клуба Православных Меценатов Андрей Поклонский, на Руси в 16-ом веке возникла традиция сооружения Храмов за один день. Именно поэтому такие Храмы назывались «обыденными» — буквально «об один день». Естественно, в то время построить храм за сутки могли только ВСЕМ МИРОМ, и главная особенность возрождаемой нами традиции – личное участие жителей в строительстве своего Обыденного Храма и, как следствие, отношение к нему как к своему дому. Именно в этой, забытой более 400 лет назад традиции, Клуб увидел мощный объединяющий нацию мотив.
С ноября 2011 в Москве запланировано строительство обыденных храмов в местах, выделенных для церквей «шаговой доступности», чтобы верующие могли молиться в ожидании постройки больших каменных храмов.
Российский Клуб Православных Меценатов создаст социальную сеть в интернете для общения и распространения информации о строительстве. Таким образом, каждый житель России сможет поучаствовать в возведении СВОЕГО обыденного храма в СВОЁМ регионе.И конечно же очень приятно что и наши звезды построят храм.
О проекте
Проект «Семь храмов в семи городах за один день» — третий этап программы Клуба православных меценатов по возрождению традиции строительства обыденных храмов. Главная задача проекта — объединение русского православного народа. Первую деревянную церковь в рамках проекта возвели в 2008 году в Кемерово, в тот же год подобные храмы были построены в Москве, Киеве и Минске. "

а мы над Ютой смеёмся

Показывают по новостям видео - в Юте мотоциклист попал под машину, буквально - народ собрался, поднял машину, вытащил мотоциклиста. Да, машина в это время горела. Мотоциклиста зовут, хм... Наваз Аль Шариф. Сообщают, что он в критическом состоянии, но на интервью он сидит этаким интеллигентом, и, прищурившись слегонца, сообщает, что если бы не вытащили, не выжил бы.