Вышла версия 6.4 языка Racket — языка программирования общего назначения из семейства Lisp/Scheme.

• Исправлена уязвимость в Web-сервере. Данная уязвимость позволяла получить доступ к любому файлу, доступному Web-серверу для чтения (подробности).
• Новый инкрементальный сборщик мусора уменьшил паузы, что особенно важно в играх и анимациях.
• Скроллинг в DrRacket стал быстрее.
• Добавлен болгарский перевод в DrRacket.
• Каталог пакетов теперь имеет адрес HTTPS по умолчанию, а не HTTP.
• Документация теперь может определять свои собственные категории для главной страницы руководства с использованием строк.
• Шпаргалка по Racket включена в основной дистрибутив.
• Контракт, который Typed Racket генерирует для типа Any, стал более либеральным, что позволяет большему числу программ как с использованием системы типов, так и без неё работать без ошибок контракта.
• Redex поддерживает спецификацию связей (binding specifications).
• Все функции pict принимают pict-convertible, что обеспечивает прозрачное взаимодействие между pict и библиотеками типа 2htdp/image.
• Команды raco profile и raco contract-profile предоставляют лёгкий доступ к инструментарию профилирования без необходимости изменять сами программы.

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

Тихо и незаметно вышла новая версия системы интерактивного доказательства теорем Coq (Петух).

Система Coq предоставляет язык Gallina (Курица) — функциональный язык с зависимыми типами, основанный на исчислении индуктивных конструкций. Особенностью данной системы является наличие особого подъязыка тактик доказательства (в отличии от, например, Агды, в которой пользователь конструирует элемент типа, являющийся доказательством, в явном виде с использованием интерактивного интерфейса, основанного на Emacs).

Coq используется как собственно в математике, так и для так называемого сертифицированного программирования — написания программ вместе с доказательством их корректности.

Основные новшества в версии 8.5:

• асинхронное редактирование документов в CoqIDE, позволяющее работать с текущим доказательством, в то время как Coq проверяет другие доказательства в фоне;
• полиморфизм относительно универсумов, позволяющий использовать одни и те же определения для универсумов разного уровня;
• примитивные проекции, улучшающие временную и пространственную эффективность для записей и добавляющие для них эта-конверсию;
• новый движок тактик;
• новая процедура редукции native_compute, позволяющая вычислять термы, используя нативный компилятор OCaml'а;
• новый быстрый режим компиляции, пропускающий проверку доказательств;
• новая опция -type-in-type, позволяющая объединять иерархию типов в один универсум (делает логику несогласованной, но упрощает эксперименты);
• заметное улучшение эффективности в целом.

>>> Новость

Свершилось! Под бурные аплодисменты состоялся новый релиз этого замечательного языка.

Основные новшества:

• Функции index-of, last-index-of, starts-with?, ends-with? добавлены в clojure.string.
• Сокет-сервер с REPL

  -Dclojure.server.repl="{:port 5555 :accept clojure.core.server/repl}"
  

  $ telnet 127.0.0.1 5555
  Trying 127.0.0.1...
  Connected to localhost.
  Escape character is '^]'.
  user=> (println "hello")
  hello
  

• Direct linking

Большое количество улучшений и исправлений

>>> А ещё у них обновился сайт :-)

Доктор физико-математических наук Андрей Грозин прочитал цикл лекций об использовании Python в целях ликвидации безграмотности среди студентов, аспирантов и прочих. Презентации были приготовлены для представления в среде Jupyter. Видеоматериалы лекций с разрешения лектора доступны под свободной лицензией CC-BY-SA. Исходные видеофайлы будут выложены в торрентах позже.

( читать дальше... )

>>> YouTube

25 ноября выпущена новая версия свободного компилятора языков Pascal и Object Pascal — FPC 3.0.0 «Pestering Peacock».

Основные изменения в этом выпуске:

Улучшения совместимости с Delphi:

• Добавлена поддержка Delphi-подобных пространств имен для модулей.
• Добавлена возможность создания динамических массивов с помощью конструктора Create.
• Строки типа AnsiString теперь хранят информацию о своей кодировке.

( читать дальше... )

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

Тут некоторые жалуются, что для Rust совершенно никакой ide нет, мол писать в блокнотах тяжко. Поэтому решил расписать step-by-step настройку Emacs под Rust - автодополнение, подсветка там всякая, все как положено, может кому пригодиться: http://reangdblog.blogspot.com/2015/04/emacs-ide-rust.html

Перемещено JB из general

