LINUX.ORG.RU

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

EECS: Electrical Engineering vs Computer Science

Форум — Talks

Гипотетическая ситуация. Вы поступили в MIT (или куда-нибудь ещё, где есть похожая модель обучения) на Electrical Engineering and Computer Science и вам надо выбрать: Electrical Engineering или Computer Science. Что бы вы выбрали? И, главное, почему?

Схемы обучения есть ниже, но если чё, то вот EE: http://www.eecs.mit.edu/sites/default/files/6-1.pdf а вот CS: http://www.eecs.mit.edu/docs/ug/6-3.pdf

 , ,

mentalmenza
()

Курс лекций «Автоматическое доказательство теорем»

Новости — Конференции и встречи
Группа Конференции и встречи

С 28 сентября Джон Харрисон прочитает серию лекций об автоматическом доказательстве теорем:

  • Background, history and propositional logic.
  • First-order logic with and without equality.
  • Decidable problems in logic and algebra.
  • Interactive theorem proving and proof-checking.
  • Applications to mathematics and computer verification.

Лекции будут проходить в ПОМИ РАН (Санкт-Петербург, наб. р. Фонтанки, 27), Мраморный зал, второй этаж.

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

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

Профессор Харрисон занимается формальной верификацией в компании Intel Corporation. Его основной специализацией является верификация алгоритмов, работающих с числами с плавающей точкой.

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

 ,

ymn
()

Вдруг кому надо. G-Object-Introspection для Common Lisp

Форум — Development

Собственно, сабж: https://github.com/andy128k/cl-gobject-introspection

Документация есть. На простых примерах протестировано (HelloWorld в каталоге test)

 , ,

monk
()

Про коммон лисп и гуй.

Форум — Development

Здесь будет типа моя персональная ЖЖшечка. Но и вопросы к аналитикам тоже будут, не беспокойтесь. Прочитал тут «Зеркало в зеркале» Энде, а на русском не нашел. И вот захотел попробовать перевести (совершенно новый вид деятельности для меня, надо сказать). И вот нужна прога примерно с такими функциями: Деление экрана пополам, с одной стороны оригинал, с другой перевод с возможностью редактировать на месте, разделение текстов на сегменты и выравнивание переведенного с переводимым, возможность оставлять куски не переведенного кода и делать пометки, онлайн словарь. Ну таких прог я нашел пару, но они на жабе и не собираются у меня (в портах жаба безальтернативно завязана на alsa почему-то).

Вот думаю, а если попытаться написать самому? Задача прямо таки не простая. И вот вопросы касательно гуйни в Common Lisp. Могу ли я к гую (например, cl-gtk2) прикрутить спеллчекер (вроде, обычно это GtkSpell)?

Пример использования у них прост:

GtkTextView* view = gtk_text_view_new ();
GtkSpellChecker* spell = gtk_spell_checker_new ();
gtk_spell_checker_set_language (spell, "en_US", NULL);
gtk_spell_checker_attach (GTK_TEXT_VIEW (view));

The GtkSpellChecker then watches modifications to the GtkTextView and 
tries to highlight the misspellings. The GtkSpellChecker is automatically 
destroyed when the GtkTextView to which it is attached is destroyed. 

Значит ли это, что мне просто нужно сделать обвязки для всех этих функций в CFFI или нужно что-то ещё? Я, например, не знаю, как там работает cl-gtk2.

Потом словарь не знаю, как делается. Хочется чтобы тоже с GTK была интеграция. Типа нажал правой кнопкой на слово, а там варианты перевода.

В общем, был бы русский перевод той книги, нафиг бы такой софт не нужен был.

 , мамкины макароны

HNO-Arzt_
()

Выбор объектива

Форум — Talks

Всем привет, прошу помощи местных фотографов, хочу купить объектив на Canon EOS 650D. Бюджет=250$ Кстати, сама тушка тоже ещё не куплена, так что принимаются любые советы. Цель покупки-хобби, возможно и какая-то подработка. И верно ли, что лучше купить хороший объектив, чем суперпрокачаную тушку? И вообще, что посоветуете новичку? Я последний раз пользовался ФЭД-3 и о современных реалиях знаю мало.
А линукс тут при том, что на него будут скидываться эти самые фотки и скорее всего, в нём же обрабатываться.

 , ,

