Отдел новостей 21 декабря 2015, 09:45

Неделя за 10 ссылок: хакеры против государства

История о посягнувших на президента России хакерах и новый документальный фильм о наших приватных данных и сетевом будущем с участием белоруса Евгения Морозова; интервью с успешным стартапером Дмитрием Мацкевичем, детали запуска LTE в Минске, разговор про противоречивость акторов и боль квантовых вычислений и многое другое — в традиционном обзоре свежих ссылок за неделю.

Фото: Reuters/Dado Ruvic via ibtimes.com.

1. Дела стартапные

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

Остаётся только добавить, что Дмитрий вошел в «Топ 30 белорусских предпринимателей в возрасте до 30 лет».

В стартапах часто бывает так, что про тебя с утра написали как о топ-100 лучших проектов Европы и ты думаешь: «Ну все, мы — супергерои!» А вечером у тебя сорвались переговоры с инвесторами, и ты понимаешь, что если ничего не случится, через неделю станешь банкротом.

Так что одна из особенностей такого образа жизни — умение относиться ровно к взлетам и падениям. У меня друг в Беларуси работает программистом уже лет 10. Он как-то звонит и говорит, что вот, все плохо, возможно, их всех уволят... А я даже не мог ему посочувствовать, потому что не понимал: в чем сложность-то? Ну, найдешь другую работу. Для меня, когда я менял столько компаний, зарабатывал и терял кучу денег, это давно вышло из зоны эмоционального напряжения. Бывают, конечно, моменты депрессии, но скорее потому, что я не чувствую движения вперед, или начинаю сомневаться в правильности поставленных целей, или не имею в данный момент интересных задач.

В дополнение по теме стартапинга из прошлой недели:

2. Беларусь стала ближе к миру...

... а её мобильный интернет современней на поколение.

LTE вышки в Минске по ссылке https://t.co/mVmeTJpd5g
— Мятная Вундервафля (@Nik_Nmka) December 18, 2015

@by_mts Включил LTE. Теперь не могу полноценно звонить. То не соединяет, то обрывается. Сообщите, когда нормально накроете Минск.
— Amparo Dios (@AmparoDios) December 18, 201

3. А вы на каких монадах сидите?

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

Вывод в конце поста звучит так:

Это позволяет тривиально создавать очень надёжные штуки. Всё, что я написал на Akka, работает без перезапусков годы, причём к этому не надо никаких особых усилий прикладывать. Отваливался DNS, отваливались сервера — а штуки продолжали работать.

На данный момент ваш выбор заключается в основном в Akka или Erlang, но над этим работают.

Если вы прониклись, вот хорошая ссылка про Akka.

И раз мы взялись сегодня за прочистку функциональной чакры, сделаю небольшое историческое отступление. Далее цитата из исторической бумаги (A Universal Modular ACTOR Formalism for Artificial Intelligence) от создателя модели акторов Карла Хьюита (соавторы: Peter Bishop, Richard Steiger):

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

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

Из этого куска видно, что Хьюит относит акторов к императивной модели. Однако, погуглив, легко обнаружить, что модель акторов пытаются прилепить куда угодно, только не к императивщине. Скрытно подозреваю, что акторы являются не до конца реализованным подходом к агентно-ориентированному программированию, которое в свою очередь является развитием ООП. Поэтому далее ещё одна цитата, для достижения нужной интенсивности бурления вброса.

В своё время у Хьюита были такие трения с создателями оригинального Пролога:

В 1988 году Роберт Ковальски, создатель языка Prolog, выдвинул тезис, что «вычисления могу быть сгруппированы по логическим выводам». Это справедливо для последовательных вычислений и для некоторых моделей параллельных. Но в 1988 году Hewitt и Agha опубликовали статью Guarded Horn clause languages: are they deductive and Logical?, в которой показали, что для модели акторов это неверно в следующем смысле: текущее состояние программы может дедуктивно не следовать из предыдущего. Что это значит на практике: отладка программы на основе модели акторов не так эффективна, как в случае последовательных программ.

