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

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

#Kotlin

Счастливого Нового Года друзья! ☃️🎄🎁🍊🥂🍾🎉🎊

#NewYearsEve

JPM Coin и начало глобальной корпорации.

https://www.cnbc.com/2019/02/13/jp-morgan-is-rolling-out-the-first-us-bank-backed-cryptocurrency-to-transform-payments--.html

JPM Coin - своя авторская разработка JPMorgan Chase на базе технологии блок-чейн (а принципы технологии блок-чейн универсальны).

Как и например AMQP, разработанный в лондонском JPMorgan Chase, ставший ныне корпоративным стандартом в качестве протокола обмена сообщениями и используемый во многих реализациях ESB в SOA архитектурах, и поддерживаемый множеством брокеров очередей сообщений и фреймворков для создания ESB шин. Но это уже другая история.

Суть в ином.

Важен прецедент и выбор момента (momentum) для вывода технологии на рынок.

Если коротко - это глобальная корпоратократия берёт верх и управление массами на себя, замещая государство (а роль государства в процессах глобализации нивелирована уже до крайности).

Гендиректор JPM Джейми Даймон не так давно (более года назад) заявил что биткойн "is a fraud/scam" (nobody knows how it was spelled actually), предсказав его падение (совпадение?).

https://www.cnbc.com/2017/09/12/jpmorgan-ceo-jamie-dimon-raises-flag-on-trading-revenue-sees-20-percent-fall-for-the-third-quarter.html

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

Теперь, спустя чуть более года, когда биткойн обрушили (угадайте кто!? брокеры WS? ОК, но кто за ними?), они запускают свой койн, который имеет ценность, потому что их койн конвертируем в доллар, потому что JPM крупнейший банк, и у них теперь есть собственная валюта!

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

https://www.zerohedge.com/news/2019-02-14/jp-morgan-becomes-first-bank-launch-its-own-cryptocurrency

https://madhousenews.com/2019/02/one-year-after-dimon-slammed-bitcoin-as-a-fraud-jpm-launches-own-cryptocurrency/

Пользоваться этим или нет - даже не нам решать, за нас уже всё решено. (наслаждаемся Пепси, радуемся жизни!)

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

Самый худший киберпанк в реальности!

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

Биткойн это тупик и был задуман как таймер обратного отчёта (с ограниченной эмиссией и повышением сложности вычислений, что в определённый момент биткойн станет невозможно использовать и зарабатывать на нём), как лакмус, который покажет банкам, когда выводить на рынок свои монопольные разработки.

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

Представьте, что Google/Apple/Microsoft/Amazon/Facebook выпустят свой койн/ICO, мимо рынков ценных бумаг, и его например можно будет купить не только за фиатные деньги, но например обменять на него JPM Coin.

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

Мечта любого крупного банкира - выпуск валюты для масс и управления ими.

В общем, история со стратегией E-Coin банка E-Corp, показанная в сериале Mr.Robot, происходит наяву, прямо на наших глазах. Watch out!

Monads & functors in Rust

https://varkor.github.io/blog/2019/03/28/idiomatic-monads-in-rust.html

https://twitter.com/withoutboats/status/1027702531361857536

Rust по своему дизайну идиоматически (eager/strict evaluation, нет динамизма типов в run-time, кроме dyn trait, который также специализируется) не поддерживает HKT (monads & functors) и полиморфизм высших порядков для типов в полной мере (вернее в Rust вывод типов для таких абстракций является неразрешимым ввиду специализации типов для их приведения к zero-cost абстракциям в compile-time и далее их исполнения в run-time), только GAT, обобщённые ассоциативные типы/типажи (generic associated types/traits), на базе которых описана ограниченная реализация монад и функторов в статье, но реализация абстракций поверх монад и функторов уже не является возможной, теряется эргономика использования таких абстракций.

И хорошо что Rust идиоматически по своему дизайну абстракций имеет такую прививку, чтобы в итоге (благодаря сообществу) не превратиться в Haskell или очередную химеру.
Пусть лучше Haskell и Rust сохранят свою уникальность, без взаимных мутаций.
Симбиоз тут вряд ли возможен и вообще полезен.
Абстракции высших порядков будут в любом случае неизбежно вызывать динамизм типов в run-time и накладные расходы - их специализация невозможна, ввиду неразрешимости вывода HKT типов (по Хиндли-Милнеру), а значит без возможности специализации и мономорфизации типов в compile-time в run-time будет происходить их динамическая диспетчеризация, которая будет иметь свою стоимость.
Лучшее что придумали для решения вывода HKT типов - это контроль тотальности и termination/escape анализ, как в Idris, для исключения случаев вечного блуждания по графу зависимых типов при попытке их вывода.
В общем, есть низкоуровневые языки, с более плоскими абстракциями нулевой стоимости (zero-cost), есть высокоуровневые языки с поддержкой высших абстракций, более дорогих в run-time - это неизменная догма.
В Rust есть тайп-классы/типажи/трейты и GAT (generic associated types/traits), аналогичную функциональность обеспечивают шаблоны и препроцессор в C++.

