codedot

Содержание по основным темам журнала:

• Личное
• Общекомпьютерная тематика
• Избранное
• Проект Uniweb
• Работа с лямбда-исчислением

A Lost in Translation music video has been prepared using its own soundtrack, "Alone in Kyoto" by Air:

The syntax of MLC has been changed to allow a comma delimiter for variables when currying as well as different brackets for more readable texts. Additionally, now only the last expression is to be evaluated (not yet implemented though), the rest are assignments. The resulting grammar is as follows (automatic yacc(1) report):

    0 $accept: text $end

    1 text: term
    2     | assign text

    3 assign: ID ASSIGN term DELIM

    4 term: appl
    5     | abstr

    6 abstr: ID ABSTR term
    7      | ID VARDELIM abstr

    8 appl: atom
    9     | appl atom

   10 atom: ID
   11     | LBRACKET term RBRACKET
   12     | LBRACE term RBRACE
   13     | LPAR term RPAR

Output changes also correspond to the above format:

alexo@codedot:~/src/mlc$ ./mlc
plus = m, n, f, x: n f [m f x];
--- plus = v1, v2, v3, v4: v2 v3 [v1 v3 v4]
three = f, x: f [f {f x}];
--- three = v1, v2: v1 [v1 {v1 v2}]
four = f, x: f [f {f (f x)}];
--- four = v1, v2: v1 [v1 {v1 (v1 v2)}]
plus three four
[v1, v2, v3, v4: v2 v3 {v1 v3 v4}] [v1, v2: v1 {v1 (v1 v2)}] [v1, v2: v1 {v1 (v1 (v1 v2))}]
alexo@codedot:~/src/mlc$

A parser has been implemented for the grammar of MLC, and the interpreter skeleton also outputs parsed expressions without unnecessary brackets, for now without evaluating them. The structure of the parsed expressions is going to be used in a lazy graph reduction machine later.

alexo@codedot:~/src/mlc$ ./mlc
id = i: i, zero = x: y: y, succ = n: f: x: f (n f x);
--- id = v1: v1
--- zero = v1: v2: v2
--- succ = v1: v2: v3: v2 (v1 v2 v3)
one = succ zero, y = g: (x: g (x x)) (x: g (x x)).
--- one = (v1: v2: v3: v2 (v1 v2 v3)) (v1: v2: v2)
--- y = v1: (v2: v1 (v2 v2)) (v2: v1 (v2 v2))
alexo@codedot:~/src/mlc$

The source code is available through the following address:

http://pygx.sourceforge.net/mlc.tar

Portal is a single-player first-person action/puzzle video game developed by Valve Corporation. There are also two unofficial versions of the game: "Portal: Prelude" (prequel based on the same Source engine as the original one) and "Portal: Flash Version" which can be run in a Web-browser.

Below, here's a list of favorite quotes from GLaDOS, a fictional artificially intelligent computer system guiding the player's character:

• "The Enrichment Center promises to always provide a safe testing environment. In dangerous testing environments, the Enrichment Center promises to always provide useful advice. For instance, the floor here will kill you. Try to avoid it."
• "Have I lied to you? I mean, in this room?"
• "Your entire life has been a mathematical error. A mathematical error I'm about to correct."
• "You've been wrong about every single thing you've ever done, including this thing. You're not smart. You're not a scientist. You're not a doctor. You're not even a full-time employee. Where did your life go so wrong?"

In addition to the first Queer as Folk (Season One) music video, another one (the rest of the seasons) has also been made, using Chemical Brothers' "Let Forever Be" soundtrack of it:

Темы:

