TGViewer
Лаборатория Математики и Программирования Сергея Бобровского Лаборатория Математики и Программирования Сергея Бобровского @lambda_brain · 1.41K subscribers
Post #1536 1.01K
Заключительное.

...Когда ушли первые 100 долларов на жпт, я всё ещё думал, что не получится 98%, много раз хотел слиться, потому что грядущим сотням долларов, утекающим впустую c мутными перспективами, казалось, не будет ни конца ни края. Я кстати делал всё на клоде 3.5, жпт-4o явно слабее, но у клода оказался такой недостаток, что он слишком разговорчив и слишком подробно пишет код с кучей примеров, тестов и пояснений. Стоит чуть-чуть расслабиться, и токены сгорят только так.

У меня даже были греховные мысли -- а не попробовать ли жпт o1 или клод опус, в иллюзорной надежде что уж они-то за 200 долларов в месяц (причём за весьма небольшое число токенов на такую сумму) сразу будут писать много кода практически без переделок и дополнений. ага ага щас.

Пока все эти жпт для программистов -- большой мыльный пузырь, который всё раздувается и раздувается , инфоцыганство для умной ЦА. Коготок увяз -- всей птичке пропасть.

БАЗА:
НЕ планируйте делать целый проект с жпт -- это ТУПИК.
НИКОГДА не впускайте этих инопланетян на уровень архитектуры и software design.

И вот то, чему я учу в Школе, что начинал ещё 6 лет назад (и ни разу не отклонялся),
что ещё полгода назад казалось никому особо не нужным академическим умничанием, сегодня в контексте AI получается прям топчик абсолютный. Университетское понимание вычислительных моделей (включая параллелизм), ООАП, ФП, всяческие спецификации и формализмы -- вот это вот всё получается 98% попадание в темку "как легко и быстро просто и дёшево X1000 разрабатывать надёжные программные проекты с помощью жпт".

Все десятки курсов моей Школы теперь естественно складываются в эту тему как готовый паззл.

СЕНСАЦИЯ! ВЗЛОМАН КОД УСПЕХА! =>

Русский программист после десятилетий отшельничества и глубоких исследований в теории типов и категорий в 2024-м СЛУЧАЙНО обнаружил, что некоторые формальные методы - это ТОЧНЫЙ КЛЮЧ к управлению искусственным интеллектом! НЕЙРОСЕТИ В ШОКЕ: применяя зависимые типы и формальные спецификации, можно заставить AI писать ДОКАЗУЕМО КОРРЕКТНЫЙ КОД в 1000 раз быстрее обычных программистов!
На моём ЗАКРЫТОМ МАРАФОНЕ вы узнаете, как использовать монадические трансформеры для точного контроля над GPT, превращая любой промт в ИДЕАЛЬНЫЙ КОД! Забудьте про галлюцинации AI - типизированные нейросети под контролем теории категорий работают как ШВЕЙЦАРСКИЕ ЧАСЫ!
ЭКСКЛЮЗИВ: участники марафона получат доступ к секретной формуле композиции функторов, которая заставляет ChatGPT писать код чище, чем сеньор-разработчик с 20-летним стажем!
Осталось всего 3 места по старой цене! Успей застолбить место в новой IT-элите!
#AIпослушныйкакКотёнок #МонадическийИИ #ТипыПобеждаютВсё

Всем бобра 💥 дорогие! ❤️
  • ❤ 59
  • 😁 24
  • 👍 11
  • 😇 1
More from @lambda_brain
  1. Oct 8, 2026Пацаны волнуются, не ухожу ли я в геймдев ↑↑↑ не-не (но название dwarf fortness застолблю…
  2. Oct 5, 2026Мнения экспертов по индустрии разработки игр в целом можете при желании найти сами на ютуб…
  3. Oct 5, 2026Просили пояснить за (M)PF геймдев ↑ Сложно сегодня придумать более сложное бизнес-направле…
  4. Oct 5, 2026. Облако драгоценностей за неделю. скоро зима (с) Приватный клуб. В жизни любого проекта н…
  5. Oct 1, 2026Ребята спрашивают, ну ок, моё скромное мнение. у вас где-нибудь можно прочитать ваше мнени…
  6. Sep 30, 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 →