Лаборатория Математики и Программирования Сергея Бобровского – Telegram
Лаборатория Математики и Программирования Сергея Бобровского
1.29K subscribers
1.19K photos
24 videos
930 links
ЛаМПовое с Бобровским
Download Telegram
Отличная заметка
https://habr.com/ru/post/538356/
«Какие навыки стоит прокачать программисту в 2021 году чтобы зарабатывать больше»

Не хотел сперва тратить время, был уверен, что будет что-то в духе «питон java датасайнс …», но заглянул таки – очень всё верно!

1. (Разговорный) английский язык
2. Самопрезентация
3. Понимание финансов
4. Самоорганизация

«чтобы зарабатывать больше» -- совершенно точно никто вам больше платить не будет, если вы изучите новый фреймворк, а вот если пройдёте хороший тренинг по переговорам о зарплате и карьерному росту и сразу примените изученное там к своей жизни, то и с текущими хард-скиллами сможете получать гораздо больше.
В мой любимый прувер Lean, на котором я изучаю практику в HoTT, искусственный интеллект впервые сделал успешный пуллреквест! В частности, добавил два небольших пруфа в mathlib решателя.
https://github.com/leanprover-community/mathlib/pull/5796
Единственное, что немного омрачает -- AI этот не символьный, а увы, на базе GPT. Вот он:
https://github.com/jesse-michael-han/lean-gptf

Пичаль, что он натренирован с помощью закрытого OpenAI API, и сообщества, имеющие доступ к подобным ресурсам, будут получать огромное интеллектуальное преимущество перед всем остальным миром. А сегодня, оценки ACM/IEEE, преимущество в подобных исследованиях буквально в 9-12 месяцев может стать несокращаемым в принципе.
Сериал neXt хоть и шаблонный, но очень наглядный в эту тему.
Разве это не парадокс?

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

Но моё финансовое положение существенно улучшилось, когда я занялся ИТ-предпринимательством.

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

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

Они никогда не пытались построить бизнес. Навсегда застряли в крысиных бегах. Бегах не из фильма, а из книг Кийосаки, к которому бедолаги с копеечным доходом относятся скептически.

Программисту НИКОГДА ещё не было так просто начать и развивать бизнес, как сегодня.

Ага, и даже при карантинах и прочих сумасшедших событиях.

Некоторые ребята, начинавшие 15-20 лет назад вести простые ИТ-блоги,
сегодня превратили их в очень доходный бизнес. Никакие «пассивные инвестиции» не могли дать за эти годы такой процент, который люди получают, просто аккуратно и регулярно, минимум раз в неделю, ведя свой блог. Они получают огромные профиты: это может быть например поток клиентов с заказами, а главное, они сформировали хорошую репутация и высокую узнаваемость, которую не получить никакими другими способами.

А сегодня потенциал и перспективы для всех, кто регулярно развивает свой блог, ещё более радужны.

Ещё раз: сегодня у вас самые великолепные перспективы для построения своего программистского бизнеса с нуля без финансовых вложений.
Как же стать богатым программистом и начать своё ИТ-дело?

Вы можете вести блог по избранной теме программирования; можете организовать канал на ютубе (или даже в, извините, тиктоке) по какой-то технологии; можете начать вести подкаст по кодингу (подкасты кстати остаются отличной формой продвижения знаний наравне с другими, и таковыми останутся очень долго); можете открыть компанию по заказной разработке; можете организовать сайт или группу в соцсети по оказанию конкретных ИТ-услуг и легко их рекламировать; можете разработать платное мобильное приложение; можете организовать стартап и получить инвестиции и т. д. и т. п. Хотя конечно организация полноценной компании – дело не простое, но всё равно, возможности стать богатым программистом сегодня бесконечны.

Тем не менее, есть один важный момент, из-за которого как раз это и не получается у 90%...

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

И на самом деле это просто. Но, это и больно :)

В чём же различие в мышлении программиста-программиста и программиста-предпринимателя?
Самое первое и самое главное различие: программист думает о разработке (в общем случае, о производстве) продукта, а предприниматель думает о маркетинге и продажах (о деньгах). Поэтому 90% бизнесов и проваливаются – «программисты» сперва вкладывают деньги в продукт (очередной «киллер фейсбука»), а потом банкротятся, потому что их продукт нафиг никому не сдался. Ну или они прозаически не умеют продавать.

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

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

Так какой самый простой способ научиться начинать своё дело?

Читайте лучшие книги по предпринимательству и бизнесу.

Теперь вы, наверное, думаете....

"У меня нет времени читать книги".

Или, может быть, вы бормочете себе под нос.....

"Ненавижу читать книги".

Тогда второй совет : идите на курсы.

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

Запуск своего ИТ-дела -- это просто технология, которая подразумевает прежде всего смену стиля мышления.
На какой платформе лучше развивать свой ИТ-блог? Скорее двигаем на MySpace, он живой и там всё классно! Или нет! Лучше набирать френдов на фейсбуке, и как только ты соберешь достаточное количество фолловеров... Ну и Pinterest конечно. Определённо.

Какой у тебя ник в твиттере? Ты будешь вести там прямые эфиры с вебинарами по программированию?

А может лучше будем стримить на Quibi... Развернёмся также в инсте и финсте...

А вы видали, сколько они зарабатывают на Substack?! Текстовые блоги давно мертвы…

===

Все такие горячие советы «как быстро заработать миллион тикток-стайлом» обычно заканчиваются на "текстовые блоги мертвы".

Словно в день сурка, люди продолжают повторять одну и ту же ошибочную схему, метаясь между десятками платформ.

У любой социальной платформы, которая достаточно популярна, есть общий паттерн: совсем мало человек получают большую часть трафика и денег, а все остальные -- очень мало.

Если стример, вошедший в top 20%, получает условную тысячу рублей в месяц, то стример, вошедший в top 7% -- 5000, вошедший в top 2% -- 20,000, и вошедший в top 1% -- 35,000.
И вы попробуйте для начала войти хотя бы в top 80% :)

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

Какая альтернатива?

Пишите. Последовательно. Регулярно. Терпеливо. Организуйте свой текстовый блог на github.io, и там же выкладывайте «исходники» вашего блога. Сделайте его зеркало на своём сайте. Организуйте RSS-трансляцию. Избегайте любых соцсетей в качестве посредников.

Текстовые ИТ-блоги -- самая вечная вещь в этом бушующем мире.

И постепенно всё сложится великолепно.
2
Топ-25 ИТ-профессий в США на сегодня, по данным Glassdoor, по критерию
зарплата (годовая) + удовлетворённость работой

1. Java Developer ($91k / 4.2)
2. Data Scientist ($114k / 4.1)
3. Product Manager ($121k / 3.9)
4. Enterprise Architect ($131k / 4.0)
5. DevOps Engineer ($110k / 4.0)

Далее Information Security Engineer, Business Development Manager, Mobile Engineer, Software Engineer, и что интересно, в топе-25 больше нету ни одного упоминания конкретной технологии, только должности. То есть Java становится в девелопинге именем нарицательным , как девопс или машин лёнинг :)

https://www.zdnet.com/article/java-developers-data-scientists-have-the-best-rated-jobs-according-to-glassdoor-analysis/
Программист ли вы?
1. Если кто-то заговорит с вами о serverless, kotlin, nosql или любой другой темке из ИТ, а вы скажете «да я чёт в этом не очень…», значит вы не программист.
2. Если вы попробовали один раз, зафейлились и сдались, значит вы не программист.
3. Если вы не готовы стать красноглазиком, высиживая перед монитором по 12 часов, значит вы не программист.
4. Если вы постоянно нуждаетесь во внимании и обратной связи от окружающего мира, значит вы не программист.
5. Если у вас нету желания постоянно улучшать свой код и свои проекты, значит вы не программист.
Бонус:
6. Если вы верите всему, что читаете и слышите, и делаете то, что вам говорят другие, значит вы не программист 😂
Вы только посмотрите на это:
https://incredible.pm/
Шикарный тренажёр для прокачки в различных видах логик и формальных исчислений.
Вообще, для программистов, привыкших фигачить киберпанки, опердни или распознавалки котиков, главная засада в изучении математической логики, что там нету вообще никакого содержания :) одни абстракции. Но, нельзя стать сильным проектировщиком, цепляясь лишь за семантику и "мысля в онтологии заказчика".
Carrot Weather прикольная прога прогноза погоды, стоит 5 евро; осенью 2020-го ежемесячно продавалась на 100++ тысяч евро.
Смешные комменты выдаёт AI, даже сюжет есть (города как локации разблокировывать), и вообще у Мюллера (аффтор проги) все приложения в таком стиле. Например, есть список дел Carrot ToDo, который жостко прям мотивирует, обзывая ленивой свиньёй :)

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

Просто делай, долби и долби годами в одном направлении. И однажды ЭТО случится :)

Нету вообще никакой конкуренции в ИТ, и то что миллионы программ и игр в мобильных маркетах, тоже вообще ничего не значит, потому что 99.999% из них случайный шлак и отстой. Никакая это не ошибка выжившего -- просто надо долго нормально делать, и нормально будет.
👍1
Наконец-то засилью Unity3D подходит конец :) Движок Godot развивается опережающими темпами, причём он поддерживает как C#/Mono, так и свой скрипт-язык, почти идентичный Питону.
И вот новость, что Кефир (авторы Тюряги) выделили годоту грант на 120,000 долларов! респект пацанам.
https://godotengine.org/article/godot-engine-receives-120000-grant-from-kefir
Подводим итоги 2020-го. Что было потенциально самого крутого для ИТ?
Абсолютный топчик -- это доказательство MIP* = RE
https://habr.com/ru/company/ruvds/blog/492502/
В результате уже в этом десятилетии начнётся космический взлёт компьютерных систем формального доказательства.
Речь о том, что а как верифицировать решение, полученное например квантовыми компьютерами? А вдруг они ошиблись?
Есть класс сложности задач MIP (multi-proven interactive proofs), в который в частности входит множество задач класса NP, однако и у него оказались явные границы. Тогда на помощь позвали квантовых физиков, которые намешали своих теорий, получился класс сложности MIP* (MIP + квантовая запутанность), и внезапно выяснилось, что в MIP* попадает большой класс рекурсивно перечислимых задач RE.
А RE -- это задачи вообще невероятной сложности. Реализовывать их по прежнему сложно, но верифицировать будет легко.
От крутого карьерного консультанта утянул очень полезную, довольно очевидную, но при этом редко применяемую фичу «как постоянно оставаться в трендах мэйнстрима». В принципе, я её рекомендовал не раз в каком-то виде, но вот тут чётко сформулированную услышал.

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

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

А ещё лучше, запилить парсер 2-3 ресурсов по работе, и чтобы он выдавал вам наглядную аналитическую инфографику :)
Второе крутое открытие в математике 2020 -- это решение аспиранткой Лизой Пиччирилло проблемы "узел Конвея" (есть ли он на самом деле кусочек узла более высокого измерения). Этот узел оставался последним нерешённым из множества тысяч узлов с <= 12 пересечениями.
https://habr.com/ru/company/skillfactory/blog/504068/
Оказалось, что он -- нет, не срез :)
"Это очень, очень странные предметы, которые вроде как существуют с помощью магии"

Да, я вообще рекомендую периодически решать задачки из теории узлов, в принципе, там много математики можно опустить, и подчас действительно крайне странные трансформации, топологические преобразования применяются. Ум учится отлично распутывать сложные зависимости и связности, которые в любой программной системе сегодня данность. Вот этот навык абстрактного топологического запутывания/распутывания, нахождения инвариантов, хорошо ложится в частности на прозаически запутанный код.
Наконец, третье крутое, даже не событие в 2020-м, а некоторый стремительно развивающийся и уже официально признанный тренд в математике – это активное явление AI в области формальных доказательств. Прошло всего десять лет с формулирования гениальным Владимиром Воеводским унивалентных оснований математики, и вот уже обещается, что в этом году за золотую медаль на Всемирной Математической Олимпиаде будет сражаться AI, использующий пруф-ассистант Lean.

https://leanprover.github.io/

Ну и, понятно, до массовой экспансии AI в профессию программиста остались считанные годы :)

https://www.quantamagazine.org/at-the-international-mathematical-olympiad-artificial-intelligence-prepares-to-go-for-the-gold-20200921/
Ну что, программисты, вы больше не нужны? :)
https://doesnotexist.codes/
А вот потому что учиться надо правильным вещам =>
https://лялямбда.рус
Эксперты-математики (топовые криптографы) в своей полузакрытой тусовке предсказали три года назад, когда случился обвал крипты, что к 2021-му рынок всех криптовалют вместе взятых достигнет 1 триллион долларов , ну и вот:
https://www.coindesk.com/cryptocurrency-market-value-record-1-trillion
Хотя конечно оценить этот рынок точно весьма трудно, и тут есть много нюансов, но общий тренд очевиден. Инфляция случается в ИТ абсолютно везде: обесцениваются все вычислительные ресурсы, и процессоры, и накопители, и оперативка.