• Знакомство с лямбда-исчислением
• Комбинаторная логика с одноточечным базисом
• "The Heap Lambda Machine"
• Четыре правила
• Переписка с профессором Барендрегтом о "Micro Lambda Calculus"
• Стратегия Gyorgy Revesz
• "J. Klop's Ustica Notes" в открытом доступе
• Сильная редукция в комбинаторной логике
• Попытка реализации эта-редукции в стиле "Micro Lambda Calculus"
• Промежуточные итоги поиска
• Диалог о типизации
• "Явная" эта-редукция
• Диалог о целях и мотивации работы над лямбда-исчислением
• Оставшиеся без ответа вопросы о реализации эта-редукции
• Закрытие вопроса об одношаговой стратегии для "Micro Lambda Calculus"
• Трансляция записей в "Russian Lambda Planet"
• Незнакомец со странными обозначениями для лямбда-исчисления
• Эмуляция бестипового лямбда-исчисления им самим
• HP-полнота экстенсионального лямбда-исчисления
• "Рекурсивные вещественные числа"
• Теорема о неподвижной точке
• Тьюринг- и HP-полнота в реальном времени
• Краткое определение системы лямбда-бета-эта
• Проект языка MLC (Macro Lambda Calculus)
• "Хэш-коды" лямбда-выражений

( Содержание )

A Queer as Folk (Season One) music video has been prepared using its own soundtrack, "Future Proof" by Massive Attack:

Темы:

• Регистрация PyGX
• Диалог о POSIX и PyGX
• Оконный менеджер "Ratpoison"
• Описание проекта Uniweb
• Настройка графического вывода в "qemu-system-mips"
• Один из первых ноутбуков на основе MIPS
• Программная модель системы
• Выбор программного обеспечения
• Метапакет "uniweb"
• Debian-репозитарий для метапакетов
• Канал #uniweb на OFTC
• Uniweb на реальной системе Malta
• Диалоги о клавиатурах

( Содержание )

Темы:

• Серия "Silent Hill"
• Развлечения
• Программа "Школа злословия"
• Художественные фильмы
• Саундтреки
• Музыка
• Видеоролики
• Картины Стива Уокера
• Фаина Георгиевна Раневская (цитаты)
• Подготовленные видеоролики

( Содержание )

Темы:

• Работа с ядром Linux
• Компьютерные клавиатуры
• "World Community Grid"
• Нелюбовь к Gentoo
• Google Wave
• Howto-записи
• Идеи
• Программирование
• Ubuntu

( Содержание )

Темы:

• Фотографии
• Язык
• Картинки пользователя
• Рабочий стол
• Сертификаты
• Виртуальная авиация
• Политика
• Размышления общего характера

( Содержание )

Bonobo is the stage name of Simon Green, a British musician, producer and DJ.

• Change Down
• Days To Come
• Dismantling Frank
• D Song
• Gypsy
• If You Stayed Over
• Ketto
• Kota
• Light Pattern
• Magicman
• Nightlite
• Noctuary
• Nothing Owed
• On Your Marks
• Pick Up
• Recurring
• Scuba
• Silver
• Sleepy Seven
• Something for Windy
• Sugar Rhyme
• Super 8
• Terrapin
• The Plug
• The Shark
• Transmission 94
• Walk In The Sky
• Wayward Bob

Remixes:

• Amon Tobin - Easy Muffin
• Diesler - Sandcastles
• Jazz Juice - Marra Bossa
• Paul Murphy - Soul Call
• Pilote - Turtle

В зависимости метапакетов "Codedot Desktop" был добавлен браузер Google Chrome, который, вместе с программой Picasa, доступен в APT-репозитарии Google.

Также были сделаны соответствующие изменения в список репозитариев (файл "/etc/apt/sources.list") и конфигурация оконного менеджера Awesome (файл "~/.config/awesome/rc.lua"). Кроме замены браузера, запускающегося по нажатию WinKey-Shift-Enter, на Google Chrome, была добавлена комбинация WinKey-PrtScr для сохранения снимка экрана.

