Оставлю это здесь

Для Ъ — интерпретатор Scheme полностью переведенный на арабский. И даже небо, и даже Аллах числа.

Сабж. Открыл для себя, когда внезапно разобрало любопытство, есть ли какой-нибудь линукс.орг.рф :)

Сегодня, 20 декабря 2012 года, состоялся официальный мажорный релиз новой версии языка, среды программирования и соответствующего набора виджетов — Tcl/Tk 8.6.

Основные нововведения в самом Tcl:

• Поддержка ООП из коробки:
  • встроенная объектная система TclOO;
  • 4-я версия Incr Tcl, основанная на TclOO (также встроена).
• Бесстековое выполнение и, соответственно, полная поддержка сопроцедур (coroutines).
• Все-таки добавлены try и throw.
• Нормальная поддержка мультитрединга (многопоточности).
• Множество других дополнительных модулей (по ссылке «Подробности»).

Основные нововведения в Tk:

• встроенная поддержка PNG, с прозрачностью;
• диалог выбора шрифтов;
• поддержка поворачиваемого текста;
• поддержка перемещения объектов на холсте;
• встроенная поддержка «занятых» окон;
• другие интересные фичи, (по ссылке «Подробности»).

>>> Подробности

Совсем тихо и совсем незаметно 10-го декабря вышел минорный релиз Kawa 1.13 — одной из двух живых реализаций Scheme на платформе JVM.

Новые фичи:

• Простейший консервативный анализ кода с целью выявления зацикливаний
• Двухаргументная функция log, как описано в R6RS и R7RS
• Реализация bytevector из R7RS (в Kawa уже был u8vector)
• Реализация процедур для работы с векторами из R7RS
• Реализация процедур ввода/вывода согласно R7RS, основные нововведения — двоичные порты совместимые с R7RS
• Улучшена поддержка Android

Для любопытствующих: на Kawa написан App Inventor для Android.

К сожалению, никаких улучшений в плане поддержки Common Lisp пока нет.

Где-нибудь можно найти официальную информацию о сабже?

А то я тут услышал о таких признаках как «средний балл по ЕГЭ у абитуриентов» (очередная средняя температура по больнице), «площадь, занимаемая ВУЗом в пересчете на число студентов» и «доля выпускников-иностранцев» (последние два — вообще что-то наркоманское).

Я просто оставлю это здесь — http://isocpp.org/blog/2012/12/embarcadero-c-builder-xe3

// Для модераторов-Ъ — это имеет отношение к Clang.

Предположим, есть некий автор (художник, к примеру). Нарисовал этот автор картинку и выпустил ее под, допустим, CC BY 3.0. Какие есть ограничения, не позволяющие этому автору завтра сказать: «Ребята, что-то я кушать захотел, а черная икра у меня уже кончилась, давайте-ка я поменяю лицензию и за использование этой картинки вы будете платить мне энную сумму»?

Есть ли разница в возможностях символьного интегрирования между той же Максимой или Аксиомой и Математикой с Maple?

Есть ли что-то более крутое чем алгоритм Риша?

// В Axiom же, емнип, самое крутое интегрирование?

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

Решил я по простоте душевной собрать свеженький Webkit (как оказалось потом, одна из старых версий-таки была в репах, и проблема разрешилась сама собой), установил все зависимости, и сделал ./configure ... && make. Ничто не предвещало беды (я умолчу про то, что оно собиралось дольше чем ядро), но через какой-то момент make упал с ошибкой:

make: execvp: /bin/sh: Argument list too long

Вкупе со всеми остальными тредами «куда катится линукс?» это довольно-таки опечалило меня.

// Да, баг уже был отправлен, есть патчи

А вопрос таков: почему нельзя сделать систему сборки «простой»?

Проблема в том, что некоторые элементы формул (горизонтальные линии — разделители дробей и крышка корня) при сборке документа связкой latex+dvipdf отображаются слишком жирно (в то же время, в некоторых местах нормально).

При компиляции с помощью pdflatex такой проблемы нет.

