TGViewer
ProverCoderAI ProverCoderAI @provercoderai · 470 subscribers
Post #2 1.04K
В чём суть канала?
Я буду постить кучу спама (по теме) о том, как прувать вайбкод
Будет КУЧУ КУЧУ разных мыслей
КУЧУ КУЧУ разных идей
Видосики буду скидывать, которые мотивируют на определённые идеи

В общем что стоит ожидать?
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
More from @provercoderai
  1. Sep 9, 2026Всем привет Делаем ивент в Батуми по вайбкодингу в партнёрстве с NEAR https://t.me/evoluti…
  2. Aug 26, 2026У знакомых открыта вакансия: External Test Lab & Community DevNet Мы занимаемся тестирован…
  3. Jul 12, 20269 июля был оффлайн спикером https://t.me/evolutionofcodetbilisi/1/16012 Доклад тот же что…
  4. Jun 26, 2026Делаю инструмент rust-android-connection Он позволяет через браузер сделать тунель к телеф…
  5. Jun 25, 2026Был спикером в телеграм чате "Agent Coding" Ссылка на анонс https://t.me/agent_coding/1122…
  6. Jun 8, 2026Скоро выложу пост про разработку телеграм ботов А пока напишу, что тоже нахожусь в поиске…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →