Bootstrap yourself to write an OS from scratch. A book for self-learner.

Competitive Programmer's Handbook

An open-source, customizable intermediate logic textbook

Book about PostgreSQL (russian)

Is Parallel Programming Hard, And If So, What Can You Do About It?

Учебное пособие по защите информации кафедры радиотехники и систем управления МФТИ

Slides, figures, and other material for teaching using tracing and observability on FreeBSD

List of bugs found in distributed protocols

Russian translation of Okasaki's Purely Functional Data Structures

Public snapshots of "ACSL by Example"

Source code for Russian translation of SICP

Frama-C and WP tutorial

Download, manage, and search a BibTeX database.

PlusCal Cheat Sheet by Stephan Merz

Public reference documents for the SMT-LIB standard

A helper document about the Alloy specification language

PIGTIKAL (puzzles in geometry that I know and love)

Школа яхтенного капитана. Составитель: Е.П. Леонтьев. 1983

Школа яхтенного рулевого. Под общей редакцией Е.П. Леонтьева. 1974

Предварительный вариант перевода книжки Уинклера --- замечания приветсвуются.