Но высшие абстракции должны быть динамическими!
Python и Lisp (SBCL, Steel Bank Common Lisp) с SICP это лучшее что удалось для себя испробовать.

Idris также пошёл по пути динамизма абстракций - для высших абстракций другого пути нет и статический контроль для них уже мало применим!
Blodwen (https://github.com/edwinb/Blodwen), компилятор Idris 2.0, именно для повышения гибкости абстракций умеет порождать в бэкэнде код Scheme и Racket в качестве целевой платформы исполнения кода.

#Rust уже четвётрый год подряд самый любимый язык разработчиков по данным свежего исследования Developer Сommunity Survey от StackOverflow на 2019 год

https://insights.stackoverflow.com/survey/2019#most-loved-dreaded-and-wanted

Результаты исследования предыдущих лет:

https://xn--r1a.website/technologique/1272

https://xn--r1a.website/technologique/893

https://xn--r1a.website/technologique/186

​​Слёрм-4 — интенсив по Kubernetes в Москве

Через месяц с 27 по 29 мая 2019 года в Москве пройдет Слёрм-4: трехдневный интенсивный курс по Kubernetes. Курс будет проходить как онлайн так и офлайн (живое участие) в Москве.
Чтобы освежить в памяти сопутствующие DevOps навыки либо быстро подтянуть знания до необходимого уровня, на курсе Слёрм Джуниор (с 20 мая) будут даны онлайн-курсы по Docker и Ansible, как базовые необходимые знания в дополнение к работе с Kubernetes в ходе курса Слёрм-4.
На самом курсе Слёрм-4 Вы сможете освоить технологии контейнерной оркестрации и кластеризации с помощью Kubernetes (K8s), DevOps практики по созданию своего кластера в облаке Selectel с поставкой и развёртыванием учебного приложения на данном кластере. Материалов Слёрма достаточно для эксплуатации кластера.
Курс будет полезен DevOps инженерам и разработчикам, желающим разобраться в текущих технологиях поставки и развёртывания серверных приложений в кластерных облачных инфраструктурах.
DevOps инженеры научатся разворачивать, настраивать и траблшутить кластер, а разработчики поймут возможности инфраструктуры, в которой работают их приложения и смогут изначально адаптировать проект под Kubernetes.

Все подробности, требования к участнику, программу занятий, контакты, форму регистрации – можно найти на официальном сайте

​​В SkillFactory начался набор на онлайн-курс "Веб-разработка полного цикла на Python"

Получить подробную программу обучения, узнать больше информации и записаться на курс можно по следующей ссылке:
👉 https://clc.to/25jq_g

Курс стартует 27 мая.
Формат обучения - онлайн курс.
Длительность обучения - 9 месяцев.

На курсе Вы освоите и постигнете все необходимые на практике навыки для полного цикла (full-stack) веб-разработки - использование Python и веб-фреймворка Django для создания серверных приложений, использование баз данных и SQL для серверных приложений, использование JavaScript/ECMAScript для создания клиентской части приложений, HTML+CSS вёрстка, использование GNU/Linux и Docker для поставки и развёртывания серверных приложений в облачных инфраструктурах ASP провайдеров.
В ходе курса Вы выполните 3 сложных проекта, которые сможете добавить в своё проектное портфолио, что очень пригодится в дальнейшем трудоустройстве.

Обучение ведётся по очень хорошо структурированной и уже опробованной программе опытным преподавателем с многолетним стажем промышленной разработки на Python в различных проектах и компаниях, с постоянной помощью со стороны преподавателя и индивидуальным подходом, объяснение материала курса ведётся простым языком, без излишней информации и "воды", с упором на оттачивание практических навыков (20% теории и 80% практики), которые в дальнейшем будут востребованы и будут использоваться Вами в работе над проектами.

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

Успейте записаться на курс до 22 мая со скидкой 20%!

​​МегаСлёрм — интенсивный курс продвинутого уровня по технологиям кластеризации на базе Kubernetes в Москве для DevOps инженеров и разработчиков

В мае в Москве проходит Слёрм - трехдневные интенсивные курсы по Kubernetes.
Слёрм состоит из двух курсов: базового Слёрм-4, который будет проходить с 27 по 29 мая (@technologique/1362) и продвинутого МегаСлёрм, который пройдёт с 31 мая по 2 июня.
Курсы будут проходить как онлайн так и офлайн (живое участие) в Москве.

Места в зале на базовый курс закончились, но осталась возможность онлайн участия.

На продвинутый курс можно получить скидку 25% по промокоду LASTWEEK.

На самом курсе МегаСлёрм Вы сможете на более продвинутом уровне освоить многие тонкости технологий контейнерной оркестрации и кластеризации с помощью Kubernetes (K8s), опираясь на знания и навыки, полученные на базовом курсе или на своём личном опыте.
В ходе продвинутого курса будет также много практического применения DevOps практик из материалов курса, создание своего кластера в облаке Selectel с поставкой и развёртыванием приложений на данном кластере.

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

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

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

Все подробности, требования к участнику, программу занятий, контакты, форму регистрации – можно найти на официальном сайте

Всем привет!
Публикации в ближайшее время будут, они в подготовке, например по языку Rust.
Поэтому ситуация с балансом между постами канала и рекламными постами постепенно выровняется.
Материалов и времени на их подготовку сейчас не так много, но планируется выпускать по две публикации и по одному рекламному посту или анонсу мероприятий в неделю.
Реклама будет исключительно образовательного характера, полезная для людей, кто хочет освоить, развить и углубить навыки в IT профессиях или переквалифицироваться.
Реклама нужна для поддержки развития канала и оплаты сопутствующих расходов.
Ваши просмотры постов и подписка помогают каналу в продолжении своей миссии и деятельности - за три с лишним года существования канала у нас было много высококлассных публикаций и лонгридов, несвойственных формату Telegram и я надеюсь, что это удастся продолжить.
В будущем планируется изменить процесс подготовки, редактирования, вёрстки и релиза публикаций, перенести всё на блог платформу и сделать более открытым (CC license, git репозиторий, статическая вёрстка, на базе Hugo или Cobalt.rs), с автоматическим pipelining'ом публикаций в Medium и Yandex.Zen - работа в этом направлении постепенно идёт.
Спасибо всем за поддержку и благодарю за понимание!

Elixir & Rust - perfect match

https://blog.discordapp.com/using-rust-to-scale-elixir-for-11-million-concurrent-users-c6f19fc029d3

По GitHub аккаунту Discord давно известно, что компания активно применяет Rust в своих разработках.
Но до сих пор эти разработки не были в core network services бэкэнда приложения.

https://github.com/discordapp?q=&type=&language=rust

Но самое интересное в статье - research подход, методы computer science и нагрузочного тестирования для оценки эффективности применяемых методов, описание процесса и пройденных итераций, как в Discord шли по этому пути и искали методы оптимизации основной структуры данных, хранящей информацию об онлайн пользователях и чат команатах, как удалось масштабировать по нагрузке BEAMVM и оптимизировать структуру данных для системы хранения и чтения/записи горячих данных о чат комнатах (guilds) и их пользователях (информационный ростер-релей), благодаря переписыванию структуры данных (SortedSet) на Rust и применению модуля, содержащего реализацию этой структуры данных и операций с ней, как низкоуровневых функций, инитегрированных в BEAMVM (Erlang NIF) с помощью проекта Rustler (https://github.com/hansihe/Rustler) для приложений бэкэнда контроллера соединений (core network services) на Elixir.

https://github.com/discordapp/sorted_set_nif

#Rust

Публикации по данной теме:

Оптимизация критических участков проектов на Python с помощью Rust на примере опыта проекта Sentry:
https://xn--r1a.website/technologique/1123
https://xn--r1a.website/technologique/1153

Нативные бинарные модули на Rust для проектов на Node.js:
https://xn--r1a.website/technologique/1162

AMD at Computex 2019

AMD на международной выставке электроники Computex 2019 представили новое третье поколение процессоров Ryzen и серверных процессоров EPYC на базе микроархитектуры Zen 2, а также новое поколение дискретных ускорителей графики GPU Radeon, на базе микроархитектуры Navi.
CPU и GPU выполнены по 7 нм техпроцессу TSMC.

https://youtu.be/_96stDCb-mk

https://youtu.be/jy0Q75xCwDU

На данный момент только AMD выпускают десктопные 8-и и 12-и ядерные процессоры (выход 16-и ядерных Zen 2 AMD пока придерживают), выполненные по техпроцессу 7 нм TSMC и только в процессорах AMD есть встроенные ускорители графики с поддержкой 4K@60Hz по HDMI 2.1 (и DP 1.4, естественно) и поддержкой мультимониторных конфигураций с высоким разрешением и частотой обновления кадров.

Ситуация повторяется как и 12 лет назад.
По соотношению цены, мощности, качества (не забываем про недавние и вновь обнаруженные уязвимости архитектуры Intel и конвейера с упреждающим исполением и параллелизмом на уровне инструкций) и универсальности (сегментация рынка - разные сокеты и RAM память) - AMD вновь лучшие с процессорами Ryzen (и серверными EPYC), с микроархитектурами Zen, Zen+ и Zen 2. Скоро, в будущем году, на подходе микроархитектура Zen 3, которая будет выполнена также по 7 нм техпроцессу и при этом на том же сокете AM4 (но следует пока подождать унификации чипсетов X570 и поддержки процессоров в BIOS для поколений Zen 2 и Zen 3).

AMD сейчас лидирует и на десктоп и на ультрамобильном рынке со своими CPU и APU, с ускорителями графики RADEON APU от ATI, и ещё долго будут, не говоря уже об игровом рынке и рынке игровых консолей.

Intel делает больший упор на серверный и корпоративный сегмент рынка с процессорами Xeon Cascade Lake, где их позиции также слабеют - AMD уверенно увеличивает свою долю рынка с процессорами EPYC.

Но не нужно забывать, что у Intel есть также свои козыри - покупка исследовательской компании Soft Machines и участие Джима Келлера (перешедшего из AMD и Apple в Intel) в разработках новых архитектур дадут свои плоды, но, судя по крайнему отчёту Intel перед инвесторами и показанному не очень оптимистичному по срокам roadmap'у на мероприятии - не в ближайшей перспективе.

Предыдущие публикации и развитие темы современных микропроцессоров и микроархитектур от AMD и Intel:
#28
#88
#785
#1102
#1242
#1289

Есть также вещь, которую лично я ждал очень давно - увеличение доли рынка AMD в сегменте топовых мобильных и ультрамобильных компьютеров, и особенно выпуск бизнес решений на базе CPU/APU от AMD.
Например недавний анонс выпуска этим летом линейки бизнес лэптопов ThinkPad серии X и T - X395/T495/T495s, пока на базе AMD Zen+ Ryzen Pro APU.

https://youtu.be/J3SUBxcKjyA

#ThinkPad

Intel at Computex 2019

Полная запись трансляции:
https://youtu.be/E7owNQ7KjiY

Основная выжимка (Keynote):
https://youtu.be/u4G_41DSfQQ

Чипмэйкеры завладели всем вниманием к международной выставке Computex.

Intel представили новое поколение процессоров Ice Lake, выполненных по технологическим нормам 10 нм техпроцесса и новое значительно переработанное поколение встроенных в процессор ускорителей графики, с поддержкой подключения нескольких дисплеев, высоких разрешений (5K и 8K), Display Port 1.4a и HDMI 2.0 (4K@60Hz).

Тем не менее пока пиковые частоты новых процессоров в boost режиме ускорения при повышении частот ядер несколько ниже предыдущего 14 нм поколения Coffee Lake и 10 нм Canon Lake.

Над ужесточением технологических норм Intel бились последние пять лет, с 2014-2015 года, и нужно отметить, что несмотря на длительное ожидание добились очень высоких результатов - хоть производительность и увеличилась не столь ощутимо, однако энергопотребление чипов удалось понизить значительно, что было критически важно для выхода нового поколения процессоров и их применения в сегменте ультрамобильных компьютеров и серверном корпоративном секторе рынка.

Также важно отметить, что нормы 10 нм техпроцесса, а именно линейные размеры FinFET транзисторов в новой микроархитектуре Intel соответствуют таковым в 7 нм техпроцессе TSMC, по которому изготавливается микроархитектура Zen 2 от AMD.
Таким образом плотность размещения и количество транзисторов на единицу площади для литографических техпроцессов 10 нм от Intel и 7 нм TSMC практически одинаковы - прогресс в литографии и литографическом оборудовании от ASML для производства чипов идёт постепенно и все производители двигаются вровень, а цифры это лишь маркетинг.
Доступную информанию о реальных линеных размерах транзисторов, нормах техпроцессов и их сравнение можно посмотреть в WikiChip:

https://en.wikichip.org/wiki/10_nm_lithography_process

https://en.wikichip.org/wiki/7_nm_lithography_process

#Intel

Весь ландшафт cloud native технологий и участников экосистемы Cloud Native Computing Foundation в одной интерактивной диаграмме:

https://landscape.cncf.io

https://landscape.cncf.io/format=serverless

#DevOps

Emu - высокоуровневый метаязык для программирования и исполнения кода с помощью GPU (подобный проекту OpenCL) и встраивания в код написанный на Rust. Сам транслятор языка написан также на #Rust.

https://github.com/calebwin/emu

​​☁️ AWS Dev Day Moscow

18 июня (вторник) пройдёт бесплатная однодневная техническая конференция AWS Dev Day Moscow из глобальной серии AWS Dev Days.
Организаторами мероприятия выступают Amazon Web Services и компания Provectus.

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

Десять сильных инфраструктурных инженеров проведут доклады в два потока про облачные технологии и сервисы AWS.
Также на конференции будет активный local AWS community networking в перерывах между докладами, и возможность пообщаться с AWS архитекторами тет-а-тет ("Ask an AWS Architect") и обсудить свои проекты.

Программа конференции и темы докладов:
▫️Opening Keynote: Облака и мир будущего. Как разработчику быть успешным сегодня и завтра.
▫️Keynote: Innovation at Amazon
▫️Containers & CI/CD Pipeline on AWS
▫️Everything as a Code - 2 года с AWS ECS в production
▫️Service Mesh Magic in the AWS Cloud
▫️Анализ потоковых данных с помощью сервисов AWS
▫️Serverless data lake on AWS
▫️Building serverless applications in the AWS Cloud
▫️Best practices for integrating Amazon Rekognition into your own applications
▫️Machine learning with Amazon SageMaker

Когда?
Вторник, 18 июня, с 9:00 до 17:00

Где?
Пространство "Весна", Спартаковский переулок 2 ст.1, подъезд №7, 750 м от ст.м. Красносельская

Участие бесплатное по предварительной регистрации.

Регистрация - https://provectus.com/events/#event-18-June-2019-aws-dev-day-moscow

Подробнее о конференции, спикерах и темах докладов можно узнать на сайте мероприятия - AWS Dev Day Moscow

Telegram канал мероприятия - @AWSMoscow

#AWSDevDayMoscow
#Анонс

V - for Versatile

https://vlang.io

https://github.com/vlang/v

Весьма любопытный новый язык программирования и его компилятор (написан на Go), выглядит крайне интересно, как концепт Go и Rust.
По концепциям V содержит в себе следующее: компиляция в машинный код, возможность транскомпиляции в код на языке Си (в будущем и в код на C++), статическая типизация, интерфейсы, параметрический полиморфизм типов (со специализацией/мономорфизацией типов на этапе компиляции), тяжёлая многопоточность, с порождением (spawn) системных потоков приложения при вызове go func(), в планах реализация лёгковесной многопоточности (сопрограммы, каналы и планировщик потоков будут в скором времени внедрены и это будет единственные накладные расходы времени исполнения программы, run-time cost, но сделать эффективный M:N thread-mapper, work stealing или work sharing scheduler, эффективное управление динамически выделяемой растущей стэковой памятью сопрогамм — всё это крайне непросто), статичечкое деструкторное управление памятью, без GC, закладываемое на этапе анализа времени жизни при компиляции кода (но пока анализ и вывод region types, т.е. времени жизни как типа данных, весьма не эффективен и сложные ситуации требуют ручного управления памятью), строгая проверка типов на этапе семантического анализа кода при компиляции (будут ли линейные/афинные типы или другая субструктурная система типов для управления ресурсами памяти и ввода-вывода при многопоточном множественном общем доступе - пока вопрос открытый), безопасность данных при многопоточном множественном/общем доступе только на базе иммутабельности структур данных, есть ли какая-либо модель владений и заимствований для указателей - также вопрос открытый, есть возможности перегрузки/переопределения операторов как типов данных, каких-либо возможностей метапрограммирования на базе макросов или шаблонов пока нет и вряд ли будут.

В целом, очень интересный и перспективный системный язык по своим концепциям.

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

#PL