открытая запись

[avva]

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

Случайные объявления и замечания:

- книга Александра Шапиро burrru - набор интереснейших (иногда спорных!) заметок о поэзии, искусстве и переводах - теперь доступна бесплатно на Амазоне, а также в файле, рекомендую;

- из сериалов за последнее время: больше всего "Horace and Pete". Это что-то необыкновенное.

- Неожиданно понравилась также первая серия "Гравити Фоллз".

- Кто на самом деле был адвокатом Савченко? У меня создалось странное впечатление, что на публику были Фейгин и Полозов, а реальную работу делал Новиков - насколько это далеко от истины?

- Понравилось интервью с Хилари Мэнтел, настолько, что хочется теперь прочитать "Волчий зал".

- программисты, скажите мне что-то хорошее/плохое о Rust? Только личное мнение, обзорные статьи я сам читал.

Comments

[huzhepidarasa.livejournal.com]

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

Еще я прослезился от эпической серии кабшотов на реддите.

[avva.livejournal.com]

Дайте ссылку на серию кабшотов, все прошло мимо меня.

[gegmopo4.livejournal.com]

Личное мнение о Rust:

[rednyrg721.livejournal.com]

Понравилась ссылка с HN:

What should we learn from past AI forecasts?
http://www.openphilanthropy.org/focus/global-catastrophic-risks/potential-risks-advanced-artificial-intelligence/what-should-we-learn-past-ai-forecasts
https://news.ycombinator.com/item?id=11784481

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

P.S. В дискуссиях на эту тему надо заранее приводить вот эту ссылку: The Maes-Garreau Point (http://kk.org/thetechnium/the-maesgarreau/)

[murchik007.livejournal.com]

https://www.instagram.com/p/BF6dtx_RWGT/

[special-linear.livejournal.com]

Gravity Falls — натурально, лучшее, что происходило в сериальной мультипликации в последние несколько лет.
Возможно, я несколько преувеличиваю под воздействием свежести впечатлений (не так давно досмотрел), и развитие того же Adventure Time мне тоже очень нравится, например, но все же, полагаю, суждение это у меня уже не сильно изменится.

[dzz.livejournal.com]

Соглашусь. GF - сериал великолепный, и по сеттингу, и по развитию сюжета.

Четвётрый сезон "Корры", кстати, весьма неплох, если брать последние несколько лет.

экономика в связи с будущим появлением сильного ИИ

[dmitry lyubarsky (from livejournal.com)]

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

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

Мне как полному профану видится два совершенно различных сценария.
1. Либо это постапокалипсис в стиле Облачного Атласа с разделением на условных морлоков и элоев: обычных никому не нужных людей, вытесненных машинами, и выжившей счастливой элиты, кучки людей, которых взяли в тусовку. Обычные люди как-то себе выживают, питаются кореньями, и в целом живут лишь надеждой, что вот сейчас в очередные смотрины кого-нибудь из них завербуют (с помощью, скажем, ДНК- и МРТ-теста) и заберут к себе в мир, где бессмертие, все на ховербордах и в красивых белых туниках такие тусуются.
2. Либо же никакой дихотомии не будет, всё в конечном счете достанется более или менее всем, добрые трудолюбивые роботы будут за всех вкалывать, а людям каждому по потребностям, от каждого по способностям, опять же ховерборды и туники и все ходят красивые.

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

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

Re: экономика в связи с будущим появлением сильного ИИ

[rednyrg721.livejournal.com]

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

http://slatestarcodex.com/2016/05/28/book-review-age-of-em/

Robin Hanson считает, что симуляция людей будет раньше, чем полноценный ИИ, ну и всё, оттуда следующее по ссылке.

[hyperpov.livejournal.com]

[foggy-aaron.livejournal.com]

А что прада никто не видит? Не первый раз уже натыкаюсь на эту картинку, но даже в первый раз увидел эту сигару.

Резкая смена взглядов с уклоном в конспирологию: распа

[dmitry lyubarsky (from livejournal.com)]

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

Небольшое время назад что-то внутри него щелкнуло, и за пару лет на глазах почтенной публики произошел тотальный фазовый переход. Теперь он сталинист-ультраконсерватор. Эволюция шла в прямом эфире, я за ней наблюдал в жж, и это реально было страшно! Страшно в первую очередь то, с какой легкостью менялись факты в угоду новым теориям. Теперь Вассерман вполне серьезно рассуждает о фальшивом приложении к пакту Риббентропа-Молотова, делится аналитикой об учиненной немцами Катыни, рассказывает о Хрущеве, за спиной Сталина творившем все репрессии, искренне кается в собственных прошлых ошибках и т.д.

Вопрос: это вот вообще что было? Это просто сошел с ума человек (т.е. у этого есть клинически определяемый диагноз)? Или это пограничное расстройство личности, не сумасшествие, но и нормальным это не назовешь? Или это и вовсе вариант нормы, и мы с вами тоже ничуть не менее ловко натягиваем сову на глобус в повседневной жизни?

Если это клиника, то как называется этот диагноз? Какова распространненость заболевания? Можно ли тот же диагноз поставить, скажем, Фоменко с его Новой Хронологией А Задорнову, который, насколько я вижу, уже давно не шутит касательно своих лингвистических построений?

Если это же вариант нормы, то это ведь вообще страшно. Как тогда кому-либо (и себе) верить? Читать Юдковского? Записаться в общество less wrong? Поделитель, кто пробовал - оно помогает? :)

[(Anonymous)]

В вики пишут, со ссылками периода 2012-13 годов:
Вассерман выступает за отмену пенсий и считает, что всеобщее пенсионное обеспечение — один из главных источников демографического кризиса.
Считает, что в России необходимо разрешить использование огнестрельного оружия для гражданской самообороны.
Вассерман раскритиковал предложение Рамзана Кадырова сажать в тюрьму участников националистических митингов. Он заявил, что это «лекарство из разряда тех, что хуже самой болезни».
Так что никакого тотально мировоззренческого перехода не произошло, человек (инженер-теплотехник и телезвезда) просто перешел в другой политический лагерь. Всё равно это смотрится дико, конечно, но на то он и "со странностями".

[onedrey.livejournal.com]

У меня сложилось впечатление, что Новиков и работу основную делал по защите, и на публику работал, причем не только российско-украинскую, и всю разъяснительную работу вел. А Фейгин с Полозовым - вообще непонятно зачем. Только какие-то эмоциональные твиты изредка.

[akor168.livejournal.com]

Сильный ИИ это темна вода в облацах.

А кто что думает про взрыв результатов в слабом ИИ за последние годы. Точнее, кто может объяснить толково, почему вроде бы заброшенные тупиковые ветви нейронных сетей и машинного обучения (чуть ли не первые идеи, как я понимаю еще из 60-х) вдруг заработали. Почему не работали, не работали, и вдруг, ап, и в дамки. Ощущение, что "власти скрывали".

Не есть ли это пузырь? И где пределы?

[tasmanj.livejournal.com]

Можно выделилить 3 причины (в случайном порядке, все они важны):

1 Набор инженерно-технических трюков, которые сделали возможной тренировку "глубоких" (условно состоящих из большого количества слоёв) сетей - правильная инициализация, relu в качестве активационной функции, batch norm, вот это всё;
2 Появление быстрых видеокарт и простое api, позволяющее тренировать сети на видеокартах. Там много вычислений и такое ускорение тренировки часто делает её вообще возможной;
3 Появление больших размечаных датасетов. Для тренировки "глубоких" сетей нужно много данных

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

[alaev.livejournal.com]

