Пара команд, которые время от времени бывают полезными при анализе программ:

iso646.h

Наткнулся на забавный заголовочный файл в стандарте Си - iso646.h. В нём логические и битовые операции определены символами:

#define and    &&
#define and_eq    &=
#define bitand    &
#define bitor    |
#define compl    ~
#define not    !
#define not_eq    !=
#define or    ||
#define or_eq    |=
#define xor    ^
#define xor_eq    ^=
Википедия утверждает, что это нужно для не querty клавиатур, на которых сложно печатать по-человечески.  Правда непонятно, используется ли это где-то на практике - на гитхабе все результаты - какие-то тестовые модули.

Перевод обзорной статьи про Saturn

К сожалению у меня последнее время не хватает времени на написание статей для бложика, но буду стараться его выцарапать. А пока что ловите перевод статьи про статический анализатор C - Saturn. Мне он нужен был только для экзамена по английскому, но пару комментариев я здесь оставлю.

Оригинал и перевод здесь.

gentoo и lto

Итак, на этот раз попытаемся собрать Gentoo с поддержкой lto.

Ещё один time

Внезапно узнал, что есть две утилиты time. Одна стандартная, которая показывает время, затраченное процессом на выполнение. Другая - ГНУтая, которая имеет ряд плюшек.

Продолжаю щупать OCaml

Теперь решил написать простенькую программу на OCaml, провести замеры и сравнить с аналогичной программой на плюсах.

Arduino

Появился у меня Arduino. Очень хорошая штука для тех, кто ни в зуб ногой в железках, т.е. для таких как я. И что особенно приятно - SDK запускается но генте почти без лишних проблем. Вся информация ниже доступна на первой странице гугла.