Случайные заметки
Здесь ретранслируется мой блог http://iportnov.blogspot.com
Изготовление презентаций из Asciidoc с помощью Beamer
В одном из недавних постов я говорил, что из Asciidoc-разметки можно сделать много всяких разных выходных форматов. Среди всего прочего, можно делать и презентации. Не слишком «навороченные», правда, но для многих случаев этого хватает.
Схема такая:
Об изготовлении EPUB из DocBook
Тут не так давно я уже упоминал, что из DocBook можно делать, в том числе, и EPUB. Однако процесс не вполне тривиальный; мне кажется, его стоит расписать несколько подробнее.
Небольшое разъяснение по комментариям
В разных постах в комментариях товарищи меня корректируют — где-то я ошибся, где-то что-то перепутал. Я специально не вношу изменения в пост — чтобы было видно, что вот тут я ошибался, а вот тут меня исправили.
Подготовка технической документации с использованием asciidoc и DocBook
Это мой конспект для выступления на семинаре, проводившемся нашей LUG. См. также презентацию к докладу.
Haskell monads для физматовца. Краткое введение
Ну что, попробую пополнить ряды haskell newbies ;)
Душа?
Я, кажется, понял, что такое душа :) По крайней мере, с точки зрения кибернетики.
Небольшая иллюстрация к предыдущему
Нашёл у Гейтинга [1] иллюстрацию к изоморфизму Карри-Ховарда. Что интересно: насколько я понял, эта иллюстрация была сформулирована до самого изоморфизма.
Вычислимость, λ-исчисление, теория типов, автоматизация доказательств
Это краткое и весьма поверхностное изложение результатов нескольких связанных разделов математики за последний век. Размещаю, в основном, чтобы несколько упорядочить мысли в голове. Ну и чтобы не забыть. Тут могут быть неточности и даже фактические ошибки, если увидите - сообщите в комментариях.
LiveMath III
Это продолжение к стародавнему посту: http://iportnov.blogspot.com/2007/09/livemath-livecd.html.
К сожалению, редко оказывается достаточно времени, чтобы собрать свежую версию LiveMath. Однако же вот, собрал. В этот раз LiveMath основан на Ubuntu 9.10 (Karmic) с добавлениями из Ubuntu Lucid и "Ubuntu Scientific Remix". LiveMath III содержит (среди прочего):
Ядро Linux за 10 минут (обзор)
Это конспект доклада для семинара, проведённого нашей LUG совместно с университетом.
У меня, натурально, было 10 минут, поэтому изложение — галопом по европам, многое упрощено, многое упущено.
