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

— Основной паблик:
Как 10-кратно сократить количество багов в продакшене?
Эта best practice известна в программной инженерии не один десяток лет, но в 98% она не применяется, потому что системное мышление отсутствует у современных ит-менеджеров более чем полностью. Они способны мыслить лишь глупеньким карго-культом "список пользовательских фич" + "надо сделать побыстрее", но это не вина их, а беда.
Например, по ФЗ № 323, главврач любой клиники обязан иметь высшее медицинское образование + 5 лет работы в медицине. А в айтишке достаточно быть племянником гендира или приятелем овнера, и сразу войти в айти-директора...


— Для донов-начинающих + по саморазвитию:

...Многие опасаются, что AI заменит их на работе.
Лично я настроен скептически. Технологические инновации всегда приводили к сокращению количества людей, необходимых для работы над чем-либо. Однако в то же время это создавало новые рабочие места.
Но, действительно, эффективное обучение — наиболее важный софт-скилл сегодня, чем когда-либо.
Обучение - это сверхспособность.

...Создаём себе "Второй мозг 2.0".



— Для донов-неначинающих:
...Полезные платные подписки для сеньоров и техлидов: AI IDE, полезный свежий контент, поисковик c AI, лучшая в мире рисовалка диаграмм...

...Продолжаю выкладывать для донов материалы СильныхИдей.
29. Open Closed Principle (OCP) и ФП.
Мы хотим иметь возможность повторно использовать и расширять код без необходимости изменять исходную реализацию. ФП достигает этого с помощью двух инструментов...



— Бусти:

Как работают Virtual Threads JVM

Книги по СильнымИдеям:

1. БАЗА программной инженерии

2. Software Design с акцентом на Programming in Small


— Курс "Гомотопическая теория типов для программистов" - делаю уже не знаю какой по счёту заход, теория обширная, и реализовать базовые понятия так, чтобы их потом можно было корректно применять во всех аспектах, ну наверное без итераций просто нереально.

Зря я конечно своим собственным советам сразу не следовал 🙈
Теперь сперва делаю очень тщательные тесты. Например, для типа Путь/Path (гомотопия; тип, который представляет доказательство тождества между двумя значениями) такие тесты сделал: создание рефлексивного пути, композиция путей (транзитивность), симметрия пути (инверсия), композиция нерефлексивных путей, композиция с последующей инверсией... Всё на Python, с примерами.
(за такой работой прям чувствуешь, как живёшь 💥 :)

=

Но в целом временно отвлёкся на другое: копирую первый курс трека "Как понять в программировании всё" на внешнюю платформу, 42% сделал, и потом будет доступен всем желающим НЕначинающим, кто хочет потом попасть в мою Школу.
А начинающим, напомню, в группе для начинающих , для донов несколько раз в месяц провожу регулярные наборы.

Копирую в основном потому, что на моём учебном сервере нету возможности автоматического приёма оплаты... да только вот везде помимо плюсов ещё и свои минусы. Внешняя платформа, как и многие другие, в том числе и Бусти, вчера весь день лежала из-за отказа яндекс облака. Вроде бы ЯОблако - критически важная инфраструктура, но... 2N+1? ДГУ? ATS? Нет, не слышали видимо. Tier II lol, даже по-моему до 999 не дотянули, если простой был больше 8часов45минут.
  • 👍 43
  • ❤ 9
  • 🔥 6
  • ❤‍🔥 4
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 →