Новый тизер "Blade Runner 2049" для ТВ (TV Spot) с интересными подробностями о фильме.

https://www.youtube.com/watch?v=tRcZ6yc1IMI

Плюс небольшое сюжетное отступление от фильма, "2036: Nexus Dawn", снятое Люком Скоттом (братом Ридли Скотта), с предисловием от рефиссёра Дэниса Вильнёва, о ранних событиях 2036 года, раскрывающее характер Ниандера Уоллеса (завладевшего обанкротившейся корпорацией Tyrell) и показывающее моральные возможности нового поколения репликантов Nexus 8, воссозданных им из прежних моделей Nexus 7.
Слабонервным и впечатлительным смотреть крайне не рекомендую.

https://www.youtube.com/watch?v=UgsS3nhRRzQ


#киберпанк
#cyberpunk

Первый трейлер третьего сезона сериала "Мистер Робот".

https://www.youtube.com/watch?v=EMK5e-FSro0

https://www.youtube.com/channel/UCX5R2xqZWND8nJqGTvel3nw

Осень обещает быть весьма интересной и богатой на премьеры!

Links:
https://t.me/technologique/1038

Teaser - https://www.youtube.com/watch?v=CmtaZ8sOfbk

Trailer - https://www.youtube.com/watch?v=EMK5e-FSro0

Действительно интересная интерактивная GIS система для мониторинга и прогнозирования атмосферных процессов, разработанная чешской команией InMeteo.

25-26 августа по восточному побережью США прошёл тайфун Харви (Harvey).
10-12 сентября ожидается другой тайфун - Ирма (Irma), который по прогнозам пройдёт по штату Нью-Йорк.

Пример мониторинга и моделирования атмосферных течений над Атлантическим океаном:
https://www.ventusky.com/?p=27.2;-69.6;3&l=wind&t=20170910/06

Пример метрик температуры и атмосферных потоков в Средней Азии:
https://www.ventusky.com/?p=41.2;73.5;5&l=temperature&t=20170907/06


#GIS

Фреймворк Rocket для экосистемы Rust.

Сержио Бенитез, автор фреймворка Rocket на прошедшей 18-19 августа в Портлэнде (штат Орегон, США) конференции RustConf 2017.

https://youtu.be/t_FUZ34ahBE

https://rocket.rs

https://github.com/SergioBenitez/Rocket

Плэйлист видео с конференции:
https://www.youtube.com/watch?list=PL85XCvVPmGQhUSX_QBkxb4g1-o56cCqI9&v=COrl851gMTY

Расписание Rust конференций:
https://blog.rust-lang.org/2017/07/18/conf-lineup.html


Links to the latest posts about Rust:
https://t.me/technologique/1063
https://t.me/technologique/1061


#Rust

Дорогие друзья и подписчики канала @Technologique!

Наступила осень и нас уже почти три сотни человек! Это довольно много! Для нас и меня лично это серьёзный рубеж и определённая ответственность перед читателями!
Создавая канал в январе 2016 года согласно своим интересам в программировании и желанию реализации своих мыслей и взглядов в этой области, для обмена информацией с близкими мне друзьями, я никогда не думал, что это превратится во что-то более серьёзное и канал будет существовать так долго. Но время доказало обратное и я этому рад.

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

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

С уважением, редакционная команда канала @Technologique.

В Telegram очень много интересных каналов, которые мы любим читать, освещающих интресующие нас и любимые нами темы - программирование, интернет и связь, технологии и наука, математика, физика, космические технологии, философия, психоанализ, искусство, кино (особенно киберпанк), литература (особенно sci-fi).
Всех тем не перечесть!
Но в данном канале мы освещаем только технологии программирования и разработки софта, концепции языков программирования, современные тренды и формирующиеся экосистемы разработки, т.к. мы спецализируемся в этом деле и делаем это хорошо.

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

Интервью Райана Дала, автора Node.js.

В интервью Райан Дал был предельно откровенен и признался, что понял и глубоко осознал, что серверное однопоточное программирование на Node.js это не лучший выбор, поэтому он покинул этот проект.

https://www.mappingthejourney.com/single-post/2017/08/31/Episode-8-Interview-with-Ryan-Dahl-Creator-of-Nodejs

Аудиозапись интервью:
https://soundcloud.com/pramod-shashidhara/episode-8-interview-with-ryan-dahl-creator-of-nodejs

