"Чёрная метка" от Блоггера

Получил предупреждение от Блоггера, что блог http://metacomputation-ru.blogspot.com/ будет прикрыт по подозрению в спамерстве. Прочитал объяснения в Help-е. Оказывается, решение принимает робот. Если в постах много ссылок - значит "спамер"... Отправил запрос на рассмотрение "дела" о моём блоге людьми... Даст Бог - отпустят с миром.

Читать дальше...

Блог metacomputation-ru.blogspot.com

Намедни решил создать (в кооперации с другими соавторами) блог

http://metacomputation-ru.blogspot.com/

посвящённый метавычислениям в разных видах (частичные вычисления, суперкомпиляция, специализация программ и т.п.). Попробовал изготовить пост "Что такое суперкомпиляция?". А в него потребовалось вставить несколько диаграмм. А как это сделать, чтобы процесс изготовления поста был удобным и приятным? Всякие варианты, связанные с пропрьетарным софтом я даже не рассматривал. Изготовишь картинку с помощью пропрьетарной софтины, а она тайно запишет в неё (с помощью стеганографии), что нехороший человек сделал эту картинку с помощью нелицензионной копии софтины. :-) И зачем мне это нужно? Диаграммы-то простенькие, никаких могучих"> Тогда я попробовал следующие варианты (которые в моей Ubuntu устанавливаются прямо из репозитория:

• Dia - софтина для рисования диаграмм (похожа на Visio).
• Draw из Open Office (похожа сами понимаете на что).
• Inkscape (тоже похожа известно на что, но от Adobe).

Inkscape мне показался слишком могучим и сложным для диаграммок, которые мне нужно было изготовить. Dia делает то, что нужно. Но размер шрифтов, который в ней задан по-умолчанию, мне показался слишком мелким. Как его изменить я не понял, а менять для каждой надписи индивидуально - поленился. Draw из Open Office - вроде в самый раз. Нужно было изготовить картинки, а потом вставить их в пост в Блоггере. Но тут я вспомнил, что в docs.google.com можно делать документы и постить их прямо в Блоггер. При этом, в Гуглодоках появилась возможность рисовать диаграммы. И мне это показалось очень удобным и соблазнительным. Ну вот, я изготовил в Гуглодоках документ с картинками и отправил его в Блоггер. Вроде - ничего получилось (хотя и пришлось пройтись руками, немного "причесать"). Но через некоторое время читатели сообщают: всё хорошо, но картинок нет! Как нет? Я читаю свой пост - картинки вижу! Однако же, оказалось, что при отправке из Гуглодоков в Блоггер, все картинки остались в Гуглодоках, а в Блоггере получились ссылки в Гугл-документы. И получилось так, что у меня право доступа к этим картинкам есть, а больше ни у кого такого права нет! Ну, что делать? Экспортировал я документ из Гуглодоков в виде html. При этом получил картинки в png-формате. Вставил руками эти картинки в пост. Но это оказалось муторным делом, поскольку картинки оказались в начале поста, и их пришлось перетаскивать на нужные места. Получилось, что можно было сразу делать картинки локально с помощью Draw из Open Office... Так пока и не понял, каков самый рациональный способ делать в Блоггере посты с диаграммами?

Читать дальше...

Дискуссии о суперкомпиляции

• Суперкомпиляторы и суперинтерпретаторы
• Суперкомпиляция
• "Supercompilation" vs. a "supercompiler"
• Can a supercompiler produce a superlinear improvement?

Читать дальше...

Веб-интерфейс у spsc

У "Малого позитивного суперкомпилятора на языке Scala" появился веб-интерфейс, в который встроено несколько заготовленных примеров (для тех, кому лень придумывать и вводить свои примеры):

http://code.google.com/p/spsc/wiki/GettingStartedWeb

http://pat.keldysh.ru:8180/spsc_web/spsc

Описание входного языка суперкомпилятора выставлено здесь:

http://code.google.com/p/spsc/wiki/SimpleLazyFirstOrderLanguage

Читать дальше...

Проект: "Малый позитивный суперкомпилятор на языке Scala"

В Google Code создан проект A Small Positive Supercompiler in Scala и соответствующая группа A Small Positive Supercompiler in Scala Подробности предлагается там и смотреть. Изделие, в принципе, уже работает: можно запускать из командной строки и смотреть, что получается. Но это - не очень удобно. В дальнейшем, предполагается "прикрутить" к этому зверьку "дружелюбный" веб-интерфейс.

Читать дальше...

Сообщества в http://www.orkut.com/

В http://www.orkut.com/ созданы сообщества

• Язык программирования Рефал
• The Refal Programming Language

Их можно найти по именам и присоединиться. Затем посмотреть списки их членов.

Читать дальше...

Группы в Facebook.com

В http://facebook.com созданы группы

• Metacomputation and Program Specialization
• The Refal Programming Language
• Moscow ML

Можно найти эти группы по их названиям и присоединиться (в данный момент - вход свободный). Затем можно посмотреть в списки членов этих групп: нет ли среди них знакомых личностей?

Читать дальше...