Прикол
Тут человек рассказывает буквально всё то про что я топлю
Говорит, что язык "verse" будет мультипарадигменный с упором на функциональщину
То что если компилятор говорит что код работает значит он и правду должен работать
Упоминал он так же AI и говорил, что AI пишет примерно рабочий код, который запускается, но имеет баги, а вот если бы компилятор сказал что код не работает то ИИ его бы исправило
Они делают язык для Unreal Engine
https://www.youtube.com/watch?v=WmSNTIqGuTM
Тут человек рассказывает буквально всё то про что я топлю
Говорит, что язык "verse" будет мультипарадигменный с упором на функциональщину
То что если компилятор говорит что код работает значит он и правду должен работать
Упоминал он так же AI и говорил, что AI пишет примерно рабочий код, который запускается, но имеет баги, а вот если бы компилятор сказал что код не работает то ИИ его бы исправило
Они делают язык для Unreal Engine
https://www.youtube.com/watch?v=WmSNTIqGuTM
YouTube
Будущее языков программирования | Тим Суини и Лекс Фридман
Полное видео: https://youtube.com/watch?v=477qF6QNSvc
Лекс Фридман Подкаст на русском (плейлист): https://youtube.com/playlist?list=PLrAXtmErZgOeC91rGIZCJ5uGb3DvD1Ijf
*БИОГРАФИЯ ГОСТЯ:*
Тим Суини — легендарный программист видеоигр, основатель и CEO Epic…
Лекс Фридман Подкаст на русском (плейлист): https://youtube.com/playlist?list=PLrAXtmErZgOeC91rGIZCJ5uGb3DvD1Ijf
*БИОГРАФИЯ ГОСТЯ:*
Тим Суини — легендарный программист видеоигр, основатель и CEO Epic…
👍4❤1
ProverCoderAI
// QUOTE(TЗ): "<дословная цитата требования>"
Давал LLMке таску "Мол удали кое что"
И моё ТЗ оказывается было написано изначально не очень верно
Тем самым он удалил то чего я не хотел (А я заметил это только через пару часов. Когда уже закрыл все старые чаты)
А я уже даже об этом не помнил
В итоге спрашиваю у него куда это пропало
И он мне даёт цитату из моего ТЗ где я попросил удалить секцию "настройки" (промт тут)
Тем самым я имею полный контекст о проблеме
Почему она произошла
Из-за чего
Я считаю, что таких пометок в кодовой базе должно быть больше
Возможно даже стоит указывать дополнительную мета информацию автоматически:
Текущий хеш коммита при изменении
Ссылку на полный диалог обсуждения проблемы
Ссылку на Issues и описание Issues
Ссылку на Pull Request
Тогда LLMка будет понимать от и до как работает ваш проект
Почему было то или иное изменение
Вам так же сложнее будет запутатья
И моё ТЗ оказывается было написано изначально не очень верно
Тем самым он удалил то чего я не хотел (А я заметил это только через пару часов. Когда уже закрыл все старые чаты)
А я уже даже об этом не помнил
В итоге спрашиваю у него куда это пропало
И он мне даёт цитату из моего ТЗ где я попросил удалить секцию "настройки" (промт тут)
Тем самым я имею полный контекст о проблеме
Почему она произошла
Из-за чего
Я считаю, что таких пометок в кодовой базе должно быть больше
Возможно даже стоит указывать дополнительную мета информацию автоматически:
Текущий хеш коммита при изменении
Ссылку на полный диалог обсуждения проблемы
Ссылку на Issues и описание Issues
Ссылку на Pull Request
Тогда LLMка будет понимать от и до как работает ваш проект
Почему было то или иное изменение
Вам так же сложнее будет запутатья
👍4
Сделал проект который выгружает мета гит информаци (pull requests, release, comments, review, issues) в файл
Проект типо https://gitingest.com/
Только gitingest позволяет репу превращать в единный промт, а я тащу мета информацию
На репах где очень большое количество пул реквестов, коммитов обработка будет проходить долго
Поюзать можно тут:
https://provercoderai.github.io/gitmeta/
github - https://github.com/ProverCoderAI/gitmeta
Проект типо https://gitingest.com/
Только gitingest позволяет репу превращать в единный промт, а я тащу мета информацию
На репах где очень большое количество пул реквестов, коммитов обработка будет проходить долго
Поюзать можно тут:
https://provercoderai.github.io/gitmeta/
github - https://github.com/ProverCoderAI/gitmeta
🤓6👍2🙉2
#идея
Попробовать сделать плагин для VS Code (или другой IDE) который позволит выбирать один модуль (Класс, переменную) а всё остальное скрывать
Типо это такой фильтр по используемости этого модуля
И прямо в файловой системе
Т.е допустим вы выбрали class Test а у вас ещё в коде есть классов 10 то все остальные классы будут гореть не активными, а изменения можно будет проводить только в классе Test и в том где вызывается или содержится этот класс
Но опять же не во всех модулях, а только в местах где этот класс вызывается (Ну и примерно около него)
Для чего это надо?
Для быстрого визуального рефакторинга
Для большей простоты изменений кода
Сейчас если сказать LLMке иди исправь class Test то она без проблем может и затронуть class Test2
А тут только права редактирования и контекста выдаются на один модуль
+ это поможет рабоать в монолит приложениях
Допустим у меня есть модуль авторизации
Я выбираю только модуль авторизации, а всё что его не касается автоматически скрывается и стаёт не активным
Попробовать сделать плагин для VS Code (или другой IDE) который позволит выбирать один модуль (Класс, переменную) а всё остальное скрывать
Типо это такой фильтр по используемости этого модуля
И прямо в файловой системе
Т.е допустим вы выбрали class Test а у вас ещё в коде есть классов 10 то все остальные классы будут гореть не активными, а изменения можно будет проводить только в классе Test и в том где вызывается или содержится этот класс
Но опять же не во всех модулях, а только в местах где этот класс вызывается (Ну и примерно около него)
Для чего это надо?
Для быстрого визуального рефакторинга
Для большей простоты изменений кода
Сейчас если сказать LLMке иди исправь class Test то она без проблем может и затронуть class Test2
А тут только права редактирования и контекста выдаются на один модуль
+ это поможет рабоать в монолит приложениях
Допустим у меня есть модуль авторизации
Я выбираю только модуль авторизации, а всё что его не касается автоматически скрывается и стаёт не активным
❤5👍3🔥1
Сделал новую тулу
Чуть позже опубликую её в опен соурс (У меня телефон сломался, а там надо двух факторку)
Она сохраняет абсолютно все ваши диалоги с agent-coder (codex, qwen, claude) и ложит в папку с проектом
Тем самым в любой момент можно сослаться на старые диалоги
+ агент при поиске может сам подчерпнуть информацию со старых диалогов
+ это помогает отслежить как работают сотрудники
+ это помогает иметь абсолютно весь контекст связанный с разработкой проекта внутри проекта (И если смениться разработчик то будет проще в него вникнуть)
+ помогает одновременно работать с несколькими агентами и иметь единный контекст информации
Пока из поддержек сделано codex, qwen
Сейчас добавляю claude
Думаю стоит так же добавить Cursor, Windsurf, TraeAI, gemini-cli
Чуть позже опубликую её в опен соурс (У меня телефон сломался, а там надо двух факторку)
Она сохраняет абсолютно все ваши диалоги с agent-coder (codex, qwen, claude) и ложит в папку с проектом
Тем самым в любой момент можно сослаться на старые диалоги
+ агент при поиске может сам подчерпнуть информацию со старых диалогов
+ это помогает отслежить как работают сотрудники
+ это помогает иметь абсолютно весь контекст связанный с разработкой проекта внутри проекта (И если смениться разработчик то будет проще в него вникнуть)
+ помогает одновременно работать с несколькими агентами и иметь единный контекст информации
Пока из поддержек сделано codex, qwen
Сейчас добавляю claude
Думаю стоит так же добавить Cursor, Windsurf, TraeAI, gemini-cli
🔥8❤4👍2😁1
ProverCoderAI
Прикол Тут человек рассказывает буквально всё то про что я топлю Говорит, что язык "verse" будет мультипарадигменный с упором на функциональщину То что если компилятор говорит что код работает значит он и правду должен работать Упоминал он так же AI и говорил…
YouTube
Теренс Тао о будущем ИИ в математике | Теренс Тао и Лекс Фридман
Полное видео: https://youtube.com/watch?v=HUkBz-cdB-k
Лекс Фридман Подкаст на русском (плейлист): https://youtube.com/playlist?list=PLrAXtmErZgOeC91rGIZCJ5uGb3DvD1Ijf
*БИОГРАФИЯ ГОСТЯ:*
Теренс Тао широко признан одним из величайших математиков в истории.…
Лекс Фридман Подкаст на русском (плейлист): https://youtube.com/playlist?list=PLrAXtmErZgOeC91rGIZCJ5uGb3DvD1Ijf
*БИОГРАФИЯ ГОСТЯ:*
Теренс Тао широко признан одним из величайших математиков в истории.…
👍3
Давно не было постов в группе...
Чем я занимался последнее время?
Переписал lovable-tagger теперь он OpenSource поддерживает NextJS и vite.config (Упоминал тут)
https://github.com/ProverCoderAI/component-tagger
Выпустил два effect-template:
https://github.com/ProverCoderAI/effect-template
https://github.com/ProverCoderAI/effect-eslint-template
В планах ещё было выпустить под Backend и Frontend разработку, а дальше делить на TMA, Telegram Bots и тд... Для всего реализовать "эффективные" темплейты для ИИ кодинга
Эти темплейты имеют фул настройку от разработки до деплоя на npmjs автоматически
Переписал мой SMB анализатор под Effect парадигму (Раньше его упоминал тут)
https://github.com/ProverCoderAI/eslint-plugin-suggest-members
Выпустил context-doc в OpenSource (пока с поддержкой: Codex, Claude Code, Qwen Code) (Раньше упоминал тут)
https://github.com/ProverCoderAI/context-doc
Выпустил тулу dist-deps-prune. Её суть в том что она просто чистит мусорные зависимости при деплое на npmjs и ломает деплой если находит зависимости из dist в devDependencies
https://github.com/ProverCoderAI/dist-deps-prune
Что сейчас разрабатываю:
openapi-effect https://github.com/ProverCoderAI/openapi-effect
Хочу что бы openapi возвращал мне удобно Effect<,,> и что бы не приходилось переписывать много кода переходя с openapi-fetch
Ещё разрабатываю docker-git. В чём суть? docker-git это тула которая просто клонирует любой git репозиторий в изолированное окружение, и сразу настраивает контейнер под разработку. Например у меня настроены из коробки git, gh, sudo(полный доступ), сodex, npm, bun, pnpm, mcp-playwright и тд. Cуть в том что я создаю изолированную среду с полным доступом к sudo для агента.
Сейчас как по моему это самый крутой проект который я видел для разработки. Конечно это пока MVP но мне удобно создавать PR решать PR могу клонировать issues могу делать в принципе что хочу. Могу просить агента полностью управлять моим github аккаунтом и всеми репозиториями. Могу попросить агента создать 10 sub docker-git агентов и дать им решать задачи, а он что бы был "надзерателем". Могу попросить агента сделать дамп базы данных поднять всё нужное ему окружение в docker-git контейнере что бы он решил e2e полностью задачую
https://github.com/ProverCoderAI/docker-git
Сейчас для docker-git я делаю скрап docker контейнеров прямо на гитхаб. Если мне надо могу делать бекапы контейнеров на гитхаб как либо чанкуя инфу по 99 мб либо сохраняя важные данные. Так же фикшу разные баги
Чем я занимался последнее время?
Переписал lovable-tagger теперь он OpenSource поддерживает NextJS и vite.config (Упоминал тут)
https://github.com/ProverCoderAI/component-tagger
Выпустил два effect-template:
https://github.com/ProverCoderAI/effect-template
https://github.com/ProverCoderAI/effect-eslint-template
В планах ещё было выпустить под Backend и Frontend разработку, а дальше делить на TMA, Telegram Bots и тд... Для всего реализовать "эффективные" темплейты для ИИ кодинга
Эти темплейты имеют фул настройку от разработки до деплоя на npmjs автоматически
Переписал мой SMB анализатор под Effect парадигму (Раньше его упоминал тут)
https://github.com/ProverCoderAI/eslint-plugin-suggest-members
Выпустил context-doc в OpenSource (пока с поддержкой: Codex, Claude Code, Qwen Code) (Раньше упоминал тут)
https://github.com/ProverCoderAI/context-doc
Выпустил тулу dist-deps-prune. Её суть в том что она просто чистит мусорные зависимости при деплое на npmjs и ломает деплой если находит зависимости из dist в devDependencies
https://github.com/ProverCoderAI/dist-deps-prune
Что сейчас разрабатываю:
openapi-effect https://github.com/ProverCoderAI/openapi-effect
Хочу что бы openapi возвращал мне удобно Effect<,,> и что бы не приходилось переписывать много кода переходя с openapi-fetch
Ещё разрабатываю docker-git. В чём суть? docker-git это тула которая просто клонирует любой git репозиторий в изолированное окружение, и сразу настраивает контейнер под разработку. Например у меня настроены из коробки git, gh, sudo(полный доступ), сodex, npm, bun, pnpm, mcp-playwright и тд. Cуть в том что я создаю изолированную среду с полным доступом к sudo для агента.
Сейчас как по моему это самый крутой проект который я видел для разработки. Конечно это пока MVP но мне удобно создавать PR решать PR могу клонировать issues могу делать в принципе что хочу. Могу просить агента полностью управлять моим github аккаунтом и всеми репозиториями. Могу попросить агента создать 10 sub docker-git агентов и дать им решать задачи, а он что бы был "надзерателем". Могу попросить агента сделать дамп базы данных поднять всё нужное ему окружение в docker-git контейнере что бы он решил e2e полностью задачую
https://github.com/ProverCoderAI/docker-git
Сейчас для docker-git я делаю скрап docker контейнеров прямо на гитхаб. Если мне надо могу делать бекапы контейнеров на гитхаб как либо чанкуя инфу по 99 мб либо сохраняя важные данные. Так же фикшу разные баги
Telegram
ProverCoderAI
До этого упоминал про проблемы Lovable
Теперь хочу написать про прикольную вещь, которую они реализовали для фронтенда ( lovable-tagger )
В чём его суть?
Это vite плагин который добавляет во фронтенд мета информацию об вашем React коде
Сразу видно в сбилженом…
Теперь хочу написать про прикольную вещь, которую они реализовали для фронтенда ( lovable-tagger )
В чём его суть?
Это vite плагин который добавляет во фронтенд мета информацию об вашем React коде
Сразу видно в сбилженом…
🔥9
ProverCoderAI
Ещё разрабатываю docker-git. В чём суть? docker-git это тула которая просто клонирует любой git репозиторий в изолированное окружение, и сразу настраивает контейнер под разработку. Например у меня настроены из коробки git, gh, sudo(полный доступ), сodex, npm, bun, pnpm, mcp-playwright и тд. Cуть в том что я создаю изолированную среду с полным доступом к sudo для агента.
Сейчас как по моему это самый крутой проект который я видел для разработки. Конечно это пока MVP но мне удобно создавать PR решать PR могу клонировать issues могу делать в принципе что хочу. Могу просить агента полностью управлять моим github аккаунтом и всеми репозиториями. Могу попросить агента создать 10 sub docker-git агентов и дать им решать задачи, а он что бы был "надзерателем". Могу попросить агента сделать дамп базы данных поднять всё нужное ему окружение в docker-git контейнере что бы он решил e2e полностью задачую
https://github.com/ProverCoderAI/docker-git
Сейчас для docker-git я делаю скрап docker контейнеров прямо на гитхаб. Ес
Сейчас как по моему это самый крутой проект который я видел для разработки. Конечно это пока MVP но мне удобно создавать PR решать PR могу клонировать issues могу делать в принципе что хочу. Могу просить агента полностью управлять моим github аккаунтом и всеми репозиториями. Могу попросить агента создать 10 sub docker-git агентов и дать им решать задачи, а он что бы был "надзерателем". Могу попросить агента сделать дамп базы данных поднять всё нужное ему окружение в docker-git контейнере что бы он решил e2e полностью задачую
https://github.com/ProverCoderAI/docker-git
Сейчас для docker-git я делаю скрап docker контейнеров прямо на гитхаб. Ес
Новая эра заставляет нас перейти к паралельному решению задач
Всё чаще Codex начинает работать больше 30 минут
Сейчас вот уже работает 2 часа
Если ждать в тупую выполнения задач то вы теряете эффективность
Надо искать способы как паралельно делать по 10+ задач
Всё чаще Codex начинает работать больше 30 минут
Сейчас вот уже работает 2 часа
Если ждать в тупую выполнения задач то вы теряете эффективность
Надо искать способы как паралельно делать по 10+ задач
👍2😁1
ProverCoderAI
Математик-программист.
По поводу промтов
Раньше я играл только в "Математик-программист"
Но не давно появилась идея писать "Представь теорию игр" или "Сыграй в теорию игр"
После он начинает мне писать в таком плане:
Как будто бы позволяет ИИ агенту до начала реализации понять доп возможные инварианты, которые необходимо учитывать и проверять
Есть ещё идея просить ИИ агента думать об коде как о построении DSL для удобной работы, напишу об этом в другом посте (это про выстраивания удобной архитектурны проекта)
Пишите об своих инсайтах в комментариях тоже
Раньше я играл только в "Математик-программист"
Но не давно появилась идея писать "Представь теорию игр" или "Сыграй в теорию игр"
После он начинает мне писать в таком плане:
Сценарий A — ..
Сценарий B — ..
Сценарий C — ..
Как будто бы позволяет ИИ агенту до начала реализации понять доп возможные инварианты, которые необходимо учитывать и проверять
Есть ещё идея просить ИИ агента думать об коде как о построении DSL для удобной работы, напишу об этом в другом посте (это про выстраивания удобной архитектурны проекта)
Пишите об своих инсайтах в комментариях тоже
👍3😁1