TGViewer
Лаборатория Математики и Программирования Сергея Бобровского Лаборатория Математики и Программирования Сергея Бобровского @lambda_brain · 1.41K subscribers
Post #937 1.22K
Что с этим делать? Кто у меня проходил трек "как понять в программировании всё", после первых двух курсов имеет минимальное представление о формальной семантике рекурсивных вычислений, чтобы делать правильные промпты, правильные ограничения.
Вообще, в контексте использования AI этот вроде бы чисто теоретический трек внезапно оказался крайне полезным в прикладном плане: там мы разбираем и stateful- и объектную модели, и можем общаться с ChatGPT достаточно формально -- понимая на глубоком уровне, что хотим получить.
  • ❤‍🔥 12
  • ❤ 2
  • 👍 1
  • 🎉 1
More from @lambda_brain
  1. Oct 14, 2026Этот отчёт ментата заслуживает быть приведённым полностью => Итоги. Часов 8 "одним подходо…
  2. Oct 14, 2026Прекрасное: вся музыкальная индустрия перешла на цифру и стриминг, но музыкальная экономик…
  3. Oct 13, 2026Завершаем прохождение конфы AI Native Conf 20 окт "Опыт внедрения агентской разработки в A…
  4. Oct 13, 2026Продолжаем прохождение конфы AI Native Conf 20 окт (в программном комитете обнаружен экс-м…
  5. Oct 12, 2026Один из ментатов попросился на работе вот на эту конфу => AI Native Conf 20 окт типа оплат…
  6. Oct 12, 2026. Облако драгоценностей за неделю. Вроде бы академические темки "кабанчика" (по highload у…
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 →