codedot

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

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

Темы:

• Знакомство с лямбда-исчислением
• Комбинаторная логика с одноточечным базисом
• "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)
• "Хэш-коды" лямбда-выражений

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

Темы:

• Регистрация 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

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

Темы:

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

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

Возникла идея смоделировать с помощью 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 доступное их количество увеличилось втрое, а свободная регистрация до сих пор недоступна, хотелось бы поделиться ими с людьми, которые, по крайней мере, не против того, чтобы ознакомиться с данным сервисом.

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

В рамках проекта MLC с планом реализации Тьюринг-полной машины редукции графов с ленивым связыванием подвыражений и нормализующей стратегией на основе бестипового лямбда-исчисления, использующей вместо поиска следующего редекса список редексов, подготавливаемый перед началом работы и обновляющийся на каждом шаге редукции, рассматривается ввод-вывод по схеме O = (i: P) I, где I и O, - возможно, бесконечные списки, а P - некоторое лямбда-выражение, вероятно, включающее в себя переменную i. Предполагается, что во время вычисления при проверке на присутствие редекса в нодах, где I или какое-либо его подвыражение стоит в левой части аппликации, оставляется запрос на чтение, редекс откладывается, после чего вычисление выражения продолжается, а позже, когда левая часть аппликации будет достроена, то есть считана, список редексов обновляется так, чтобы следующим редексом оказался именно он.

Благодаря комментариям в сообществе shkola_zlo подготовленный ранее список записей программы "Школа злословия" был обновлен и дополнен. Теперь автоматически генерируемая страница вместе с исходными файлами доступна по следующему адресу:

http://pygx.sourceforge.net/shz

"Школа злословия" - разговорная телепередача, которую ведут Татьяна Толстая и Авдотья Смирнова.

Список записей программы в хронологическом порядке был подготовлен с помощью POSIX-утилит make(1), sort(1), sed(1), cut(1) и paste(1) и отправлен в сообщество shkola_zlo. Соответствующий Makefile выглядит следующим образом:

html: videos names dates
	paste -d '\0' dates videos names >html

videos: sorted
	cut -f 3 sorted | sed 's/\(..*\)/<a href="\1">/' | \
		sed 's/^$$/<a>/' >videos

names: sorted
	cut -f 2 sorted | sed 's/$$/<\/a>/' >names

dates: sorted
	cut -f 1 sorted | sed 's/\(.*\)/\1: /' >dates

sorted: list
	sort list >sorted

clean:
	-rm -f sorted videos names dates html

( Исходный файл-таблица )

Новый гендиректор НТВ Владимир Кулистиков сегодня провел совещание с руководителями программ телеканала. Уже принято решение о закрытии программы "Личный вклад", которую вел первый замгендиректора НТВ по информационному вещанию Александр Герасимов...

Информационно-аналитическая программа "Личный вклад" выходит в прямом эфире НТВ каждую субботу. Цели авторов программы - проанализировать личный вклад и личный интерес того или иного ньюсмейкера в контексте событий, выявить и представить крупным планом истинные причины происходящего. Почему принимаются те или иные решения, и какое значение это имеет лично для каждого.

Часть выпуска программы "Личный вклад" Александра Герасимова перед выборами в госдуму 2003 года:



"Все будет хорошо. Готовьтесь".

Идея устройства клавиатуры Yogitype может быть использована для лучшей формы ноутбука, чем стандатный его вид (экран сверху, клавиатура снизу). Сама реализация Yogitype имеет лишний элемент при слепой десятипальцевой печати - на внутренней части видна та же раскладка, но с надписями.

В рамках проекта с рабочим названием Uniweb есть план использовать в качестве единственного экрана "электронную бумагу". Последняя обычно встречается, как известно, в легковесных мобильных устройствах для чтения книг. Очевидно, что лишь для чтения в дороге форма лэптопа не очень удобна по сравнению с моделью планшета, которую имеют большинство "электронных книг". В связи с этим, возникла мысль о совмещении в одном устройстве и книги с разворотом на две страницы, и обычного компьютера с клавиатурой, пригодной для слепой печати. То есть два EPD (E-Paper Display) - по одному на каждую сторону - и разделенная клавиатура на обратной стороне. Гипотетическое устройство предполагает закрытие, как книги, но стороной с клавиатурой, а не дисплеями. Таким образом, можно было бы использовать его и для чтения, и для работы с переносимой операционной системой (POSIX), например, с выводом на дисплей через PostScript.

При рассмотрении данной задачи всплывает проблема с клавишей-пробелом и клавишами-модификаторами. Во-первых, не совсем ясно, где следует располагать пробельную клавишу, так как она не может находиться в нижнем ряду по физиологическим причинам: предполагается, что пользователь охватывает обеими руками устройство, как книгу. Возможно, что ее место либо на одной стороне с экраном, либо на боковой стороне. Во-вторых, в отличие от обычной клавиатуры, лежащей на горизонтальной поверхности или коленях пользователя, данное устройство не предполагает отрыв рук от домашней позиции, поэтому модификаторные клавиши тоже лишаются стандартного расположения. По-видимому, они могли бы быть сделаны для нажатия большим пальцем, как в клавитуре, описанной ibnteo.

Running Up That Hill:



Five Years: