2016-01

(no subject)

Блин, вот засада, после предыдущего поста несколько людей написало "это ты про меня написал что перерос образец?"

Причем еще кто написал! Написали, по закону Мэрфи, те люди которые гораздо круче (имхо) средней температуры по больнице :)

Дописал дискляймер на всякий случай.

This entry was originally posted at http://wizzard.dreamwidth.org/463863.html. It has comment count unavailable comments. Please comment there using OpenID.

2016-01

(no subject)

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

У этого состояния есть, оказывается, две стадии -

первая, когда просто замечаешь что уже автономно принимать какие-то решения лучше, чем как-то подсматривать и пытаться разобраться "а почему?";

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

т.е.... обычно люди все-таки с каким-то сравнимым темпом развиваются, и если догнать обычно реалистично, то настолько перерасти (именно человека из статуса образца) у меня вот второй что ли раз или около того..

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

как будто время остановилось в том месте, несколько лет ничего нового... или это то самое, что называют кризис среднего возраста?

UPD: если вы это читаете, с вероятностью 99% это не о вас. это один конкретный человек и наблюдения на периоде более 5 лет.

This entry was originally posted at http://wizzard.dreamwidth.org/463408.html. It has comment count unavailable comments. Please comment there using OpenID.

2016-01

CryptoNets: Applying Neural Networks to Encrypted Data with High Throughput and Accuracy

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

блин, это настолько круто, у меня просто слов нет чтобы обьяснить.

правда у таких технологий есть и минусы... короче, welcome to the brave new world где существуют ICE, SHODAN и вот это всё.

(1) http://www.theregister.co.uk/2016/02/09/researchers_break_homomorphic_encryption/
(2) http://research.microsoft.com/apps/pubs/?id=260989

This entry was originally posted at http://wizzard.dreamwidth.org/463180.html. It has comment count unavailable comments. Please comment there using OpenID.

2016-01

как правильно готовить винду

меня всегда забавляли стоны на тему "вот, новая версия, снова всё поменяли"

в винде начиная с NT4 были две стабильных части UI - админский (MMC, WMI и в меньшей степени netsh и прочее консольное) и power-user'ский (хоткеи)

к примеру, меню "пуск" меняли 100500 раз, но последовательность "Win-название бинарника-Enter" работало и работает начиная с Vista, хотя и выглядит каждый раз по-разному, Ctrl+Shift+Esc запускает task manager уже сто лет как, Win+R работал кажется с Win98 (не смейтесь, я уже перестал удивляться тому, что почему-то Win-админы не знают этот хоткей) и т.д.

фаервол вот кстати wf.msc, "сетевые подключения" - ncpa.cpl и т.д. но все жрут кактус и копаются в UI, да.

правда, с хоткеями назревает проблема - такое впечатление, что скоро у майкрософта закончится клавиатура %)

т.к. Win+Ctrl+F4 уже ощутимо неудобно нажимать, да и вообще список хоткеев у window manager'a (который довольно успешно стремится к tiling WM, кстати) уже тоже несколько страниц занимает.

ну и да, в десятке уже ощутимое количество аккордов (в смысле, последовательностей хоткеев) появилось, пока что они довольно интуитивные, но тенденция настораживает %)

This entry was originally posted at http://wizzard.dreamwidth.org/462876.html. It has comment count unavailable comments. Please comment there using OpenID.

2016-01

(repost) Где та молодая шпана?

Оригинал взят у lexa в Где та молодая шпана?
Пусть сотрёт нас с лица Земли:

Взломай будущее: PHDays снова проводит конкурс киберпанка

Кстати, на первой фотке в этой статье - самые настоящие хакеры. Девичья команда из Кореи. Они уже не первый раз приезжают к нам на PHDays и отлично выступают на CTF.



А на второй фотке художник Лёха Андреев (не я) дарит свою картину Дмитрию Богуцкому, который на прошлогоднем конкурсе получил III место за рассказ "Бросающий кости". Кстати, некоторые члены жюри считают, что это был единственный true киберпанк из трёх финалистов - потому что другие два рассказа (I и II место) были написаны от имени кота и от имени маленькой девочки. Ну а что, у котов и девочек не бывает киберпанка? Очень даже бывает.



2016-01

Роботы для чрезвычайных ситуаций



это слегка боян, но тут с русскими субтитрами, вдруг кому будет интересно посмотреть

This entry was originally posted at http://wizzard.dreamwidth.org/462594.html. It has comment count unavailable comments. Please comment there using OpenID.

2016-01

4K FFUUUU

в общем, буду краток

4k мониторы на 60 гц у нас работают четырьмя путями: DisplayPort MST, DisplayPort SST, HDMI 2.0 и 2xDL-DVI/2xHDMI 1.4

Слепив комбинацию "Philips BDM4065UC + ATI6970" - мы сталкиваемся с идиотской проблемой, карта на DP SST умеет только 2560x1600 (это честно написано в спеке), апдейтом фирмвари туда потом дорисовали 4K 60 hz на DP MST (второй DP при этом, как я понял, отключается), но... этот монитор не умеет DP MST, только SST (а ASUS PB287Q - умеет только MST, например).

короче, если в фирмваре прибить ограничители, запатчить драйвер и дорисовать разрешение в EDID соответственно, то DP pixel clock можно разогнать до 445 мгц и получить 46 гц на SST.

больше 445 мгц не выходит, видяшка не включается :) да, у меня есть еще HD7970, которая всё это "из коробки" умеет, но за ней надо ехать в офис, а у меня горло болит и вообще ехать лень %)

This entry was originally posted at http://wizzard.dreamwidth.org/462375.html. It has comment count unavailable comments. Please comment there using OpenID.

2016-01

кино

посмотрел Danish Girl.

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

также это _очень_ тяжелая драма/биография.

посмотрите, в общем.

This entry was originally posted at http://wizzard.dreamwidth.org/462257.html. It has comment count unavailable comments. Please comment there using OpenID.

2016-01

сесурити!

бльооо, в этой статье прекрасно вообще всё. а еще она обьясняет некоторые новости более ранних лет...

TLDR: приватные ключи eToken (Крипто-Ком, Крипто-Про, Message-Pro, Сигнатура, Верба) тривиально экспортируемы с токена.

https://habrahabr.ru/post/276057/

This entry was originally posted at http://wizzard.dreamwidth.org/462059.html. It has comment count unavailable comments. Please comment there using OpenID.

2016-01

(репост) Убил рекламщика - защитил тишину.

Оригинал взят у vitus_wagner в Убил рекламщика - защитил тишину.
Наиболее интересный вывод из нашумевшей истории про застреленную рекламщицу сделал qkowlew.

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

This entry was originally posted at http://vitus-wagner.dreamwidth.org/1164998.html. Please comment there using OpenID. Now there are comment count unavailable comments


2016-01

про списки фуфломицинов

...и прочие цитаты известных личностей 19 века про интернет.


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

- шаг 1, мы решаем освободить общество от заблуждений, сделать мир лучше ит.д.
- шаг 2, обнаруживаем, что людям в среднем думать лень и рациональные аргументы у них в голове не задерживаются
- шаг 3, активисты с балансом и критическим мышлением сдаются, естественный отбор оставляет пропагандистов с горящими глазами, которые искренне верят в Идею, что дает им авторитет для самих себя и окружающих. только вот беда, критически оценивать самих себя они тоже не могут.
- шаг 4, у нас есть религия "Анти-Гомеопаты", "кто не с нами - тот против нас", расстрельные списки препаратов и врачей, в которые радостно записываются любые случаи, когда какое-то лекарство против какой-то болезни не сработало, а человек Х осмелился после этого его кому-то порекомендовать.

границы применимости? разные диагнозы? комбинации препаратов? отличия, извините, между людьми в обмене веществ? что вы, это же так сложно, если каждый раз про это вспоминать - точно никого убедить не получится, а рассматривать каждый конкретный случай в отдельности - это же столько работы, это мы не хотим, мы пропагандировать Универсальные Списки Добра хотим, в этом наша Миссия!

Ну, дальше вы знаете. Все срачи вокруг мигрантов, LGBT, ГМО, Emacs, OSS и т.д. - они про это. Люди такие люди...

This entry was originally posted at http://wizzard.dreamwidth.org/461722.html. It has comment count unavailable comments. Please comment there using OpenID.

2016-01

Operational Transformations are superfluous and overdesigned

вот! я давно говорил, что OT это лютый овердизайн и нинужно, а теперь про это наконец-то описали подробно

> Victor Grishchenko, "Citrea and Swarm: partially ordered op logs in the browser”, short paper at PaPEC'14 (draft, briefly explains why the 25-year OT saga wasn't actually necessary)

http://www.ds.ewi.tudelft.nl/~victor/polo.pdf

This entry was originally posted at http://wizzard.dreamwidth.org/461485.html. It has comment count unavailable comments. Please comment there using OpenID.

2016-01

про blackphone и мобильники вообще

https://www.sentinelone.com/blog/vulnerability-in-blackphone-puts-devices-at-risk-for-takeover/

когда уже появится хоть какой-то девайс у которого будет нормальный capability-based интерконнект вместо DMA, который конечно няшен, но по факту сводит всю сесурити к состоянию Windows 3.1, в смысле, из-за отсутствия защиты памяти?

This entry was originally posted at http://wizzard.dreamwidth.org/461293.html. It has comment count unavailable comments. Please comment there using OpenID.

photo25

Exe/Om presentation in Cloudozer HQ

Оригинал взят у maxim в Exe/Om presentation in Cloudozer HQ
Протокол заседаний:

1. В нормальные формы рекурсивных типов верится с трудом, для неподготовленного слушателя
2. Вопрос "зачем писать свой движек" а не писать в Coq + экстрактор можно записывать в FAQ
3. Нужно четко разделять доказательства базовой библиотеки, доказательства кодироваки, доказательства существования изоморфизмов между сигнатурами, доказательства корекктности программы. Когда слишком много кванторов и слова "доказательства" мозг у слушателей начинает отключаться. С этим нужно что-то думать.
4. Вопрос о практически прямом преобразовании черч кодировки в FPGA примитивы, популярный.
5. Про сертифицированные C компиляторы все слышали, поэтому это упоминать тоже нужно.
6. Побольше примеров из классического курса математики про брадобреев и отрицание отрицания.


Фото © wizzard0


2016-01

красотища



This entry was originally posted at http://wizzard.dreamwidth.org/460993.html. It has comment count unavailable comments. Please comment there using OpenID.

photo25

Every analogy wants to be a functor (repost)

Оригинал взят у sober_space в post
Баец продолжает строить то, что, как я считаю, правильно называть эквациональной онтологией. Работа A Compositional Framework for Markov Processes появилась в августе 15-го но мне нравится одна фраза, которую я заметил в недавней кафешной статье по этому поводу:
Every analogy wants to be a functor


2016-01

2016 resolutions

а если серьезно, все эти новогодние праздники были про переосмысление себя.

вот оно, blank slate, давайте же строить теперь.



This entry was originally posted at http://wizzard.dreamwidth.org/460494.html. It has comment count unavailable comments. Please comment there using OpenID.

2016-01

win10

кстати, поставил себе вин10 наконец.

первое впечатление - ну наконец-то DPI без логоффов настраивается!

а если серьезно, то на удивление всё перестало глючить что глючило (мое всякое экзотическое железо и софт)

т.е. таки да, на сервиспак похоже (ну и UI тоже пофиксили местами, хотя истинные джедаи на него ложат болт и просто используют хоткеи, которые не меняются а только добавляются еще аж с Win2000)

осталось выкрутить анальный зонд, ни у кого нету нормального гайда? (чтобы не запускать всяких экзешников, максимум читабельные файлы реестра/павершелл скрипты)

This entry was originally posted at http://wizzard.dreamwidth.org/460251.html. It has comment count unavailable comments. Please comment there using OpenID.

2016-01

дыбр



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

кстати, прицепиться можно не только к тому, который в моем номере... ладно, не будем хулиганить))

wifi repeater сцуко так и не заработал.

и да, зимой теплый пол в ванной, на весь номер, и панорамные окна (до пола) это очень клево, конечно.

This entry was originally posted at http://wizzard.dreamwidth.org/459832.html. It has comment count unavailable comments. Please comment there using OpenID.

2016-01

Inkubus Sukkubus - Queen of Heaven, Queen of Hell (2013)

Внезапно заслушал новый альбом инкубусов.

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

Все-таки лучшие альбомы у них были в 1995-2001 :)

This entry was originally posted at http://wizzard.dreamwidth.org/459677.html. It has comment count unavailable comments. Please comment there using OpenID.

photo25

(repost) Вакансия Ассистента Рисерчера

Оригинал взят у maxim в Вакансия Ассистента Рисерчера
Друзья! У нас появилось немного денег, которые мы хотим потратить. В нашу эрланг компанию требуется стажер, возможно студент, который интересуется теорией типов и разработкой компиляторов. Если так получилось что вы родились в Украине, и вам тесно и грустно работать перекладывая байты из JSON в XML на Хаскеле, но вас не берут в крутые международные проекты под управлением Аводея, Байера и Мейера из-за отсутствия публикации -- это все поправимо.

Что мы предлагаем? Мы предлагаем вам присоединится к нам в качестве ассистента или младшего научного сотрудника. Все публикации, авторские права остаются за вами, никакого NDA или прочей непределенности. Все статьи публикуются на превью прощадки как только достигнут качества "не стыдно".

Мы исследуем разные аспекты компиляции эрланг кода и компиляции в контексте эрланг инфраструктуры, так, например, компания Cloudozer занимается разрабткой статически-компилируемого LLVM языка L, основное назначение которого генерировать эффективный нативный код (с удалением информации о типах) из исходников похожих на Эрланг или с минимальными изменениями Эрланг кода. Synrc же занимается фул стек Erlang решениеми и исследованием в области доказательства корректности программ. Сейчас у нас есть два направления: 1) это доказательство алгоритмов используемых для обеспечения персистентного хранения цепочек (KVS/N2O/BPE), используя пруверы основанные на теории зависимых типов (мы используем Lean, вы должны уметь использовать любой прувер с Pi типами); 2) разработка собственного языка с рекурсивными полиномиальными типами и зависимыми рекордами (первоклассными модулями), который компилируется в промежуточную форму чистого языка на основе Henk/Morte/Om, а оттуда транформируется в Erlang AST (без компиляции паттерн мачинга, без необходимости своего gc, т.е. все самое сложное оставляем для виртуальной машины Эрланг и его оптимизирующего компилятора).

Что мы хотим? Мы хотим, чтобы вы знали основы Теории Категорий, могли нарисовать все коммутативные диаграммы и аксиомы необходимые для определния декартово-замкнутой категории и могли читать proof-theoretical аксиоматическую нотацию. Также вы должны понимать коммутативные диаграммы F-алгебр для рекурсивных типов, а также иметь понятие о кодировании Черча и его применении к кодированию индуктивных типов. Необязательно но полезно было бы быть знакомым со слоениями и slice категориями для категорного понимания зависимых типов.

Поверьте, такой опыт предложить в Украине не может ни одна компания. Важно иметь возможность проводить еженедельные совещания в оффлайне, удаленная работа полностью исключается.

Пишите: maxim@synrc.com


photo25

distributed universe of code



Я вот смотрел на tagged DSLs от sorhed и akuklev, и мне пришло в голову, что оно то же самое, про что я сейчас думаю в контексте распределенных БД.
То есть, в графе обьектов (где транзакционность обеспечивается примерно как у Datomic) появляются typed references чтобы пройти по которым - надо ресолвить typedef и дальше исходя из него как-то интерпретировать дереференснутый блоб.

Typedef может быть задан явно или в свою очередь задан в схеме обьекта с котормы сейчас идет работа.
На этом также держится весь версионинг итд итп, ведь распределенная асинхронная бд еще означает что надо жить с нодами которые catching up и всё такое.

Да, если начать хранить в этой херне AST - то естественным образом получается universe of code (был недавно какой-то доклад на эту тему, в контексте Хаскеля, правда)

UPD: http://begriffs.com/posts/2015-10-16-internet-of-code.html кажется этот

This entry was originally posted at http://wizzard.dreamwidth.org/459460.html. It has comment count unavailable comments. Please comment there using OpenID.

2016-01

безумное садоводство

(это новогодний пост из двух частей)

I. итоги.
странная мысль, если люди приходят и уходят, значит ли это что они совсем не особенные? (не "покинут" а "всё равно период закончится") и зачем тогда что-то специально ради кого-то отдельно вообще?..
точнее... садоводство есть которое радует процессом и которое радует плодами, и вот я про то, есть ли второе? потому что бывает "закончилось, но сколько же вот хорошего было", а тут "закончилось, столько всего вложено, а толку"

(лирическое отступление про термин "садоводство")

A> Я когда-то сравнила Q с [растущим] деревом, он очень возмущался :) это давно было
A> С тех пор я любимых людей деревьями не называю)))
me> AAAAA you made my day


тому кто меня в свое время ткнул носом — спасибо; и прошу меня извинить за категорический отказ от завтрака.
- C. спасибо за филигранно точно выставленные личные границы этим летом, да.
- A. за субботы и прочие длинные разговоры
- В. за reality checks, знакомство с V. и подталкиванию все-таки сделать трудные решения
- S. и P. за инициативу
- и другим за всё, что было в этом году

(да, меня читают все причастные, извините если кого деанонил случайно)

Ib. by the numbers.
todo'шек сделано - 129 (личных) + 305 (рабочих) + еще наверное с тысячу не удостоилось отдельной записи;
перелетов - 9; полетов - 1 (штурвал в воздухе подержал, ага)
ночей в поле - 2 (или 3?)
ночей за рулём - много %)

II. начало.
это была сверхстранная новогодняя пати, на которой люди, которых я видел впервые — разговаривали на суржике из 4 языков, пили, курили, нюхали, танцевали, читали (!), рисовали (!!) попутно отбиваясь от хозяйских собак, которые радовались, прыгали и пытались всех подряд облизывать %) а потом мы запускали фейерверки и обнимались на улицах Вены с прохожими.

"strange cool guy i havent got a chance to talk with", отличное прощание ггг...

начинался новый день...

This entry was originally posted at http://wizzard.dreamwidth.org/459013.html. It has comment count unavailable comments. Please comment there using OpenID.

2016-01

The Majority Illusion in Social Networks

Individuals often lack global knowledge of the behaviors of others and must estimate them from the observations of their friends' behaviors.

In some cases, the structure of the [surrounding] social network can dramatically skew an individual's local observations, making a behavior appear far more common locally than it is globally.

"Majority illusion" may facilitate the spread of social contagions in networks and also explain why systematic biases in social perceptions, for example, of risky behavior, arise.

http://arxiv.org/abs/1506.03022

This entry was originally posted at http://wizzard.dreamwidth.org/458765.html. It has comment count unavailable comments. Please comment there using OpenID.

photo25

(repost) Еще раз о моделях, которые мы выбираем

a.k.a. „How to lie with Statistics“, condensed version

Оригинал взят у scholar_vit в Еще раз о моделях, которые мы выбираем


В русскоязычной блогосфере опять обсуждают Парето и монетизацию льгот.
Я ни в коей мере не специалист, но мне со стороны забавно, как раз за
разом делается неявное допущение, которое (1) верно далеко не всегда,
и (2) в конкретном примере, который в данном случае приводится,
очевидно неверно. Причем очевидно даже для такого неспециалиста, как
я.