Возникла идея смоделировать с помощью OpenGL пространство развертки гиперкуба, а именно четырехмерного куба. Его развертка является трехмерным объектом. Как известно, у 4-куба имеется восемь ячеек - перенос понятия грани для обычного трехмерного куба. Каждая из ячеек, в свою очередь, сама является 3-кубом с евклидовым пространством внутри. Но структура евклидова пространства нарушается при переходе из одной ячейки в другую, к примеру, через окна и может приводить к эффектам, напоминающим художественный фильм "Гиперкуб" (вторая часть трилогии "Куб") или игру "Portal". Предполагается, что модель могла бы послужить как поле для какого-нибудь игрового проекта.

( Перемещение )

Since LiveJournal is not so good to post short messages without subjects, Twitter has been considered as a momentary thoughts notebook, instead. Below is rearranged, edited, and filtered list of notes made during testing period just to keep them organized:

• Maybe, all human creations can be separated into two classes: Art and Science; and Art can be referred to only, while Science can be used
• Maybe, if the algorithm behind randomness of an elementary particle's behavior appeared to be meaningful, it could be used for computation
• PostScript with its "%!" magic number (nice, like Shell's "#!" - both "hashbang" and "shebang" names are correct; actually, POSIX doesn't promise anything about "#!" for Shell, though a good implementation should support it due to corresponding Historic Implementations sections) was earlier used as a display system
• MLC paper as the Heap Lambda Machine's continuation closing the question about a one-step normalizing strategy for Micro Lambda Calculus
• A questionable enough example of music (maybe, almost... at least, in its beginning) without rhythm: Silent Heaven by Akira Yamaoka from Silent Hill 2, to provide an answer to the question about prose equivalent; usually, it's like poetry
• OpenGL Dasher reimplementation and 3D virtual reality with 2D positioning control only without any buttons or clicks
• OpenGL model of moving inside the net of a 4-cube
• Web logs via e-mail: "Uniweblog" address for mailx(1) bot, and "Alexo" for e-mail; planning an attempt of ~/.mailrc with two "folders" and a hook for the former
• Ultimate collaborative filtering social network a-la imhonet.ru with posts classes a-la habr.ru plus Unix-like on-line environment

Besides a simple MIPS assembly exercise for SPIM simulator, there have been prepared several additional ones based on labs from Prof. Malcom's course in Johns Hopkins University.

Edited statements and implementations pretending to be reference ones are available through the following address:

http://pygx.sourceforge.net/spim.tar

Было создано сообщество ru_correction.

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

Формат записей:

а) заголовок с темой оригинального текста, возможно, исправленной;
б) цитата из оригинала первым абзацем;
в) ссылка на оригинальный текст отдельной строкой;
г) предлагаемое исправление следующим абзацем.

Добро пожаловать!

В тексте стандарта POSIX, а именно в описании единственного там интерфейса для работы с электронной почтой mailx(1) ("heirloom-mailx" - современная его реализация) обнаружился упомянутый для примера адрес hlj@posix.com. Домен posix.com действительно существует, а веб-страница с этим адресом является персональной некоего Hal Jespersen. Его имя с тем же сокращением (HLJ) встречается также в англоязычной Википедии, где, как и на posix.com, речь, по большей части, идет об исторических сражениях.

Оказывается, этот человек является основателем компании POSIX Software Group, которой принадлежат права на упомянутую страницу в интернете, судя по надписи внизу. В свою очередь, запрос в Google на ее название приводит на "about"-страницу в том же домене: "He was the Technical Editor for the IEEE/ISO POSIX family of standards and the Chair of the POSIX Shell and Utilities working group".

Эта неожиданная находка напомнила о "компьютерной археологии", о которой, в частности, упоминал Секацкий в гостях у "Школы злословия".

Так как с момента не особенно успешной предыдущей попытки рассылки приглашений Google Wave доступное их количество увеличилось втрое, а свободная регистрация до сих пор недоступна, хотелось бы поделиться ими с людьми, которые, по крайней мере, не против того, чтобы ознакомиться с данным сервисом.

Для отправки приглашения требуется адрес электронной почты. Его можно переслать с помощью личного сообщения.