Не зря Don Syme (гуру F#) подразделяет способ устройства акторов на:

the imperative way;
the functional way.

4. Квантовые вычисления

На технологическом рынке через несколько лет может появится уникальная новинка, разработкой которой занимаются представители компании D-Wave Systems и Google. Специалисты создали систему D-Wave, на основе которой в скором времени будет сконструирован функционирующий квантовый компьютер.

В связи с этим есть новости хорошие и плохие:

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

5. Поймать Сатоши

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

Однако силы у жаждущих отыскать Сатоши не иссякают. И последние несколько дней отмечены очередным скандалом вокруг очередной персоны. Случай этот, впрочем, выбивается из общего ряда. Во-первых тем, что в нём, похоже, заинтересован сам претендент. Во-вторых тем, что замечательно продемонстрировал превосходство и неоценимую важность одного из главных достижений ИТ: массовой реализации стойкого крипто. В-третьих тем что заставил, наконец, громко прозвучать вопрос: а имеем ли мы право беспокоить создателя Bitcoin? Но давайте по порядку.

6. Каталоги отборных ссылок

В прошлом обзоре давал ссылку на замечательный каталог из лучших ссылок по самым разным темам ИТ, отбирающихся туда специально обученными людьми вручную и с большим рвением: awesome lists. Очень рад, что этот проект получил развитие — awesome interviews. По названию ясно, что туда бережно складывают все по-настоящему содержательные статьи о прохождении собеседований в самых разных областях ИТ.

Запилил страницу про сферы применения языков программирования и о том почему их стоит учить и не стоит. https://t.co/XMwwWe0ntU
— Kirill (@mokevnin) December 20, 2015

7. Полный перевод Unix-коанов на русский язык

Ссылка на статью-источник:

Представляю на ваш суд ещё один перевод коанов о Мастере Фу на русский язык. В данный сборник вошли все коаны, на данный момент опубликованные на сайте Эрика Реймонда. Надо сказать, что сам Эрик личность весьма неординарная, но упоминания в данной статье стоящая. Помимо холиваров в списках рассылки всевозможных проектов за его авторством также несколько серьёзных трудов о Unix — в том числе и о сообществе, без которого экосистема современных открытых проектов не была бы возможной.

В качестве примера на мой случайный выбор:

Однажды безмятежное утро Мастера Фу было омрачено воплями страданий.

Обнаружив, что они исходят от одного из новичков, он осведомился:

— В чём твоя трудность?

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

Мастер Фу кивнул:

— Как, — спросил он, — решил бы эту трудность Мастер Великого Пути?

Ученик подумал пару минут, потом ответил:

— Ну, это очевидно. Я напишу лучший редактор на свете. Он будет делать всё, чего я захочу. Он будет делать всё, чего захочет кто угодно. И мир станет лучше, потому что...

... Тут речь ученика прервалась резким ударом посоха Мастера по затылку.

— М... Мастер? — спросил ученик, осторожно потирая ушиб. — В чём я был неправ?

— Глупец! — сказал Мастер Фу, — неужели ты думаешь, что я хочу учиться ещё одному редактору?

Услышав это, ученик обрёл просветление.

8. Длинные руки

Отличная хакерская история с разборками и угрозами крови и зрелищ: Как попасть на дачу президента в пять часов утра.

Обычное московское утро, офис-подвал, кофе, Вася с друзьями обсуждает новый заказ от старого знакомого. Все стандартно, надо достать инфу, всю до чего можно дотянуться. Адреса, сайты, места жительства персонала, страницы в соцсетях и т.д. получены заранее, и чем больше соберет покупатель сведений заранее, тем быстрее и качественнее будет результат. Подопытная фирма оказалась из северной столицы, без сайта (таких еще полно в России-матушке) и занимается поставками некоторого (какого будет разобрано ниже) оборудования, контора вроде как развалилась, но еще агонизирует, и некто мистер Х хочет получить остатки разработок данных. В командировку уехал самый молодой, ибо квалификации, чтобы поснифать wifi-трафик на предмет паролей, явок, ссылок и другой инфы, много не нужно.

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

Попытка связаться с взломанной организацией (в целях её шантажа) оказалась отчасти неудачной, потому что она оказалось государственной. Далее малость подкорректированный ответ а-ля руссо стайл:

«Послушай м[*]ило мне глубоко по[*]ую как ты получил или спи[*]дил эту информацию. Ты не представляешь в какое г[*]но вляпался и если об этом узнает кто-нибудь еще то искать тебя будут всей страной а я лично тебя [покараю].»

Из-за этого всего, как это водится, в комментариях уже ропщут некоторые малодушные айтишники:

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

Если материал вдруг удалят, заблокируют и запретят к вашему знанию, то вот краткое содержания кипиша: Хакер рассказал о взломе производителя ПО для подводной охраны резиденций президента РФ.

9. Дивергенция интернета, СМИ, общества

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

«Rebel Geeks-Give Us Back Our Data» a film by @evgenymorozov https://t.co/hmSXXX68Ao pic.twitter.com/g1BNK0GNGm https://t.co/xkx0g4DeUY
— Max Well (@MGMaxo) December 20, 2015

В качестве вспомогательных ссылок к фильму: про Евгения Морозова и его взгляды я писал здесь, а про проблематику self-tracking вот тут.

Дополнительно, как интернет плющит нас и нашу информационную среду обитания. Некоторые свежие интервью по этой теме для осмысления трендов.

«Как выжить в шторм»: сооснователь Look at Media о главных медиатрендах года.
«Интернет сейчас крайне дерьмовый»: что мы узнали из интервью сооснователя The Pirate Bay.
Манифест на смерть виртуальности — тезисы директора отдела Мизантропии и Уныния Владислава Моисеева.
«Человек медийный» — новая ступень эволюции или приложение к гаджету? «Человек медийный» — новая ступень эволюции или приложение к гаджету?

10. Чем плох REST API

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