Пример.

Можно ли в tikz с помощью макроса parabola нарисовать кусок параболы, не содержащий точки экстремума? Если можно, то как? У меня всегда обрезает по экстремуму.

У меня примерно так:

\draw (1.25, 2.8125) parabola bend (1,3) (2, 0);

Понятно, что можно сделать клиппинг, но костыль же.

Есть такой простейший граф:

digraph {
  rank    = same;
  rankdir = BT;

  q1        [style=invis];
  apparatus [shape=box, label="A_1"];

  q1 -> apparatus [label=" q_1"];

  {
    rankdir = LR;

    g1 [style=invis];
    g2 [style=invis];

    g1        -> apparatus [label="g_1"];
    apparatus -> g2        [label="g_2"];
  }
}

А может, я идиот, и есть более простой способ нарисовать такую штуку в графвизе?

В графвизе нуб.

Проблема такова: нужно, чтобы make install при префиксе, например, /usr устанавливал не в /usr, а в другой каталог. Разумеется, для случая, когда криворукие авторы поделия не позаботились о DESTDIR.

Желательно как можно более общее решение, потому что костыль для каждого конкретного случая всегда можно придумать.

Где-нибудь можно найти бинарный дистрибутив Libre/Open Office, запакованный в обычный тарболл, а не rpm/deb? В идеале — в один большой тарболл.

UPD: В крайнем случае, есть пакет 3.3.3 для слаки.

Объясните мне, как математику-прикладнику, в чем особая фича теории категорий? Разве это не чисто рефлексивная метаматематическая теория? Да, прикольно, конечно, осознавать, что то, что ты там быдлокодишь это на самом деле всякие морфизмы и монады, но не более.

Приведите пример прикладной задачи, которая существенно упрощается, будучи сформулированной в терминах категорий. Я пока не видел особого применения даже абстрактной алгебры к прикладным областям (исключим из «прикладных областей» ту же разработку трансляторов для языков программирования и связанные области).

Не в толксы, потому что не все, кто может ответить на этот вопрос, туда ходят.

На ЛОРе аналитики периодически любят спрашивать, в каких энтерпрайзных поделках используется лисп.

Наткнулся случайно, но спешу поделиться с коллективным разумом: канадская компания NexJ использует Scheme в качестве скриптового языка для своей платформы приложений.

Используется собственная реализация Scheme на JVM — NexJ Scheme. Цитата авторов:

Application developers use NexJ Scheme when modeling business rules, calculated attributes, validation constraints, data and UI event handling, and more.

Сама реализация NexJ Scheme свободна, выпускается под лицензией EPL (Eclipse Public License).

Для тонких ценителей лиспа: реализация чисто интерпретируемая, работает медленнее чем та же Kawa (по крайней мере при работе с числами и векторами), но без особых проблем позволяет в режиме интерпретатора вызывать любые Java-классы.

Знающие люди, просветите, какова сейчас ситуация с Жабой? Насколько легитимно существование альтернативных реализаций JVM и библиотек классов? Какие прогнозы по этому поводу на будущее? Может ли оракл тотально закопирастить жабу?

UPD: да, вспоминаю, что вроде бы с 7-ой версии альтернативные свободные реализации JVM запрещены.

Сабж. Есть ли такая? Требования: свободная, поддержка клавиатуры (мыши — опционально), язык — С, ввод — единственная решаемая задача (монстры типа SDL и Allegro отпадают), кроссплатформенная — хотя бы X11 и винда.

В крайнем случае насоветуйте простых туториалов по реализации ввода с клавиатуры в X11 и винде :)

Ничего особого не делал, последние пакеты устанавливал черт знает когда, но после ребута гном-терминал стал дико тормозить при прокрутке и при выводе. К специалисту по какой магии обратиться?

Система: Debian Squeeze, гном, конечно, второй.

С помощью какой либы лучше реализовывать годное FFI? ffcall выглядит значительно более вменяемо, чем libffi, но уже давненько не обновляется.