wizzard: (Default)
> Про здійснення контролю за операціями резидентів, які передбачають експорт послуг нерезидентам через мережу
Інтернет" 07.07.2015 No 22­01012/46746

TLDR: Можно легально получать деньги с Одеска, AdSense, и т.д. и т.п., без чортовых договоров и актов выполненных работ.

А то у меня за три года уже такая эпическая стопка этих актов накопилась...

( https://drive.google.com/file/d/0B2M1Nt5gA34wN2d5UktBcmFJTHc/view )
wizzard: (Default)
Я, в общем, давно говорил, что весь этот ваш HTTPS - курам на смех, потому что уведомления со ВСЕХ сайтов идут в plain-text, ну и далее понятно, контроль над почтовым трафиком - контроль над миром.

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

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



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



Ну что, ждем, когда другие подтянутся?
wizzard: (Default)
Ура, обзавелся наконец-то личным сервером OneNote. Скажи «нет» публичным клаудам!

Да, завелась (после некоторых танцев с бубном) и на Windows Phone, и на iPhone, и на Android. Ну и на десктопе, понятное дело.

Отдельное спасибо sashman'у за 95% работы.

P.S. А Evernote так умеет? :)

(Зафотошопьте кто-то постер этот, с стаканом который?)
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.
wizzard: (Default)
Вначале сорцы дотнета были полностью закрытыми.

Потом открыли Rotor (он же SSCLI). Потом в паблике появились symbols. Потом люди начали качать эти символы и строить неофициальные паки исходников.

Ну а теперь вот, есть сайт http://referencesource-beta.microsoft.com/ с онлайн-браузером (включая всякие Go to Definition, Find usages и т.д., и кнопкой Download ZIP archive :)

http://www.hanselman.com/blog/AnnouncingTheNewRoslynpoweredNETFrameworkReferenceSource.aspx

Пользуйтесь, успехов в дебаге и всё такое. Что не отменяет того, что привязываться к подробностям реализации - зло :)
wizzard: (Default)
В белорусской части ЖЖ ходит мем про "сьездил в Литву ради полкабана", как символ бессмысленной экономии.

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

Пользуйтесь, че)
wizzard: (Default)
Samsung сделал 2K 5'' дисплей и делает 4K 5'' (860 DPI).

Это хорошо. Потому что нынешний Oculus Rift с 300 DPI (в прототипе 215, это вообще конские пиксели) довольно-таки ужасен, на расстоянии 3-5 см от глаза 300 DPI реально не хватает ;-)

src: http://media.daum.net/digital/others/newsview?newsid=20140127180114229
wizzard: (Default)
Сегодня днем голова как-то особо раскалывалась... В итоге до дома доехать не осилил и попал наконец-то к Медиком-овскому неврологу.

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

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

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

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

Ладно, гипотезу про факап с сосудами вроде бы подтвердили, теперь стационар и корректировать тушку уже более системным образом. А потом в отпуск...
wizzard: (Default)
как же, черт побери, удобно, когда лопатофон можно просто взять и помыть с мылом!

(а также читать френдленту в ванне, не беспокоиться о падениях в лужи и прочее подобное)

Хотя мокрый тачскрин мог бы вести себя и получше - у Nokia капли не мешают, а тут порой срабатывает.
wizzard: (Default)
вопрос с двойным NATом решился быстро и неожиданно.

позвонил в саппорт, спросил "а у вас белый IP бывает - бывает. включить? - включить. - когда появится возможность подключить вас на 1 Gbps, вам позвонить? - позвонить. - хорошо, если через 5 минут ip не сменится, перезагрузите роутер"

вот и все. и бесплатно %)

интересно, конечно, какая у них реальная скорость в мир на гигабитке будет, ведь даже best effort гигабитка удовольствие недешевое (из 100 мбит получается реальных 30-90, смотря откуда качать). если судить по разнице между тарифами - должно быть скорее что-то около 150-200 реальных мегабит ;)

но это уже потом посмотрим, если таки протянут.
wizzard: (Default)
а вот это - реально нежданчик.

в 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/
wizzard: (Default)
оказывается, они не завяли а, наоборот, развиваются! http://kck.st/11wlW7I

as a completely unrelated note, CSS IS AWESOME. даже на Амазоне - http://tvori.info/people/wizzard/blog_images/2013/css_is_awesome.jpg
wizzard: (Default)
JFYI: Дмитрий Котеров (http://dklab.ru) делает систему расчета и анализа статистики (я так понял, заточенную на website analytics), работающую с шифрованными данными (вычисления максимально вынесены на железо клиента, а сервис лишь роутит/фильтрует обезличенные пакеты)

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

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

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

wizzard: (Default)
будущее местами начинает наступать!

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

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

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

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

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

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

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

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

Profile

wizzard: (Default)
wizzard

April 2017

S M T W T F S
      1
234 5678
91011 12 131415
161718 19202122
23242526272829
30      

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Apr. 25th, 2017 04:24 pm
Powered by Dreamwidth Studios