TGViewer
Лаборатория Математики и Программирования Сергея Бобровского Лаборатория Математики и Программирования Сергея Бобровского @lambda_brain · 1.41K subscribers
Post #2485 675
.

Облако драгоценностей за неделю.

Чужие продолжают доламывать русскую Сеть, возможно с гитхаба придётся переезжать,
можно и сейчас уже кстати использовать gitverse для отправки задачек на тесты.
А если сам учебный сервер недоступен, просто вместо https поставьте http.

Из хорошего, дополняю детализацию стоимости занятий по темпу - ментатам кто быстро (и качественно) занимается, скидки возможны до 50%, а суммарные и до 90%.
Скидки не потому, что всё плохо, а ровно наоборот :)

Приватный клуб.

Искусственный интеллект превратил работу в игровой автомат. Потяни за рычаг, и о-о-о, это почти сработало! Ещё раз потяни, ну уж на этот раз наверняка :)
Внезапно проходит три часа, а вы потратили полдня на блуждания в кроличьей норе, что определённо не было вашим приоритетом на сегодняшний день. У вас была идея, она казалась простой, AI мог это сделать... но не удалось. Причём эта неудача была достигнута под вашим прямым руководством и вниманием, то есть ваша ответственность за это абсолютна.
А как продвигается настоящая работа? :)

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


Самый большой сдвиг по интервью у вас будет тогда, когда ...

Многие готовятся к собеседованиям по программированию, решая всё больше и больше задач на ресурсах вроде LeetCode.
Но это далеко не всегда лучшее использование вашего времени.
Потому что настоящая проблема в том, что такая практика по форме совершенно не похожа на настоящее собеседование...

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

93. Условный вызов чистых функций, или Нечистый эффект наблюдения чистых функций - 2
Если функциональная композиция компилируется, это работает 100%...

94. Дефункционализация: все это делают, но никто об этом не говорит
Этим материалом хочу научить программистов отключиться от каталогов мусорных схем рефакторинга и понять, что большинство знакомых им рефакторингов вытекают из единичных основных алгебраических законов...

Вот абсолютная база в System Design: ...
Никаких ошибок в приложении.
Никаких сбоев.
Никаких красных предупреждений на панели управления.
Только злобный клиент, с которого дважды списали деньги :)

(все старые материалы для донов быстро сгорают)

=

Новые материалы для ментатов Лаборатории.

В СильныеИдеи добавлены материалы
"146) 50 оттенков MISU".
Мы много обсуждали Make Illegal States Unrepresentable, но тут есть важный нюанс. Незаконное состояние -- это состояние, в котором мы никогда не хотим видеть нашу систему. Но есть ещё и нежелательные состояния, от которых в прикладных проектах нам не избавиться, однако как минимум мы не хотим оставаться...
"145) Колода карт с точки зрения теории типов".
Зависимое произведение и сумма, функциональные, мультиномиальные и индуктивные типы, моноиды, теоркат, топология...

В курс карьеры добавлен 139-й материал "База по откликам на вакансии 2026"
Если ваша карьерная стратегия заключается в том, чтобы продолжать усердствовать в поиске работы, возможно, вы боретесь не с той проблемой. Отправка сотен случайных откликов на вакансии на самом деле сегодня очень плохая стратегия...

=

"Функциональные архитектуры" 127(+6) топиков

Какой DSL нам нужен, DSL это не skills/agent [.] md, OpenSpec это не про это, спеки или код...

=

"ЛаМПовое":

Чудо какое: C+ :)

"Гарри Поттер и Методы Математического Мышления".
Глава 12. Тот, кто смотрит на себя.

=

Мы здесь, потому что это трудно. 💪🏻

=

Вопросов возникало гораздо больше, чем ответов, что ставило в положение ментата. Ищи важные аспекты и выявляй скрытые (но упорядоченные основания). Хаос - это сырьё, из которого человек творит порядок. Таковы постулаты ментатов; это прекрасное средство для принятия грамотных решений. Упорядоченное собрание данных в континуальной системе.
"Капитул Дюны"
  • ❤ 31
  • ✍ 4
  • 👍 3
  • ⚡ 2
More from @lambda_brain
  1. Sep 27, 2026GELU (Gaussian Error Linear Unit) -- базовая фича архитектуры трансформеров, да и вообще в…
  2. Sep 27, 2026Продолжение сериала "Совершенно не удивлён, и дальше будет только хуже" (с) На этой неделе…
  3. Sep 26, 2026А вы разве не работаете сейчас (на себя, а не на дядю)?? Потребность в программистах уже в…
  4. Sep 25, 2026Гарри Поттер и Методы Математического Мышления Книга 1. Гарри Поттер и Неорганический Инте…
  5. Sep 25, 2026Свежее от ребят (и девчат). ...Так же было собеседование в Сбере, каким то чудом прошел их…
  6. Sep 24, 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 →