Всем добра! 😇

Какой же уровень качества софта достигнут сегодня хотя бы в критически важных системах, от которых напрямую зависит наша жизнь? Насколько массово применяются рекомендации программной инженерии хотя бы 40-летней давности? Вот только за осень 2019-го. Проблемы с софтом коснулись миллионов автомобилей!
https://vk.com/wall-152484379_2204
Версия на яндекс.дзене
https://zen.yandex.ru/media/id/5dad67587cccba00adeadb8d/kak-povysit-kachestvo-razrabatyvaemogo-softa-5daee1f71d656a00ad078aaa

Придумал интересный методологический приём, назвал его 1-2-4-8. По этой схеме отвечаю на частые вопросы (с чего начать программировать, как устроиться джуном на работу, как стратегически развивать карьеру...). Главная идея, что в процессе изучения чего угодно с околонуля есть последовательность целей, и вот на самом первом шаге цель всего одна.
В комментах к постам можете задать свой вопрос -- какая будет первая цель при обучении чему-то?
https://vk.com/wall-152484379_2220
https://zen.yandex.ru/media/id/5dad67587cccba00adeadb8d/cel-na-pervom-shage-obucheniia-chemu-ugodno-doljna-byt-odna-5db1567106cc4600b034e97e

Разбираемся, почему на октябрьской нью-йоркской конференции ServerlessConf 2019 захейтили сторонников контейнеров, и что из этого следует.
https://vk.com/wall-152484379_2235
+
https://zen.yandex.ru/media/id/5dad67587cccba00adeadb8d/bezservernost-v2019-5db6d2b6e3062c00b072cb4e

Покажи мне людей, уверенных в завтрашнем дне :)
Самое главное в переговорах с начальником о зарплате.
https://vk.com/wall-152484379_2241
+
https://zen.yandex.ru/media/id/5dad67587cccba00adeadb8d/samoe-glavnoe-pri-obsujdenii-povysheniia-zarplaty-5dbacdc52fda8600b05cf616

Тёмная сторона Силы: DarkProgNet lvl 5
Предпоследний, Level 5 секретной математики!

https://vk.com/wall-152484379_2243
+
https://zen.yandex.ru/media/id/5dad67587cccba00adeadb8d/temnaia-storona-sily-darkprognet-lvl-5-5dbeb764bd639600b3663963

Deep work — это методика-убийца всех других методик продуктивной работы программистов в современной экономике знаний. Пока доступна только интеллектуальной элите))) Ваше окружение будет в шоке: как тебе это удаётся и почему ты всегда энергичный и жизнерадостный?

https://vk.com/wall-152484379_2245
+
https://zen.yandex.ru/media/id/5dad67587cccba00adeadb8d/deep-work--metodikaubiica-vseh-drugih-metodik-produktivnoi-raboty-5dc00440c31e4900b1cb6685

Продолжение разбирательств с правильным обучением ООАП
https://vk.com/wall-152484379_2250

Deep work (часть 2) -- как подступиться к глубокой работе?

https://vk.com/wall-152484379_2261

+

https://zen.yandex.ru/media/id/5dad67587cccba00adeadb8d/deep-work-2-5dc41f6e0a451800b1307b37

Когда проработал два года в Гугле и не выдерживаешь вот это вот всё, ищешь куда бы свалить )))
https://news.ycombinator.com/item?id=20911907
Other than having "Google" on my resume there is nothing special or applicable outside of Google. Most tools are internal, isolated and the choices are restrictive. Management is shitty - micro-management is in full bloom, display lack of management knowledge, skills and there’s plenty of abuse of power. They don’t show their appreciation to what we do. All developers are very competitive. My entire time of over a year in 2 different teams is spent in isolation and self learning without much help or directions. I’m currently actively interviewing outside.

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

6-19 ноября 2019 г.

Gradual typing -- склейка между динамически и статически типизированным кодом
https://vk.com/wall-152484379_2282

Про доказательства правильности кода и с какого языка лучше начинать
https://vk.com/wall-152484379_2277

Program Synthesis как парадигама, которая подчинит себе нейронные сети
https://vk.com/wall-152484379_2271

