Лаборатория Математики и Программирования Сергея Бобровского

Последние публикации канала «Лаборатория Математики и Программирования Сергея Бобровского»

1. 195 просмотров, 21 реакций, 19 июл. 2026 г.

   Гарри Поттер и Методы Математического Мышления Книга 1. Гарри Поттер и Неорганический Интеллект. Глава 16/23 (и все предыдущие). Зеркальный протокол — Я не перестану быть собой, — сказал Гарри. — Я просто перестану быть той версией себя, которая содержит ошибку. Это не смерть. Это рефакторинг. ...Он не помнил, как выглядел мир до того, как появился Неорганический Интеллект. Он не помнил, что такое быть ребёнком, который не знает о типах и комбинаторах. Он не помнил — но знал, что это было. И это знание, записанное в типе, осталось с ним. — Ты всё ещё ты? — спросила Гермиона. Она улыбалась.…

   Открыть пост в MAX
2. 258 просмотров, 37 реакций, 19 июл. 2026 г.

   Репутация всех этих шмантропиков и опеняй уже давно пробила дно. Пацаны Фембои вообще не отвечают за базар. В январе 26-го Дарья Амодей (CEO Клодов) в очередной раз заявил что через полгода искусственный интеллект заменит программистов. Ну и? Сегодня все эти харнессы-фигарнессы разрослись до такой степени, что превратились в запутанный мега-зоопарк-скилл, который по размеру уже существенно превосходит весь бэкенд 😁 При том что для его освоения и сам бэк надо очень уверенно знать, и в девопсе хорошо разбираться, и при том, что знание обвязок ценность само по себе имеет нулевую, так как в этой…

   Открыть пост в MAX
3. 318 просмотров, 38 реакций, 18 июл. 2026 г.

   Просили пояснить за аджайлы , ну действительно, оригинальный дух движухи уже давно утерян за тотальным забюрокрачиванием и инфоцыганством (скрам-мастера, коучи, сторипоинты, покеры, ретроспективы...), а самый ужос, что современный "аджайл" под видом "гибкости" поощряет избегание планирования. В оригинале Agile предлагал адаптацию к двум классическим проблемам программной инженерии: - люди плохо планируют сложные системы (но в основном из-за отсутствия профильных знаний), - разработка медленная и дорогая. С явлением же мощных нейронок обе эти проблемы исчезли, и Agile потерял смысл. Да, но...…

   Открыть пост в MAX
4. 330 просмотров, 39 реакций, 18 июл. 2026 г.

   Прекрасное: нетфликс рухнул так, что обрушил едва ли не весь насдак, и это только верхушка айсберга. Они отказались в 2026-м вообще сообщать о своей аудитории! что ещё более красноречивый признак, насколько плохи у них дела на самом деле. Падает интерес к новым сериалам, вторые сезоны старых замораживаются (например, мощный Бороуз), люди массово отменяют подписку (которая постоянно дорожает, с 2011-го выросла в разы), ну и какая же ваша бизнес-стратегия, мистер Сарандос, если вы не планируете вкладываться в качественный контент? :) А стратегия нетфликса последние годы была по хамски проста:…

   Открыть пост в MAX
5. 335 просмотров, 38 реакций, 17 июл. 2026 г.

   Есть большая разница между тем, чтобы быть ошеломлённым 5 кривыми артефактами в проекте, и тем, чтобы быть ошеломлённым и экспоненциально офигевать от 15 таких артефактов :) Вот почему я так оптимистично отношусь к формальным методам.

   Открыть пост в MAX
6. 359 просмотров, 45 реакций, 17 июл. 2026 г.

   Нет ничего более ужасающе ошибочного в айтишке, нежели вот такая схема создания фич "мэйнстрим 💯 " 1: Модели ORM, таблицы базы. 2: (REST) API 3: UI 4: Тестирование 5: Деплой Вы создаёте кривую хрень, которая никому не нужна. Нафига вы отправляете свои модели в прод? Они ведь ничего не делают сами по себе. И никому нет дела до вашего API. Что, если через три дня вы поймёте, что API не соответствует UI, нужному пользователям? И мы не можем даже скорректировать такой подход, потому что никто не сможет нормально использовать этот код, написанный с нейронкой или без, без разницы. И тут часто…

   Открыть пост в MAX
7. 170 просмотров, 25 реакций, 16 июл. 2026 г.

   Продолжаю работу с ментатами 🤓 Я установил Zed, и он сразу удивил меня скоростью работы по сравнению с VSCode и Cursor. Научился подцеплять к нему любые LLM. Теперь для pet-проекта буду именно его использовать. Нашёл на внутренних ресурсах компании целое лобби по продвиженю Zed в качестве рабочего инструмента, кто-то уже использует вместо VSCode. (Вообще Zed мощно поднялся в этом году, всем сейчас рекомендую.) ...После отклика на вакансию Департамента *** Москвы, со мной связался HR, и меня пригласили на собеседование. Условия вакансии мне не очень подходили, но я не стал отказываться,…

   Открыть пост в MAX
8. 322 просмотров, 36 реакций, 15 июл. 2026 г.

   в смысле август через две недели?? DepTyCheck : a lib for property-based testing with dependent types (на базе Idris 2) + примеры спецификаций (уровень студенческих курсовых) "удалось найти баги реализации файловой системы FAT32 на всех популярных платформах." Там же лекции, код и слайды (есть на русском) по функциональному программированию, с крутых семинаров, в основном из Института системного программирования РАН.

   Открыть пост в MAX
9. 355 просмотров, 36 реакций, 15 июл. 2026 г.

   Gleam -- очередной функциональный язык. Ну, да, неплохая довольно строгая статическая типизация, не хаскель, но elm+rust скорее, вывод типов хороший. Все плюсы BEAM, компилируется в JS, и только рекурсия :) Соответственно, нет ad-hoc полиморфизма,сильно намучаешься с JSON, к трансляции в JS тоже вопросики по базовым типам, The power of a type system, the expressiveness of functional programming, and the reliability of the highly concurrent, fault tolerant Erlang runtime, with a familiar and modern syntax. Это я посмотрел на днях стрим, как пацанчик за несколько часов закодил игру на gleam в…

   Открыть пост в MAX
10. 333 просмотров, 36 реакций, 14 июл. 2026 г.

    Если никто не жалуется, действительно ли это баг? Для некоторых пользователей это может быть фичей, и вы реально нарушите их рабочий процесс, когда устраните это. Закон Хайрама повторяется снова и снова: Когда система становится популярной, ее официальная документация теряет значение. Любая недокументированная особенность поведения будет найдена и использована клиентами, делая такие "баги" обязательными фичами для обратной совместимости. Например реальный случай, когда загромождённая веб-страница мешала некоторым людям выполнять свою работу. После многочисленных жалоб она была исправлена....А…

    Открыть пост в MAX
11. 323 просмотров, 47 реакций, 14 июл. 2026 г.

    ...Но по большому счёту, это занятие для малышей . Любой сеньор с хорошим архитектурным опытом должен по определению демонстрировать скилл "за неделю удалю 10k строк из твоего легаси". Я имел в виду немножечко другое: большое количество кода -- это всегда признание, что ты не нашёл сильную порождающую абстракцию. Демонстрируй не "умение" фигачить кучу кода как нейронки, а фактор сжатия . Алан Кэй с метапрограммированием мой любимый пример: у него фактор сжатия -- 1000, а у тебя (и вообще в мэйнстриме) -- 0.01 :) И вот тут все паттерны и "инженерные приёмчики" перестают работать, и топовая…

    Открыть пост в MAX