Coq: Азы классической логики для алкоголиков

How-to по SELinux, базовые принципы

Эффективный анализатор нагрузки на MySQL

Perl-библиотека расстановки переносов

Журнал прочитанных книг