Почему Robert Harper так добивался исключения ООП из Карнеги-Меллона
https://vk.com/wall-152484379_2268

Три части про глубокую работу Deep Work
https://vk.com/wall-152484379_2245
https://vk.com/wall-152484379_2261
https://vk.com/wall-152484379_2263

По оценкам Forrester, к 2024-му году 75% компаний будут инвестировать в переобучение сотрудников на новые скиллы, подразумевающие эксплуатацию AI-технологий. По данным IDC, к 2025-му году 90% корпоративных приложений будут включать встроенную AI-функциональность.
А на следующий год Forrester предсказывает пиковые инвестиции в AI-стартапы, хотя, судя по всему, этот пик будет последним, потому что стартаперская AI-экосистема уже перенасыщена, и теперь все ждут отдачи от инвестиций.
Интересная статья про алгоритм MuZero -- достижение сверхчеловеческого уровня в 57 играх Атари, в шахматах и Го, в условиях, когда правила игр алгоритму не сообщаются.
https://arxiv.org/pdf/1911.08265.pdf

Самые популярные языки программирования по версии TIOBE ноябрь 2019.
Java первая, но к ней вплотную подобрался Си, и возможно в конце года выйдет на первое место!
3-й Python, 4-5 места тасуются между C# и C++, в десятке JavaScript, PHP, SQL.
https://www.tiobe.com/tiobe-index/
TIOBE много ругают что дескать это трэш, но как минимум это достаточно интересный срез ИТ с хорошей историей.

Стабильность Java поддерживается прежде всего мощной экосистемой, активно эксплуатирующей другие отличные языки :) Фреймворки Spring, Vertx, Kafka, Spark в существенной степени завязаны на Scala, + GraalVM + быстро растущий Kotlin.

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

Кто кодит на Си/С++, очень рекомендую присмотреться к Rust.

Немного странного :)
I. Про gradient hacking -- ситуацию, когда мы создаём нейронные модели, "рассуждающие" на уровне выше человеческого, и у нас есть сильное подозрение, что они нас могут "сознательно" обманывать. Мы их вроде обучаем-обучаем, они показывают высокую достоверность, а на самом деле получается фейк.
У нас есть инструменты проверки обманчивости, но они дорогие, и мы можем применить их только один раз, когда модель уже обучена. Но если она достаточно сообразительна, то сможет сформировать внутри себя фейковую модель, которую и подсунет для финального тестирования.
https://www.lesswrong.com/posts/uXH4r6MmKPedk8rMA
Решения такие:
1) тактическое: стараться создавать такие нейронные модели, которые обучаются как можно меньшим количеством эпох, и как можно большими объёмами данных (в идеале, всей обучающей выборкой), или как минимум, хранить всю историю обучения;
2) стратегическое: переходить к прозрачным символьным технологиям формальных доказательств.

II. "Where Do You Think You’re Going?: Inferring Beliefs about Dynamics from Behavior"
https://papers.nips.cc/paper/7419-where-do-you-think-youre-going-inferring-beliefs-about-dynamics-from-behavior.pdf
Про framework of inverse reinforcement learning, где много цитат из "Гарри Поттера и методов рационального мышления"
Рекомендую ГПиМРМ: https://hpmor.ru

Куда сложнее всего было поступить в 2019-м?
1) ИТМО, математика. 99,8 -- средний балл ЕГЭ поступивших
2) ВШЭ, математика. 98,9
3) МИФИ, математика. 98,8
4) МГИМО экология, и дальше уже пошли гуманитарии :) 98,6
============

Посты за неделю.

Про саморазвитие программиста
https://vk.com/wall-152484379_2303

Последний набор на мои курсы в 2019-м
https://vk.com/wall-152484379_2300

Самый первый принцип ООП
https://vk.com/wall-152484379_2297
+ рассуждения про обучение OOD
https://vk.com/wall-152484379_2294
https://vk.com/wall-152484379_2285

Кобол 1959 вечно жив! :)
via The 18th edition of the BElgian-NEtherlands software eVOLution symposium
http://soft.vub.ac.be/benevol2019/