Я просто оставлю это здесь — 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, но уже давненько не обновляется.

Можно ли как-нибудь сделать так, чтобы ширина minipage была примерно равна длине самой длинной строки внутри нее?

Сабж. Интересует настройка весов такого типа, с тремя противовесами (на картинке весы с двумя): два одинаковых цилиндра и один поменьше, скошенный. Если крутить противовесы и выставлять ноль методом тыка шкала получается какой-то нелинейной — эталоны взвешиваются неправильно. Может какой-нибудь СПВ вообще толком объяснит великий смысл аж трех противовесов?

P.S. Платформа на месте, не сбита.

Линукс тут при том, что я не могу с него нагуглить ответ на этот вопрос. К модераторам большущая просьба хотя сутки не удалять тред :)

Можно ли рисовать с помощью Cairo на любом GTK-виджете? Конкретно интересуют кнопки.

Сабж. GNATprove — тулза для формальной верификации программ на Ada. Верификация производится согласно контрактам, выраженным в форме пред- и постусловий. В данный момент GNATprove работает под x86_32 и x86_64 Linux и x86_32 Windows. Кроме того, доступен плагин GNATprove для GPS (GNAT Programming Studio).

sudo cast splinter

Микроновость для любителей Chicken Scheme и Clang: Chicken теперь официально успешно собирается и работает с clang'ом (раньше он выжирал 100% проца и повисал при попытке сборки scm-файлов с Chicken, собранным с clang'ом).

Changelog