Pyzia
()

Вышла книга по практике на Common Lisp: «Loving Common Lisp, or the Savvy Programmer's Secret Weapon»

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

Дословный перевод книги: «Любовь к Common Lisp, или секретное оружие опытного программиста».

Это третья редакция книги, написаннная Mark Watson. В этой редакции удален устаревший материал и добавлен новый, который рассматривает следующие практические приложения:

  • MongoDB
  • Solr
  • CouchDB
  • реляционные базы данных

Также добавлена глава по обработке естественного языка (NLP), используя библиотеку автора, и небольшая глава по сбору информации.

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

Mark Watson имеет большой проффессиональный опыт в использовании Лисп языков с 1980 года.

Книга опубликовна в фоматах: PDF, EPUB (для iPad) and MOBI (для Kindle) — без DRM.

Поддержать автора и приобрести книгу можно по адресу: https://leanpub.com/lovinglisp

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

 , ,

gensym
()

Где купить такой блокнот?

Форум — Talks

http://www.3dnews.ru/news/655400

Собственно как мне, находясь в РФ/ДС2 получить такую игрушку? Где купить?

Приветствуются ссылки на отечественные и зарубежные интернет-магазины в том числе с китайскими аналогами.

Ъ: Устройство на e-ink со стилусом. Можно рисовать картинки. Хранит до 2000 страничек, есть варианты, разлинованные под ежедневник. Можно подключать к PC по USB.

P.S. В статье речь про устройство на ЖК дисплее, но я ищу e-ink

 

trex6
()

org-mode и экспорт русского текста в pdf

Форум — General

Привет.

Подскажите, как заставить org-mode + texlive «печатать» кириллицу?

дистрибутив linuxmint, «extra», «кириллические» и «ru» пакеты для texlive установлены.

 , ,

kvitaliy
()

Выход mocl

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

mocl — набор инструментов для разработки на Common Lisp под мобильные платформы iOS и Android. По заверениям разработчиков получаемый код (используется LLVM) по производительности значительно превосходит аналогичный на Java/Dalvik.

В основе mocl лежит идея, заключающаяся в том, что логика приложения должна быть полностью описана на Лиспе, а пользовательский интерфейс — быть «родным» для платформы. Авторы проводят аналогию с Вэбом, когда логика серверного приложения описана на одном языке (например, на Лиспе), а представление — на другом (HTML + JavaScript).

Цена лицензии варьируется от $1299 для серьёзных компаний до $199 для индивидуальных разработчиков. Также предусмотрена «Source code license» для особых энтузиастов, доступ к которой, по-видимому, дают после обращения в службу поддержки.

Пример приложения на Github.

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

 , ,

yoghurt
()

Вышла RunaWFE 3.6 - система управления бизнес-процессами предприятия

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

RunaWFE — это свободная система управления бизнес-процессами и административными регламентами. Написана на Java, распространяется под открытой лицензией LGPL. Система основана на популярном ядре JBoss jBPM, содержит большое количество компонентов, задача которых — обеспечить удобную работу конечного пользователя.

Изменения после версии 3.5

Редактор бизнес-процессов преобразован в среду разработчика:

  • Теперь кроме бизнес-процессов в среде разработчика можно создавать и редактировать боты и бот-станции;
  • Для ботов введены формальные и фактические параметры. Теперь в бизнес-процессах можно устанавливать соответствие между переменными бизнес-процесса и формальными параметрами бота.

Online-демо системы

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

 , , , ,

amikheev
()

Lisp Hackers. Бесплатная книга, содержащая интервью с разработчиками и пользователями Lisp

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

Книга содержит интервью с 14 разработчиками и пользователями Лиспа.

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

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

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

 , ,

rikardoac
()

В чём плюсы image-based разработки?

Форум — Development

archimag сказал, что image-based разработка — для него основное достоинство Common Lisp. В варианте SLIME. То есть не формируем в конце исходники из образа, а меняем исходники и на каждом шагу чуть-чуть меняем образ.