Двадцать второго ноября две тысячи пятнадцатого года увидел свет Link Grammar Parser 5.3.1.

Link Grammar Parser — это синтаксический анализатор английского, русского, арабского и персидского (и других языков). Создан на основе Link Grammar, оригинальной теории синтаксиса. Получив предложение, система присваивает ему синтаксическую структуру, которая состоит из набора меченых связей, соединяющих пары слов. Расширение RelEx предоставляет вывод разбора на основе зависимостей. Написан на Си. Имеются привязки к Java, Python, Common Lisp, Ocaml, Perl и AutoIt.

Link Grammar Parser применяется для проверки грамматики в AbiWord. Планируется его использование в Calligra Words.

( читать дальше... )

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

20 ноября вышел в свет Clasp 0.4 — новый релиз, включающий в себя совершенно новый компилятор, способный генерировать до 200 раз более быстрый код, чем его предшественник, так же улучшено взаимодействие с C++ и теперь реализация полнее соответствует стандарту ANSI Common Lisp.

Clasp — новая реализация Common Lisp с упором на легкое взаимодействие с библиотеками C++, используя LLVM для компиляции в нативный код, с целью использования большого количества существующих библиотек и программ. Встраивание их в среду Common Lisp'а позволяет воспользоваться быстрым прототипированием, инкрементальной разработкой и другими возможностями, делающими Common Lisp столь мощным языком.

Основные изменения:

• Совершенно новый, оптимизирующий/встраивающий (inlining) компилятор — cclasp! (небольшое сравнение с C++ / SBCL / Python)
• Значения типов fixnum, character и single-float теперь представлены напрямую.
• Указатели на объекты и cons-ячейки теперь тегируются для скорости.
• Библиотека Clbind позволяет программистам выставлять наружу внешние C++-библиотеки.
• Множество исправлений ошибок и улучшений.

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

Корпорация Google опубликовала под лицензией Apache 2.0 систему построения нейронных сетей TensorFlow. В настоящее время опубликована лишь урезанная версия без поддержки распределенных вычислений.

TensorFlow походит на torch.ch и theano, однако отличается от них в существенных деталях.

«А потому что задолбало работать с проприетарщиной» — так коротко и ёмко прокомментировал решение открыть код основной разработчик системы Jeff Dean, широко известный как один из изобретателей MapReduce.

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

Привет, LOR. На данный момент в окружающее пространство уже некоторое время накатывает следующая мысль: «Разработчикам прикладного ПО, использующим в своей практике Си и C++, крайне необходимо облегчить жизнь, избавив от ошибок с памятью и предоставив удобные механизмы для параллельного программирования». Одни адепты, этакие Базаровы от программирования, предлагают воплощать задумку с помощью новых языков: D, Go и Rust. Другие же, коих пока явно больше, всячески не желают выходить из своей зоны комфорта, предлагая включать необходимое в новые стандарты уже используемых инструментов.

Как думаешь, садиться ли уже сейчас за изучение одного из убийц Си/C++, чтобы через 5 лет не оказаться на обочине индустрии, или же все продолжит идти в старом русле с незначительными вливаниями новшеств?

Интерпретатор языка программирования Focal-81, который был написан энтузиастами и заброшен ещё в 1995-м году, возвращается.

Исходный код интерпретатора Focal-81 был модифицирован для соответствия современным реалиям. Без этого интерпретатор даже отказывался собираться. Однако, теперь пропатченная версия собирается и работает.

>>> Скачать

Вышли первые версии Emacs X Window Manager — тайлингового менеджера окон (WM), выполненного в качестве дополнения для Emacs. В проекте используются библиотеки XELB (X protocol Emacs Lisp Binding) и EXIM (Emacs X Input Method), все окна запущенных приложений представлены в виде Emacs-буферов.

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

Вышла в свет платформа Ceramic — инструментарий для создания кроссплатформенных приложений с помощью веб-технологий.

Ceramic написан поверх Electron, аналогично текстовому редактору Atom от Github. Примечательным моментом является использование Common Lisp в качестве языка разработки. По словам авторов, Lisp обспечивает быстрый старт и высокую скорость разработки в сочетании с высокой производительностью и зарекомендовавшей себя промышленной надежностью.

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

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

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

Laravel 5.1 будет получать обновления безопасности в течении трёх лет.

Долгосрочная поддержка, возможно, самая главная особенность этого выпуска, но релиз так же включает некоторые другие новые функции.

( читать дальше... )

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

Проект CopperSpice — это набор С++ библиотек производных от фреймворка Qt 4.8.

