wizzard

Я, в общем, давно говорил, что весь этот ваш HTTPS - курам на смех, потому что уведомления со ВСЕХ сайтов идут в plain-text, ну и далее понятно, контроль над почтовым трафиком - контроль над миром.

Но, поскольку руки не доходят (тм), то сам я так PGP ни к одному форумо-движку и не приделал.

Прошло пять лет. Опция "шифровать уведомления" наконец появилась. В Facebook'e. Вот уж от кого не ожидал о_О...



...и результат:



Ну что, ждем, когда другие подтянутся?

http://sel4.systems/

General Dynamics C4 Systems and NICTA are pleased to announce the open sourcing of seL4, the world's first operating-system kernel with an end-to-end proof of implementation correctness and security enforcement.
It is still the world's most highly-assured OS.

- all of the kernel's source code,
- all the proofs,
- other code and proofs useful for building highly trustworthy systems.

The release will happen at noon of Tuesday, 29 July 2014 AEST (UTC+10), in celebration of International Proof Day (the fifth aniversary of the completion of seL4's functional correctness proof).

Completely unique about seL4 is its unprecedented degree of assurance, achieved through formal verification. Specifically, the ARM version of
seL4 is the first (and still only) general-purpose OS kernel with a full functional correctness proof, meaning a mathematical proof that the implementation (written in C) adheres to its specification. In short, the implementation is proved to be bug-free. This implies a number of other properties, such as freedom from buffer overflows, null pointer exceptions, use-after-free, etc.

There is a further proof that the binary code that executes on the hardware is a correct translation of the C code. This means that the compiler does not have to be trusted, and extends the functional correctness property to the binary.

Furthermore, there are proofs that seL4's specifcation, if used properly, will enforce integrity and confidentiality, core security properties. Combined with the proofs mentioned above, these properties are guaranteed to be enforced not only by a model of the kernel (the
spec) but the actual binary. Therefore, seL4 is the world's first (and still only) OS that is proved secure in a very strong sense.

Finally, seL4 is the first (and still only) protected-mode OS kernel with a sound and complete timeliness analysis. Among others this means that it has provable upper bounds on interrupt latencies (as well as latencies of any other kernel operations). It is therefore the only kernel with memory protection that can give you hard real-time guarantees.

В белорусской части ЖЖ ходит мем про "сьездил в Литву ради полкабана", как символ бессмысленной экономии.

Так вот, я тут искал, куда пристроить внезапные "титульные знаки", и оказывается, если платить за ЖКХ (и ряд других мест, где принимают WMU) через WebMoney - то это из-за курсовой разницы на 12% дешевле, чем если платить наличкой или пластиковыми картами.

Пользуйтесь, че)

Сегодня днем голова как-то особо раскалывалась... В итоге до дома доехать не осилил и попал наконец-то к Медиком-овскому неврологу.

Общупали, почитали логи обследований за последние 4 года, посмотрели снимки (все-таки круто, когда всё в цифре!), поругали вместе районного невролога (которая, как и многострадальный районный лор, занималась симптоматическим лечением), ввели 30 (вроде) кубиков теофилина.

От которого я радостно прямо там и вырубился. На полминуты. Ибо струйно, а не капельно.

Потом врубился. И, черт побери, как мир изменился! Стало *видно*, *слышно* и нормально можно дышать... И голова прошла, хотя это не обезболивающее же ни разу.

Вот, блин, как же всё-таки отличаются врачи с мозгами от врачей без, с точки зрения диагностики... "ну, это не страшно, может, само пройдет, попейте пока нимесила" - как же это и подобное успело меня заебать...

Ладно, гипотезу про факап с сосудами вроде бы подтвердили, теперь стационар и корректировать тушку уже более системным образом. А потом в отпуск...

а вот это - реально нежданчик.

в iOS7 появилась поддержка Multipath TCP.

Что это на практике означает? Что теперь AAPL может сделать сеть серверов, зарулить через них VoIP трафик, и получить call continuity (удержание соединения) когда юзер перемещается между WiFi точками, или динамически балансировать скорость между 3G и WiFi.

Итого, прекрасная возможность нагнуть голосовых операторов, превратив их в тупые трубы.

Ну и другие варианты, вроде разворачивания своего прокси-сервера для ускорения Mobile Safari.

Респект.

src: http://qz.com/126642/apples-ios7-includes-a-surprise-a-ticket-to-the-next-generation-of-the-internet/

JFYI: Дмитрий Котеров (http://dklab.ru) делает систему расчета и анализа статистики (я так понял, заточенную на website analytics), работающую с шифрованными данными (вычисления максимально вынесены на железо клиента, а сервис лишь роутит/фильтрует обезличенные пакеты)

Очень приятная новость на фоне всех последний событий.

Тем, кто решит последовать его примеру и захочет зашифровать данные в своей БД: есть прекрасная книга, Translucent Databases 2Nd Edition: Confusion, Misdirection, Randomness, Sharing, Authentication And Steganography To Defend Privacy, которая ответит на целую кучу вопросов и убережет от типичных ошибок.

Ну а если вопросы все равно останутся - обращайтесь %)

будущее местами начинает наступать!

Noctua выпустила вентилятор который генерит шум в противофазе. Вместо диафрагмы динамика, насколько я понял, используется сам ротор. Теперь ждем удешевления технологии до состояния "есть во всех кулерах по дефолту", как это в свое время случилось с бесколлекторными моторами.

в Windows 8.1 можно ставить РАЗНЫЙ DPI ДЛЯ РАЗНЫХ ДИСПЛЕЕВ!!!111

1. и оно работает как надо! т.е. окно при перемещении с монитора на монитор меняет размер!
2. апскейл перестал мылить!
3. появился downscale, т.е. можно ресайзнуть прогу с огромным UI в маленький UI!

вот что потеря доли рынка животворящая делает %)

( proofpic )

Короче, есть такая штука, http://one-tab.com/

Я долго думал такое сделать, и вот, кто-то сделал ее за меня!

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

Со всеми вытекающими в плане потребления памяти и CPU.