TGViewer
Лаборатория Математики и Программирования Сергея Бобровского Лаборатория Математики и Программирования Сергея Бобровского @lambda_brain · 1.41K subscribers
Post #2074 793
3 типовые проблемы программиста мэйнстрима (детский сад штаны на лямках).

1. Я не видел ошибки, когда делал изменения в коде.
2. Я не проверял эту часть своего модуля, когда тестировал изменения.
3. Мне понадобился целый час, чтобы исправить эту дурацкую ошибку, потому что я не смог сразу найти точку, где она была.

2 - вообще база QA, хотя по большому счёту линтеры/стат.анализаторы + инспекции кода (метод пристального взгляда) в целом работают даже лучше, чем покрытие тестами (вчера в приватном клубе выложил материал на эту тему). но, нужно уметь держать в голове всю модель целиком хотя бы на уровне текущего модуля/класса с его контекстом использования.

3 - потому что код мутный и тотально запутанный, а про инварианты и слыхом не слыхивали (начьните хотя бы ассерты в коде почаще ставить).

1 - потому что код тотально хрупкий; решать задачу надо не тупым подбором синтаксических инструкций, а комбинированием абстракций (для начала прокачать автоматическое думание триплами Хоара); а потом make illegal states unrepresentable и функциональные паттерны.
  • ❤ 37
  • 🫡 15
  • ✍ 3
  • 👍 2
  • 🏆 1
More from @lambda_brain
  1. Oct 1, 2026Ребята спрашивают, ну ок, моё скромное мнение. у вас где-нибудь можно прочитать ваше мнени…
  2. Sep 30, 2026Ладно, вот вам база, почему так трудно переучиваться с императивного/объектного стиля коди…
  3. Sep 30, 2026Ну, с Днём Рунета! Многие годы Рунет был эталонным примером свободы, а сегодня превратился…
  4. Sep 28, 2026. Облако драгоценностей за неделю. Дипломный проект разросся уже так, что расширил его до…
  5. Sep 27, 2026GELU (Gaussian Error Linear Unit) -- базовая фича архитектуры трансформеров, да и вообще в…
  6. Sep 27, 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 →