LINUX.ORG.RU

Избранные сообщения kvitaliy

Как заставить Lisp работать быстрее, чем C

Форум — Development

Зачем продолжают писать на C/C++, когда можно быстро все сделать на Lisp, а потом критические участки кода оптимизировать?

How to make Lisp go faster than C: http://www.iaeng.org/IJCS/issues_v32/issue_4/IJCS_32_4_19.pdf
Еще не известно, какая производительность будет у реального большого проекта.

Кто-то даже предлагал на Haskell микроядро написать: https://www.pdx.edu/computer-science/sites/www.pdx.edu.computer-science/files...

 , , ,

Fast_Sloth ()

Новый алгоритм градиентного бустинга от Яндекса

Новости — Open Source
Группа Open Source

Компания «Яндекс» представила новый алгоритм градиентного бустинга на деревьях решений CatBoost. Также опубликован исходный код и ряд утилит для обучения и визуализации его результатов под лицензией Apache 2.0.

Градиентный бустинг активно используется в машинном обучении. Алгоритм CatBoost отличается поддержкой категориальных параметров «из коробки», а на тестах (с открытыми датасетами и исходным кодом) демонстрирует лучшие результаты, чем основные конкуренты: LightGBM, XGBoost, H2O.

>>> Репозиторий на GitHub

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

 , ,

rymis ()

По просьбам трудящихся, ОФФТОПИК ЛИСТ S&E (неофициальный)

Форум — Science & Engineering

Этот раздел форума, как подсказывает описание, был создан «для обсуждения научных и инженерно-технических тем». Несмотря на то, что критерии «научности» разработаны уже довольно давно, и используются весьма эффективно, раз за разом в S&E появляются одни и те же споры на одни и те же не совсем научные темы.

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