Со скорбью ли израильские выходцы с Украины отметили 90-летие убийства С.Петлюры? Верховная Рада объявила этот день (http://www.business.ua/ukraine/rada_priznala_90_letie_ubiystva_petlyury_dnem_skorbi-276269/) скорбной датой.

[migmit.livejournal.com]

Rust не прошёл мой тест на дженерики. Как оказалось, при компиляции дженерика всё AST запихивается в объектный файл, и только в момент специализации действительно компилируется. Разработчики подтвердили, что это by design. В общем, худшее из двух миров: из дженериков (типа как в Java/Scala/Haskell/whatever) — то, что их нельзя частично специализировать, из C++ — то, что нельзя делать полиморфную рекурсию.

[huzhepidarasa.livejournal.com]

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

А специализации на самом деле используются почти исключительно для того, чтобы писать метапрограммы. Дело это полезное, но инструмент негодный. Надо завести метаконструкции и на них писать, как в Хаскеле примерно.

[migmit.livejournal.com]

Из сериального — iZombie. Ни одной – вообще — проходной серии, постоянно держат очень высокую планку.

[vlad saveliev (from livejournal.com)]

О, а можно вас попросить. Я очень давно читаю Авву, и во многих постах вижу ваш мигающий аватар, который очень раздражает и мешает читать. Что вы думаете о том, чтобы поменять юзерпик на статичную картинку?

[rsokolov.livejournal.com]

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

Очень похожее впечатление, да.

[egorfine.livejournal.com]

Horace and Pete. Я посмотрел первых 10 минут первой серии и закрыл. Зря?

[avva.livejournal.com]

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

Я не скажу, конечно, что всем должно нравиться, но хотя бы одну серию досмотрите до конца.

Про Rust

[aleksey kladov (from livejournal.com)]

Блин, я собирался вас спросить про Rust в следующей открытой записи, но, как оказалось, не успел :(

Я на нём написал прошлым летом очередную маленькую трассировку лучей (https://github.com/matklad/rustraytracer), и с тех пор в основном про Rust и разговариваю и пытаюсь, в меру возможностей, помогать :)

Кажется, язык решает проблемы, которые стоит решать, делает это принципиально лучше конкурентов и, как проект в целом (сборка, зависимости, документация, обратная совместимость, вот это всё), выглядит очень зрело. Вроде бы есть шанс что на нём ещё будут программировать через n лет.

Из недостатков, во-первых, зараза, сложный. Кажется пока проще, чем C++, но ведь всякие constexpr и специализации только появляются, так что будет ещё возможность обогнать. Во-вторых, очень неспешный edit-compile цикл, хотя обещают исправить. В-третьих, пока нет уверенности, что большинство разумного кода, который можно написать на C++, можно написать и на safe Rust. Но контрпримеров пока не встречал. Всякие циклические графы и интрузивные структуры пишутся не так, как можно было бы на C++, но всё-таки пишутся. Да и Servo как-то же работает.

Re: Про Rust

[avva.livejournal.com]

Спасибо. Думаю, надо изучить. Вообще по эстетике мне, казалось бы, гораздо ближе должен быть Go (я понимаю, что это яблоки с апельсинами, и у них несколько разные цели, и все же): радикальная простота и "прозрачность" кода, агрессивное неприятие сложных конструкций. Но вот не нравится он мне, и все тут.

[avsmal.livejournal.com]

Про Полозова, Фейгина и Новикова напишу свои личные впечатления.

О медийном фоне.
Я почти всю информацию о позиции стороны защиты получал так или иначе через Новикова (т.е. из его постов и интервью). Фейгин и Позолов только что-то злое писали в твиттере (например, в истории с вопросами Медузы), но никакого связного освещения хода дела от них я не видел (т.е. мне не попадалось на глаза).

Про участие в процессе.
У меня тоже сложилось впечатление, что Новиков является основным адвокатом, выстраивает линию защиты и пр., а Фейгин и Полозов в основном пишут твитты. Даже в каком-то репортаже так и было написано, что Фейгин и Полозов всё заседание смотрели в телефоны, а Новиков отдувался за троих. Мне казалось, что это в репортаже Азара, но видимо я ошибаюсь: перечитал https://meduza.io/feature/2016/02/02/kurator-borna-v-dele-savchenko, судя по репортажу все трое участвуют в процессе, хотя Новиков и чаще других.

[caztd.livejournal.com]

Нир и Гали (nirvegali) открыл для себя.
Интересно, а есть где-то с субтитрами на английском?

[(Anonymous)]

Про адвокатов всё ровно так. Особенно как эти два клоуна позировали с Порошенко после обмена, без Новикова, а он в это время скромно рассказывал на Эхе про то, что дело адвоката маленькое – проследить, чтобы обмен не сорвался из-за какой-то бумажки.

[bibliofil.livejournal.com]

Касательно мультсериалов

А как же Rick and Morty или Archer?

[occuserpens.livejournal.com]

По ВЗ есть BBC-шный сериал, похоже что очень приличный

[oryx_and_crake]

Спасибо за рекомендацию книги. Дебильный Амазон не дает мне ее скачать, посылает на амазон.ca, а там ее нету.

P.S. только заметила, что рядом еще и ссылка на файл для скачивания. Спасибо! Но дебильному амазону все равно посылаю луч поноса.

[(Anonymous)]

Нужна ли обществу наука? Если да, то почему она так плохо оплачивается? Как насчёт гипотезы эффективного рынка, которая сказала бы, что вся доступная обществу информация о пользе дальнейших исследований уже заложена в уровне оплаты труда учёных?

[borzometr.livejournal.com]

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

[p-a-s-h-a.livejournal.com]

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

[vvs2002.livejournal.com]

> в расчете на километр безопасность самолета и автомобиля примерно одинакова

Чисто умозрительно, не может такого быть. Вот и wiki с этим согласна: https://en.wikipedia.org/wiki/Aviation_safety#Comparison_to_other_modes_of_travel

[eterevsky.livejournal.com]

На Расте я несколько раз писал небольшие вещи. До 1.0 было много геморроя с обработкой ошибок и синтаксис был довольно сырым. Но после того, как синтаксис стабилизировался и добавили try!, panic! и т.д. писать на нём стало очень приятно. В последней версии даже добавили что-то типа исключений (http://doc.rust-lang.org/nightly/std/panic/fn.catch_unwind.html), но только для обработки неожиданных исключительных ситуаций.

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

Самой важной отличительной чертой, вероятно, является очень сильная система типов. Всё то, что в Джаве делается с runtime дженериками, и даже больше того, в Расте компилируется статически. В системе типов можно представить очень сильные абстракции, типа ассоциированных типов. (Например, можно сделать трейт Graph, у которого будут ассоциированные типы Graph::Vertice и Graph::Edge, и писать мета-функции, работающие на группе связанных типов.)

Управление памятью устроено сложнее, чем в GC-языках, но это оправдывается большим выигрышем в производительности. В современном коде на C++ память уже выделяется с помощью RAII, но в любой момент можно сконвертировать unique_ptr в голую ссылку, и это позволяет сгладить сложные места. В Расте так не получится. Особенно сложно (по крайней мере для меня) бывает когда выделение памяти встречается с дженериками.


В последнее время меня гложет мысль, что Google поторопился с повсеместным внедрением Go. По моим ощущениям (я на Go не писал), этот язык занимает почти в точности ту же нишу, что Джава, как по производительности, так и по силе абстракций. Мне кажется, внедрение Раста было бы гораздо более в тему, но сейчас это сложно реализуемо, так как никто не поддержит добавление пятого языка в codebase.