Напомню рассуждение. Пусть по университетскому кампусу ездит
бесплатный автобусик. На самом деле бесплатных пирожных не бывает, и
каждый студент и сотрудник на самом деле платит за проезд (т.е. с
одних берут чуть больше за обучение, а другим недоплачивают зарплату)
некоторую сумму X. Давайте сделаем автобус платным, а всем студентам
и сотрудникам раздадим эту сумму X. Тогда те, кто хотят, потратят ее
на проезд, и их положение не ухудшится. А те, кто хотят, пойдут
пешком, а на вырученные деньги посидят в кафе, и их положение
улучшится: предполагается, что они знают, что им лучше,
кафе или автобус. Следовательно, от монетизации никому не станет
хуже, а кому-то станет лучше, что и требовалось доказать.




Проблема в том, что тут неявно предполагается, что все взаимодействия
парные, и, в частности, стоимость проезда пассажира A никак не зависит
от того, поехал ли этим автобусом пассажир B. Это, однако, очевидно
не так: затраты на поездку автобуса мало зависят от количества
пассажиров (говоря учеными словами, маргинальная стоимость перевозки
одного пассажира близка к нулю). Если мы раздадим стоимость проезда
участникам, и часть пассажиров не отдаст их за проезд, стоимость
проезда остальных будет уже не X, а больше. Поэтому для того, чтобы
перевозчик не разорился, он будет вынужден брать за проезд больше, чем
X. Таким образом положение тех, кто ездит на автобусике, ухудшится:
они потратят на проезд больше, чем получили в качестве компенсации
отмены бесплатного автобусика. (Кое-какие диспутанты это понимают и
переходят к моральным доводам: разными способами объясняется, что
ухудшение положения "паразитов на автобусе" полезно для всеобщей
нравственности. Такой переход, надо сказать, несколько подрывает
аргументы об объективной истинности математического доказательства
Парето-оптимальности).




Играя с параметрами, можно придумать массу сценариев. Например, death
spiral: из-за повышения платы за проезд часть пассажиров, которые были
готовы отдать за проезд X, теперь пойдут пешком, что приведет к еще
большему повышению платы за проезд, и так далее до полной отмены
автобусика. Дальше, для любой сколько угодной малой доли пассажиров
можно подобрать параметры так, чтобы положение всех, кроме этой доли,
после монетизации льгот ухудшилось. А если мы чуть усложним модель:
теперь пассажир принимает не бинарное решение (всегда автобус или
всегда кафе), а руководствуется, например, погодой (в дождь еду на
автобусе, в вёдро иду пешком), то можно подобрать параметры так, чтобы
положение всех участников игры в результате монетизации
ухудшилось.




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



2016-01

bit rot

Сегодня умер последний WD Green (4 TB, WD40EZRX), который у меня существовал.

Долгожитель, 3 года прожил (или два?). Остальные грины (разного размера) умерли в первый год с момента покупки.

Итого, статистика по винтам:
умерших WD Green 2/3/4 Tb - 9 шт,
глючащих Самсунгов - 1 шт,
глючащих Seagate Barracuda - 1 шт,
все остальные живы (Seagate Constellation, Hitachi Ultrastar)

This entry was originally posted at http://wizzard.dreamwidth.org/458573.html. It has comment count unavailable comments. Please comment there using OpenID.

photo25

one thing at a time



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

надо сделать большую чашку чая и подумать.

пафосный план "я в свободное время буду структурировать свои мысли и сделаю наконец из них адекватный бложик" неожиданно упёрся в любовь к чтению. учитывая терабайты книг/статей на винтах - даже глючащий интернет не помогает :)

This entry was originally posted at http://wizzard.dreamwidth.org/458392.html. It has comment count unavailable comments. Please comment there using OpenID.

2016-01

(no subject)

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

хочу есть много) вкусного)))

This entry was originally posted at http://wizzard.dreamwidth.org/458049.html. It has comment count unavailable comments. Please comment there using OpenID.

2016-01

продакшен

Читаю спецификацию протокола FIX.

Вот это я понимаю продакшен %) судя по количеству описанных нюансов, Recovery Scenarios и просто костылей на тему "если что-то пошло не так" :)))

Не то что вебы-шмебы, где каждый первый девелопер рассчитывает, что всё всегда получается почему-то.

В прошлый раз я так впечатлился, когда листал Boeing 747 Operations Manual :)

This entry was originally posted at http://wizzard.dreamwidth.org/457943.html. It has comment count unavailable comments. Please comment there using OpenID.

2016-01

К Рождеству %)



This entry was originally posted at http://wizzard.dreamwidth.org/457632.html. It has comment count unavailable comments. Please comment there using OpenID.

photo25

Software Liveness и Software Totemism

