Очень интересно: разработчики нейросетевого переводчика Google обнаружили, что он может переводить предложения между парами языков, переводить которые его не обучали (!).

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

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

https://research.googleblog.com/2016/11/zero-shot-translation-with-googles.html

по-русски: http://apparat.cc/news/google-translate-ai-secret-internal-language/

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

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

Хомский утверждает, что многие свойства порождающей грамматики производны от универсальной грамматики.

https://ru.wikipedia.org/wiki/Универсальная_грамматика

https://ru.wikipedia.org/wiki/Порождающая_грамматика

До настоящего времени ни один из тезисов универсальной грамматики не был подтвержден.

И возможно достигнутый результат обучения нейросети для Google Translate - это доказательство существования концепции (proof of concept) универсальной грамматики, универсального метаязыка, который вероятно изначально заложен и существует в одном из огромного множества вариантов конфигурации нейросети, её архитектуры, карты связей нейронов-тензоров, к которому пришли в Google в результате обучения на больших наборах данных (возможно поисковых), и этот вариант конфигурации нейросети с изначально заложенным в него когнитивным пониманием метаязыка существует не только в искусственно образованной архитектуре нейросети, но и в естественной, в развивающейся нейросети головного мозга ребёнка например, что является определяющим фактором нашей способности к использованию языка и общению для передачи информации.

Это как раз самый эффективный из нейросетевых методов для решения задач NLP (natural language processing).

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

И вот кстати интересный вопрос, заданный мне недавно при прохождении собеседования и претендуя на новомодную (на самом деле мода просто возвращается) специализацию deep machine learning data scientist (Lua/Torch, Python/TensorFlow) в компанию, которая давно занимается торговыми платформами для бирж (в том числе криптовалютных) и создаёт трейдинговых ботов - почему неалгоритмические нейросетевые методы эффективнее при решении подобного класса задач, для обработки естественных языков (NLP) и вообще когнитивных задач постижения чего либо либо, вместо их алгоритмической автоматизации?
И почему нейросетевые методы - неалгоритмические?

...

Интересная статья о Маргарет Хэмильтон, женщине и инженере, разработавшей вместе с командой MIT бортовое навигационное ПО для программы Аполлон и принципы надёжного кода, которые используются в лаборатории реактивного движения (JPL) NASA и поныне.

http://blog.engineerbabu.com/2016/11/margaret-hamilton/

Исчерпывающий справочник по сервисам Amazon 👍

https://github.com/open-guides/og-aws

Вот такими должны быть видео митапов, live coding session 👍

https://youtu.be/yG-UaBJXZ80

Отличное приложение 👍
Позволяет читать и тестировать данные бесконтактных карт (Visa PayWave, MasterCard PayPass, American Express ExpressPay) в режиме pos-терминала через NFC в смартфоне

https://play.google.com/store/apps/details?id=com.github.devnied.emvnfccard

https://play.google.com/store/apps/details?id=com.github.devnied.emvnfccard.pro

Tips:
UnionPay QuickPass does not operate on a trust-based system, but rather as a stored-value card.

PS: Проверил на картах Демир банка - пока это единственный банк, выпускающий карты Visa с поддержкой технологии бесконтактной оплаты Visa PayWave, когда не нужно отдавать карту кому-то в руки для оплаты и беспокоится об утечке CVС кода с обратной стороны карты, хотя при поддержке банком OTP/2FA технологии Visa 3D Secure и это уже не столь критично, но бесконтактных карты всё же удобнее в использовании.

Еженедельная программа Вести.Net

https://youtu.be/pGy7vuJK3V0

Наконец-то появился более менее нормальный перевод фильма "Revolution OS" (2001), об истории становления и развитии ядра Linux, фонда FSF и движения FOSS.

https://youtu.be/n1F_MfLRlX0

http://www.kinopoisk.ru/film/13343/

Интервью Илона Маска с Уолтом Мосбергом и Карой Суишер на Code Conference 2016, в русском переводе.

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

Дискуссия про нейроинтерфейсы и эмуляцию реальности во многом напомнили мне книгу Уильяма Гибсона "Нейромант" и японскую мангу "Ghost in the shell", которые становятся всё более актуальными и провидческими в наше время.

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

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

https://youtu.be/UMgyuuCNthE

http://vk.com/video-37160097_456239264

Сегодня у всех гоферов (gophers) большой праздник!

JetBrains выпустила на базе своей платформы IntelliJ в пока что закрытое тестирование специализированную IDE с рабочим названием Gogland, для разработки приложений на Go! 🤘😁

https://habrahabr.ru/company/JetBrains/blog/317716/

Проект отдельной самостоятельной IDE для Golang Карл! 🙀😹

Весьма интересно, какие фреймворки для разработки веб приложений будут поддерживаться в IDE Gogland?

https://www.jetbrains.com/go/

Напомню, что ранее был доступен только плагин для разработки на Go в других IDE от JetBrains.

https://github.com/go-lang-plugin-org/go-lang-idea-plugin

https://plugins.jetbrains.com/plugin/5047

Я использовал этот плагин в WebStorm, для разработки на Go и JS - всё же нужна IDE, для отладки, не только редактор кода.

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

https://youtu.be/YkiyiSdZzXk

