wizzard: (Default)
Преамбула: я сейчас живу один уже несколько месяцев как.

Так вот, на момент разьезда я был с головой в работе и по факту чаще питался в офисе, по дороге туда-обратно с коллегами, на выходных с друзьями или в какой-нибудь гостинице на выезде, чем как-то еще. Дома по факту только спал, и то далеко не каждый день.

Потом мне такой уровень нагрузки, невзирая на то, что мы делали всякие крутые штуки - конкретно надоел (особенно то, что за всякими около-менеджерскими активностями я вообще перестал программировать, и на 3/4 перестал читать всякие новые статьи и что-то придумывать/архитектурить)

Ну, хорошо, вот освободил себе время, купил монитор, и вообще типа обустроил дома уютненькое место для всяких планов по захвату мира. Но не тут-то было.

Оказывается, я успел ВООБЩЕ отвыкнуть есть дома (не говоря уже об готовить), а также есть в одиночку. Оно ощущается зверски уныло, одиноко и всё такое. Спать - без проблем. Есть - ужасно. Never eat alone, да, вот его обратная сторона.

Написать кому-то "гоу завтракать/ужинать", конечно, дело нехитрое, да вот только когда с кем-то общаешься - то внимание ведь на этого человека так или иначе отвлекается, и думать про всякое свое уже не выходит!

А, и еще выходит что я как-то очень быстро отвык дома работать, то что дом ассоциировался с отдыхом это конечно прекрасно, но теперь надо научиться переключать туда-сюда %)

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

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

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



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



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

.

Aug. 24th, 2014 02:49 am
wizzard: (Default)
я не умею верить.
wizzard: (Default)
Значит, про Оперу.

Это сейчас вебкит, но (1) быстрее (2) HighDPI поддерживается нормально.
Но. Чтобы можно было пользоваться, надо зайти в Settings-Browser, включить галку Advanced Settings, потом включить появившуюся галку "Show full URL in combined search and address bar".

И про NoSQL.

До меня внезапно дошло, что 70% всего хайпа и увеличения производительности - это последствия перехода от списков на множества (INTEGER PRIMARY KEY AUTOINCREMENT -> key-value store).

А прирост производительности потому, что операции SET/CLEAR имеют более простую семантику и лучше композятся, нежели APPEND/REMOVE_AT (в частности, их можно гораздо свободнее реордерить и повторять), и в большинстве случаев семантики SET/CLEAR достаточно.

Choose your data structures and primitives carefully, то-сё.
wizzard: (Default)
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.

wtf

Apr. 15th, 2014 04:52 pm
wizzard: (Default)
сидим в часопысе, внезапно мимо нас проходит Тимошенко с охраной и еще кучей народу, забуриваются в соседнюю комнату и говорят что у них там конференция о_О

на нас попробовал набежать какой-то оператор с камерой и микрофоном, но мы от него отбились %)

он был явно удивлен что мы не бежим пялиться на Юлю и забрасывать вопросами и считаем свои дела важнее бггг

необычно видеть в часопысе кучу "серьезных людей" посреди средней хипстоты которая там обычно тусит)
wizzard: (Default)
Sony has announced plans to sell off its VAIO computer division to a Japanese investment fund. Japan Industrial Partners (JIP) will take control of the operation for an undisclosed fee, and Sony will "cease planning, design and development of PC products."

http://www.theverge.com/2014/2/6/5385212/sony-sells-off-vaio-pc-division

Печальбедаогорчение. Ну и что теперь покупать?

Хотя JIP всё-таки не китайцы а японцы, так что какая-то надежда есть. Но все равно...
wizzard: (Default)
Хехехе.

Пока идут всякие революции и прочие метания говном, настоящие прорывы происходят, как обычно, в тишине институтов.

Ну, всем известно что идеальный DRM построить нельзя, по определению? ("увидеть фильм" отличается от "скопировать фильм" все меньше и меньше, поскольку копировальная техника растет)

Так вот, DRM нельзя, а идеальный обфускатор - можно. Now with proofs.

Что дает нам идеально безопасный в значении "ключи невосстановимы" DRM, способ конструировать асимметричную криптографию из симметричной и, бинго, способ выполнять шифрованный код!

Welcome to the brave new world. Сейчас это доведут до ума, и будет новая волна изменений.

То есть безопасный SaaS, P2P SaaS, вирусы, которые невозможно проанализировать, и неломаемые триалы, и много-много еще чего ;-)

https://www.simonsfoundation.org/quanta/20140130-perfecting-the-art-of-sensible-nonsense/ (slashdotted)

http://eprint.iacr.org/2013/451.pdf
http://eprint.iacr.org/2013/631.pdf

Сижу читаю.
wizzard: (Default)
если люди рассказывают вам про свои давно списанные на свалку мечты и идеалы - это вовсе не означает, что они действительно уже списаны.
wizzard: (Default)
меня можно разозлить если меня а) разбудить и б) долго истерить в трубку "пропало всэ" вместо того чтобы обьяснить что происходит.

что характерно, по отдельности меня ни одно ни другое не парит, но видимо спросонку у меня алгоритм успокоения истерящих людей не работает и они успевают выесть мозг.
wizzard: (Default)
TLDR: пенсионная система не работает? а должна?

The funny thing about retirement: Nobody was ever actually supposed to retire. Let's take the United States as an example. While the Social Security Administration will tell you that the 1935 decision to set the retirement age at 65 was based on the pension systems already in place at that time -- half of which had 65 as their retirement age, and half of which used 70 -- it fails to mention that Americans' life expectancy was a paltry 61.7 years at that time. It's almost as if the pension industry asked cold-blooded actuaries to design highly promising, Ponzi-scheme-like retirement programs that would only benefit a fraction of the people paying into them. Almost.

But then, wham!, bam!, penicillin became widely available, and by 1950, life expectancy had jumped to 68.2 years -- comfortably beyond the retirement cutoff. In 1952, Jonas Salk introduced a polio vaccine, the 60s saw vaccines for measles and mumps, and in 1967 the first heart transplant was performed. Americans began living healthier and longer lives. Increasingly spry older people were no longer reminiscent of the sad old horse that (spoiler alert!) gets shipped off to a glue factory at the end of Animal Farm.

Stupid penicillin.

http://www.policymic.com/articles/77923/in-2014-young-people-will-be-one-year-closer-to-never-being-able-to-retire
wizzard: (Default)
тут люди спустя восемь лет услышали, что можно удаленно включить комп, зайти в BIOS и очень-очень боятся.

народ! этому сто лет в обед, в 2005 году Интел делал массированную рекламную кампанию на эту тему, а в 2009 году я уже включал обычный купленный в магазине ноутбук знакомого через SMS посланную из вебморды на сайте Интела и дистанционно по 3G апдейтил ему BIOS.

включить комп по Wake on LAN так и вообще с 1997 можно, а обновить BIOS "из винды" я первый раз увидел в 2004, кажется.

прекрасный новый мир не то чтобы наступает, он уже ДАВНО наступил. что? снова надо переучиваться, перепривыкать и изменять модель угроз? ну извините.

NAT FFUUUU

Dec. 11th, 2013 03:25 am
wizzard: (Default)
серией звонков в саппорт на протяжении дня и ночи наконец выяснили, что у провайдера после апдейта оборудования новый роутер (на их стороне) может выдавать мне интернет только если выключить услугу "белый IP".

А серый у них не просто серый, там еще и портов штук 10 на каждого йузера поди всего. Потому что если запустить скайпик и жабер и дропбокс то внезапно в браузере инет заканчивается. Других обьяснений придумать не могу.

FFUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUU
wizzard: (Default)
После окончательного монтажа (а потом демонтажа) труб оказалось, что один из купленных тройников ЗАВАРЕН ВНУТРИ.

Ну, то есть он состоит из большой трубы, к ней перпендикулярно маленькая, только от маленькой к большой дырки НЕТУ.

Это мне одному так повезло или это какая-то известная багофича такая? Типа "доработать дрелью".
wizzard: (Default)
...тот неловкий момент, когда внутри ковыряемого приложения от конторы А после спиливания протектора обнаруживаются либы от конторы Б, заботливо сломанные и перепакованные %)

Аудит такой аудит.
wizzard: (Default)
такая классная штука! делаешь KeePass'у "Sync to URL" в туда, и все файлы с OwnCloud удаляются. ну кроме собственно БД KeePass'a. охуенно.

напомнило
<Шелезяка[work]> подскажите плиз как проверить существует ли таблица в базе mysql
<Есть> if (mysql_query('DROP TABLE таблица')) echo "таблица существовала";

(баш #56753)
wizzard: (Default)
lga1150

Как быстро создать себе важное длинное кропотливое дело?
Например, зацепиться пальцем за сокет LGA1150 (см. фото)

Там 1150 тонюсеньких контактов сложной формы (такой плоский подпружиненный зигзаг), которые от одного *прикосновения* пальцем замечательно сминаются в кашу >_<

Ну и далее берем пинцет, скальпель, яркую лампу, линзу и несколько часов задрачиваем этот сад камней до приведения обратно в состояние как на фото...

Что самое удивительное, хотя контакты все еще выглядят адово исковерканно, комп в итоге включился и вроде даже работает, и бенчмарки нормально жужжат %)

Но в целом пиздец-пиздец, не повторяйте это дома (да и вообще где угодно).
wizzard: (Default)
машина без колеса

...тот неловкий момент, когда вы понимаете, что в вашей йоба-операционке нету dir (ls). Не прошло и 9 лет *facepalm*

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

И это невзирая на то, что *первое*, что я соорудил, когда мне в руки в 2001 году попался дотнет - это был навигатор по хипу запущенного приложения (с редактором, на рефлекшене работающий)

блин, таким идиотом себя теперь чувствую...
wizzard: (Default)
используйте feature detection, они говорят.
используйте стандартные фреймворки и не изобретайте велосипедов, они говорят.
используйте unobtrusive enhancement, они говорят.

А знаете, почему на Windows Phone и виндопланшетах куча сайтов не скроллит нормально всякие элементы типа textarea и списков с overflow:scroll?

потому что Modernizr не считает его touch-capable девайсом! и на них тупо не вешаются хендлеры, не применяются стили, итд итп.

ладно бы еще 7.0 не считать, там был IE7 и соответствующий рак с евентами, но 7.5 (IE9) уже сто лет в обед и всё там работает (fastclick, position:fixed итд итп)!

не говоря уже о WP 7.8, 8.0 и Win8/RT/8.1, где IE10/11 регулярно скроллит отзывчивее того же мобильного хрома на тяжелых страницах.

feature detection my ass. век живи век учись.
wizzard: (Default)
это всё зубы. очередная восьмерка, оказывается, режется.

вот чего меня так колбасит и настроение пляшет...

Profile

wizzard: (Default)
wizzard

May 2017

S M T W T F S
 123456
78 910111213
14 151617181920
2122232425 2627
28293031   

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated May. 27th, 2017 11:09 pm
Powered by Dreamwidth Studios