Итак, платиновые треды S&E (пока только современная фундаментальная физика, специалисты из других областей приглашаются добавить свои наболевшие баяны, если таковые имеются):

  1. Я обнаружил парадокс СТО! Я опроверг Эйнштейна!
    А ты вообще читал СТО? Скорее всего нет. А согласись полезно хотя бы знать ту теорию которую ты собрался опровергать.
  2. Да, я ее читал и вообще в курсе. Я все еще уверен что я прав, а Эйнштейн нет.
    Скорее всего ты просто чего-то из прочитанного не понял. Вот в этой статье подробно разбираются все самые известные парадоксы СТО.
  3. СТО не работает на микромасштабах/в космологии/вообще нигде. Зашоренные физики не хотят открыть глаза на истину!
    Начнем с того, что СТО уже больше ста лет. Для сравнения, примерно в то же время когда Эйнштейн писал свои статьи, свой первый самолет построили братья Райт. Так вот, современная физика примерно настолько же отстоит от теории Эйнштейна насколько современная авиация отстоит от «Флайера-1».
    Продолжим тем, что СТО никогда не разрабатывалась как теория для практического решения каких бы то ни было задач. СТО была программной теорией призваной объяснить нестыковки между электромагнетизмом Максвелла и Ньютоновской механикой. СТО — это мысленный эксперимент, и в качестве такового прекрасно работает и по сей день.
  4. ОТО не работает/не подтверждается экспериментами/38 микросекунд в GPS это вранье!
    Ну я думаю тут бесполезно давать ссылки на всевозможные научные статьи, ты ведь все равно не поверишь, и скажешь что это они нам мозги пудрят, а на самом деле никаких поправок в свои спутники не вносят.
    Но зато можно дать ссылку на официальный мануал по приемникам GPS: http://www.gps.gov/technical/icwg/ICD-GPS-200C.pdf читать параграф 20.3.3.3.3.1
    В соответствии с этим мануалом делаются абсолютно все приемники GPS, и тут уж соврать не выйдет. Все приемники в мире вносят описанные в этом параграфе поправки при вычислении координат и получают верный ответ. Остается только предположить всемирный заговор, в который вовлечены даже китайцы, которые варганят GPS приемники в подвале на коленке.
  5. Все современные теории не верны, потому что базируются на ложных принципах! Вот Эйнштейн...
    Да оставьте вы уже дедушку в покое! Вклад Эйнштейна в науку, конечно, велик, но к квантовым теориям он не имеет никакого отношения. Он вообще в них не верил и был их противником до самой своей смерти. Отцом современных физических теорий является Стивен Вайнберг, и если ты сейчас впервые услышал эту фамилию, то тебе в тредах по современной физике вообще делать нечего.
  6. Все современные теории не верны, потому что описывают выдуманные объекты не существующие в реальности. А на самом деле все не так.
    Ну как оно там «на самом деле» не знает никто. Это знать просто невозможно. А что отличает верную теорию от неверной, так это способность предсказывать результаты экспериментов. Вот краткий список исторически значимых экспериментов:
    • Эффект Зеемана, расщепление спектральных линий (1897 год)
    • Тормозное излучение электрона (1909 год)
    • Комптоновское рассеивание, рассеивание фотонов на заряженных частицах (1923 год)
    • Бета-распад нейтрона (1933 год)
    • Эксперимент Ву, нарушение четности (1957 год)
    • Распад каона, нарушение CP-симметрии (1964 год)
    • Нейтральные токи (1973 год)
    • J/Psi, Upsilon и прочие мезоны (1974, 1977, далее везде)
    Эти эксперименты, это не просто красивые слова, это конкретные числа и результаты. И можно долго спорить существует там Z-бозон или не существует, но в конечном итоге все сводится к трекам в трековой камере и уровням энергии в калориметре. Они-то точно существуют. И чтобы теория была признана верной, ей мало придумать новые названия для объектов микромира, ей надо предложить механизм как предсказать конкретные числа. И пока что такая теория всего одна. Современная стандартная модель не возникла из ничего, это результат полувековой работы и эволюции самых разных, зачастую признаных неверными, теорий. И она считается верной не потому, что слово «кварки» всем нравится больше чем слово «амеры», а потому, что она верно предсказывает результаты экспериментов. Так что прежде чем заявлять что есть некая теория которая гораздо лучше стандартной модели, приложи хотя бы один теоретический расчет результатов хотя бы одного из вышеприведенных экспериментов.
  7. Объясните мне на пальцах электродинамику/квантовую механику/теорию струн/другое чего.
    Большая часть физических теорий на пальцах не объясняется. Вообще. Никак. Для электродинамики нужен матанализ на уровне третьего курса технического вуза. Для квантовой электродинамики до кучи еще требуется теория групп. Квантовая хромодинамика добавляет неабелевы группы, асимптотическую свободу, теорему факторизации и еще кучу умных слов на изучение которых придется потратить пару лет жизни. Для теории струн нужен вообще такой математический аппарат, что ее даже и не проходят на физфаке. Только факультативом на старших курсах, и то в виде общего обзора. Во всем мире не наберется и пары тысяч человек которые бы реально в ней разбирались. «Объяснить на пальцах» обычно означает «привести аналогию из обычной механики». Таких аналогий нет. Если бы эти физические теории были аналогичны каким-то другим, более простым теориям, то их бы и проходили вместе еще в школе. Их не проходят именно потому, что это невозможно. Вообще. Никак.
  8. Что будет если на летящем на сверхсветовой скорости звездолете влететь в черную дыру и включить фары?

    Никогда вопросов глупых
    Сам себе не задавай,
    А не то еще глупее
    Ты найдешь на них ответ.
    Если глупые вопросы
    Появились в голове,
    Задавай их сразу взрослым.
    Пусть у них трещат мозги.

 

morse ()

Как заставить emacs, при открытии, открывать ранее открытые файлы?

Форум — Development

В других редакторах это само собой работает, а в emacs я никак не могу найти как это включить. Гуглил. Не нашел.

 

Guru_1c ()

Учебник по геометрии под свободной лицензией

Новости — Open Source
Группа Open Source

Пользователем jemmybutton выложена оригинальная вёрстка учебника геометрии Оливера Бирна (на английском языке).

Оформление книги сделано в (La)TeX и доступно для повторного использования в производных работах. Все иллюстрации книги параметризованы и генерируются автоматически.

>>> Основная ссылка на журнал автора

 , , ,

psv1967 ()

Вышла новая версия SciDB

Новости — Open Source
Группа Open Source

Вышла новая версия проекта SciDB - 12.12.

SciDB - проект Майка Стоунбрейкера, отца многих СУБД.

SciDB - версионируемая СУБД для аналитики, работающая с большими многомерными распределёнными массивами.

Доступны два вида синтаксиса:

  • Array Query Language (AQL) — язык очень похожий на SQL, но работающий не с таблицами (таблица = одномерный массив), а с многомерными массивами;
  • Array Functional Language (AFL) — «чистый» в функциональном смысле полностью эквивалентный AQL язык.

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

В новой версии большое количество исправлений, оптимизаций производительности.

Появилась интеграция с MPICH и ScaLAPACK.

Доступны репозитории для CentOS 6.x, RedHat 6.x, Ubuntu 12.04.

Доступные интерфейсы:

  • Python
  • R
  • iquery (аналог консольного клиента)

В ближайшем будущем планируются:

  • RESTful API
  • JDBC-connector
  • ODBC-connector

SciDB используется:

  • банками
  • страховыми компаниями
  • генетиками
  • астрономами
  • платёжными системами

Из публично доступных примеров: 1000 Genomes Browser

>>> Скачать

 

zabivator ()

Релиз SimpleScreenRecorder 0.3.0

Новости — Open Source
Группа Open Source

SimpleScreenRecorder, несмотря на название, включает в себя расширенные возможности и настройки для записи экранного видео, неполный список из заявленного:

  • Интерфейс на Qt;
  • Быстрее VLC и ffmpeg/avconv;
  • Запись целого экрана либо его части, запись OpenGL приложений напрямую (как это делает Fraps на платформе Windows);
  • Более точная синхронизация видео со звуком (в сравнении с VLC и ffmpeg/avconv);
  • Полная поддержка многопоточности;
  • Остановка и возобновление записи по хоткею или через иконку приложения в трее;
  • Отображение статистики во время записи: размер файла, время записи, частота кадров, битрейт и т.д.;
  • Предпросмотр записанного во время записи - не нужно тратить время на перепросмотр материала;
  • Экспериментальная поддержка «live streaming»;
  • Универсальные настройки по-умолчанию;
  • Всплывающие подробные подсказки практически ко всему;

Новое в версии 0.3.0 :

  • Добавлена поддержка профилей;
  • Новая, более гибко настраиваемая система записи OpenGL;
  • Улучшена поддержка хоткеев при использовании XInput2;
  • Улучшен синхронайзер;
  • Нативная поддержка моно микрофонов;
  • Добавлено определение источника ALSA;
  • Частично переписан бэкенд выхода;
  • Улучшен алгоритм для обработки событий манипулятора мышь;
  • Новые иконки;
  • Исправления ошибок;

Есть пакеты для дистрибутивов: Ubuntu, Arch Linux, OpenSUSE, Debian, Gentoo, Fedora. Простая компиляция и установка для других дистрибутивов.

Ссылка проекта на GitHub с инструкциями по компиляции и списком зависимостей.

>>> Официальный сайт

 ,

VimCasts ()

Cayley — новая графовая база данных на Go

Новости — Open Source
Группа Open Source

Barak Michener, разработчик из Google, открыл исходный код новой графовой базы данных на Go — Cayley.

Предназначение Cayley — быть частью инструментария разработчика для отображения Linked Data-баз знаний и представления информации в виде графов (семантические, социальные сети и т.п.).

Из заявленного:

  • написана на Go;
  • простая установка и настройка;
  • RESTful API;
  • REPL;
  • встроенный редактор запросов и визуализатор;
  • языки запросов: JavaScript и MQL;
  • back-end's: LevelDB, MongoDB;
  • модульная архитектура: легко расширяемая другими языками и back-end'ами;
  • хорошее покрытие тестами;
  • скорость, где возможно.

