О продвижении по плану
(100% запланированных задач и 100% незапланированных багов)
1. "Движок". 41%
Архитектура, математика: 42% => 52%
Реализация (грузим серию книг по теме и получаем на выходе сырую структуру курса): 30%
Весьма вероятно что я первый человека в мире кто реализовал гомотопическую теорию типов HoTT на PHP 🫢
PHPoTT )))
А на хаскеле или прувере, так-то любой дурак сумеет.
Пока 900 строк пыха, и потратил где-то около 100 долларов на жпт, а до достаточно полной версии ещё наверное пара сотен уйдёт.
Веб-консоль работает у меня на сайте уже, думаю сделать на её основе игру для обучения вот этому всему (с pvp и донатом, без иронии), ну это пока в далёкой перспективе.
Я запилил сперва λCω (топчик в кубе Барандрегта), но хотт куда мощнее конечно. Сделано: базовый тайпчекер с universes, identity types и пути, j-элиминатор, унивалентность, эквивалентности, гомотопии, n-типы...
Хотел на этом остановиться, но не удержался, выдохнул и за ночь допилил высшие индуктивные типы (HIT) и типы тождества.
Сильно конечно упоролся на фундаменте: вывод типа для терма, затем с уровнями универсумов, потом позабыл технический момент, что коли хочем унивалентность, пути между типами (формальное равенство) всегда должны находиться в следующем универсуме, иначе получается парадокс Рассела, и т.п.
В перспективе будет кубик обязательно (composites, fills) и ещё много чего, но пока хочу закончить БАЗУ PHPoT. Сделано "из запланированного" :) 20%, но процесс на самом деле уже чисто технический. Главное было выгрузить смысл/связки/понимание из учебников HoTT (и моей головы) в ТЗ, чтобы его минимально понял жпт.
Первый курс 3.0 кстати будет как раз о подобном.
Но на самом деле, особо сложного тут нету ничего. Это уровень примерно второго третьего курсов computer science хороших универовиз первых десяток мирового рейтинга . Раньше я рекомендовал что тут можно поизучать с околонуля, если вы отучились хотя бы на первом курсе любого инженерного ВУЗа, но потом перестал. Зачем? Лучше я сам вас на этой базе обучу и этой базе, и сильному мышлению в относительно прикладных темках.
Но если прям очень хочется, хоть и не очень понятно а нафига, забустите 50 сердечек, тогда поясню.
Ладно, считаем сердечки + звёзды )
p.s. ну ок) вы красавцы 🙏
В сказке после слов "и жили они долго и счастливо" история заканчивается, а в плане разработки после слов "финальное тестирование" всё только начинается!
❤️❤️❤️❤️❤️
(100% запланированных задач и 100% незапланированных багов)
1. "Движок". 41%
Архитектура, математика: 42% => 52%
Реализация (грузим серию книг по теме и получаем на выходе сырую структуру курса): 30%
Весьма вероятно что я первый человека в мире кто реализовал гомотопическую теорию типов HoTT на PHP 🫢
PHPoTT )))
А на хаскеле или прувере, так-то любой дурак сумеет.
Пока 900 строк пыха, и потратил где-то около 100 долларов на жпт, а до достаточно полной версии ещё наверное пара сотен уйдёт.
Веб-консоль работает у меня на сайте уже, думаю сделать на её основе игру для обучения вот этому всему (с pvp и донатом, без иронии), ну это пока в далёкой перспективе.
Я запилил сперва λCω (топчик в кубе Барандрегта), но хотт куда мощнее конечно. Сделано: базовый тайпчекер с universes, identity types и пути, j-элиминатор, унивалентность, эквивалентности, гомотопии, n-типы...
Хотел на этом остановиться, но не удержался, выдохнул и за ночь допилил высшие индуктивные типы (HIT) и типы тождества.
Сильно конечно упоролся на фундаменте: вывод типа для терма, затем с уровнями универсумов, потом позабыл технический момент, что коли хочем унивалентность, пути между типами (формальное равенство) всегда должны находиться в следующем универсуме, иначе получается парадокс Рассела, и т.п.
В перспективе будет кубик обязательно (composites, fills) и ещё много чего, но пока хочу закончить БАЗУ PHPoT. Сделано "из запланированного" :) 20%, но процесс на самом деле уже чисто технический. Главное было выгрузить смысл/связки/понимание из учебников HoTT (и моей головы) в ТЗ, чтобы его минимально понял жпт.
Первый курс 3.0 кстати будет как раз о подобном.
Но на самом деле, особо сложного тут нету ничего. Это уровень примерно второго третьего курсов computer science хороших универов
Но если прям очень хочется, хоть и не очень понятно а нафига, забустите 50 сердечек, тогда поясню.
Ладно, считаем сердечки + звёзды )
p.s. ну ок) вы красавцы 🙏
В сказке после слов "и жили они долго и счастливо" история заканчивается, а в плане разработки после слов "финальное тестирование" всё только начинается!
❤️❤️❤️❤️❤️
176❤147🤯10🎉2🔥1
Чем с более сильными программистами вы работаете, тем чётче понимаете, насколько слабый программист вы сами есть на самом деле.
/dev ПРЕКРАТИТЕ использовать Docker Desktop! => OrbStack
it's a supercharged WSL and Docker Desktop alternative, all in one easy-to-use app.
/dev ПРЕКРАТИТЕ использовать Docker Desktop! => OrbStack
it's a supercharged WSL and Docker Desktop alternative, all in one easy-to-use app.
1💯45🔥8🤔6🐳5🤝2
В проектах Теслы основной язык Python, что понятно, т.к. там много ML. Но с другой стороны, а как отлаживать встроенный в машинку зоопарк фреймворков, который по определению надо ещё и регулярно апгрейдить от постоянно находимых багов?
А вот твиттер чистенько кодят преимущественно на Scala.
(elon-musk-has-pulled-more-than-50-tesla-engineers-into-twitter)
/redflag ПРЕКРАТИТЕ использовать print() и log() для отладки питонячьего кода => ic()
data structures are formatted, output is syntax highlighted, includes program context: filename, line number, and parent function...
А вот твиттер чистенько кодят преимущественно на Scala.
(elon-musk-has-pulled-more-than-50-tesla-engineers-into-twitter)
/redflag ПРЕКРАТИТЕ использовать print() и log() для отладки питонячьего кода => ic()
data structures are formatted, output is syntax highlighted, includes program context: filename, line number, and parent function...
1🔥47🤔7👏3
Начинаю выкладывать шикарные горячие вакансии, отобранные специально для вас, дорогие 🚀🚀🚀
1. Senior C# Developer в проект по автоматизации цирка
Мы - инновационная компания "ЦифроЦирк", создающая революционные решения для циркового искусства. Наша миссия -- вывести традиционный цирк на новый технологический уровень.
Проект: Разработка системы "CircusOps" - комплексной платформы для управления цирковыми представлениями, включая:
- Калькулятор траекторий для воздушных гимнастов
- AI-система подбора музыки под движения слонов
- Микросервис синхронизации жонглёров
- Биометрический трекер настроения клоунов
Technical Skills (ОБЯЗАТЕЛЬНО):
- C# (.NET Core) - уровень "может написать компилятор с Haskell в IL с закрытыми глазами"
- MS SQL Server - способность оптимизировать запросы быстрее, чем тигр прыгает через огненное кольцо
- Azure Cloud - умение жонглировать микросервисами не хуже профессионального жонглёра
- SignalR - для реалтаймовой координации движений дрессированных медведей на моноциклах
- ML NET - для предсказания вероятности падения акробатов
- React - ваш фронтенд должен быть таким же эффектным, как тройное сальто
- Entity Framework Core - виртуозное владение миграциями баз данных
Soft Skills:
- Стрессоустойчивость уровня укротителя львов
- Умение работать в команде с клоунами
- Способность сохранять серьёзное лицо при обсуждении багов с дрессировщиками
- Креативность фокусника
- Гибкость мышления гимнаста
- Умение жонглировать дедлайнами
- Готовность к внезапным совещаниям на трапеции
Что предлагаем:
- Зарплата: от 99,000 рублей до бесконечности (зависит от количества успешных релизов без падения акробатов)
- ДМС включает страховку от укусов тигров
- Бесплатные билеты в цирк для всей семьи
- Корпоративы с фокусниками и дрессированными пингвинами
1. Senior C# Developer в проект по автоматизации цирка
Мы - инновационная компания "ЦифроЦирк", создающая революционные решения для циркового искусства. Наша миссия -- вывести традиционный цирк на новый технологический уровень.
Проект: Разработка системы "CircusOps" - комплексной платформы для управления цирковыми представлениями, включая:
- Калькулятор траекторий для воздушных гимнастов
- AI-система подбора музыки под движения слонов
- Микросервис синхронизации жонглёров
- Биометрический трекер настроения клоунов
Technical Skills (ОБЯЗАТЕЛЬНО):
- C# (.NET Core) - уровень "может написать компилятор с Haskell в IL с закрытыми глазами"
- MS SQL Server - способность оптимизировать запросы быстрее, чем тигр прыгает через огненное кольцо
- Azure Cloud - умение жонглировать микросервисами не хуже профессионального жонглёра
- SignalR - для реалтаймовой координации движений дрессированных медведей на моноциклах
- ML NET - для предсказания вероятности падения акробатов
- React - ваш фронтенд должен быть таким же эффектным, как тройное сальто
- Entity Framework Core - виртуозное владение миграциями баз данных
Soft Skills:
- Стрессоустойчивость уровня укротителя львов
- Умение работать в команде с клоунами
- Способность сохранять серьёзное лицо при обсуждении багов с дрессировщиками
- Креативность фокусника
- Гибкость мышления гимнаста
- Умение жонглировать дедлайнами
- Готовность к внезапным совещаниям на трапеции
Что предлагаем:
- Зарплата: от 99,000 рублей до бесконечности (зависит от количества успешных релизов без падения акробатов)
- ДМС включает страховку от укусов тигров
- Бесплатные билеты в цирк для всей семьи
- Корпоративы с фокусниками и дрессированными пингвинами
1😁61🙏11✍10👍7🤔4
А что, говорят что где-то на госуслугах надо искать где там зарегистрироваться до 1 января, чтобы получить какую-то "печать блоггера"? У меня было 13т в паблике (сегодня кстати выложил там базу, почему будущее фронтенда за htmx), я поудалял всех собачек и пассивных, осталось почти 10т; решил прямо по живому ещё тыщу обрезать, и потом заморозить на 9,999 папищеков... но по последним постам уже снова до 12т набижали.
Я где-то с конца 1970-х ходил практически на все домашние матчи "Динамо", с самого зарождения фанатского движения бело-голубых в нём участвовал, околофутбол, всё это... Но как появился fan id, только теперь изредка хожу на кубковые матчи.
💯 поддерживаю фэнов не принимать эту "печать фаната" никогда и ни при каких условиях.
Вчера "fan id", сегодня "блоггер id", завтра "666 id"?
=
С другой стороны, а как будут наказывать? Рекламу не разрешат? Так у меня никогда не было её и не будет. Репостить посты запретят? Да и лучше, меньше народу будет ко мне приходить. Донатить не дадут? Но у меня там донатов и нету.
Рассказывают правда, что vk якобы начал рассылать грозные сообщения админам крупных пабликов, что, типа, по вашему сообществу надо обязательно зарегистрироваться "блоггером". При этом совершенно не удивлюсь, если vk, после серии подобных предупреждений, для самостраховки будет за такое просто банить без разбора и возможности восстановления, а соответствующий пункт добавит в пол.соглашение.
Кстати почему бы это не автоматизировать? Если у человека есть верифицированный аккаунт вк, то достаточно дёрнуть один какой-нибудь госAPI с уже известными данными и всё, а админа просто уведомить по факту (если конечно технологический суверенитет действительно работает не на бумаге). Для миддла это 1 день работы (+99 дней бюрократии конечно). Но и этим надо было заниматься заранее, а не постфактум.
Но мне и это пофиг: все материалы паблика сохранены локально, буду их переписывать и выкладывать заново, и при этом следить, чтобы количество подписчиков не превысило магическую цифру 9999.
А может быть, и не буду. Может, заодно и этот канал удалю. Ну мало ли, уеду на Запад следом за математиком Родиным (у него кстати осенью вышел очередной мощный материал "Proclus on Euclid’s definition of plane angle and the concept of mathematical structure according to Voevodsky"), и в России больше не останется ни одного человека, готового обучать HoTT и делать материалы и курсы по этой теме. Или на Восток, послушником в буддийский монастырь, по пути Гротендика. Или на скорости 300+ км/ч случайно последую Болту, D1ablo или Сергею Доренко (в этом по крайней мере есть какая-то эстетика...).
И ничего вы у меня больше прочитать не сможете, хотя и хотели.
Я где-то с конца 1970-х ходил практически на все домашние матчи "Динамо", с самого зарождения фанатского движения бело-голубых в нём участвовал, околофутбол, всё это... Но как появился fan id, только теперь изредка хожу на кубковые матчи.
💯 поддерживаю фэнов не принимать эту "печать фаната" никогда и ни при каких условиях.
Вчера "fan id", сегодня "блоггер id", завтра "666 id"?
=
С другой стороны, а как будут наказывать? Рекламу не разрешат? Так у меня никогда не было её и не будет. Репостить посты запретят? Да и лучше, меньше народу будет ко мне приходить. Донатить не дадут? Но у меня там донатов и нету.
Рассказывают правда, что vk якобы начал рассылать грозные сообщения админам крупных пабликов, что, типа, по вашему сообществу надо обязательно зарегистрироваться "блоггером". При этом совершенно не удивлюсь, если vk, после серии подобных предупреждений, для самостраховки будет за такое просто банить без разбора и возможности восстановления, а соответствующий пункт добавит в пол.соглашение.
Кстати почему бы это не автоматизировать? Если у человека есть верифицированный аккаунт вк, то достаточно дёрнуть один какой-нибудь госAPI с уже известными данными и всё, а админа просто уведомить по факту (если конечно технологический суверенитет действительно работает не на бумаге). Для миддла это 1 день работы (+99 дней бюрократии конечно). Но и этим надо было заниматься заранее, а не постфактум.
Но мне и это пофиг: все материалы паблика сохранены локально, буду их переписывать и выкладывать заново, и при этом следить, чтобы количество подписчиков не превысило магическую цифру 9999.
А может быть, и не буду. Может, заодно и этот канал удалю. Ну мало ли, уеду на Запад следом за математиком Родиным (у него кстати осенью вышел очередной мощный материал "Proclus on Euclid’s definition of plane angle and the concept of mathematical structure according to Voevodsky"), и в России больше не останется ни одного человека, готового обучать HoTT и делать материалы и курсы по этой теме. Или на Восток, послушником в буддийский монастырь, по пути Гротендика. Или на скорости 300+ км/ч случайно последую Болту, D1ablo или Сергею Доренко (в этом по крайней мере есть какая-то эстетика...).
И ничего вы у меня больше прочитать не сможете, хотя и хотели.
1🤔65🫡17✍10😎10⚡5
Обещанное продолжение по HoTT ❤️❤️❤️
Но сперва небольшое отступление.
Ту реализацию гомотопической теории, которую я в основном сделал (осталось поотлаживаться на достаточно сложных примерах), я назвал
ТОП (топологически-ориентированное программирование)
(пока подобного термина нигде не было)
PHPoTT (моя программная реализация ТОП) -- это такой игрушечный функциональный язык с зависимыми типами, который однако умеет мощные штуки: прежде всего это явная работа с гомотопическими путями и высшими индуктивными типами.
Ну, да, нечто подобное по-взрослому умеют кубическая Agda, Arend, Coq с HoTT, Lean... Хотя нет, экспериментальная поддержка HoTT была в Lean 2, начиная с Lean 3 от HoTT отказались в пользу классической математики, а текущий Lean 4 вообще практически полностью сфокусировался на формализации обычной математики.
...В смысле? Разве HoTT -- это не "обычная математика"?
Нет, не обычная )
В "обычной математике" фундамент -- это абстрактная теория множеств, дискретность и статичность, а главное, сами доказательства -- это внешние по отношению к объектам конструкции. А HoTT -- про динамическую природу типов и конструктивные доказательства сами как объекты первого класса.
=
В ряде деталей PHPoTT обходит вышеупомянутые языки и пруверы. Ну например, конечно, тому же языку F* в целом прилично проигрываем, но...
В F* абстрактные refinement types, а у меня конкретные реализации высших индуктивных типов. В F* сложная система эффектов: они там первоклассные сущности в системе типов, и каждая функция должна явно декларировать, какие побочные эффекты она будет "производить" :) Хочешь исключение выбросить? Ставь ручками метку Exn. Надеешься, что чистая тотальная? Ставь Tot. И т.п. А PHPoTT -- простая система с явными гомотопическими путями.
=
Да, но "а что это всё вообще кому-то даст на практике??"
1. Конечно, прежде всего тема формальной верификации -- большое отдельное, которое много лет остаётся дорогим и мало популярным, но... Сегодня в связи с тем, что потихонечку получается получать более-менее рабочий код во всяческих жпт из естественной речи (хотя чем дороже ллмка, тем более (а не менее!) она требовательна к точности и формализмам в словесной заявке), думаю эта тема будет взлетать очень сильно.
2. Когда у нас есть доказуемые изоморфизмы, мы можем верифицировать пути преобразований между всяческими форматами данных например - на уровне математически правильной спецификации для уровня жпт, сформированной автоматически (т.к. HoTT и про гарантированное сохранение свойств при трансформациях).
3. Мы также можем строго доказывать эквивалентность различных представлений криптографических структур :) включая формальную верификацию свойств "гладкости" криптографических функций. Формально описывать криптографические протоколы с сохранением их топологической структуры с верификацией свойств безопасности на уровне типов.
Получаем формальные гарантии безопасности,
верифицируем протоколы математически,
имеем возможность доказательного композирования криптографических примитивов,
получаем дешёвые и простые готовые инструменты для анализа устойчивости криптосистем,
и т.п. и т.д.
(картинки - это реально работающий код, шаблоны для конкретных задач, а не просто набранный в редакторе для демонстрации :)
Представляете, когда я обучу вас легко и просто подобным формальным подходам, которые сейчас и близко никто не понимает и не представляет (они даже не знают, что они этого не знают:)? С совершенно конкретным скиллом применения этого в вашей повседневной работе! 💪🏻💪🏻💪🏻💥💥🚀🚀🚀
(если конечно не релоцируюсь:)
Продолжение по курсам 3.0 следует; в следующий раз, как обещал, конкретно про самостоятельное начальное обучение этому напишу (сперва конечно надо в голову встроить соответствующую думательную машинку).
/dev прогресс по курсам 3.0: 23% => 27%
...
2. Фреймворк курса: 0% => 15%
Но сперва небольшое отступление.
Ту реализацию гомотопической теории, которую я в основном сделал (осталось поотлаживаться на достаточно сложных примерах), я назвал
ТОП (топологически-ориентированное программирование)
(пока подобного термина нигде не было)
PHPoTT (моя программная реализация ТОП) -- это такой игрушечный функциональный язык с зависимыми типами, который однако умеет мощные штуки: прежде всего это явная работа с гомотопическими путями и высшими индуктивными типами.
Ну, да, нечто подобное по-взрослому умеют кубическая Agda, Arend, Coq с HoTT, Lean... Хотя нет, экспериментальная поддержка HoTT была в Lean 2, начиная с Lean 3 от HoTT отказались в пользу классической математики, а текущий Lean 4 вообще практически полностью сфокусировался на формализации обычной математики.
...В смысле? Разве HoTT -- это не "обычная математика"?
Нет, не обычная )
В "обычной математике" фундамент -- это абстрактная теория множеств, дискретность и статичность, а главное, сами доказательства -- это внешние по отношению к объектам конструкции. А HoTT -- про динамическую природу типов и конструктивные доказательства сами как объекты первого класса.
=
В ряде деталей PHPoTT обходит вышеупомянутые языки и пруверы. Ну например, конечно, тому же языку F* в целом прилично проигрываем, но...
В F* абстрактные refinement types, а у меня конкретные реализации высших индуктивных типов. В F* сложная система эффектов: они там первоклассные сущности в системе типов, и каждая функция должна явно декларировать, какие побочные эффекты она будет "производить" :) Хочешь исключение выбросить? Ставь ручками метку Exn. Надеешься, что чистая тотальная? Ставь Tot. И т.п. А PHPoTT -- простая система с явными гомотопическими путями.
=
Да, но "а что это всё вообще кому-то даст на практике??"
1. Конечно, прежде всего тема формальной верификации -- большое отдельное, которое много лет остаётся дорогим и мало популярным, но... Сегодня в связи с тем, что потихонечку получается получать более-менее рабочий код во всяческих жпт из естественной речи (хотя чем дороже ллмка, тем более (а не менее!) она требовательна к точности и формализмам в словесной заявке), думаю эта тема будет взлетать очень сильно.
2. Когда у нас есть доказуемые изоморфизмы, мы можем верифицировать пути преобразований между всяческими форматами данных например - на уровне математически правильной спецификации для уровня жпт, сформированной автоматически (т.к. HoTT и про гарантированное сохранение свойств при трансформациях).
3. Мы также можем строго доказывать эквивалентность различных представлений криптографических структур :) включая формальную верификацию свойств "гладкости" криптографических функций. Формально описывать криптографические протоколы с сохранением их топологической структуры с верификацией свойств безопасности на уровне типов.
Получаем формальные гарантии безопасности,
верифицируем протоколы математически,
имеем возможность доказательного композирования криптографических примитивов,
получаем дешёвые и простые готовые инструменты для анализа устойчивости криптосистем,
и т.п. и т.д.
(картинки - это реально работающий код, шаблоны для конкретных задач, а не просто набранный в редакторе для демонстрации :)
Представляете, когда я обучу вас легко и просто подобным формальным подходам, которые сейчас и близко никто не понимает и не представляет (они даже не знают, что они этого не знают:)? С совершенно конкретным скиллом применения этого в вашей повседневной работе! 💪🏻💪🏻💪🏻💥💥🚀🚀🚀
(если конечно не релоцируюсь:)
Продолжение по курсам 3.0 следует; в следующий раз, как обещал, конкретно про самостоятельное начальное обучение этому напишу (сперва конечно надо в голову встроить соответствующую думательную машинку).
/dev прогресс по курсам 3.0: 23% => 27%
...
2. Фреймворк курса: 0% => 15%
50❤51👍18🔥5😇1
Эта инфа льётся из каждого docker-контейнера (даже из тех, которые помечены как production only), паблики устали её репостить:
"курьеры зарабатывают уже больше чем айтишники, и при этом спрос на них только растёт"
Чтобы стало понятнее, а почему так получается, напомню ещё одну заезженную тему, которая тоже настолько распространена, что её можно найти в исходном коде микроволновки моей бабушки (причём в режиме дебаггера она выводится вместо времени приготовления):
"для IT отрасли созданы очень комфортные налоговые льготы и послабления..."
Сермяга в том, что для той обширной ниши сферы услуг, где существует "профессия" курьер, созданы такие налоговые льготы, что русской айтишке и не снились даже после третьей чашки предрелизного кофе, или когда деплой прошёл с первой попытки.
Какие-то особые налоговые условия для ИТ -- это миф из той же серии, что и "код без багов', "понятная документация" и "заказчик точно знает, чего хочет". Это как верить, что твой код будет работать быстрее, если очень вежливо попросить процессор. Пока мы оптимизируем хвостовую рекурсию, владельцы курьерских бизнесов оптимизируют маршруты до налоговой.
/rtfm выбираем современный gui фреймворк для питона (впн)
"курьеры зарабатывают уже больше чем айтишники, и при этом спрос на них только растёт"
Чтобы стало понятнее, а почему так получается, напомню ещё одну заезженную тему, которая тоже настолько распространена, что её можно найти в исходном коде микроволновки моей бабушки (причём в режиме дебаггера она выводится вместо времени приготовления):
"для IT отрасли созданы очень комфортные налоговые льготы и послабления..."
Сермяга в том, что для той обширной ниши сферы услуг, где существует "профессия" курьер, созданы такие налоговые льготы, что русской айтишке и не снились даже после третьей чашки предрелизного кофе, или когда деплой прошёл с первой попытки.
Какие-то особые налоговые условия для ИТ -- это миф из той же серии, что и "код без багов', "понятная документация" и "заказчик точно знает, чего хочет". Это как верить, что твой код будет работать быстрее, если очень вежливо попросить процессор. Пока мы оптимизируем хвостовую рекурсию, владельцы курьерских бизнесов оптимизируют маршруты до налоговой.
/rtfm выбираем современный gui фреймворк для питона (впн)
1🔥39🤔16👍4❤2😁2
Итоги года с Сергеем Бобровским. Москва, Ховрино, 12 часов.
Сдул пыль с роадмапа Школы (пока он старый). В последний раз я его редактировал более года назад.
За 2024й из новых курсов добавился только один, по software design ("Незримые механизмы логики"). Обновил также оба курса по АСД - около полусотни новых задач добавилось.
Основной фокус я делал на контенте:
- 1000-й пост в паблике на 13т папищеков(успей всё прочитать до 1 января, потом паблик станет вне закона) ;
- 100-й материал СильныхИдей
"...Можно ли генерировать код из спецификаций? Во-первых, вы можете ошибиться при создании или внедрении спецификации, что может в дальнейшем привести к серьёзным логическим ошибками. Во-вторых, реализация со временем наверняка будет "дрейфовать", а про обновление спецификации вы забудете, что приведёт к неожиданным проблемам с архитектурой. И чем здесь вам поможет AI? Нет, вы не можете это делать. ...Но есть и хорошие новости."
- 93-й материал "Есть ли у вас план Б?" курсы карьеры
Если вы зацикливаетесь на определённом плане развития карьеры, частые ошибки неизбежны. По мере роста в профессии у вас регулярно будут возникать одновременно несколько хороших возможностей для рассмотрения. Так вот, особенно если некоторые из этих возможностей одинаково привлекательны, полезно учитывать следующее...
- 56-й материал "Это убивает вашу зарплату" трека " Элитный программист"
По всему миру распространяется опасная эпидемия, но НИКТО об этом не говорит. Это не прогресс, это регресс ...
- 52-й материал "Последнее, о чём вам следует просить по офферу" трека "Бесстрашных переговоров о зарплате"
и т.д.
=
Из небольших факапов по Школе, ну разве что я стал важничать, что превращаюсь в нечто вроде боксскиллдалогии, начал проявлять больше "гуманности" к новеньким кто записывается ко мне (типа, "клиент всегда прав"), сю-сю-сю -- и в результате впустил несколько неадекватных персонажей, юных дарований, которые стали по треугольнику Карпмана занимать позицию Преследователя. И были быстро и успешно забанены :) Причём красные флажки были, с самого начала: типа, чел делает задание явно небрежно, не соблюдает правила занятий, начинает выпендриваться, проявлять пассивную агрессию и т.п.
Ну, соответствующие фиксы теперь я просто добавляю в правила занятий (предупреждение, сгорание скидок, отчисление), и когда курсант пишет что-то, что мне не нравится (абсолютно субъективно и волюнтаристски), просто молча даю ему прямую ссылочку на пункт правил. 1 минута - и +10 евро :)
Впрочем, последний маленький набор на мои курсы я делал в последний раз 3-го сентября (взял пять человек, и то случайно, хотел двух-трёх, но не успел через две минуты закрыть набор, набижали молниеносно :), и раньше весны вряд ли его возобновлю.
=
На 2025-й планы такие:
1. Прокачиваю Школу и систему курсов (будут если не в открытом, то в относительно открытом доступе 💯) до уровня 3.0 (в контексте ТОП).
Ну ок, для дальнейшего усиления мотивации обязуюсь выпустить первый курс 3.0 до 01.02.2025.
(вчера кстати общий прогресс на пару процентов откатился назад :) стоит, блин, дать жпт хотя бы чуть-чуть свободы, выпустить из ежовых рукавиц тестов и формальных спецификаций, как оно тут же начинает нести пургу и фигачить баги, которые проявляются позже и ломают вообще всё в дизайне; супер опыт кстати получается, расскажу потом как делать проект с жпт минимальными расходами по времени и деньгам)
2. Надоели окончательно "айти-консалтинги": денег платят дофига, но в любом случае это упирается в фактически почасовую мою работу, а в итоге из рекомендаций, которые у меня так просили, буквально умоляли, и которыми были очень довольны, внедряется от силы 2%.
Поэтому, ухожу в инфоцыганствоследом за Аязом )))
(продолжение после спокойного перерыва на вкусный обед)
Сдул пыль с роадмапа Школы (пока он старый). В последний раз я его редактировал более года назад.
За 2024й из новых курсов добавился только один, по software design ("Незримые механизмы логики"). Обновил также оба курса по АСД - около полусотни новых задач добавилось.
Основной фокус я делал на контенте:
- 1000-й пост в паблике на 13т папищеков
- 100-й материал СильныхИдей
"...Можно ли генерировать код из спецификаций? Во-первых, вы можете ошибиться при создании или внедрении спецификации, что может в дальнейшем привести к серьёзным логическим ошибками. Во-вторых, реализация со временем наверняка будет "дрейфовать", а про обновление спецификации вы забудете, что приведёт к неожиданным проблемам с архитектурой. И чем здесь вам поможет AI? Нет, вы не можете это делать. ...Но есть и хорошие новости."
- 93-й материал "Есть ли у вас план Б?" курсы карьеры
Если вы зацикливаетесь на определённом плане развития карьеры, частые ошибки неизбежны. По мере роста в профессии у вас регулярно будут возникать одновременно несколько хороших возможностей для рассмотрения. Так вот, особенно если некоторые из этих возможностей одинаково привлекательны, полезно учитывать следующее...
- 56-й материал "Это убивает вашу зарплату" трека " Элитный программист"
По всему миру распространяется опасная эпидемия, но НИКТО об этом не говорит. Это не прогресс, это регресс ...
- 52-й материал "Последнее, о чём вам следует просить по офферу" трека "Бесстрашных переговоров о зарплате"
и т.д.
=
Из небольших факапов по Школе, ну разве что я стал важничать, что превращаюсь в нечто вроде боксскиллдалогии, начал проявлять больше "гуманности" к новеньким кто записывается ко мне (типа, "клиент всегда прав"), сю-сю-сю -- и в результате впустил несколько неадекватных персонажей, юных дарований, которые стали по треугольнику Карпмана занимать позицию Преследователя. И были быстро и успешно забанены :) Причём красные флажки были, с самого начала: типа, чел делает задание явно небрежно, не соблюдает правила занятий, начинает выпендриваться, проявлять пассивную агрессию и т.п.
Ну, соответствующие фиксы теперь я просто добавляю в правила занятий (предупреждение, сгорание скидок, отчисление), и когда курсант пишет что-то, что мне не нравится (абсолютно субъективно и волюнтаристски), просто молча даю ему прямую ссылочку на пункт правил. 1 минута - и +10 евро :)
Впрочем, последний маленький набор на мои курсы я делал в последний раз 3-го сентября (взял пять человек, и то случайно, хотел двух-трёх, но не успел через две минуты закрыть набор, набижали молниеносно :), и раньше весны вряд ли его возобновлю.
=
На 2025-й планы такие:
1. Прокачиваю Школу и систему курсов (будут если не в открытом, то в относительно открытом доступе 💯) до уровня 3.0 (в контексте ТОП).
Ну ок, для дальнейшего усиления мотивации обязуюсь выпустить первый курс 3.0 до 01.02.2025.
2. Надоели окончательно "айти-консалтинги": денег платят дофига, но в любом случае это упирается в фактически почасовую мою работу, а в итоге из рекомендаций, которые у меня так просили, буквально умоляли, и которыми были очень довольны, внедряется от силы 2%.
Поэтому, ухожу в инфоцыганство
(продолжение после спокойного перерыва на вкусный обед)
6👍56❤16🔥5🥰3👏2
2. ...Ухожу в инфоцыганство ↑↑↑
...только оно будет не простое, а математическое :)
Типа такого:
1. ШОКИРУЮЩАЯ ПРАВДА о монадах, которую скрывают функциональные программисты! Узнай, как простой джуниор поднял производительность на 1000% с помощью одного паттерна!
2. ВСЕ МАТЕМАТИКИ НЕНАВИДЯТ ЕГО! Разработчик нашёл способ доказывать теоремы Карри-Говарда без изучения лямбда-исчисления. Только 24 часа доступа к секретной методике!
3. ОН ВЗЛОМАЛ МАТРИЦУ ТИПОВ! Бывший дворник за две недели освоил теорию категорий и теперь зарабатывает на смарт-контрактах!
(СЛИВ СХЕМЫ в закрытом телеграм-канале "Ватинформ")
4. НЕ ОТКРЫВАЙ, ПОКА НЕ ГОТОВ! Древний секрет комбинаторной логики Смаллиана, который превращает джуниоров в сеньоров за 14 дней!
Количество мест в потоке ОГРАНИЧЕНО!!1
5. СРОЧНО! Эксклюзивный курс гомотопической теории типов для домохозяек! Узнай, как писать доказуемо корректные программы, не выходя из декрета!
СКИДКА 99.9% только сегодня!
Бонус: СЛИВ ИНСАЙДА!Профессор математики случайно проговорился о секретной формуле превращения императивного кода в чистый функциональный! Спринт-марафон по теоркату всего за 49,999 рублей.
...только оно будет не простое, а математическое :)
Типа такого:
1. ШОКИРУЮЩАЯ ПРАВДА о монадах, которую скрывают функциональные программисты! Узнай, как простой джуниор поднял производительность на 1000% с помощью одного паттерна!
2. ВСЕ МАТЕМАТИКИ НЕНАВИДЯТ ЕГО! Разработчик нашёл способ доказывать теоремы Карри-Говарда без изучения лямбда-исчисления. Только 24 часа доступа к секретной методике!
3. ОН ВЗЛОМАЛ МАТРИЦУ ТИПОВ! Бывший дворник за две недели освоил теорию категорий и теперь зарабатывает на смарт-контрактах!
(СЛИВ СХЕМЫ в закрытом телеграм-канале "Ватинформ")
4. НЕ ОТКРЫВАЙ, ПОКА НЕ ГОТОВ! Древний секрет комбинаторной логики Смаллиана, который превращает джуниоров в сеньоров за 14 дней!
Количество мест в потоке ОГРАНИЧЕНО!!1
5. СРОЧНО! Эксклюзивный курс гомотопической теории типов для домохозяек! Узнай, как писать доказуемо корректные программы, не выходя из декрета!
СКИДКА 99.9% только сегодня!
Бонус: СЛИВ ИНСАЙДА!
4😁66❤13🔥12👍5🤯1
...пункт 3, последний. Новый роадмап на 2025-й и далее.
Я поставил "2024-??" в старом плане, потому что, честно говорю, не верил что сделаю в этом году хотя бы что-нибудь одно из этого. А уж про "курс по Homotopy type theory как "языку программирования" даже и не мечтал, честно. Вообще не думал что получится это хоть когда-нибудь, потому что уж слишком сложной темка казалась, и понимания не хватало, как в математике сопутствующей, так и куда и как мне двигать Школу дальше стратегически.
А уж что я сделаю это в одиночку! в виде реально работающей технологии! за один месяц! да ещё и на пыхе :) Скажи мне это кто-нибудь ещё в ноябре, совершенно бы не поверил ...
Но (не без помощи моего гуру 🙏🙏🙏), вот буквально за один этот декабрь, я с нуля в потенциальном виде реализовал ВСЁ что там упоминал, и даже существенно больше чем планировал, и все эти старые пункты теперь гармонично укладываются в зонтичную концепцию ТОП как её естественные составляющие.
Все эти пункты (да и много чего ещё другого) в простом ясном и понятном виде (причём с акцентом на это ваше "прикладное полезненькое") я постараюсь сделать в 2025-м.
=
Не могу сказать с чем этот прорыв связать осознанно, но в целом, полагаю, причина в том, что я уже много десятков лет стабильно читаю и перечитываю всяческие полезные книги: по саморазвитию прежде всего, по математике, computer science, не менее одной книги в неделю. Ну и рано или поздно всё это накапливаемое в подсознании, периодически проявляется вот в такой вот пиковый прорыв, чего и вам искренне желаю.
На этой неделе кстати закончил книгу "Максимум. Как достичь личного совершенства с помощью современных научных открытий" Андерс Эрикссон, Роберт Пул, которая в оригинале неспроста называется "PEAK" :)
(но это не рекомендация бросаться читать именно её как какую-то серебряную пулю)
А технологическую сингулярность сдвигаем пока аккуратно с 2042-го на 2033-й.
Я поставил "2024-??" в старом плане, потому что, честно говорю, не верил что сделаю в этом году хотя бы что-нибудь одно из этого. А уж про "курс по Homotopy type theory как "языку программирования" даже и не мечтал, честно. Вообще не думал что получится это хоть когда-нибудь, потому что уж слишком сложной темка казалась, и понимания не хватало, как в математике сопутствующей, так и куда и как мне двигать Школу дальше стратегически.
А уж что я сделаю это в одиночку! в виде реально работающей технологии! за один месяц! да ещё и на пыхе :) Скажи мне это кто-нибудь ещё в ноябре, совершенно бы не поверил ...
Но (не без помощи моего гуру 🙏🙏🙏), вот буквально за один этот декабрь, я с нуля в потенциальном виде реализовал ВСЁ что там упоминал, и даже существенно больше чем планировал, и все эти старые пункты теперь гармонично укладываются в зонтичную концепцию ТОП как её естественные составляющие.
Все эти пункты (да и много чего ещё другого) в простом ясном и понятном виде (причём с акцентом на это ваше "прикладное полезненькое") я постараюсь сделать в 2025-м.
=
Не могу сказать с чем этот прорыв связать осознанно, но в целом, полагаю, причина в том, что я уже много десятков лет стабильно читаю и перечитываю всяческие полезные книги: по саморазвитию прежде всего, по математике, computer science, не менее одной книги в неделю. Ну и рано или поздно всё это накапливаемое в подсознании, периодически проявляется вот в такой вот пиковый прорыв, чего и вам искренне желаю.
На этой неделе кстати закончил книгу "Максимум. Как достичь личного совершенства с помощью современных научных открытий" Андерс Эрикссон, Роберт Пул, которая в оригинале неспроста называется "PEAK" :)
(но это не рекомендация бросаться читать именно её как какую-то серебряную пулю)
А технологическую сингулярность сдвигаем пока аккуратно с 2042-го на 2033-й.
2👍50🔥13👏3❤2⚡1
Заключительное.
...Когда ушли первые 100 долларов на жпт, я всё ещё думал, что не получится 98%, много раз хотел слиться, потому что грядущим сотням долларов, утекающим впустую c мутными перспективами, казалось, не будет ни конца ни края. Я кстати делал всё на клоде 3.5, жпт-4o явно слабее, но у клода оказался такой недостаток, что он слишком разговорчив и слишком подробно пишет код с кучей примеров, тестов и пояснений. Стоит чуть-чуть расслабиться, и токены сгорят только так.
У меня даже были греховные мысли -- а не попробовать ли жпт o1 или клод опус, в иллюзорной надежде что уж они-то за 200 долларов в месяц (причём за весьма небольшое число токенов на такую сумму) сразу будут писать много кода практически без переделок и дополнений. ага ага щас.
Пока все эти жпт для программистов -- большой мыльный пузырь, который всё раздувается и раздувается , инфоцыганство для умной ЦА. Коготок увяз -- всей птичке пропасть.
БАЗА:
НЕ планируйте делать целый проект с жпт -- это ТУПИК.
НИКОГДА не впускайте этих инопланетян на уровень архитектуры и software design.
И вот то, чему я учу в Школе, что начинал ещё 6 лет назад (и ни разу не отклонялся),
что ещё полгода назад казалось никому особо не нужным академическим умничанием, сегодня в контексте AI получается прям топчик абсолютный. Университетское понимание вычислительных моделей (включая параллелизм), ООАП, ФП, всяческие спецификации и формализмы -- вот это вот всё получается 98% попадание в темку "как легко и быстро просто и дёшево X1000 разрабатывать надёжные программные проекты с помощью жпт".
Все десятки курсов моей Школы теперь естественно складываются в эту тему как готовый паззл.
СЕНСАЦИЯ! ВЗЛОМАН КОД УСПЕХА! =>
Русский программист после десятилетий отшельничества и глубоких исследований в теории типов и категорий в 2024-м СЛУЧАЙНО обнаружил, что некоторые формальные методы - это ТОЧНЫЙ КЛЮЧ к управлению искусственным интеллектом! НЕЙРОСЕТИ В ШОКЕ: применяя зависимые типы и формальные спецификации, можно заставить AI писать ДОКАЗУЕМО КОРРЕКТНЫЙ КОД в 1000 раз быстрее обычных программистов!
На моём ЗАКРЫТОМ МАРАФОНЕ вы узнаете, как использовать монадические трансформеры для точного контроля над GPT, превращая любой промт в ИДЕАЛЬНЫЙ КОД! Забудьте про галлюцинации AI - типизированные нейросети под контролем теории категорий работают как ШВЕЙЦАРСКИЕ ЧАСЫ!
ЭКСКЛЮЗИВ: участники марафона получат доступ к секретной формуле композиции функторов, которая заставляет ChatGPT писать код чище, чем сеньор-разработчик с 20-летним стажем!
Осталось всего 3 места по старой цене! Успей застолбить место в новой IT-элите!
#AIпослушныйкакКотёнок #МонадическийИИ #ТипыПобеждаютВсё
...Когда ушли первые 100 долларов на жпт, я всё ещё думал, что не получится 98%, много раз хотел слиться, потому что грядущим сотням долларов, утекающим впустую c мутными перспективами, казалось, не будет ни конца ни края. Я кстати делал всё на клоде 3.5, жпт-4o явно слабее, но у клода оказался такой недостаток, что он слишком разговорчив и слишком подробно пишет код с кучей примеров, тестов и пояснений. Стоит чуть-чуть расслабиться, и токены сгорят только так.
У меня даже были греховные мысли -- а не попробовать ли жпт o1 или клод опус, в иллюзорной надежде что уж они-то за 200 долларов в месяц (причём за весьма небольшое число токенов на такую сумму) сразу будут писать много кода практически без переделок и дополнений. ага ага щас.
Пока все эти жпт для программистов -- большой мыльный пузырь, который всё раздувается и раздувается , инфоцыганство для умной ЦА. Коготок увяз -- всей птичке пропасть.
БАЗА:
НЕ планируйте делать целый проект с жпт -- это ТУПИК.
НИКОГДА не впускайте этих инопланетян на уровень архитектуры и software design.
И вот то, чему я учу в Школе, что начинал ещё 6 лет назад (и ни разу не отклонялся),
что ещё полгода назад казалось никому особо не нужным академическим умничанием, сегодня в контексте AI получается прям топчик абсолютный. Университетское понимание вычислительных моделей (включая параллелизм), ООАП, ФП, всяческие спецификации и формализмы -- вот это вот всё получается 98% попадание в темку "как легко и быстро просто и дёшево X1000 разрабатывать надёжные программные проекты с помощью жпт".
Все десятки курсов моей Школы теперь естественно складываются в эту тему как готовый паззл.
СЕНСАЦИЯ! ВЗЛОМАН КОД УСПЕХА! =>
На моём ЗАКРЫТОМ МАРАФОНЕ вы узнаете, как использовать монадические трансформеры для точного контроля над GPT, превращая любой промт в ИДЕАЛЬНЫЙ КОД! Забудьте про галлюцинации AI - типизированные нейросети под контролем теории категорий работают как ШВЕЙЦАРСКИЕ ЧАСЫ!
ЭКСКЛЮЗИВ: участники марафона получат доступ к секретной формуле композиции функторов, которая заставляет ChatGPT писать код чище, чем сеньор-разработчик с 20-летним стажем!
Осталось всего 3 места по старой цене! Успей застолбить место в новой IT-элите!
5❤59😁24👍11😇1
Тысяча кокошников, как же круто получается писать прозаический прикладной код с дешёвой жпт (или даже локально бесплатной, как gpt4all), в чистом функциональном стиле и чистой функциональной архитектуре.
Надо будет кстати ещё с завтипчиками поэкспериментировать, а вдруг такая мощная система типов ллм-кам как раз хорошо зайдёт. Они ведь в математике шарят уже весьма неплохо, явно лучше чем в программировании :)
/imho serverless всё. bigtech начал от них массово отказываться (как немного раньше от nosql), многие профильные облачные сервисы закрываются, и хорошо ещё если вы успеете спасти свои серверлесс-проекты, перетащив их в микросервисы.
Надо будет кстати ещё с завтипчиками поэкспериментировать, а вдруг такая мощная система типов ллм-кам как раз хорошо зайдёт. Они ведь в математике шарят уже весьма неплохо, явно лучше чем в программировании :)
/imho serverless всё. bigtech начал от них массово отказываться (как немного раньше от nosql), многие профильные облачные сервисы закрываются, и хорошо ещё если вы успеете спасти свои серверлесс-проекты, перетащив их в микросервисы.
1👍35❤26💯4
Сейчас многие хайпуют на теме, что дескать RuComNadzor хочет через провайдеров добраться до каждого пользователя который пользует впн и подобное, чтобы потом, видимо, что? штраф? провайдер забанит? сообщат Куда Надо и в кутузку? Вроде как хотят отслеживать тех, кто тайно посещает виртуальных любовниц: а вдруг он на ютубе смотрит ролики индийских программистов??
На самом деле причина совершенно в другом (моё оценочное суждение).
В подавляющем большинстве стран использование впн для доступа к социальным сетям и другим онлайн-сервисам само по себе не считается незаконным.
Например в Бразилии штрафы чуть ли не $1000 в день , но только если ты через впн конкретно пытаешься почитать твиттер. В Европах, если утянул торрентом пиратский фильм, получишь автоматический штраф от провайдера на несколько сотен долларов (врут наверное? это всё кремлёвская пропаганда?), и сразу побежишь оформлять платную подписку на онлайн-кинотеатры официальные.
Но сермяга в другом: современные дпи уже достаточно легко и просто выявляют типичные паттерны (например, по лагу) использования впн, даже если трафик зашифрован (вы же знаете что такое гомоморфное шифрование?).
ВПН-сервисы работают обычно в известном диапазоне ип-адресов, а сами эти сервисы с большой любовью (а нередко и по собственной инициативе) сливают свои логи по первому запросу соответствующих структур.
Если вы как в Бразилии пытаетесь через впн обращаться не к невинному сайту (например, куора), а к официально запрещённому (например, к стиму; немного ему осталоcь, полагаю :), то в любом случае будут палиться всяческие метаданные (временные метки, паттерны запросов и ответов под конкретный сервис...). А если вы используете стандартный днс, то просто в открытую палите доменные имена на которые через впн заходите lol
И в целом, любой интернет-сервис от соцсетей и игр до API и пустого лендинга, генерирует свой собственный уникальный паттерн трафика (хоть через впн, без разницы).
Кроме того совсем не факт что сам впн будет скрывать как следует ип-адреса к которым вы обращаетесь, особенно если он бесплатный.
Хост-заголовки HTTP запросов и SNI заголовки TLS соединений могут прозрачно включать имя сервера, к которому вы обращаетесь. И т.д. и т.п.
То есть смысла именно сам впн-доступ блокировать нету, т.к. в 98% случаях и при випене можно определить, а куда это Олег регулярно заходит?
Но тогда зачем вся это активность?
Ну, как бы когда тебе дают миллиарды рублей на подобные проэкты, разве ты откажешься? :)
Тем более что в отчётах по результату ты можешь написать какие угодно циферки успеха с потолка, потому что их проверить практически нереально.
На самом деле причина совершенно в другом (моё оценочное суждение).
В подавляющем большинстве стран использование впн для доступа к социальным сетям и другим онлайн-сервисам само по себе не считается незаконным.
Например в Бразилии штрафы чуть ли не $1000 в день , но только если ты через впн конкретно пытаешься почитать твиттер. В Европах, если утянул торрентом пиратский фильм, получишь автоматический штраф от провайдера на несколько сотен долларов (врут наверное? это всё кремлёвская пропаганда?), и сразу побежишь оформлять платную подписку на онлайн-кинотеатры официальные.
Но сермяга в другом: современные дпи уже достаточно легко и просто выявляют типичные паттерны (например, по лагу) использования впн, даже если трафик зашифрован (вы же знаете что такое гомоморфное шифрование?).
ВПН-сервисы работают обычно в известном диапазоне ип-адресов, а сами эти сервисы с большой любовью (а нередко и по собственной инициативе) сливают свои логи по первому запросу соответствующих структур.
Если вы как в Бразилии пытаетесь через впн обращаться не к невинному сайту (например, куора), а к официально запрещённому (например, к стиму; немного ему осталоcь, полагаю :), то в любом случае будут палиться всяческие метаданные (временные метки, паттерны запросов и ответов под конкретный сервис...). А если вы используете стандартный днс, то просто в открытую палите доменные имена на которые через впн заходите lol
И в целом, любой интернет-сервис от соцсетей и игр до API и пустого лендинга, генерирует свой собственный уникальный паттерн трафика (хоть через впн, без разницы).
Кроме того совсем не факт что сам впн будет скрывать как следует ип-адреса к которым вы обращаетесь, особенно если он бесплатный.
Хост-заголовки HTTP запросов и SNI заголовки TLS соединений могут прозрачно включать имя сервера, к которому вы обращаетесь. И т.д. и т.п.
То есть смысла именно сам впн-доступ блокировать нету, т.к. в 98% случаях и при випене можно определить, а куда это Олег регулярно заходит?
Но тогда зачем вся это активность?
Ну, как бы когда тебе дают миллиарды рублей на подобные проэкты, разве ты откажешься? :)
Тем более что в отчётах по результату ты можешь написать какие угодно циферки успеха с потолка, потому что их проверить практически нереально.
2✍48👍19🤔8😁3💯2
Довольно большой получился материал по теме "а что по этому всему можно поизучать с околонуля" ❤️❤️❤️❤️❤️
выложил его в паблике вк.
Кажется невозможным охватить множество эволюционно развивающихся областей в ИТ, и большинству людей не удаётся оставаться актуальными на рынке труда достаточно долго.
Но есть несколько избранных, которым, несмотря ни на что, удаётся учиться и развиваться почти с нечеловеческой скоростью… совсем скоро им станут доступны мои курсы 3.0 нового поколения, и они дойдут в обучении до семитысячного гиперзвука.
/dev Отчёт по продвижению к Школе 3.0
В целом 27% => 30%.
1. "Движок". 41% => 50%
...
Как я затрахался с парсингом и расцветками синтаксиса :) несколько суток слил. Расскажу попозже, что случилось, и какой формат лучше всего использовать для описания достаточно сложных структур(json должен умереть, однозначно:) .
выложил его в паблике вк.
Кажется невозможным охватить множество эволюционно развивающихся областей в ИТ, и большинству людей не удаётся оставаться актуальными на рынке труда достаточно долго.
Но есть несколько избранных, которым, несмотря ни на что, удаётся учиться и развиваться почти с нечеловеческой скоростью… совсем скоро им станут доступны мои курсы 3.0 нового поколения, и они дойдут в обучении до семитысячного гиперзвука.
/dev Отчёт по продвижению к Школе 3.0
В целом 27% => 30%.
1. "Движок". 41% => 50%
...
Как я затрахался с парсингом и расцветками синтаксиса :) несколько суток слил. Расскажу попозже, что случилось, и какой формат лучше всего использовать для описания достаточно сложных структур
✍34😁19❤9👍6🔥1
в редкие минуты отдыха в круглосуточном кодинге переключаю мозг на короткое время, например смотрю на телевизоре что-нибудь преимущественно из пиратского.
сериал the day of the jackal прекрасен, и главное, очень поучителен для программистов: весь фильм строится по сути вокруг пятиминутного сюжета на тему важности внимания в абсолютно любой ситуации.
засмотрелся на миг на птичку в небе или на симпатичную кадровичку в короткой юбочке, вернулся к коду и.... нифига не понятно и всё позабыл что собирался сделать )
во время одного из таких переключений мозг выдал базу: как сделать так, чтобы русские видеосервисы вроде рутуба и vkвидео стали за одни сутки популярными во всём мире, причём без нарушения авторских прав и даже наоборот, совершенно реальная схема, чтобы все топ-блогеры мировые пришли к нам.
серьёзно, без иронии:
надо сделать монетизацию на рутубе в два-три раза выгоднее чем на ютюбе.
вот и всё.
а почему такого не будет догадайтесь сами :)
сериал the day of the jackal прекрасен, и главное, очень поучителен для программистов: весь фильм строится по сути вокруг пятиминутного сюжета на тему важности внимания в абсолютно любой ситуации.
засмотрелся на миг на птичку в небе или на симпатичную кадровичку в короткой юбочке, вернулся к коду и.... нифига не понятно и всё позабыл что собирался сделать )
во время одного из таких переключений мозг выдал базу: как сделать так, чтобы русские видеосервисы вроде рутуба и vkвидео стали за одни сутки популярными во всём мире, причём без нарушения авторских прав и даже наоборот, совершенно реальная схема, чтобы все топ-блогеры мировые пришли к нам.
серьёзно, без иронии:
вот и всё.
а почему такого не будет догадайтесь сами :)
😁56✍12🤔7👍3❤1