Заблуждения программистов об именах

С точки зрения математической логики, здесь все правильно и элементарно.
Первое утверждение: ∀x P(x).
Второе утверждение: ∀x ¬P(x).
Отрицание первого: ∃x ¬P(x).
Отрицание второго: ∃x P(x).
Оба отрицания отлично уживаются вместе :)

ПИД-регулятор своими руками

кто знает, как на хабре формулы вставлять? никак? пишу в maple-нотации тогда

Use LaTeX, Luke.
mathurl.com/

Когда вы набираете букву «g» первою в строке адреса, то браузер прежде всего подсказывает вам…

privat24.ua

Ropes — быстрые строки

Классная штука Rope, да. Только на Хабре уже была, хотя и не так конкретно.

Диплом бакалавра в LaTeX, или ДСТУ 3008-95 в 150 строк

Отчество — не девичья фамилия матери, но тоже дает в нашем мире определенную информацию :)

Диплом бакалавра в LaTeX, или ДСТУ 3008-95 в 150 строк

Обновил пост, там ссылка на все собранное вместе.

Диплом бакалавра в LaTeX, или ДСТУ 3008-95 в 150 строк

в данном топике автор в качестве примеров приводит что угодно, кроме формул

Именно потому что формулы LaTeX по умолчанию верстает идеально :)

Диплом бакалавра в LaTeX, или ДСТУ 3008-95 в 150 строк

Я сейчас ухожу на несколько часов, но, когда вернусь, обязательно выложу и дополню пост. Заодно и отвечу на некоторые комментарии.

Диплом бакалавра в LaTeX, или ДСТУ 3008-95 в 150 строк

Формально говоря, да.
Если я не ошибаюсь, мало кто пользуется TeX в чистом виде?
В общем, я употребил здесь этот оборот в том же смысле, как «Ньютон — творец дифференциального исчисления», хотя после него матанализ несколько раз дорабатывался и уточнялся :)

Открытое письмо редакции «Журнал Хакер»

На первом использовался delete вместо delete[].
На втором оператор new возвращает тип ServerConnection*, а поле объявлено как ServerConnection&.

Существенно обновленный Evernote 4.0 для Android

Мы считаем, что лучший интерфейс это тот, который появляется только при необходимости и не мозолит глаза в другое время. Этим мы руководствовались при работе над новым подходом к просмотру заметки. Теперь, когда вы открываете заметку и начинаете ее прокручивать, все элементы навигации исчезают, отдавая весь экран в ваше распоряжение. Если же вам нужно будет отредактировать заметку, поделиться ею с другими или вернуться к списку заметок, просто коснитесь экрана.

Где-то я эти идеи уже слышал… ;)

Многозадачность в микроконтроллерах на основе продолжений

Примеры, приведенные в статье, писались под Windows, работают в MinGW и Visual Studio, но внимание! В Visual Studio, в конфигурации DEBUG, библиотека protothreads, в том виде как она есть, не компилируется!
Причина в том, что макрос __LINE__ в конфигурации DEBUG в VS почему-то из константы превращается в вызов функции, это легко лечится, если в файле lc-switch.h заменить
#define LC_SET(s) s = __LINE__; case __LINE__:

на
#define LC_SET(s) s = __COUNTER__+1; case (__COUNTER__):

#if defined(_MSC_VER) && defined(_DEBUG)
#define LC_SET(s) s = __COUNTER__+1; case (__COUNTER__):
#else
#define LC_SET(s) s = __LINE__; case __LINE__:
#endif

Enjoy ;)

Стартует новый набор в Школу анализа данных Яндекса

А где оно на рутрекере? Что-то никак не могу найти, хотел сравнить.

Стартует новый набор в Школу анализа данных Яндекса

Это только те, что авторы лично захотели выложить. Один курс из нескольких десятков. На закрытом сайте — видеозаписи каждого курса каждого семестра (т.е. по одному предмету — несколько архивов видеолекций за последние 3-4 года, пока он читался).

Стартует новый набор в Школу анализа данных Яндекса

Они закрыты, только для студентов ШАД.

Стартует новый набор в Школу анализа данных Яндекса

Филиалы есть в Харькове, Киеве и Минске, но все они заочные. Один только курс, «Алгоритмы и структуры данных», читается очно, все остальные — по записям видеолекций из Москвы. Видеолекции, конечно, офигенные.

Декартово дерево: Часть 1. Описание, операции, применения

Оставлю здесь код из ссылки kotehok, на случай если его удалят с acm.spbgu.ru:

static ltree_t *ltree_merge (ltree_t *L, ltree_t *R) {
  ltree_t *Root, **U = &Root;

  while (L && R) {
    if (L->y > R->y) {
      *U = L;
      U = &L->right;
      L = *U;
    } else {
      *U = R;
      U = &R->left;
      R = *U;
    }
  }

  *U = L ? L : R;

  return Root;
}

Motorola выиграла патентный спор против Apple в Германии, Apple пришлось отключить push email

Мне почему-то представился типичный исходный код типичной мобильной операционки лет эдак через пять…

#ifdef _FEATURE_X_ENABLED
    featureX.launch();
#endif

Ну не отзывать же всю партию планшетов после очередного проигранного суда? Проще послать всем сигнал «отключи фичу» :) В случае с push email проблем-то меньше, достаточно сказать серверу ничего не push`ать в Германию.

1/998001

Конечно же, нет. Иррациональное число по определению не может быть дано дробью.

1/998001

Мне было лень расписывать прогрессию, комментарий и так длинный :) А читателю нагляднее.