Лицензия: Apache License, версия 2.0

Википедия о графовых базах данных.
Википедия о Linked Data.

>>> Подробности, исходный код, инструкция по установке и использованию.

 , , , ,

VimCasts ()

Видеолекции по теорфизике под свободной лицензией

Новости — Документация
Группа Документация

Силами кафедры теоретической физики физического факультета Новосибирского государственного университета были записаны лекции по физике. Исходные видеофайлы выложены в открытый доступ под лицензией CC-BY-SA 4.0.

На этот момент доступны для скачивания:

Предупреждение: При скачивании будет возникать предупреждение об отсутствии доверия к сертификату (узлу). Игнорируйте его — это «фича» доступной площадки.

>>> Исходники

 

Evgueni ()

Возможности программ для моделирования сплошных сред

Форум — Science & Engineering

Каковы возможности современных бесплатных (свободных или шарованых) программ для моделирования деформаций твёрдых тел, жидкостей и газов?

Пример задачи: имеется пневматическое ружьё системы Гатлинга со стволами закрученными вокруг общей оси вращения. Из ствола вылетает желатиновый шарик, наполненный краской. Сопротивление воздуха достаточно велико, чтобы через небольшое время шарик треснул по шву. Требуется посчитать и нарисовать траекторию шариков и направление разлёта краски. Все скорости, массы и прочности известны.

Существует ли инструмент, который сделает это проще и быстрее, чем самостоятельно писать расчётную программу?

question4 ()

GHC 7.8.1

Новости — Open Source
Группа Open Source

Спустя почти год с выпуска предыдущей версии, вышла новая версия GHC 7.8.1 — одного из самых мощных и развитых на сегодняшний день компиляторов функционального языка программирования Haskell, который разрабатывается свободной рабочей группой из многочисленных разработчиков, собранных по всему миру и координируемых из лаборатории университета Глазго.

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

  • добавлена поддержка OS X Mavericks и XCode 5. В связи с этим GHC использует Clang для препроцессорной обработки кода для билдов Mavericks;
  • добавлено новое предупреждение по умолчанию -fwarn-typed-holes, подробнее в Typed Holes;
  • возможность выполнять вычисления над натуральными числами на уровне типов при использовании расширения DataKinds;
  • добавлены Closed Type Families;
  • при использовании расширения GeneralizedNewtypeDeriving теперь проводится проверка ролей, подробнее в Roles;
  • добавлены Overloaded Lists;
  • добавлено расширение Pattern Synonyms;
  • переработаны механизмы вывода типов, увеличена скорость, уменьшено потребление памяти;
  • по умолчанию GHC проводит unboxing всех строгих полей «малых» типов для datatype'ов. «Малые» типы — это типы, размер которых меньше, либо равен машинному слову. Это означает что больше не нужно использовать прагму UNPACK для строгих полей с типом Int. Это также относится к типам с плавающей точкой;
  • новый менеджер IO, который значительно лучше масштабируется по сравнению с предыдущим;
  • LLVM-backend поддерживает 128-и и 256-битные SIMD операции;
  • полностью переписан кодогенератор;
  • улучшена поддержка кросскомпиляции;
  • PrimOps для сравнения unboxed значений теперь возвращает Int# вместо Bool;
  • новые PrimOps для атомарных операций;
  • Typeable теперь poly-kinded, типы Typeable1, Typeable2 и т.д. объявлены устаревшими и перемещены в Data.OldTypeable;
  • добавлена возможность параллельной компиляции;
  • добавлена поддержка новой прагмы {-# MINIMAL #-}, разрешающей явную декларацию минимального полного определения класса;
  • в версии 7.10 Applicative станет суперклассом Monad, что потенциально приведет к неработоспособности большого количества кода. Для облегчения миграции GHC теперь генерирует предупреждения о конфликтах Applicative-Monad Proposal (AMP);
  • добавлено расширение InterruptibleFFI extension, подробнее Interruptible foreign calls;
  • добавлен модуль Hooks в GHC API;
  • кодогенератор LLVM теперь поддерживает динамическую линковку;
  • добавлена поддержка Unicode left/right single quotation marks (i.e. U+2018 and U+2019) для сообщений компилятора, если текущая локаль поддерживает Юникод.

Страница загрузки

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

 ,

encyrtid ()

Build Your Own Lisp

Форум — Development

Learn C and build your own programming language in under 1000 lines of code!

Добрый автор поведает вам, как написать Lisp своей мечты на языке C.

 , ,

nerdogeek ()

Ansible 1.5

Новости — Open Source
Группа Open Source

Ansible — открытое программное решение для удаленного управления конфигурациями, разработанное Майклом Де Хаанном в 2012 году.

Ansible берет на себя всю работу по приведению удаленных серверов в необходимое состояние. Администратору необходимо лишь описать, как достичь этого состояния с помощью так называемых сценариев (playbooks, аналог рецептов в Chef). Такая технология позволяет очень быстро осуществлять переконфигурирование системы: достаточно всего лишь добавить несколько новых строк в сценарий.

Краткий список изменений:

  • Опция «when_foo» удалена, так как устарела. Теперь используйте «when:». Также при вводе «when_foo» будет отображено сообщение об ошибке.
  • Опция «only_if» также была удалена.
  • Плагин для подключения ssh теперь стал более эффективным, если вы добавите 'pipelining=True' в конфиг «ansible.cfg».
  • git модуль имеет новые параметры (accept_hostkey, key_file, ssh_opts). Это сделано для того, чтобы облегчить использование протокола git через ssh.
  • При использовании режима ускорения(Accelerated Mode) демон будет перезапущен при указании другого удаленного пользователя между сессиями.
  • Добавлена опция no_log. При использовании данной опции не будут отправляться логи в syslog.

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

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

 

fallout4all ()

как жить с емаксом

Форум — Talks

есть опасность оказаться в окружении емакс-самураев, не знаю что делать

посоветуйте какой-нибудь иллюстрированный учебник для чайника?

или может какие-то материалы, которые окончательно склонили вас на эту скользкую дорожку Хаоса... Типа, прочитал вот этот ман, и теперь кроме имакса ничего не могу

что в нем вообще хорошего?

(сейчас юзаю связку IntelliJ IDEA + Sublime Text...)

 

stevejobs ()

Релиз Bigloo 4.0a

Форум — Development

Опять же, сабж. Изменения в основном — багфиксы. Буковка «а» обозначает не альфу, а первую версию в серии релизов 4.0, потом Мануэль выпустит, вероятно, 4.0b, 4.0c и 4.0d, поэтому сабж можно назвать майлстоуном для нового витка развития Bigloo.

Ссылка

Для тех, кто не знает о сабже: это оптимизирующий компилятор Scheme, генерирующий, пожалуй, наиболее быстрый код по сравнению со всеми остальными (да, даже с учетом Сталина). Умеет кроме всего прочего и в жабку компилироваться.

Что на нем написано: веб2.0 фреймворк Hop, например.

 , ,

buddhist ()

Lisp webframework

Форум — Web-development

Есть тут кто-нибудь, кто реально использует какой нибудь Lisp webframework (на любом диалекте лиспа)?

Хочу попробовать for fun.

 

pi11 ()

\usepackage[unicode]{hyperref} и оглавление

Форум — General

собственно, использую стиль book.

при добавлении \usepackage[unicode]{hyperref}

все элементы оглавления становятся однострочными и, естественно, выходят за пределы страницы.

господа, подскажите, куда копать?

на всякий случай:

\documentclass [a4paper, oneside, 12pt]{book}
\usepackage[singlespacing]{setspace}
\usepackage[utf8]{inputenc}
\usepackage[english,russian]{babel}
\usepackage[unicode]{hyperref}
\usepackage{mathtext}
\usepackage[T2A]{fontenc}
\selectlanguage{russian}
\usepackage{rotate}
\usepackage{floatflt}
\usepackage{indentfirst}
\usepackage{mathrsfs,amsmath,amssymb,amsbsy}
\usepackage{graphicx}
\usepackage{caption}
\usepackage{psfrag}
\usepackage[dvips]{color}
\usepackage[a4paper,portrait]{geometry}
\geometry{top=2cm,bottom=2cm,left=3cm,right=1cm}
\usepackage{array, longtable}
\usepackage{pdflscape}
\usepackage{rotating}
\usepackage{mflogo}
\usepackage{multicol}
\usepackage{caption}[2009/10/09]
\usepackage{fancyhdr}

\pagestyle{fancy}
\fancyhf{}
\fancyhead{}
\renewcommand{\headrulewidth}{0pt}
\fancyfoot[C]{\thepage}
justification=justified, figurewithin=none}
\captionsetup{margin=10pt,font={small,singlespacing},labelfont=bf, justification=justified, figurewithin=none}