Имхо, image-based заставляет смотреть на программу не как на результат компиляции файлов исходников, а как на живой REPL, который иногда можно подкрутить для получения результата.

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

С другой стороны, предполагаю, blub-парадокс. Поэтому хочу узнать, что же особенно хорошего в image-based разработке с точки зрения тех, кто считает image-based лучше чем file-based.

 , ,

monk
()

Каким софтом можно сгладить видеосъёмку? - пример:

Форум — Talks

например этот http://tinyurl.com/n3rvhah видно, что была сделана обработка исходного ролика - видно по «танцующим» уровням верха и низа.

eg0_dist0rti0n
()

Занимается кто-нить йогой?

Форум — Talks

Нашел на полке старые древние книги за авторством Мантек Чиа: http://booklya.com.ua/files/books/40311_1.jpg и http://www.dashkevych.com/images/DSC03507.jpg

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

Еще краткая суть:

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

http://hanuman.ru/style/daosskaia-yoga

Занимается кто подобным? Как оно и что за литературу лучше почитать?

 йога

Siado
()

У LFE появилася новый модный сайт

Форум — Talks

Lisp Flavored Erlang (LFE) — Lisp-2 фронтэнд для компилятора языка программирования Erlang. И у него появилась новая замечательная страница c квикстартом и документацией:

http://lfe.github.io/

Вот. Новичкам или кого тошнит от синтаксиса Erlang, должно понравится.

 , ,

gensym
()

Open Source язык для программирования биологических клеток

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

Дрю Энди (Drew Endy), соуправляющий International Open Facility Advancing Biotechnology (BIOFAB) ведёт разработку нового открытого стандарта языка программирования, пригодного для трансляции в генетическую информацию с целью дальнейшего исполнения на живых клетках.

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

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

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

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

 , , , ,

prozium
()

Как в R вывести график нескольких timeseries.

Форум — Development

Есть данные в формате
2013-04-12 04:41:47.2268,name,4
2013-04-12 04:41:47.2268,name1,4
2013-04-12 04:41:47.2268,name2,4
2013-04-12 04:41:47.2268,name3,4

Хочется вывести для каждого имени график значений (все на одном графике), И посмотреть выбросы относительно среднего, для каждой величины.
Но застрял еще на первом.
Подскажите, как сделать, или ткните в соответствующий ман.

Svoloch
()

Релиз R 3.0.0

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

Вышла мажорная версия самой динамично развивающейся среды для работы со статистической информацией, включающая язык программирования и огромное количество пакетов. Этот открытый проект является стандартом де-факто для множества компаний и университетов (достаточно взглянуть на связанные со статистикой курсы на Coursera).

Лицензия: GPLv2 и GPLv3, отдельные пакеты могут использовать BSD, MIT и другие лицензии.

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

  • поддержка длинных векторов (2^31 и более значений) на 64-разрядных системах;
  • память, доступная R на 64-разрядных системах, ограниченна исключительно ОС;
  • запрет использования отрицательных чисел в качестве цвета;
  • многочисленные улучшения производительности (замена .Call() на .Internal(), уменьшение числа копирований при операциях и т.п.);
  • исправления в реализации бета-распределения;
  • установка переменной окружения R_C_BOUNDS_CHECK=yes включает проверку выхода за границы массива при вызовах кода на C и Fortran;
  • из базы лицензий убрана проблемная лицензия artistic;
  • множество других изменений, детально описанных в анонсе по ссылке.

При наличии пакетов, ранее установленных с помощью R, а не через системный менеджер пакетов, может понадобится их пересборка:

update.packages(checkBuilt=TRUE)

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

На момент написания новости релиз уже должен был разойтись по зеркалам CRAN.

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

 ,

Lennart
()

Заявление в LaTeX

Форум — Desktop

Появилась необходимость сверстать бланк заявления в latex. Не могу, вот, понять, как сделать шапку?

 , , заявление

VeroLom
()

Чем делать скринкасты (видеозахват экрана) ?

Форум — Multimedia

Kazam - падает в Ubuntu 12.10

 ,

powerguy
()