Тут вот sorhed всячески ратует за использование нового, хорошего софта и всё такое прочее, чтобы не остаться на обочине индустрии и вообще мозги тренировать.

Вот только есть одна проблема. В какой-то момент софт, как ни странно, начинает выполнять свою функцию и становится, ну, доделанным. Особенно это справедливо для библиотек, которым не надо обновляться вслед за каждым новым релизом браузера или что-то в таком духе.

И тогда (если проект все еще активен) усилия комьюнити вырождаются в software totemism

А все от того, что опенсорс тусовка путает проекты с тусовками. Рабочие группы отдельно, а тусовки - отдельно. Для тусовок существуют конференции, воркшопы, мейл-листы, все что угодно. Но не проекты. Проекты имеют начало и имеют конец. Finish your stuff.

This entry was originally posted at http://wizzard.dreamwidth.org/457272.html. It has comment count unavailable comments. Please comment there using OpenID.

2016-01

на берегу реки

смотрю в код, который два года в продакшне, и вижу там сходу data-corruption баг. смотрю дальше, вижу баг, который первый баг нейтрализует...

а еще смотрю SpaceX Webcast по 3G, потому что проводной провайдер бажит и скорость у него по факту меньше, ололо.

upd: оно село! future is now



This entry was originally posted at http://wizzard.dreamwidth.org/457143.html. It has comment count unavailable comments. Please comment there using OpenID.

2016-01

странное билетное

а почему у Austrian бизнес-класс на некоторые рейсы вдвое дешевле эконома?

(а также почему kayak не видит этих рейсов, momondo лежит, МАУ при переходе с каяка показывает половину билетов, включая весь бизнес, как Sold Out, и прочие эпичные странности, как-то слишком их много)

This entry was originally posted at http://wizzard.dreamwidth.org/456881.html. It has comment count unavailable comments. Please comment there using OpenID.

2016-01

(no subject)

[status: gyro failure; accelerometer failure; baro failure]

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

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

или это погода так влияет, хз...

upd: к вечеру всё прошло как ни бывало. приду к неврологу и буду снова чувствовать себя по-дурацки там >_>

This entry was originally posted at http://wizzard.dreamwidth.org/456608.html. It has comment count unavailable comments. Please comment there using OpenID.

2016-01

(no subject)

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

Обычно Cited by в Google Scholar и список литературы в конце статьи - прекрасное чтиво. А тут скачиваешь это всё, а там всё имеет лишь отдалённое отношение, или просто "вода для галочки на конференции" :(

This entry was originally posted at http://wizzard.dreamwidth.org/456287.html. It has comment count unavailable comments. Please comment there using OpenID.

photo25

Про названия (пост за меня написали)

Я тут пиарил http://burgundy.io давеча, а вот для чего он - внятно сформулировать лень было. Вот, за меня сформулировали :)

Оригинал взят у jakobz в Про названия
Придумать хорошие названия всяким неймспейсам, проектам, серверам и модулям - известная проблема.

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

Ну типа не уверен еще как будет называться продукт, не знаешь что точно будет делать какой-то модуль, не знаешь что именно будет стоять на каком-то сервере? Не пиши приблизительно. Пиши лучше какой-нибудь "XZ", "Vasya", "XXX", "Yozhik", "Lego", "Peppa", "Orange", "Jedi", похеру.

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

Коллега вон рассказывал что у них были модули "микки маус", "дональд дак" и так далее. И все прекрасно знали что где лежит. Гугль вон свои внутренние штуки называет как разные инструменты, "дремель" например. Ну и стоит напомнить что фирмы, магазины, и бренды, не называются "производитель хипстерских телефонов", "в основном жрачка", и "дорогая одежда для баб".


2016-01

секс и матан!

между прочим, теория kodt_rsdn что для улучшения изучения матана полезно совмещать чтение с получением оргазма подтверждена (во всяком случае, испытана) уже как минимум тремя прочитавшими коммент, судя по тому, что мне в личку пишут :)

This entry was originally posted at http://wizzard.dreamwidth.org/456036.html. It has comment count unavailable comments. Please comment there using OpenID.

photo25

Фармакопсихопрактики (репост)

как интересно

Оригинал взят у ailev в Фармакопсихопрактики
Восхитительный метод снятия арахнофобии: http://www.biologicalpsychiatryjournal.com/article/S0006-3223%2815%2900313-3/abstract (две минуты демонстрации тарантулов после разового приёма бета-блокатора приводит к амнезии фобической реакции, как минимум на год -- проверили двойным слепым методом).

Пересказ по-русски: http://hi-news.ru/research-development/uchyonye-nashli-sposob-izbavleniya-ot-araxnofobii-vsego-za-paru-minut.html

Теперь бы ещё сделали таблетку не для забывания, а для запоминания (aka приворотное зелье). Принял однократно, поглядел пару минут на учебник матана, а потом любишь всю жизнь. И никаких тебе изнурительных тренировок и тренеров с переменными результатами. Лучшее упражнение на телепатию -- это сотовый телефон, аппаратное решение.


