В чём суть канала?
Я буду постить кучу спама (по теме) о том, как прувать вайбкод
Будет КУЧУ КУЧУ разных мыслей
КУЧУ КУЧУ разных идей
Видосики буду скидывать, которые мотивируют на определённые идеи
В общем что стоит ожидать?
1) Контент про компиляторы
2) Архитектура (Патерны проектирования, парадигмы программирования)
3) Тулинг для разработки (Статический/динамический анализ кода. Всякие CLI тулы)
4) Промты для агентов
5) Возможно и сами агенты (Но это малая часть контента)
Я автор проектов @ton_ai_core и PublicRus (в игре Раст)
https://github.com/orgs/publicrust/repositories
https://github.com/orgs/ton-ai-core/repositories
Конечная цель:
Разработать новую парадигму программирования специально созданную под AI кодинг
Что бы код сам себя прувал и давал БЫСТРУЮ обратную связь, что бы агент мог работать по 20часов + полностью автономно
Это как раз главная проблема текущих всех ВАЙБКОД платформ
Они полный шлак
Никто из них не пытается прувать код
@ProverCoderAI
Я буду постить кучу спама (по теме) о том, как прувать вайбкод
Будет КУЧУ КУЧУ разных мыслей
КУЧУ КУЧУ разных идей
Видосики буду скидывать, которые мотивируют на определённые идеи
В общем что стоит ожидать?
1) Контент про компиляторы
2) Архитектура (Патерны проектирования, парадигмы программирования)
3) Тулинг для разработки (Статический/динамический анализ кода. Всякие CLI тулы)
4) Промты для агентов
5) Возможно и сами агенты (Но это малая часть контента)
Я автор проектов @ton_ai_core и PublicRus (в игре Раст)
https://github.com/orgs/publicrust/repositories
https://github.com/orgs/ton-ai-core/repositories
Конечная цель:
Разработать новую парадигму программирования специально созданную под AI кодинг
Что бы код сам себя прувал и давал БЫСТРУЮ обратную связь, что бы агент мог работать по 20часов + полностью автономно
Это как раз главная проблема текущих всех ВАЙБКОД платформ
Они полный шлак
Никто из них не пытается прувать код
@ProverCoderAI
GitHub
Public Rust
Public Rust has 35 repositories available. Follow their code on GitHub.
❤9
ProverCoderAI pinned «В чём суть канала? Я буду постить кучу спама (по теме) о том, как прувать вайбкод Будет КУЧУ КУЧУ разных мыслей КУЧУ КУЧУ разных идей Видосики буду скидывать, которые мотивируют на определённые идеи В общем что стоит ожидать? 1) Контент про компиляторы 2)…»
Вот самый базовый пример
Попросил Lovable cделать мне тапалку
И разумеется, что ж мы получим в коде?
Они специально отключают везде какую либо проверку на "any"
А "any" создаёт билиберду в коде
Никто из них не пытается использовать хоть какие-то линтеры
А Lovable каждый день генерирует людям кучу проектов
И создаёт впечатление того, что вайбкодинг это через 10 лет, а не настоящее
Позор таким платформам
Много раз пытался связаться с их разработчиками и предлагал помощь, что бы улучшить их продукт
ВЕРДИКТ:
В большинстве случаев, когда вайбкод не работает это проблема не в LLM а в халатности разработчиков, которые не хотят прувать код
Попросил Lovable cделать мне тапалку
И разумеется, что ж мы получим в коде?
Они специально отключают везде какую либо проверку на "any"
"noImplicitAny": false,
А "any" создаёт билиберду в коде
Никто из них не пытается использовать хоть какие-то линтеры
А Lovable каждый день генерирует людям кучу проектов
И создаёт впечатление того, что вайбкодинг это через 10 лет, а не настоящее
Позор таким платформам
Много раз пытался связаться с их разработчиками и предлагал помощь, что бы улучшить их продукт
ВЕРДИКТ:
В большинстве случаев, когда вайбкод не работает это проблема не в LLM а в халатности разработчиков, которые не хотят прувать код
❤5