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

Последний набор в мою Школу для начинающих с полного нуля (3 места закончились за 28 минут)
Следующий набор будет осенью или в 2026-м. Но есть нюанс...
Раз в месяц (вот как сегодня) я открываю одно место на начальный курс-тест "Годитесь ли вы в программисты". Кто его успешно проходит может, продолжить в моей Школе. Но найти это место - хардкорный квест уровня хакерских паззлов из "Quadrilateral Cowboy".
p.s. Хм, кто-то быстро уже нашёл :)


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

До ЭПИЧЕСКОГО сбоя всех систем, работающих на Linux/Unix, осталось ВСЕГО 13 лет! Ну и?
Я в своё время поучаствовал, да и неплохо подзаработал, на проблеме Y2K, но 2038-й тогда казался чем-то вообще из другой Галактики...


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

Мы оба знаем, что чтение (и тем более просмотр) любых учебных и образовательных материалов само по себе не изменит нашу жизнь. И вот что делает тебя несчастным ...


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

38. Жёсткий хейт SOLID | LSP (СильныеИдеи++)
Пояснение LSP в рамках SOLID весьма небрежно и расплывчато. Subtypes -- понятие достаточно строгое, но большинство разработчиков смешивают например подтипы с подклассами, после чего мы погружаемся в бесконечные разбирательства наследования на основе классов в духе is-a и has-a. Моделирование сущностей на таком уровне характерно примерно для 1980-х годов, когда мы пытались впихнуть круглое в квадратное под предлогом "ведёт-себя-как", "может-иногда-использоваться-как", "выдаёт-себя-за-того-на-кого-похож", с обязательным упоминанием утиной типизации...


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

=

Курс "Гомотопическая теория типов для программистов (2)" в процессе.
Реализовал группоиды (включая ∞ и высшие пути), n-мерные гомотопические группы, бесконечные последовательности гомоморфизмов, методы для вычисления гомотопических групп, усечения, стягиваемые типы...
Этим летом курс 💯 будет готов.
  • 👍 34
  • ❤ 4
  • 👌 3
  • 🫡 1
More from @lambda_brain
  1. Oct 5, 2026. Облако драгоценностей за неделю. скоро зима (с) Приватный клуб. В жизни любого проекта н…
  2. Oct 1, 2026Ребята спрашивают, ну ок, моё скромное мнение. у вас где-нибудь можно прочитать ваше мнени…
  3. Sep 30, 2026Ладно, вот вам база, почему так трудно переучиваться с императивного/объектного стиля коди…
  4. Sep 30, 2026Ну, с Днём Рунета! Многие годы Рунет был эталонным примером свободы, а сегодня превратился…
  5. Sep 28, 2026. Облако драгоценностей за неделю. Дипломный проект разросся уже так, что расширил его до…
  6. Sep 27, 2026GELU (Gaussian Error Linear Unit) -- базовая фича архитектуры трансформеров, да и вообще в…
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 →