TGViewer
Лаборатория Математики и Программирования Сергея Бобровского Лаборатория Математики и Программирования Сергея Бобровского @lambda_brain · 1.41K subscribers
Post #1725 852
Отчёт за неделю.

Основной паблик:

Debug-gym: по данным Microsoft, "даже с помощью инструментов отладки и подсказок наш AI-агент редко решает более половины проблем SWE-bench Lite."
Это ВСЕГО ЛИШЬ 50% исправленных ошибок (которые были найдены и задокументированы)! И речь ведь не о том, что "пофиксим чуть попозже", а о том что AI ВООБЩЕ не может их исправить. А вы только что уволили половину своей команды разработчиков в надежде, что этот хвалёный и разрекламированный синтаксический спотыкач их заменит 🙈


Стратегия успеха в новом ИТ-мире (2025-2030)
В нашем мире есть два типа людей:
1. Те, кто жалуется на перемены.
2. Те, кто извлекает из этого выгоду.


Риски для разработчиков, связанные со ставками на искусственный интеллект и квантовые вычисления.

=

Для донов-неначинающих:

Набор на мои курсы (5 мест закончились за один час). Далее такие наборы будут проходить регулярно.

Напомню, что первые две дюжины материалов СильныхИдей (по сути две книги) пока доступны на бусти, и пока по очень дружелюбным ценам:
1. БАЗА программной инженерии
2. Software Design с акцентом на Programming in Small

=

Для донов-начинающих:

5 неочевидных ошибок начинающих.
Программист пишет код. Разработчик создает программные системы. Но Software Engineer? Инженер решает реальные проблемы.
...В англоязычном мире "Software Engineer" -- это стандартное название разработчика и типовая должность, а у нас слово "инженер" в вакансиях программистов вы вообще не найдёте. Почему? риторический вопрос.

Набор на мой новый трек для начинающих с полного нуля (2 места закончились за 1:40).

Продолжение по карьере, серия 13: На данный момент, вероятно, не будет очевидно, в чём именно заключаются ваши истинные стремления, потому что они находятся на ещё более глубоком -- мета-мета-уровне вашего подсознания...

=

Бусти:

Почему карьера разработчика с полной занятостью умирает, и что приходит ей на смену

=

Курс "Ясные Системы" (как быстро и легко писать ПРОСТОЙ код систем масштаба ultra-large-scale). Без продвижения, пока 28 эвристик, как наберётся 42, дам курсантам доступ.

Курс "Гомотопическая теория типов для малышей программистов: ТОП (Топологически Ориентированное Программирование)". Продолжаю, сейчас 22 28 топиков в первой части (БАЗА:) - готовы, вычитаны, код отлажен, в принципе достаточно нажать кнопочку Опубликовать и можно заниматься. Вчера добавил в заключение базовой части к высшим индуктивным и зависимые типы Pi/Sigma (код готов, но надо текст причесать), а также везде надо добавить в тесты комментарии, чтобы можно было разбираться со всеми артефактами HoTT по типовым use cases.
"После майских" курс 💯 будет готов.
  • 🔥 35
  • ❤‍🔥 5
  • ❤ 4
  • ✍ 3
More from @lambda_brain
  1. Oct 5, 2026Мнения экспертов по индустрии разработки игр в целом можете при желании найти сами на ютуб…
  2. Oct 5, 2026Просили пояснить за (M)PF геймдев ↑ Сложно сегодня придумать более сложное бизнес-направле…
  3. Oct 5, 2026. Облако драгоценностей за неделю. скоро зима (с) Приватный клуб. В жизни любого проекта н…
  4. Oct 1, 2026Ребята спрашивают, ну ок, моё скромное мнение. у вас где-нибудь можно прочитать ваше мнени…
  5. Sep 30, 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 →