Я думаю, что сейчас уже многим понятно, что Node.js не является технически или инженерно совершенным решением в текущих современных условиях серверных приложений, реализация движка V8, JIT компилятора JavaScript для платформы Node.js, является однопоточной, но prefork мультипроцессной, т.е. с process pool'ом, но не thread pool'ом с поддержкой M:N mapping'а потоков на системные треды, что только повышает накладные расходы из-за использования системных вызовов ядра, поэтому использование Node.js для создания многопоточных сетевых приложений и серверов является не лучшим решением в большинстве случаев.
При этом это проблема только языковой исполнительной среды, как и в Python и в Ruby, но не проблема самого языка — стандарт ECMAScript 8 значительно упразднил многие проблемы в языке и сделал его более приятным.

Idris - язык чистого тотального функционального программирования.

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

После определённых поисков и изучения области знаний выяснилось, что на самом деле такие языки уже есть, при том появились они совсем недавно, в конце нулевых, начале десятых годов, имея богатую генеалогию предшественников (ALF, Cayenne, Epigram, Lean, Clean).

Это языки Agda и её последователь Idris.

Idris как более практический язык для реального применения в разработке представляет больший интерес.
Как и OCaml, Idris может использоваться для создания статических анализаторов, верификации и валидации программ, escape анализа программ, исследования и создания новых систем типов и компиляторов для новых языков, использующих математическое доказательство завершённости программ для создания более безопасного программного обеспечения, а также для метапрограммирования DSL языков.

https://vimeo.com/62037963

Канал с видеолекциями автора языка, Эдвина Брэди:
https://vimeo.com/user16996198

Курс программирования на Idris:
https://www.idris-lang.org/dependently-typed-functional-programming-with-idris-course-videos-and-slides/

Отличная книга по языку:
https://www.manning.com/books/type-driven-development-with-idris

Idris has a priority on easy management of side-effects.

Контроль побочных эффектов в Idris подобен механизмам языка OCaml - можно всё писать в чисто функциональном стиле без сайдэффектов, но когда они действительно нужны (например для сетевых приложений, работы с сокетами) можно их использовать, без особых заморочек с монадами и функторами (как в Haskell). В общем все side-effects контролируемые (side-effect control, effect system).

https://github.com/idris-lang/Idris-dev/tree/master/libs/effects

http://docs.idris-lang.org/en/latest/effects/index.html

https://www.idris-lang.org/documentation/effects/

Мне нравится, что Idris это один из современных языков (наряду с его предшественником - Agda), который поддержвает strong functional programming (иначе total functional programming - это как раз то, что я искал!), использует eager/strict evaluation наряду с поддержкой lazy evaluation (ленивые вычисления тоже контролируемые, что хорошо - можно их использовать, но язык по умолчанию использует strict evaluation) и использует систему зависимых типов (dependent types, с исчислением конструкций - типизированным лямбда исчислением высших порядков), которое базируется на теории типов Мартина-Лёфа (Martin-Löf type theory, см. документацию - https://github.com/idris-lang/Idris-dev/wiki) и унифицированную теорию зависимых типов (unified theory of dependent types).

Более того язык обладает системой уникальных типов (uniqueness types), подобной субструктурной системе линейных типов (sub-structural linear type system) для обеспечения безопасности любого ввода вывода - работы с памятью, указателями, многопоточностью, сетевым стэком и т.д.

http://docs.idris-lang.org/en/latest/reference/uniqueness-types.html

They are inspired by linear types, Uniqueness Types in the Clean programming language, and ownership types and borrowed pointers in the Rust programming language.

Очень советую изучить Idris.
Idris понравился мне даже больше чем OCaml и конечно больше чем Haskell по своим концепциям.

https://www.idris-lang.org

https://github.com/idris-lang/Idris-dev

Есть бэкэнд компиляторы (кодогенераторы) под различные платформы:
https://github.com/idris-hackers

Rust 2017 survey results.

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

https://blog.rust-lang.org/2017/09/05/Rust-2017-Survey-Results.html

Свободы нет - есть национальная безопасность.

Альтернативное издание The Baffler опубликовало крайне интересную статью Яши (Якова) Левина, The Crypto-Keepers (Хранители Секретов), о (не)безопасности мессенджеров и криптоалгоритмов перед силой государственной машины по обеспечению национальной безопасности.

https://thebaffler.com/salvos/the-crypto-keepers-levine

В статье описана встреча Левина с Павлом Дуровым (https://t.me/durov/59) в ходе которой Павел рассказал о попытке ФБР внедриться в инфраструктуру Telegram и попытке вербовки одного из разработчиков с использованием подкупа.

In our post-Snowden world, we have outsourced our privacy politics to crypto apps. By doing so, we’ve entered a paranoid game theory nightmare world—a place where regular people have no true power and must put their faith in the people and organizations stoking the algorithms that make this crypto tech. In the end, it all comes down to trust. But can any of these people and organizations be really trusted? The young Russian mogul on the skids with the Kremlin? The former American spy-for-hire on the run and hiding out in Russia? Boutique crypto apps funded by the regime change wing of the State Department? Google and Facebook, who partner with the NSA?

Confused? Don’t know who to trust? Well, that’s the state of our privacy movement today.

"Защищённые" мессенджеры, Tor и I2P для сокрытия личных данных от спецслужб (например АНБ) ненадёжны абсолютно - в США и Европе вся сеть контролируется, трафик прослушивается и мониторится, все центры сертификации и хранилища сертификатов контролируются, генерируемые ими пары ключей для сертификатов АНБ сливает себе (публичные ключи для идентификации пользователя ключа и приватные ключи для прослушивания трафика), на всех маршрутизаторах обслуживающих сеть корневых DNS установлены аппаратно-программные бэкдоры, реализованые в виде зашитых в прошивку Сisco IOS бинарных блобов работающих с сетевым железом маршрутизаторов на низком уровне и реализующих проксирование трафика для подмены сертификатов на лету (даже если у АНБ уже есть приватные ключи подменяемого сертификата), по типу mitm-proxy (man-in-the-middle proxy).

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

Для особо параноидальных гиков есть IPFS (https://www.youtube.com/watch?v=8CMxDNuuAiQ) для распределённого хранения зашифрованных данных, но и это не последняя фантазия - есть общественный проект Hyperboria (https://github.com/cjdelisle/cjdns) для создания mesh сетей с альтернативной маршрутизацией (DHT p2p) поверх сети интернет, шифрованием адресов и трафика с использованием асимметричных криптоалгоритмов.

Для повышения шансов на нераскрытие данных можно использовать поверх незащищённых каналов связи дополнительно сильное симметричное шифрование Threefish-1024 или длиннее для шифрования контента, асимметричное шифрование RSA-4096, ElGamal-4096 или длиннее для передачи контента, обмена информацией и контактами, для переписки и контактирования через публичные хранилища ключей - хорошей практикой для подобных задач является использование открытой и референсной реализации алгоритмов, например в пакете GNUPG в Linux.

В референсной реализации алгоритмов скорость раскрытия зависит только от длины ключа, но происходит это довольно быстро - в публикациях Эдварда Сноудена и Wikileaks говорилось об очень больших вычислительных мощностях АНБ, что-то типа параллельных CUDA кластеров для сверхбыстрого подбора ключей.

Брюс Шнайер писал что для создания своего алгоритма шифрования лучше не выдумывать новую математику, а экспериментировать с SP-сетью (SPN, substitution-permutation network) в ThreeFish или экспериментировать с сетью Фейстеля в Twofish и BlowFish, и для надёжности максимально возможно (согласно вычислительным мощностям) удлинять ключ, а для хэширования ключей использовать хэш функцию Skein с как можно большей разрядностью и несколькими десятками миллионов раундов хэширования ключей шифрования.

После, изменённый референсный алгоритм нужно тестировать на коллизии, на надёжность и криптостойкость, на мощном оборудовании (CUDA кластере NVidia Tesla или Volta), что не каждому доступно, а возможность внести уязвимость и коллизии в референсный алгоритм при его модификации весьма велика.

Для защиты государства от деструктивных сил и дестабилизирующих факторов избирается путь тайного нарушения свобод и конституционных прав граждан на приватность частной жизни и личной информации.
Поэтому свобод (которые должны быть обеспечены конституцией государства) нет, но есть национальная безопасность, возвёдённая в абсолют.
И к сожалению в сегодняшних реалиях вряд ли есть другой путь.
О подобных идеях как инструментах контроля общества очень советую прочитать трактат Жана Бодрийяра "Симулякры и симуляция".

Bio:
Яша Левин профессиональный журналист, один основателей альтернативного онлайн издания eXiled (https://exiledonline.com), автор книги "Surveillance Valley: The Secret Military History of the Internet" о тесном сотрудничестве американских спецслужб и военных ведомств с исследовательскими и интернет компаниями кремниевой долины (https://surveillancevalley.com). Книга будет выпущена издательством Public Affairs в феврале 2018 года (http://www.publicaffairsbooks.com/book/surveillance-valley/9781610398039).

Links:

https://twitter.com/yashalevine

https://twitter.com/exiledonline

https://twitter.com/yashalevine/status/905100500353269760

https://twitter.com/yashalevine/status/905131482053656576

https://t.me/technologique/828 - выступление Брюса Шнайера на Open Source Leadership Summit 2017

https://ipfs.io

https://github.com/ipfs/ipfs

https://github.com/ipfs/go-ipfs

https://en.wikipedia.org/wiki/InterPlanetary_File_System

Firefox 57, релиз которого должен состояться 28 ноября 2017 года, будет работать (чуть менее чем полностью) на компонентах движка Servo, написанного на Rust.

https://diary.braniecki.net/2017/09/01/all-hands-on-deck-how-you-can-use-your-skills-to-contribute-to-firefox-57-success/

Движок браузера будет построен по prefork мультипроцессной модели с process pool'ом для максимального распараллеливания обработки веб-контента.

Новые компоненты, которые будут включены в браузер:
Quantum (https://wiki.mozilla.org/Quantum) - многопоточный движок рендеринга макетов веб-страниц (HTML layout engine) и графического контента (SVG, WebGL), построенный на базе исходного кода и компонентов экспериментального движка Servo.

Quantum CSS aka Stylo - многопоточный движок рендеринга каскадных таблиц стилей веб-станиц (CSS layout engine).

Движок для JIT компиляции JavaScript останется тот же, SpiderMonkey, но будет значительно улучшен по быстродействию, благодаря prefork мультипроцессной модели нового движка браузера - JS код будет исполняться в отдельных процессах.

Новый движок WebExtensions с поддержкой WebAssembly для создания расширений браузера не только на JS (finally!), но и в виде бинарных расширений (модулей WASM), написанных на Rust и других системных языках, с функционалом которых можно взаимодействовать через JS API.

Photon UI - новый пользовательский интерфейс браузера, построенный на стандартных веб-технологиях (HTML/CSS/JS) и поэтому очень кастомизируемый.

Обновлённый инструментарий DevTools на кодовой базе Firebug, но работающий в разы быстрее.

Предварительные предрелизные сборки Firefox доступны для тестирования в ветке nightly обновлений:
https://www.mozilla.org/en-US/firefox/channel/desktop/#nightly

Также доступны nightly сборки браузера Servo:
https://download.servo.org

Links:
https://t.me/technologique/749
https://t.me/technologique/655
https://t.me/technologique/127

Google уже в течение более года разрабатывает новую ОС под кодовым названием Fuchsia (aka Andromeda) на микроядре Magenta.

Ядро Magenta базируется на архитектуре и кодовой базе микроядра LK (Little Kernel), которое лежит в основе загрузчика Android Bootloader. В репозитории ОС Fuchsia есть привязки для создания модулей ядра Magenta на языке Rust.

Пользовательский интерфейс новой системы (Armadillo), её API (Mojo API) и SDK, построены вокруг языка Dart на базе фреймворка Flutter. Для разработки приложений разработаны привязки для использования Mojo API в новых системных языках - Rust, Go и Kotlin.

http://insights.dice.com/2017/02/17/fuchsia-google-mix-languages/

В Google стараются избавиться от старых неэффктивных в разработке legacy технологий Java, которые к тому же выливаются в судебные тяжбы с Oracle по патентованным API (патентный троллинг со сторогы Oracle - https://t.me/technologique/1049) и приводят к очень дорогим судебным издержкам.

Это вполне логично и ожидаемо и это сразу было понятно, когда Google объявили в мае на Google I/O 2017, что они впервые в истории Android (sic!) вводят официально в платформу новый язык, Kotlin.

Ведь не на Swift или C# переводить платформу Android? Apple в Swift испытывают большие проблемы с поддержкой многопоточности и безопасности памяти, которые не были заложены в фундамент системы типов языка изначально и которые теперь очень сложно решить быстро, а Microsoft в догоняющих с инструментами Xamarin и унификацией платформы CLI (.Net/Roslyn, .Net Core, Mono).
Было бы глупо давать шанс в конкурентной борьбе платформ другим команиям с конкурирующими технологиями - урок Oracle был усвоен очень хорошо.

Разработать свой язык и раскрутить его оказалось довольно дорого - на примере Go и Dart - лучше взять готовый и подходящий язык, применимый как для текущей платформы Android (Kotlin), так и для будущих платформ Google (Kotlin/Native на инфраструктуре LLVM), тем более Android Studio делают также JetBrains (на основе платформы IDE IntelliJ IDEA) и с Google их связывают давние очень тесные отношения, а экспертиза в Java и разработке IDE у компании JetBrains накоплена огромная.
Вполне очевидно, что Kotlin для технологических стратегов Google это вполне удобный путь отхода от Java и Oracle.

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

И у Google не один путь отхода - есть Dart, который не смотря на затишье и слабый PR прекрасно развивается, команда Dart в Google судя по их блогу очень активно работает над платформой DartVM и Flutter, и когда Dart дойдёт до нужной кондиции его начнут пиарить не хуже Go и Kotlin - достаточно будет объявления на следующем Google IO 2018 и пиара в гуглоблогах, чтобы сместить акценты в разработке, экосистеме и умах разработчиков, а также чтобы об этом говорили все онлайн издания.

Изначально Dart не очень верно позиционировался Google, как замена JS, что ещё сложнее, чем заменить Java, была идея встроить Dart VM в Chromium и был создан Dartium (сборка Chromium с Dart VM), но позже в Google отказались от идеи по замене JS и сместили акцент на развитие транскомпилятора Dart2JS и Dart для мобильных и IoT платформ, в результате чего появился проект Flutter (https://flutter.io, ранее Sky - https://www.opennet.ru/opennews/art.shtml?num=42153) - shim интерфейс к системным API Android и iOS для Dart VM.
Возможности разработки на Dart с Flutter уже интегрированы в IntelliJ IDEA, WebStorm и Android Studio.

Dart VM уже оптимизирована достаточно хорошо и позволяет рендерить видео и графику с частотой 120 FPS.
ОС Android, её SDK и нативные средства в Android NDK, и даже ускорители графики в SoC, пока не поддерживают рендеринг на таких скоростях смены кадров.
Это означает, что команда Dart в Google готовит задел на будущее для определённых целей - для создания новой ОС, новой платформы.

https://fuchsia.googlesource.com
https://github.com/fuchsia-mirror

Сейчас есть необходимость рефакторинга ОС Android, потому что платформа Android уже устарела и не отвечает современным реалиям и развивающемуся IoT рынку.
Платформа Android Things (https://t.me/technologique/1077) с изменённой аркитектурой её компонентов для оптимизации под IoT утсройства - это неестественное, искусственное встраивание Android в неподходящую для него новую экосистему, потому что это породит ещё большую фрагментацию платформы на аппаратном и соответственно программном уровне (API), что превратится в ещё большую головную боль разработчиков.

Поэтому в августе прошлого года в Google был запущен проект по разработке более универсальной ОС Fuchsia (aka Andromeda) на прототипе ядра LK (Magenta), с SDK и системным API (Mojo), развиваемым вокруг языка Dart и фреймворка Flutter, с применением привязок к Mojo API для новых системных языков, Rust, Go и Kotlin, и привязок для создания модулей ядра Magenta на языке Rust.

Остаётся лишь один вопрос - смогут ли разработчики Google сделать микроядро Magenta таким же универсальным и унифицированным для применения на различных устройствах, каким является ядро Linux?
Всё же более целесообразным было бы развитие универсальной платформы на базе ядра Linux и её дистрибутивов для различных типов устройств и аппаратных архитектур.

https://fuchsia.googlesource.com/magenta/+/master/README.md
https://github.com/fuchsia-mirror/magenta/blob/master/README.md

https://github.com/littlekernel/lk
https://android.googlesource.com/kernel/lk/+/master

Links:
https://en.wikipedia.org/wiki/Google_Fuchsia

ОС Fuchsia - собранный и скомпилированный образ прототипа системы на видео:

https://www.youtube.com/watch?v=vGPwzmMFq9U

https://www.youtube.com/watch?v=68WnDpFjVsM

Ларс Бак и Каспер Лунд, авторы Dart, DartVM и Flutter - о применении Dart в разработке мобильных приложений и приложений для IoT устройств:

https://www.youtube.com/watch?v=Hx2iGEAvZRk
https://www.youtube.com/watch?v=t8xdEO8LyL8
https://www.youtube.com/watch?v=JXcNqXbCa0E
https://www.youtube.com/watch?v=FiXiI2Atexc
https://www.youtube.com/watch?v=huawCRlo9H4
https://www.youtube.com/watch?v=P8ltWIqDPzo
https://www.youtube.com/watch?v=Azd2-5wCjUI
https://www.youtube.com/watch?v=5AqbCQuK0gM


#Dart
#IoT