gallery.iportnov.tech

iportnov.blogspot.com

Случайные заметки: Системы контроля версий. Git.

http://iportnov.blogspot.com/2008/06/git.html

Четверг, июня 19, 2008. Системы контроля версий. Git. Решил всё-таки написать некое введение в тему, чтобы бы было куда давать ссылки ;) Примечание: информация расчитана на не очень опытных разработчиков. Профессионалам, думаю, все освещенные здесь вопросы покажутся тривиальными. Товарищам, знакомым с контролем версий, но не знакомым с Git, предлагаю первые разделы пропустить. Что такое управление версиями и зачем оно? Хотим приделать к программе новую функциональность, но сразу ясно, что, во-первых, сра...

iportnov.blogspot.com

Случайные заметки: 07/01/2010 - 08/01/2010

http://iportnov.blogspot.com/2010_07_01_archive.html

Пятница, июля 23, 2010. Вычислимость, λ-исчисление, теория типов, автоматизация доказательств. Это краткое и весьма поверхностное изложение результатов нескольких связанных разделов математики за последний век. Размещаю, в основном, чтобы несколько упорядочить мысли в голове. Ну и чтобы не забыть. Тут могут быть неточности и даже фактические ошибки, если увидите - сообщите в комментариях. Если x — это символ, то x — это λ-выражение;. Если E — λ-выражение, то (E) — λ-выражение;. Над λ-выражениями можно пр...

iportnov.blogspot.com

Случайные заметки: Введение в прикладное программирование под GNU/Linux

http://iportnov.blogspot.com/2011/10/gnulinux.html

Пятница, октября 28, 2011. Введение в прикладное программирование под GNU/Linux. Это конспект, который я готовил для доклада на конференции. Проводившейся местным университетом совместно с нашей LUG. Доклад «для самых маленьких, так что профессионалам просьба не жаловаться на поверхностность и обзорность. Я буду рассматривать разработку с использованием тех средств, которые являются наиболее «родными для GNU/Linux. К ним относятся:. Текстовые редакторы Vim и Emacs. Утилита для сборки проекта GNU make.

iportnov.blogspot.com

Случайные заметки: 04/01/2009 - 05/01/2009

http://iportnov.blogspot.com/2009_04_01_archive.html

Понедельник, апреля 06, 2009. Это конспект моего доклада на семинаре, организованном нашей LUG совместно с университетом. Опять же, времени было пшик, так что доклад весьма обзорный. Речь пойдёт о файловой системе нового поколения. Традиционно ФС играла значительную роль в организации Unix-систем. И во многом именно свойствами ФС определялись свойства той или иной реализации Unix. Приведу фрагмент интервью Chris Mason - основного разработчика Btrfs:. Опишите Btrfs своими словами. Да, всех их :) Здесь мно...

iportnov.blogspot.com

Случайные заметки: 10/01/2012 - 11/01/2012

http://iportnov.blogspot.com/2012_10_01_archive.html

Четверг, октября 11, 2012. Домашняя бухгалтерия в командной строке, yet another. Сделал вот ещё одно приложение для «домашней бухгалтерии в командной строке, в стиле ledger или hledger, но лучше :). Называется YaLedger (yet another ledger). Код: https:/ gitorious.org/yaledger. README: https:/ gitorious.org/yaledger/yaledger/blobs/master/README.ru. Автоматический выбор корреспондирующих счетов по настраиваемым правилам, так что в большинстве случаев достаточно записывать только одну половину проводки;.

iportnov.blogspot.com

Случайные заметки: Об изготовлении EPUB из DocBook

http://iportnov.blogspot.com/2011/03/epub-docbook.html

Воскресенье, марта 27, 2011. Об изготовлении EPUB из DocBook. Тут не так давно я уже упоминал, что из DocBook можно делать, в том числе, и EPUB. Однако процесс не вполне тривиальный; мне кажется, его стоит расписать несколько подробнее. В IBM DeveloperWorks описан такой процесс. Однако изготовленный по этому рецепту файл будет обладать парой недостатков:. Это будет файл устаревшего формата «Open Epub;. В нём не будет внедрённых шрифтов. Без символа новой строки в конце). В ней — файл. Stringparam html&#4...

iportnov.blogspot.com

Случайные заметки: Домашняя бухгалтерия в командной строке, yet another

http://iportnov.blogspot.com/2012/10/yet-another.html

Четверг, октября 11, 2012. Домашняя бухгалтерия в командной строке, yet another. Сделал вот ещё одно приложение для «домашней бухгалтерии в командной строке, в стиле ledger или hledger, но лучше :). Называется YaLedger (yet another ledger). Код: https:/ gitorious.org/yaledger. README: https:/ gitorious.org/yaledger/yaledger/blobs/master/README.ru. Автоматический выбор корреспондирующих счетов по настраиваемым правилам, так что в большинстве случаев достаточно записывать только одну половину проводки;.

iportnov.blogspot.com

Случайные заметки: 01/01/2010 - 02/01/2010

http://iportnov.blogspot.com/2010_01_01_archive.html

Воскресенье, января 03, 2010. Давно я что-то сюда не писал. Замотался совсем. В частности, несколько неожиданно для себя стал техническим писателем :). Пока что задокументирую несколько проектов, которые у меня сейчас в более-менее вялотекущей разработке. Пожалуй, в хронологическом порядке. Это фреймворк (не очень высокого уровня, на настоящий момент) для создания web-приложений на Haskell. Проект в значительной мере исследовательский: насколько сложно/просто писать веб-приложения на Haskell? Надеюсь в б...

iportnov.blogspot.com

Случайные заметки: 02/01/2009 - 03/01/2009

http://iportnov.blogspot.com/2009_02_01_archive.html

Суббота, февраля 14, 2009. Обзор свободного математического ПО. Это конспект моего доклада на семинаре, организованном нашей LUG совместно с университетом. Соответственно, я не мог охватить всё - у меня на доклад было где-то 15 минут. Известные пакеты - это гиганты. Функции в программах по сравнению с программами, для этого предназначенными, выглядят убого и смешно. А небезызвестный MathCAD пытается включить в себя всё, при этом всё реализовано так себе. Причина проста: нельзя объять необъятное. Maxima и...