photo25

0-day in GRUB2

Браво, браво!

Оригинал взят у malaya_zemlya в 0-day in GRUB2
Если кто не видел - в популярном загрузчике Grub2 обнаружена уязвимость, позволяющая обходить защиту паролем, и дающая полный доступ к шеллу.

Эксплоит: вместо введения пароля нажать на Backspace ровно 28 раз, а потом Enter

Нет, это не секретный бекдор и не шутка девелоперов. Тут произошло нечто потрясающее. Постараюсь передать вкратце (если кому интересны все детали, то смотрите линк).

Если вместо ввода пароля нажимать на Backspace, то из-за пропущенной проверки программа заезжает за пределы буфера и начинает затирать нулями память с отрицательным смещением. Бывает.
В результате затирается стек, включая адрес возврата из текущей функции. Ок.
Соответственно, процессор прыгает на адрес 0, при чем в регистре esi остается текущая длина пароля, то есть -28.
По адресу 0, как водится, расположена таблица IVT, где лежат адреса обработчиков системных прерываний, но процессор ее сейчас интерпретирует не как адреса, в как исполняемый код. Оказывается, что в такой интерпретации IVT содержит функцию копирования блока памяти, где адрес, куда копировать, берется из регистра edi (он у нас установлен тоже в 0), а адрес откуда - из того самого регистра esi.
Получается, что функция начинает править собственный код и копировать данные из адреса -28 прямо поверх самой себя. Причем в цикле.
На первый раз портятся несколько инструкций в начале, но не критично.
На второй раз добавляются какие-то инструкции, меняющие содержимое стека,
А дальше... дальше появляется инструкция retw. Она берет со стека число и прыгает по обозначенному им адресу. А на стеке в этот момент лежит адрес встроенного шелла.

Занавес.



2016-01

нубский вопрос про unix/9p traditions

Я вот краем уха слышал, что в Unix'ах идеологически правильно, к примеру, если у нас есть какой-то browsable сетевой ресурс или устройство - интегрировать его как mount point, дабы дальше его всяческий софт мог использовать с этой точки монтирования, не заморачиваясь деталями.

Ну, nfs, smb, procfs и так далее.

А вот в каком месте (POSIX?) можно прочитать, как предполагается при этом жить с concurrency?
Т.е. вот я получил список файлов в папке, показал его юзеру, он что-то открыл и потом сделал "save" в ту же папку. А к тому времени на него напал какой-нибудь, ну не знаю, search indexer, или банально другой юзер файл открыл.

Хочется юзеру показать диалог "файл занят Васей", а индексеру сказать "отпусти файл временно", и всякое такое прочее.

Предположим, что у нас идеальный случай, и мы контролируем (можем запатчить) и приложение, и сетевой ресурс, и API файловой системы.

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

UPD: чтиво в тему, чтобы была понятна глубина кроличьей норы -
http://danluu.com/file-consistency/
http://0pointer.de/blog/projects/locking.html
http://0pointer.de/blog/projects/locking2
https://www.samba.org/samba/news/articles/low_point/tale_two_stds_os2.html

This entry was originally posted at http://wizzard.dreamwidth.org/455707.html. It has comment count unavailable comments. Please comment there using OpenID.

2016-01

Brain Pipelining

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

Самые интересные из них - это перестановки отдельных букв. Ну, т.е. в фразе все буквы правильные, но одна убежала куда-то вперед или назад.

У меня по этому поводу есть теория, что мозг фигачит в параллель команды на печать нескольких букв, когда старые буквы в пайплайне еще летят до пальцев (в принципе, иначе печатать со скоростью быстрее 1-2 букв в секунду нельзя было бы). Ну и иногда случается какое-то переключение контекста, и одна "задача" подлагивает уже будучи в полете от мысли к пальцу, наверное.

Так вот, максимум случались переносы аж на 7 символов. При этом еще забавно, что пробелы чаще убегают от слова к слову (2 слова слитно, и потом 2 пробела), а обычные буквы бегают как хотят :)

This entry was originally posted at http://wizzard.dreamwidth.org/455547.html. It has comment count unavailable comments. Please comment there using OpenID.

2016-01

(no subject)

Прекрасный новый мир вокруг нас.

В банке при открытии счета больше не просят документы (декларации, выписки, трудовую и подобное), а просят профиль LinkedIn %)

Ну, т.е. натурально только ID и ссылку на профиль. Был изрядно удивлен.

This entry was originally posted at http://wizzard.dreamwidth.org/455171.html. It has comment count unavailable comments. Please comment there using OpenID.

2016-01

coding again

Интересно, что с увеличением опыта как девелопера бывает, что код, который раньше казался простым - начинает казаться сложным (хрупким, неустойчивым).

Потому что ты видишь больше частных случаев и возможных косяков, глубже и дальше моделируешь - и видишь, что там есть сценарии ошибок, о которых раньше даже не подозревал :)
Оттуда же, наверное, появляется желание писать меньше "clever code", однострочников и прочего такого, да. Ну и документировать intent ("что этот код по задумке должен был делать")