Объём золота на Земле -- 3 триллиона долларов, и какое-то его микроскопическое количество ходит по магазинам и рукам, на самом деле точно как с биткоином :) Золото -- это искусственно ценный товар, которым манипулируют влиятельные игроки.

Так вот, те же криптографы, среди которых, в силу профессии, немало конспирологов :) , также прогнозировали, что 9 января 2021-го с битком что-то должно произойти (это годовщина genesis-блока). Ну и вот, его цена чётко в этот единственный день впервые скакнула за $40k, после чего временю снова уехала вниз. Три года назад также было с психологическим рубежом $20k, из чего делается вывод, что этим рынком таки манипулируют -- банки, правительства и олигархи.

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

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

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

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

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

Не подумайте только, что я призываю что-то инвестировать в крипту, или, ещё хуже, майнить :) не-не!
Рассказал про это исключительно в контексте того, что криптовалюта -- крайне интересное направление для программистов, напрямую связанное с деньгами, огромные обороты потенциально, а рынок пока почти пуст, как и везде в ИТ, впрочем, если действительно нормально делать. Конечно, "многие стартапы пытаются...", но как в 99% случаев, крайне криво и неумело.

А тем временем сегодня например Ethereum Виталика Бутерина пробил свой рекорд 2,08 тыс. долл.

То есть, я призываю, кому эта тема интересна, не занимайтесь фигнёй типа майнинга или покупок -- пишите криптокод, включайтесь в проекты криптовалюты как программисты! Через 10 лет озолотитесь! :) А кто-то, может, и вытянет свой лотерейный билетик -- придумает новые алгоритмы, как было со смарт-контрактами, NFT, DeFi ит.д., которые кардинально поменяли мир цифровых валют.

Будь как Виталик! :)
Когда несколько лет назад в Пакистане решили создавать свой истребитель (пятого поколения!), в качестве базового языка программирования был выбран С++. В частности, потому, что в стране этому языку массово обучали практически все университеты и колледжи, и там насчитывались буквально десятки тысяч молодых ребят, знающих этот язык.
Ну а где плюсы, почти там же и сишечка, на которой активно пишется софт непосредственно для "железа", и опыт в программной инженерии накоплен огромный.

Кстати, есть довольно распространённое мнение, что бортовой софт F-35 написан на С++ (F-22 точно программировался на Ada), но, знающие люди утверждают, что на таком заоблачном уровне сложности кодировать вручную на плюсах обходится уж слишком дорого. Скорее всего, используются какие-нибудь закрытые lowcode-пакеты, генерирующие код на Си/C++, а также расширения для MATLAB (Coder), Simulink и т. д.

При этом практически не применяются опенсорсные решения (Not-Invented-Here), потому что непонятно качество и безопасность, никаких виртуальных машин (лишние накладные расходы), ну и например для самых ключевых модулей и систем в NASA (спутники, роверы-планетоходы) много кода пишется по-прежнему на ассемблере. В результате в NASA очень топят за повторное использование кода, так как он очень тщательно проверяется и получается в итоге очень дорогим, но минус такого подхода, что приходится долго использовать устаревшее оборудование. И это кстати одна из причин, почему SpaceX смог так внезапно впрыгнуть в космическую индустрию -- у них не было огромного организационно-технического легаси-наследия.
Восемь контринтуитивных трендов нынешней ситуации на рынке труда программистов. Спойлер: если вы читаете этот пост и любите и умеете программировать, то вам реально очень повезло в этой жизни.

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

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

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

В-третьих, запросы в плане денег реально уменьшились. На фоне памяти о карантинных мучениях на первый план прорезались таки истинные общечеловеческие ценности :) Условно, лучше я потеряю в зп на треть, но и работать буду в два раза меньше. Поэтому эйчары начали понемногу паниковать :) Что толку, что у компании дофига денег, если невозможно найти программистов, а классические карьерные пути и мотивашки начинают сильно проседать.

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

Вдумчиво учитывайте это всё -- это реально классные специфические шансы, которые выпадают редко, раз во много лет.

окончание следует