\addto\captionsrussian{\def\refname{Библиографический список}}
\addto\captionsrussian{\def\bibname{Библиографический список}}
\pagenumbering{arabic}

.... далее идёт сам документ

scaldov ()

Облачный LaTeX редактор Papeeria

Новости — Проприетарное ПО
Группа Проприетарное ПО

На LOR'е еще не было объявления, а между тем LaTeX среди пользователей линукса популярен.

У ЛаТеХа много достоинств, но есть и недостатки. Одним из них является непростая процедура установки и конфигурации. Онлайн редактор Papeeria позволяет вам верстать LaTeX документы, используя только браузер. Вы можете редактировать исходники и компилировать проект с любого современного устройства с приличным браузером, будь то десктопный компьютер, лаптоп, Chromebook или даже смартфон. Более того, работать над проектом можно и в компании с коллегами: поддерживается совместное редактирование.

Papeeria появилась в виде альфа версии весной, успешно поработала на весенней сессии, прожила лето, перешла из альфы в бету и вот теперь празднует Новый Год. У нас немало вкусных фич, и мы без устали работаем над всё новыми. Мы рады всем пользователям, как платным, так и использующим бесплатный тарифный план.

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

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

 

BarD ()

А давайте создадим нормальную опенсурсную систему проектирования ПО?

Форум — Development

Как правило в линуксах когда речь заходит о визуальном проектировании ПО, или графическом представлении документации к ПО - то все сводится к нескольким словам типа DIA, Inkscape или Gimp. Эти приложения конечно не плохие, но я считаю что они совсем не удобны для этих задач.

А давайте попробуем обсдудить и создать ПО для переноса мыслей из головы на бумагу? Предлагаю взять за основу идею IDEF0 (Очень удачный способ функционального моделирования), убрать лишнее и добавить туда возможность проектирования ООП и прочих финтиплюшек.

Считаю что проект можно сделать в виде веб-сервиса, поэтому потребуются: Бэкэндщики, жабаскриптеры, верстальщики/рисовальщики и просто люди с нормальным вкусом кто может нарисовать вменяемый внешний вид.

Как вам идея?

З.ы. для любителей не читать комменты: проект стремится быть опенсурсным до мозга костей поэтому будут не просто исходники с меткой ЖПЛ. Требуется участие в обсуждении и рождении проекта - все подробности описаны в комментах.

 , , ,

Siado ()

Опубликован перевод книги «Lisp in Small Pieces»

Новости — Документация
Группа Документация

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

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

Здесь нет откровений, невероятно эффективных оптимизаций, мощных систем типов и прочих атрибутов современной computer science (книге 20 лет всё же), но есть отличное твёрдое введение в реализацию языков программирования, призванное заинтересовать новичков, познакомить их с основными понятиями и приёмами этого дела, построив таким образом фундамент для дальнейшего развития.

( Исходники и прочие детали )

>>> Скачать PDF

 , , , ,

ilammy ()