В чём суть канала?
Я буду постить кучу спама (по теме) о том, как прувать вайбкод
Будет КУЧУ КУЧУ разных мыслей
КУЧУ КУЧУ разных идей
Видосики буду скидывать, которые мотивируют на определённые идеи
В общем что стоит ожидать?
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
Сейчас я разрабатываю vibecode-linter
Это тула, которая описывает полностью весь контекст ошибок (анализаторов, компилятора) в удобно для AI представлении с максимальным контекстом
Например с выводом git diff айдишниками комитов и гит историей
Так я же строю фильтр "важности ошибок"
Потому что я исправляю все ошибки в коде (любые даж если это вариниги) но у них всё равно есть приоритет (Какие-то сперва должны быть исправлены, а только потом другие)
Так же из коробки отображает дубли в коде
Это единственный проект такой в своём роде для вайбкодинга
Есть один конкурент, но они занимаются анализаторами ток
[ERROR] /home/user/TradingBot/src/telegram/bot.ts:78:30 @ton-ai-core/suggest-members/suggest-imports (ESLint) — Variable "Comman1dHandlers" is not defined. Did you mean:
- CommandHandlers
- console
- Console
--- git diff (workspace, U=3) -------------------------
@@ -75,7 +75,7 @@ export class TelegramNotificationBot implements TelegramBot {
75 | logger: options.logger,
76 | });
77 |
- | this.commandHandlers = new CommandHandlers({
+ 78 | this.commandHandlers = new Comman1dHandlers({
^^^^^^^^^^^^^^^^
79 | gateway: this.gateway,
80 | dbManager: options.dbManager,
81 | appConfig: options.config,
---------------------------------------------------------------
--- git diff b001809..b1662a1 -- src/telegram/bot.ts | cat
b1662a1 (2025-09-30) by skulidropek: устранение дубликатов
b001809 (2025-09-28) by skulidropek: implement code review
@@ -75,7 +75,7 @@
73 | logger: options.logger,
74 | });
75 |
- 76 | this.handlers = new BaseHandlers({
+ 78 | this.commandHandlers = new CommandHandlers({
79 | gateway: this.gateway,
---------------------------------------------------------------
Full list: git log --follow -- src/telegram/bot.ts | cat
📊 Total: 16 errors (3 TypeScript, 5 ESLint, 8 Biome), 11 warnings.
Это тула, которая описывает полностью весь контекст ошибок (анализаторов, компилятора) в удобно для AI представлении с максимальным контекстом
Например с выводом git diff айдишниками комитов и гит историей
Так я же строю фильтр "важности ошибок"
Потому что я исправляю все ошибки в коде (любые даж если это вариниги) но у них всё равно есть приоритет (Какие-то сперва должны быть исправлены, а только потом другие)
Так же из коробки отображает дубли в коде
user@arch ~/vibecode-linter (main)> npm run lint
> @ton-ai-core/vibecode-linter@0.2.0 lint
> npx tsx src/main.ts src/
🔍 Linting directory: src/
🔧 Running ESLint auto-fix on: src/
🔧 Running Biome auto-fix on: src/
✅ Biome auto-fix completed (3 passes)
✅ ESLint auto-fix completed
📊 Total: 0 errors (0 TypeScript, 0 ESLint, 0 Biome), 0 warnings.
=========================== DUPLICATE #1 ===========================
A: src/linters/typescript.ts:115-120 │ B: src/types/exec-helpers.ts:22-27
-------------------------------------------┆------------------------------------------
115 │ const hasStdout = │ 22 │ const hasStdout =
116 │ typeof error === "object" && │ 23 │ typeof error === "object" &&
117 │ error !== null && │ 24 │ error !== null &&
118 │ "stdout" in (error as { stdout?: string }); │ 25 │ "stdout" in (error as { stdout?: string });
119 │ if (!hasStdout) { │ 26 │ if (!hasStdout) {
120 │ return []; │ 27 │ return null;
=========================== DUPLICATE #2 ===========================
Это единственный проект такой в своём роде для вайбкодинга
Есть один конкурент, но они занимаются анализаторами ток
GitHub
GitHub - ton-ai-core/vibecode-linter
Contribute to ton-ai-core/vibecode-linter development by creating an account on GitHub.
❤4