Его основной целью является переработка кодовой базы родительского проекта, чтобы иметь возможность полноценного использования шаблонов, метапрограммирования и нового стандарта Си++11. По мнению разработчиков, данные архитектурные решения позволили полностью отказаться от использования генератора кода известного как Moc (Qt Meta-Object Compiler).

Именно Moc, как таковой, не поддерживает многие возможности современного Си++ как то: шаблоны, сложные типы данных, статическую проверку типов и сильно связан с операциями строкового сравнения. Удаление Moc позволит увеличить производительность приложения, сделает процесс сборки более простым, а также позволит выявлять большее количество проблемного кода еще на этапе компиляции.

Кроме поддержки функциональности Qt 4.8, в CopperSpice выполняется портирование и некоторых классов Qt 5.

Код распространяется под лицензией LGPL.

Основные возможности фреймворка CopperSpice:

• CopperSpice является форком Nokia LGPL Qt 4.8.2;
• Qt Moc более не используется;
• фреймворк написан на Си++11;
• библиотека может быть напрямую слинкована с обычным приложением на Си++;
• шаблонный класс может наследоваться от QObject;
• для сборки библиотек CopperSpice используется привычный многим GNU Autotools.

Фреймворк предоставляет следующие библиотеки:CsCore, CsGui, CsMultimedia, CsNetwork, CsOpenGL, CsPhonon, CsSql, CsSvg, CsWebKit, CsXml и CsXmlPatterns.

По заявлению разработчиков конвертация проектов на Qt в CopperSpice легко осуществляется утилитой PepperMill.

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

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

Пакет для создания иллюстраций к учебным пособиям fiziko 0.1 позволяет быстро вносить в иллюстрации объекты реального мира, выполненные в стиле «рисунок со штриховкой».

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

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

Haxl — библиотека на языке Haskell, которая упрощает доступ к ресурсам, таким как базы данных или web-сервисы. Haxl может обрабатывать в пакетном режиме запросы к одному источнику данных, конкуррентно обрабатывать запросы к многим источникам данных и кешировать предыдущие запросы.

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

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

KeeperRL — это смесь Dungeon Keeper и Dwarf Fortress, но с использованием элементов игровой механики «roguelike». Вам предстоит стать темным властителем (по типу Саурона), который ищет знания полного разрушения. Главной особенностью данной RTS является то что что вы можете вашего главного героя и миньонов пустить на поле битвы. Персонажи могут использовать оборудование, свитки, зелья, заклинания и другие вещи, как и обычно в играх типа «roguelike». Бои пошаговые, в игре много тактики. Весь мир процедурно генерируемый, так же есть режим приключения.

Список изменений

• Добавлено больше деревень гномов, человекоящериц, воинов. Карта увеличилась в 3 раза.
• Дерево технологий включает в себя 21 достижение, книги технологий разбросаны по карте.
• Появилась возможность захвата пленных, их можно казнить, истязать или использования в качестве рабочей силы.
• Появилась возможность сохранения и загрузки игры.
• Новые ловушки: сигнализация, паутина, ужас и ловушка-сюрприз.
• Добавлена система менеджмента инвентаря миньонов.
• Лимит миньонов увеличен до 40.
• Добавлена мини-карта.
• Новый простой интерфейс постройки комнат.
• Добавлена прокрутка по карте стрелками.

Полный список изменений

Тизер игры

Скриншоты [1] [2]

Скачать

>>> Сайт

Google Translate CLI — инструмент, который позволяет вам переводить текст через командную строку, используя при этом Google Translate.

>>> Подробности на английском

Вчера состоялся релиз программы MakeHuman.

MakeHuman - это программа для создания трёхмерных моделей людей для любых целей - иллюстраций, анимации, игр. Особенности программы:

• Моделирование параметрическое, то есть происходит путём изменений болванки как в общем (пол, рост, вес, пропорции, возраст), так и по отдельным участкам тела.
• Доступно несколько вариантов одежды и обуви, причёсок.
• Доступно несколько вариантов оснастки (rigging) как для работы с аддоном Rigify из Blender 3D, так и для экспорта в различные игры/движки.
• Доступно несколько уровней детализации и топологии для различных способов использования: от высокой детализации для фотореалистичного рендеринга до крайне низкой для общих планов массовки в анимации.
• Лицензия GPL v.3, лицензия моделей CC Zero (Public Domain).

  Программа написана на Python, поэтому доступна для большинства распространённых платформ - Linux, MacOS, Windows.

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