Новости из мира операционных систем Выпуск от 12.03.2006.'
Новости из мира операционных систем
Вышел Linux 2.6.16-rc6
Вышел шестой кандидат в релиз 2.6.16 ядра Linux. Исправлены различного рода ошибки, в том числе неприятности приводившие к невозможности загрузки на некоторых машинах. Финальный релиз 2.6.16 должен последовать уже достаточно скоро, хотя Линус отмечает, что в него, пожалуй, вошло несколько больше изменений, чем ему хотелось бы.
На OSRC.info выложена достаточно не новая, однако, от того ничуть не менее актуальная и полезная книга Дейкстры "Дисциплина программирования":
Предлагаемая книга пpедставляет собой один из первых шагов в рассмотрении теории процесса программирования. В ней с каждым оператором, с их комбинациями и, в том числе, с циклами связываются преобразования предикатов, являющиеся формальным выражением их свойств, и определение свойств программы в целом превращается в задачу логического вывода. Особенно важно, что aвтop объясняет и демонстрирует на примерах, как этим формализмом можно пользоваться для практического программирования.
В ближайшее время рассчитываю пополнить библиотеку несколькими книгами по основам программирования и того, что называют computer science, помощь приветствуется.