Статическая типизация + AI = ❤️
Composer в Cursor с недавних пор поумнел. Когда он вносит изменения в код, он проверяет, не возникло ли ошибок компиляции/линтинга и, если видит их, пытается их пофиксить.
Но, вот, что меня по-настоящему впечатлило - ошибки, которые он допустил, были связаны с тем, что он неправильно сослался на типы, объявленные в коде. Он сам догадался, в какой файл надо заглянуть, чтобы понять, что он сделал не так. Прямо как человек! Затем он внес новые правки и код заработал
Так вот, чтобы вся эта магия работала, язык на котором вы пишете, должен быть статическим. Что это значит? Чем больше (мета) информации о программе зашито в сам исходный код, тем больше у LLM есть контекста. И любые ошибки статического анализа, будь то компилятор, линтер и иже с ними, это точно такой же контекст.
Итог - статические языки намного более AI friendly, чем динамические. На основной работе я вынужден время от времени сталкиваться с javascript, и как человек, который постоянно юзает ИИ для программирования я ощущаю разницу.
Кстати, сюда же любая документация - комментарии в коде, markdown файлы и так далее. Крайне желательно, прямо в репе. Дайте вашему ИИ больше контекста!
Composer в Cursor с недавних пор поумнел. Когда он вносит изменения в код, он проверяет, не возникло ли ошибок компиляции/линтинга и, если видит их, пытается их пофиксить.
Но, вот, что меня по-настоящему впечатлило - ошибки, которые он допустил, были связаны с тем, что он неправильно сослался на типы, объявленные в коде. Он сам догадался, в какой файл надо заглянуть, чтобы понять, что он сделал не так. Прямо как человек! Затем он внес новые правки и код заработал
Так вот, чтобы вся эта магия работала, язык на котором вы пишете, должен быть статическим. Что это значит? Чем больше (мета) информации о программе зашито в сам исходный код, тем больше у LLM есть контекста. И любые ошибки статического анализа, будь то компилятор, линтер и иже с ними, это точно такой же контекст.
Итог - статические языки намного более AI friendly, чем динамические. На основной работе я вынужден время от времени сталкиваться с javascript, и как человек, который постоянно юзает ИИ для программирования я ощущаю разницу.
Кстати, сюда же любая документация - комментарии в коде, markdown файлы и так далее. Крайне желательно, прямо в репе. Дайте вашему ИИ больше контекста!
🎄С Новым годом, друзья!
В этом году ИИ ворвался в мою жизнь программиста, больше всего в виде Cursor и ChatGPT. Как думаете, что нас ждет в следующем?
В одном из предыдущих постов я предсказывал, что мы движемся в сторону полной автоматизации программирования. Прошло два месяца, и, разумеется, никаких причин для изменений тут не произошло. Напротив, я вижу, как развиваются ИИ-инструменты: редакторы (Cursor/Windsurf/Zed), площадки, такие как v0 от Vercel, которые генерируют готовый фронтенд, и “full-stack” платформы, что доводят дело аж до деплоя приложения.
Даже если развитие самих моделей остановится, уже существующих технологий достаточно, чтобы одного их внедрения хватило для автоматизации еще огромной пачки программистских задач. Но пока что мы видим, что модели развиваются — умнеют, ускоряются и дешевеют.
Мои прогнозы на 2025
• Курсор останется доминирующим ИИ-редактором, но его доля относительно VSCode, JetBrains и Vim останется невелика, хотя и увеличится. В первую очередь пересядут юзеры GitHub Copilot, которые сидят на VSCode.
• Спрос на умение работать с LLM вырастет, но не станет чем-то дефолтным, как умение работать с базами данных.
• Super AGI в следующем году не будет. Маски и Альтманы нагоняют, потому что им это выгодно. Но появятся модельки уровня o1, которые будут дешевыми, как 4o, и это сильно отразится на UX/DX продуктов с ИИ.
• К концу года у нас будут доступные модели для генерации видео. Видео будут на уровне сегодняшних изображений, то есть неотличимы от реальности. Но промпт-инжиниринг в генерации видео будет играть большую роль.
Короче, следующий год будет хороший. 2025-й войдет в золотой век ИИ, когда технологии уже достаточно мощны, чтобы сильно улучшить нашу жизнь, но все еще не настолько близки к сингулярности, чтобы спровоцировать экономический коллапс. Так что продолжаем учить программирование и ИИ!
И, это самое, все эти прогнозы — это чисто субъективное мнение, не основанное ни на чем, кроме моих ощущений.
В этом году ИИ ворвался в мою жизнь программиста, больше всего в виде Cursor и ChatGPT. Как думаете, что нас ждет в следующем?
В одном из предыдущих постов я предсказывал, что мы движемся в сторону полной автоматизации программирования. Прошло два месяца, и, разумеется, никаких причин для изменений тут не произошло. Напротив, я вижу, как развиваются ИИ-инструменты: редакторы (Cursor/Windsurf/Zed), площадки, такие как v0 от Vercel, которые генерируют готовый фронтенд, и “full-stack” платформы, что доводят дело аж до деплоя приложения.
Даже если развитие самих моделей остановится, уже существующих технологий достаточно, чтобы одного их внедрения хватило для автоматизации еще огромной пачки программистских задач. Но пока что мы видим, что модели развиваются — умнеют, ускоряются и дешевеют.
Мои прогнозы на 2025
• Курсор останется доминирующим ИИ-редактором, но его доля относительно VSCode, JetBrains и Vim останется невелика, хотя и увеличится. В первую очередь пересядут юзеры GitHub Copilot, которые сидят на VSCode.
• Спрос на умение работать с LLM вырастет, но не станет чем-то дефолтным, как умение работать с базами данных.
• Super AGI в следующем году не будет. Маски и Альтманы нагоняют, потому что им это выгодно. Но появятся модельки уровня o1, которые будут дешевыми, как 4o, и это сильно отразится на UX/DX продуктов с ИИ.
• К концу года у нас будут доступные модели для генерации видео. Видео будут на уровне сегодняшних изображений, то есть неотличимы от реальности. Но промпт-инжиниринг в генерации видео будет играть большую роль.
Короче, следующий год будет хороший. 2025-й войдет в золотой век ИИ, когда технологии уже достаточно мощны, чтобы сильно улучшить нашу жизнь, но все еще не настолько близки к сингулярности, чтобы спровоцировать экономический коллапс. Так что продолжаем учить программирование и ИИ!
3 Лучших Поста
Каналу почти 3 месяца и за это время в нем накопилось чуть больше 30 постов. Перед вами 3 самых, на мой взгляд, интересных:
1) Сингулярность на горизонте - Как далеко мы от полной автоматизации программирования? Инсайты от человека из индустрии, который понимает, как устроена разработка, и как её можно автоматизировать с помощью LLM.
2) Чем программист отличается от LLM? - Размышления о том, чем отличается мышление машины от человеческого, и какие шаги нужно предпринять, чтобы их эффективность сравнялась.
3) Статическая типизация + AI = ❤️ - Почему статически типизированные языки (Java, Go, TypeScript и другие) работают лучше с LLM, чем динамически типизированные (Python, JavaScript и другие).
—
AI Coder - это канал от Senior Full Stack Developer с опытом более 10 лет. Я использую ИИ как вспомогательный инструмент, а также интегрирую LLM в существующие системы. Пишу про применение ИИ в области программирования, как для разработчиков, так и для мимокрокодилов
Каналу почти 3 месяца и за это время в нем накопилось чуть больше 30 постов. Перед вами 3 самых, на мой взгляд, интересных:
1) Сингулярность на горизонте - Как далеко мы от полной автоматизации программирования? Инсайты от человека из индустрии, который понимает, как устроена разработка, и как её можно автоматизировать с помощью LLM.
2) Чем программист отличается от LLM? - Размышления о том, чем отличается мышление машины от человеческого, и какие шаги нужно предпринять, чтобы их эффективность сравнялась.
3) Статическая типизация + AI = ❤️ - Почему статически типизированные языки (Java, Go, TypeScript и другие) работают лучше с LLM, чем динамически типизированные (Python, JavaScript и другие).
—
AI Coder - это канал от Senior Full Stack Developer с опытом более 10 лет. Я использую ИИ как вспомогательный инструмент, а также интегрирую LLM в существующие системы. Пишу про применение ИИ в области программирования, как для разработчиков, так и для мимокрокодилов
Github Copilot Теперь Бесплатный
Как пересел на курсор, перестал читать release notes к вскоду, а зря. Оказывается, в декабре они выпустили бесплатный тариф для копилота. Уверен, что хуже курсора (как минимум нагрузка на сервера будет выше), но попробовать стоит, особенно если 20$/месяц вас останавливали.
Если вы в РФ, скорее всего, ничего не выйдет. Но я думаю есть альтернативы. Если попадется, обязательно напишу
Как пересел на курсор, перестал читать release notes к вскоду, а зря. Оказывается, в декабре они выпустили бесплатный тариф для копилота. Уверен, что хуже курсора (как минимум нагрузка на сервера будет выше), но попробовать стоит, особенно если 20$/месяц вас останавливали.
Если вы в РФ, скорее всего, ничего не выйдет. Но я думаю есть альтернативы. Если попадется, обязательно напишу
Visualstudio
Announcing a free GitHub Copilot for VS Code
Announcing a free plan for GitHub Copilot in Visual Studio Code.
Как работают LLM? Объясняет основатель OpenAI
Вышла видяшка на 3 часа от Андрея Карпатого, сооснователя OpenAI и ныне директора по ИИ в Tesla. Обещает объяснить как устроены нейронки, чтобы у вас была правильная интуиция при работе с ними. Причем, объяснить обещает без матана. Будем смотреть?
Вышла видяшка на 3 часа от Андрея Карпатого, сооснователя OpenAI и ныне директора по ИИ в Tesla. Обещает объяснить как устроены нейронки, чтобы у вас была правильная интуиция при работе с ними. Причем, объяснить обещает без матана. Будем смотреть?
YouTube
Deep Dive into LLMs like ChatGPT
This is a general audience deep dive into the Large Language Model (LLM) AI technology that powers ChatGPT and related products. It is covers the full training stack of how the models are developed, along with mental models of how to think about their "psychology"…
AI Coder 🦾
Cursor, после того, как я попробовал что-то еще
Попробовал бесплатный GitHub Copilot 😭
Perplexity добавили deep-research как в ChatGPT PRO, только там это стоит 200$, а тут бесплатно. Интересно, как оно по качеству?
AI Coder 🦾
Как работают LLM? Объясняет основатель OpenAI Вышла видяшка на 3 часа от Андрея Карпатого, сооснователя OpenAI и ныне директора по ИИ в Tesla. Обещает объяснить как устроены нейронки, чтобы у вас была правильная интуиция при работе с ними. Причем, объяснить…
Почему LLM галлюционируют?
На скриншоте Андрей Карпатый заставляет модель галлюцинировать, говоря “не используй инструменты”, из-за чего ChatGPT не может сходить в интернет и посмотреть, кто же такой Орсон Ковач. При этом мы знаем, что в обучающих данных этой информации нет.
Он объясняет это так - языковая модель это огромная формула, которая вычисляет вероятности следующих токенов, на основе статисики из своего training set, и для нее по-умолчанию нет разницы между вопросом, который предполагает знание какого-то факта и вопросом, ответ на который надо придумать. Иными словами, она “не знает”, что она чего-то не знает.
В последнем ChatGPT, видимо, добавили дополнительный шаг чтобы перед отправкой запроса в модель поисходило обогащение контекста (RAG) через интернет, поэтому хитрый Карпатый приказал не жульничать. В итоге модель, как и ожидалось, выдала полную отсебятину.
На скриншоте Андрей Карпатый заставляет модель галлюцинировать, говоря “не используй инструменты”, из-за чего ChatGPT не может сходить в интернет и посмотреть, кто же такой Орсон Ковач. При этом мы знаем, что в обучающих данных этой информации нет.
Он объясняет это так - языковая модель это огромная формула, которая вычисляет вероятности следующих токенов, на основе статисики из своего training set, и для нее по-умолчанию нет разницы между вопросом, который предполагает знание какого-то факта и вопросом, ответ на который надо придумать. Иными словами, она “не знает”, что она чего-то не знает.
В последнем ChatGPT, видимо, добавили дополнительный шаг чтобы перед отправкой запроса в модель поисходило обогащение контекста (RAG) через интернет, поэтому хитрый Карпатый приказал не жульничать. В итоге модель, как и ожидалось, выдала полную отсебятину.
Бесплатный DeepSearch и Reasoning круче чем в OpenAI
Если кто пропустил, то релизнулась последняя моделька от xAI (компания Маска), там бесплатно доступны “размышление” и “глубокий рисерч”. Я тестирую прямо сейчас и первое впечатление позитивное, по слухам в интернете тоже работает хорошо. У бесплатной версии наверняка есть лимиты, ибо также предлагается SuperGrok за 30$ в месяц (дороже, чем OpenAI Plus, но намного дешевле чем PRO). Затестим?
https://grok.com/
—-
Upd: 5 рисёрчей в день на фришке
Если кто пропустил, то релизнулась последняя моделька от xAI (компания Маска), там бесплатно доступны “размышление” и “глубокий рисерч”. Я тестирую прямо сейчас и первое впечатление позитивное, по слухам в интернете тоже работает хорошо. У бесплатной версии наверняка есть лимиты, ибо также предлагается SuperGrok за 30$ в месяц (дороже, чем OpenAI Plus, но намного дешевле чем PRO). Затестим?
https://grok.com/
—-
Upd: 5 рисёрчей в день на фришке
Пусть ChatGPT видит нашими глазами и подсказывает 👀
Бывает сидишь, делаешь что-то, и что-то непонятно. Хочется, чтобы бы рядом сидел кто-то, кто разбирается и у кого можно просто взять и спросить.
Вот, например, на криптобирже Bybit меня заинтереосвал инструмент пассивного дохода “Dual Asset”, но я понятия не имею, что это.
Раньше в таких ситуациях я делал скриншот, переключался в ChatGPT и заливал его туда, затем писал свой вопрос и, наконец, получал ответ. И, знаете, что? Оказывается, все это время можно было намного проще!
Надо чтобы ChatGPT Desktop был установлен на вашем компьютере! Скачать можно тут
1. Открываем окно быстрого доступа к ChatGPT (
2. Нажимаем
3. Выбираем нужное нам окно (в моем случае это окно со страничкой биржи Bybit)
4. Пишем свой вопрос
Вуаля! Теперь мы знаем, что такое Dual Asset. (Спойлер: это рисковая штука)
И да, я знаю, что Bybit недавно взломали
Бывает сидишь, делаешь что-то, и что-то непонятно. Хочется, чтобы бы рядом сидел кто-то, кто разбирается и у кого можно просто взять и спросить.
Вот, например, на криптобирже Bybit меня заинтереосвал инструмент пассивного дохода “Dual Asset”, но я понятия не имею, что это.
Раньше в таких ситуациях я делал скриншот, переключался в ChatGPT и заливал его туда, затем писал свой вопрос и, наконец, получал ответ. И, знаете, что? Оказывается, все это время можно было намного проще!
Надо чтобы ChatGPT Desktop был установлен на вашем компьютере! Скачать можно тут
1. Открываем окно быстрого доступа к ChatGPT (
Cmd+O на маке)2. Нажимаем
+ и выбираем take screenshot3. Выбираем нужное нам окно (в моем случае это окно со страничкой биржи Bybit)
4. Пишем свой вопрос
Вуаля! Теперь мы знаем, что такое Dual Asset. (Спойлер: это рисковая штука)
И да, я знаю, что Bybit недавно взломали
Cursor обновился
1️⃣ В новой версии убрали отдельные окна чата и композера, теперь все в одном месте
2️⃣ Больше не надо специально тегать
3️⃣ Улучшили поддержку
4️⃣ В менюшке появился Bug Finder, на большом количестве изменений стоит как чугунный мост, вангую что оно того не стоит, а вот на маленьком с быстрой моделькой надо потестить
5️⃣ Еще всякие мелочи
Кайф!
1️⃣ В новой версии убрали отдельные окна чата и композера, теперь все в одном месте
2️⃣ Больше не надо специально тегать
@Web, курсор сам понимает, когда надо сходить в интернет3️⃣ Улучшили поддержку
.cursorignore и добавили .cursorindexignore чтоб тонко настраивать индексирование4️⃣ В менюшке появился Bug Finder, на большом количестве изменений стоит как чугунный мост, вангую что оно того не стоит, а вот на маленьком с быстрой моделькой надо потестить
5️⃣ Еще всякие мелочи
Кайф!
Пусть ИИ читает логи в CI вместо вас
Раньше, когда CI/CD падал, приходилось лезть в логи и искать причину. Любой программист знает, это занятие не из приятных. Хорошо писать логи умеют единицы, обычно полезная информация тонет в куче мусора. Но прогресс не стоит на месте!
Встроенный (и бесплатный) copilot прямо на сайте гитхаба можно попросить прочесть логи и объяснить причину тряски. Можно даже початиться с ним, если совсем одиноко.
Раньше, когда CI/CD падал, приходилось лезть в логи и искать причину. Любой программист знает, это занятие не из приятных. Хорошо писать логи умеют единицы, обычно полезная информация тонет в куче мусора. Но прогресс не стоит на месте!
Встроенный (и бесплатный) copilot прямо на сайте гитхаба можно попросить прочесть логи и объяснить причину тряски. Можно даже початиться с ним, если совсем одиноко.
Нам Осталось 2 Года?
Компании вроде OpenAI и Anthropic пророчат нам ИИ на уровне (очень умного и усердного) человека уже через пару лет! Речь идет об автономных агентах, которые способы пользоваться любыми человеческими интерфейсами, как цифровыми так и (через роботов) аналоговыми.
Стоит ли им верить? С одной стороны, их слова нужно делить пополам, ведь им выгодно, чтобы мы верили. К тому же, есть много технологий, которые вроде вот-вот появятся, да все никак: холодный ядерный синтез, эффективные квантовые вычисления и проч.
С другой, гонка ИИ-вооружений чертовски реальна, а конкуренция и бабло всегда двигали прогресс вперед.
Так или иначе, лично мне кажется рациональным отталкиваться от того, что Super-AGI может появится в любой момент, хоть завтра. Как говорится, хочешь мира - готовься к войне.
Эти новости поднимают вопрос - как подготовиться к жизни в мире, где ты больше не способен сделать что-то полезное, потому что машина сделает это лучше, дешевле и быстрее, причем намного?
Я не знаю, и мне кажется, никто не знает… Но вот вещи, которые я нахожу полезными:
1️⃣ Накапливать ресурсы (и не забывать о диверсификации)
2️⃣ Стремиться уйти из найма - какую бы работу вы не выполняли, через (максимум) 10 лет она исчезнет
3️⃣ Поддерживать и по возможности улучшать свое здоровье - либо мы исчезнем, как пыль, либо попадем в золотой век, где смерть и старение ушли в тьму веков, туда же, где сейчас место средневековым ужасам (будет обидно не дожить до этого, согласитесь)
4️⃣ Учиться (и учиться разбираться - чему учиться надо, а чему нет. Времени осталось немного, и расходовать его нужно с умом)
Ставьте🤖 лайк, если вам интересна эта тема, ибо у меня есть еще мысли на этот счет :)
Компании вроде OpenAI и Anthropic пророчат нам ИИ на уровне (очень умного и усердного) человека уже через пару лет! Речь идет об автономных агентах, которые способы пользоваться любыми человеческими интерфейсами, как цифровыми так и (через роботов) аналоговыми.
Стоит ли им верить? С одной стороны, их слова нужно делить пополам, ведь им выгодно, чтобы мы верили. К тому же, есть много технологий, которые вроде вот-вот появятся, да все никак: холодный ядерный синтез, эффективные квантовые вычисления и проч.
С другой, гонка ИИ-вооружений чертовски реальна, а конкуренция и бабло всегда двигали прогресс вперед.
Так или иначе, лично мне кажется рациональным отталкиваться от того, что Super-AGI может появится в любой момент, хоть завтра. Как говорится, хочешь мира - готовься к войне.
Эти новости поднимают вопрос - как подготовиться к жизни в мире, где ты больше не способен сделать что-то полезное, потому что машина сделает это лучше, дешевле и быстрее, причем намного?
Я не знаю, и мне кажется, никто не знает… Но вот вещи, которые я нахожу полезными:
1️⃣ Накапливать ресурсы (и не забывать о диверсификации)
2️⃣ Стремиться уйти из найма - какую бы работу вы не выполняли, через (максимум) 10 лет она исчезнет
3️⃣ Поддерживать и по возможности улучшать свое здоровье - либо мы исчезнем, как пыль, либо попадем в золотой век, где смерть и старение ушли в тьму веков, туда же, где сейчас место средневековым ужасам (будет обидно не дожить до этого, согласитесь)
4️⃣ Учиться (и учиться разбираться - чему учиться надо, а чему нет. Времени осталось немного, и расходовать его нужно с умом)
Ставьте
Please open Telegram to view this post
VIEW IN TELEGRAM
Что такое Build in Public и как это связано с ИИ?
Те, кто читают меня давно, знают, что техно-оптимизм тут совмещается со страхом перед будущим, в первую очередь потерей работы. Я считаю, что об этом нужно думать и говорить, потому что большинство людей все еще не воспринимает эту проблему всерьез.
Так вот, этот самый страх (и любовь к программированию, конечно же), побудили меня начать пытаться запустить свой собственный продукт. Я завел второй канал @build_saas_in_public и буду писать туда про свой тернистый путь.
Если вам не интересна тема предпринимательства, инди-хакерства или стартапов, просто пройдите мимо. Остальным - welcome. Упор на то, как технически подкованному человеку разобраться в маркетинге и запуститься.
Ну и да, конечно же, продукт будет связан с LLM 😉. Подробности будут в самом канале!
ССЫЛКА НА КАНАЛ
Те, кто читают меня давно, знают, что техно-оптимизм тут совмещается со страхом перед будущим, в первую очередь потерей работы. Я считаю, что об этом нужно думать и говорить, потому что большинство людей все еще не воспринимает эту проблему всерьез.
Так вот, этот самый страх (и любовь к программированию, конечно же), побудили меня начать пытаться запустить свой собственный продукт. Я завел второй канал @build_saas_in_public и буду писать туда про свой тернистый путь.
Если вам не интересна тема предпринимательства, инди-хакерства или стартапов, просто пройдите мимо. Остальным - welcome. Упор на то, как технически подкованному человеку разобраться в маркетинге и запуститься.
Ну и да, конечно же, продукт будет связан с LLM 😉. Подробности будут в самом канале!
ССЫЛКА НА КАНАЛ
Telegram
Build in Public
Пытаюсь запустить микро-SaaS, чтобы уйти из найма, пока роботы не отобрали мою профессию.
Ещё пишу про ИИ-прогу в @ai_coder_channel и пилю опенсурс @nevalang_chat
Ещё пишу про ИИ-прогу в @ai_coder_channel и пилю опенсурс @nevalang_chat
Скриншот всей страницы в Arc 🖼️
Не перестану рекомендовать браузер Arc. Когда я вижу, как люди мучаются с вкладками в хроме/фаерфоксе, сидят в нескольких окнах под разными аккаунтами, устанавливают всякие расширения чтобы починить UX, я всегда спрашиваю - почему ты просто не пересядешь на Арк?
Сегодня я для прикола проверил, умеет ли он делать скриншот всей страницы - это когда тебе нужно заскринить весь сайт сразу, сверху донизу. И знаете что? Умеет! Я даже не удивлен.
Арководы, жмем
Не перестану рекомендовать браузер Arc. Когда я вижу, как люди мучаются с вкладками в хроме/фаерфоксе, сидят в нескольких окнах под разными аккаунтами, устанавливают всякие расширения чтобы починить UX, я всегда спрашиваю - почему ты просто не пересядешь на Арк?
Сегодня я для прикола проверил, умеет ли он делать скриншот всей страницы - это когда тебе нужно заскринить весь сайт сразу, сверху донизу. И знаете что? Умеет! Я даже не удивлен.
Арководы, жмем
Cmd+T и пишем full page, затем выбираем Capture Full Page и будет нам счастье! Скриншот сразу попадает в буфер обмена, а в правом верхнем углу появляются кнопки для сохранения на диск и шэра.