Инженеры (среди которых есть и пилоты) из стартапа e-volo (намёк на evolution) в Германии в 2011 году задумались о перспективах воздушного транспорта на электротяге в условиях городской среды и начали развивать свою технологию электрокоптера, проведя в том же 2011 году испытания первого прототипа (https://youtu.be/L75ESD9PBOw) и собрав инвестиции для дальнейшего развития.
В этом году они провели первые пилотируемые (https://youtu.be/OazFiIhwAEs) и беспилотные (https://youtu.be/w1UXRkCsyKg) испытания первой предпродакшн модели Volocopter'a (так они назвали свой электрокоптер), получив разрешение на полёты в Баварии.
Ещё многое нужно продумать и сделать, для обеспечения безопасности, создания системы спасения пилота и пассажиров (в многоместном варианте) на низких высотах, создания ПО автопилота и системы связи между коптерами для объединения их в рой - в Швейцарии на саммите по климату и энергетике предложили проект воздушной публичной транспортной сети с применением Volocopter'ов, (https://youtu.be/6v5iMeRl5Qo) - всё это решаемо и я надеюсь, что у e-volo всё получится!
Здорово что транспорт будущего, как наземный так и воздушный, меняется в сторону экологически чистых технологий на возобновляемых источниках энергии!

https://youtu.be/haXvp8M9Cog

Вышел первый тизер фильма "Бегущий по лезвию 2049" ("Blade Runner 2049"), спродюсированного Ридли Скоттом - это продолжение истории снятой Ридли Скоттом ещё в1982 году (http://www.kinopoisk.ru/film/403/).
"Бегущий по лезвию" давно стал классикой научной фантастики и жанра киберпанк.

http://www.kinopoisk.ru/news/2867203/

http://www.kinopoisk.ru/film/589290/

Премьера фильма назначена на 10 июня 2017 года.

Ранее, на 30 марта 2017 года была назначена премьера художественной экранизации "Ghost in the shell".

2017 год пройдёт под знаком жанра #киберпанк и порадует гиков множеством премьер в этом жанре.

Firebug станет частью Firefox DevTools в браузере.

При кросс-браузерной отладке Firebug крайне полезен.
И это прекрасная новость для фронт-энд разработчиков!
Давно пора было двигаться в этом направлении!

Firebug прокачают и переведут с интерфейса Chrome (GUI API для расширений) движка XUL Runner на нативный GTK+ виджет тулкит, используемый в Firefox и DevTools - тогда Firebug и весь функционал будут работать в разы быстрее!

https://opennet.ru/opennews/art.shtml?num=45731

Напомню, в середине этого года Mozilla анонсировали проект Quantum (https://wiki.mozilla.org/Quantum) по интеграции компонентов движка Servo, обеспечивающих многопоточность и безопасность (memory segmentation safety and thread safety) в движок Gecko посредством Rust FFI (Servo написан на Rust).

Из-за столь кардинальных изменений внутренней архитектуры движка браузера (layout engine), для поддержки многопоточной обработки данных и ускорения работы, будет изменён и движок поддержки расширений браузера XUL Runner. Ранее Mozilla анонсировали также поддержку расширений браузера Chromium.

http://www.kronos.ru/about/koltashev

http://www.inr.ac.ru/~info21/texts/aakmodula2.htm

https://geektimes.ru/company/ua-hosting/blog/272756/

Отличные статьи о применении языка Modula-2 в бортовом ПО космических аппаратов России, в частности в системе ГЛОНАСС.

Также на Модула-2 был реализован автопилот и бортовая система (телеметрия, навигация, посадка) космического корабля-челнока Буран.

Бортовое ПО спутников ГЛОНАСС пишется на Модуле-2 и транслируется в машинный код целевой архитектуры бортового компьютера средствами компилятора XDS (http://www.excelsior.ru/products/xds, https://www.excelsior-usa.com/xds.html, https://github.com/excelsior-oss/xds-ide).

Языки изначально спроектированные профессором Никлаусом Виртом очень сильно повлияли на весь современный ландшафт программирования (https://habrahabr.ru/post/303380/) - промежуточный байт-код в основе компиляторов Модулы и Оберона это идея (и реализация!) Вирта, а идея и реализация динамической JIT компиляции принадлежит его ученику и протеже по ETH Микаэлю Францу, и это тема по которой Франц защищал докторскую диссертацию в ETH (http://www.michaelfranz.com - личный сайт).

Одним из ярких современников Оберона и Модулы является язык Go.

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

В исходниках программ на Go очень явно и отчётливо просматриваются концепции как Модулы (модульность и раздельная компиляция) так и Оберона (абстрактные типы данных - альтернатива ООП).

Это неудивительно, т.к. одним из соавторов языка является Роберт Гризмер, также ученик Вирта и воспитанник инстииута ETH.
В одном из видео на конференции он сам рассказывал о концепциях лужащих в основе Go и как на него повлияли Оберон и Модула.

https://youtu.be/0ReKdcpNyQg

Также интесен факт, что при работе в Bell Labs огромное влияние на взгляды Роба Пайка, одного из трёх авторов Go, оказал работавший также в Bell Labs Лука Карлелли, исследователь теории типов и соавтор Модула-3.

Модула-2 и её концепции запали мне очень глубоко в душу ещё со школы, с тех самых пор как я впервые был вовлечён в программирование и после знакомства с книгой Э. Непли и Р. Платта "Modula-2 Programming" (http://publ.lib.ru/ARCHIVES/N/NEPLI_Ed/_Nepli_E..html).
Это было в уже далёком 2002-ом году.

http://progbook.ru/algoritmy/659-virt-algoritmy-i-struktury-dannyh.html

Именно эти книги оказали на меня наибольшее влияние и сформировали образ мышления. Поэтому я весьма трепетно отношусь как к классическим Модуле и Оберону, так и к современным языкам, основанным на их идеях, в частности к Zonnon и Go.

#исторический_очерк
#throwback_thursday

Литература: см. ниже

PS: Думаю что если и начинать изучение программирования в школе - то только с Модулы и Оберона.
Я был откровенно удивлён будучи в России и узнав, что многие школы и ВУЗы Новосибирска, Красноярска, Томска, Нижнего Новгорода используют современные реализации XDS Модулы и Оберона, компонентный Паскаль и Zonnon для обучения детей и молодёжи программированию, математике и алгоритмам.
У страны и её детей больше будущее!