(Это я вчера вечером впервые в этом году сел и написал 1000 LOC, а сегодня с интересом сравниваю их со старым своим кодом)

In other news, на дотнете теперь можно писать low-latency штуки (игры, HFT и прочее), у GC появились нужные крутилки и его можно при необходимости вырубить совсем

This entry was originally posted at http://wizzard.dreamwidth.org/454992.html. It has comment count unavailable comments. Please comment there using OpenID.

2016-01

Неожиданная обратная сторона "never eat alone".

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

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

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

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

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

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

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

Чего б его такого придумать %)

This entry was originally posted at http://wizzard.dreamwidth.org/454762.html. It has comment count unavailable comments. Please comment there using OpenID.

photo25

"До 120": ученые впервые протестируют препарат против старения (repost)

Оригинал взят у grimnir74 в "До 120": ученые впервые протестируют препарат против старения
Metformin

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

Исследователи уже доказали, что метформин – портиводиабетический препарат – продлевает жизнь животных, и Управление по контролю над продуктами и лекарствами США (FDA) одобрило проведение дальнейших испытаний, в ходе которых будет установлено, будет ли наблюдаться подобный эффект у людей.

Один из авторов работы, профессор Гордон Литгоу из института исследований по проблемам старения в Калифорнии, изучает эту тему уже 25 лет и отмечает, что анти-возрастные препараты никогда ранее не проходили испытаний на людях, сообщает The Telegraph.

По данным ученых, старение не является неизбежной частью жизни, потому что все клетки содержат в ДНК "проект", по которому тело может функционировать правильно неограниченное время: например, некоторые морские обитатели не стареют вовсе. Однако в течение жизни в процессе работы органов происходят миллиарды делений клеток, и с каждым делением накапливаются "ошибки". Когда их накапливается слишком много, тело не может справиться с их последствиями: например, при онкологических заболеваниях клетки больше не обладают способностью избавляться от мутаций, и возникают опухоли; при болезни Альцгеймера мозг прекращает избавляться от липких бляшек, и развивается слабоумие.


Read more...Collapse )


2016-01

слава роботам!

нейросети решили одну из самых сложных проблем программирования ---> http://burgundy.io/

This entry was originally posted at http://wizzard.dreamwidth.org/454609.html. It has comment count unavailable comments. Please comment there using OpenID.

2016-01

(no subject)

Так, ну в общем к утру температура и воспаление куда-то сами закончились, но все равно сходил. Прилепили какую-то горькую затычку и сказали ее не трогать и всячески игнорировать то, что теперь всё горькое -_-

Однако в целом уже намного лучше чем было когда зуб только вылез, да...

This entry was originally posted at http://wizzard.dreamwidth.org/454275.html. It has comment count unavailable comments. Please comment there using OpenID.

2016-01

(no subject)

дорогой ЖЖ, а после удаления зубов мудрости всегда ТАК хуево, или бывает обходится?

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

This entry was originally posted at http://wizzard.dreamwidth.org/453899.html. It has comment count unavailable comments. Please comment there using OpenID.

2016-01

(no subject)

Кстати, вот помню кто-то ругался, дескать, нафига Julia так много депенденсей с собой тащит и кто это вообще складывает их в релиз и вообще.

ответ прост и написан на странице их релизов -
For source builds in restricted environments (e.g. no network access) use the output of make full-source-dist attached below in julia-0.4.1-full.tar.gz as it already contains all dependencies pre-downloaded and ready for compilation.

А то развели, понимаешь, моду на каждый чих в интернет лазить, уже является нормой что билд ходит к десятку серверов и что-то от них хочет. Упс, мы выехали к клиенту и нам надо что-то подправить и пересобрать, а интернет у нас с собой только вайфай из отеля (и хорошо если он есть). Приплыли.

Всякие условия в этом мире бывают, в общем.

This entry was originally posted at http://wizzard.dreamwidth.org/453637.html. It has comment count unavailable comments. Please comment there using OpenID.

photo25

ορθοδοξία - via Antony of Sourozh (repost)

(disclaimer: я все еще атеист, а еще я не могу толком сформулировать, чем мне этот пост понравился. это как стихи, наверное)

Оригинал взят у lukacs в ορθοδοξία - via Antony of Sourozh



... в одну з літургій владика вийшов на проповідь, оглянув присутніх і тихо вимовив:
- вчора ввечері на службу прийшла жінка з дитиною. вона була в джинсах та без хустини на голові. хтось з вас зробив їй зауваження. вона пішла. я не знаю хто зробив зауваження, але я наказую цій людині до кінця днів молитися за цю жінку та її дитину, щоб Господь врятував душу її та дитини. тому що через вас вона може більше ніколи не прийти в храм.

сказавши так він розвернувся і пішов. на цьому проповідь була закінчена.


?

Log in