Лишь сейчас добрался до огромного пласта литературы, до которого всё не доходили руки со школы. Наскучив работой, ощутил вчера вечером непреодолимое желание взять в руки что-то, что ни одной буквой не напоминало бы о программировании.  Случайный выбор пал на "Поединок" Куприна. Читал и не мог оторваться до тех пор, пока в четвёртом часу утра не ( Read more... )

Элементы функционального программирования в распространённых языках - Вадим Винник

( Read more... )

( Read more... )

( Read more... )

Click to view

Ленин пишет: «Русский физик, г. Хвольсон, отправился в Германию, чтобы издать там подлую черносотенную брошюрку против Геккеля и заверить почтеннейших господ филистеров в том, что не все естествознание стоит теперь на точке зрения "наивного реализма"». О.Д.Хвольсон и процитированная брошюра заслуживают отдельного внимания.

Как физик, О.Д.Хвольсон ( Read more... )

( Read more... )

( Read more... )

( Read more... )

TL; DR: русский перевод монографии C.A.R.Hoare and He Jifeng "Unifying Theories of programming", публикуется впервые вместе с исходными файлами LaTeX.

Уже начав писать эту заметку, я поймал себя на том, что пишу примерно так: «В конце марта 1999 года я обрёл типографские гранки под названием 'Объединение теорий программирования', совсем готовые к ( Read more... )