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

1. Параметрический полиморфизм -- это база универсальности.

2. ad-hoc полиморфизм -- это зависимые типы.

3. Сабтайпинг ("наследование") -- это эквивалентность.

Circle -- подтип Shape. Везде, где ожидается Shape, можно использовать Circle.
Профит! )))

(На самом деле, тут немеряное количество засад даже на уровне базы SOLID, особенно по LSP; всё это подробно, с анализом в ФП, разбирал в большом гайде)

По-взрослому же, в HoTT используется эквивалентность типов и унивалентность. Если тип Circle можно преобразовать в тип Shape, то это преобразование считается "путём" между типами. А унивалентность гарантирует, что если такой путь существует, то он по сути и есть "правильное" "наследование". Другими словами, любое свойство, доказанное для всех Shape, автоматически выполняется и для Circle (потому что с точки зрения логики предикатов они находятся в отношении эквивалентности).

Классическое наследование -- это частный случай построения такого "пути-функции" из подтипа в супертип.

При этом мы получаем все "инженерные" фишки ООП (SOLID и Co) "в коробке", за нас всё делает HoTT-"движок". Например, в Shape есть area() (вычисление площади), которая всегда должна быть положительной. Но в реализации Circle она может быть нулевой, и тем самым мы нарушаем LSP.

В HoTT же "нарушить LSP" технически невозможно: система типов (топовая в мире на сегодня) гарантирует, что все случаи обработаны корректно. Подтипизация тут моделируется через эквивалентность, которая сохраняет все свойства: если какой-то подтип не удовлетворяет всем свойствам супертипа, то мы просто не сможем доказать эти свойства для супертипа, и значит, не сможем применить их к подтипу.

Другими словами, при нарушении LSP (и многих других солид-шмолид etc) мы получим ошибку компиляции.

=

Другое дело, что сегодня таких "языков программирования", реализующих HoTT (или хотя бы просто завтипы), которые можно было бы считать массовыми хотя бы на 2%, нету и особо не ожидается (в первую очередь потому, что умненьких очень мало, а будет ещё меньше:).

Но, конечно, в проектах формальной верификации (крайне дорогих) только они и применяются (Coq, Lean, Agda...). Полагаю, что в итоге всё программирование к этому и сведётся: будет либо дерьмовый и дешёвый вайб-кодинг со школотой, либо дорогое качество (верификация AI-кода) с элитой. И никакого промежуточного слоя, и никакой возможности лифтинга на топовые уровни.

Думайте.

1. Параметрический полиморфизм -- это база универсальности.

2. ad-hoc полиморфизм -- это зависимые типы.

Программист работает с интерфейсами или перегрузкой функций (трейты, тайпклассы...). Функция
sum : Num a => [a] -> a
ведет себя по-разному для Int, Float и т.д.

К сожалению, на F# так компактно как в хаске записать подобную сигнатуру невозможно :(
Нужен when constraint с ^T, +, Zero...

Ладно, вот вам жава, для наглядности )

public int sum(List<Integer> list)
public double sum(List<Double> list)

Так вот, это по сути работа с зависимыми типами. Ограничение Num a (Integer list, Double list) -- это не просто помощь компилятору/тайпчекеру, а дополнительный аргумент, который функция sum неявно принимает. Этот аргумент -- доказательство того, что для типа a существует реализация интерфейса Num.

Тип Num a -- это тип-пропозиция, которая может быть либо доказана (и тогда мы получаем конкретную реализацию), либо нет. Таким образом, выбор реализации -- это просто применение функции к нужному "пруфу".

На практике имеем гарантии на этапе компиляции, явные контракты (сигнатура функции явно говорит о требованиях), и нужное нам для рефакторинга безопасное расширение функциональности. Не совсем завтипчики, но дух уже чувствуется )

type Money = { Amount: decimal; Currency: string }

// пруф 1: сложение только одинаковых валют
let sameCurrencyAdd a b = ...

// пруф 2: сложение с конвертацией по курсу
let convertAndAdd (exchangeRate: string -> string -> decimal) a b = ...

let money1 = { Amount = 100m; Currency = "USD" }
let money2 = { Amount = 500m; Currency = "RUB" }

sum convertAndAdd ... [money1; money2] - сконвертирует и сложит
sum sameCurrencyAdd ... [money1; money2] - ошибка компиляции

Кто проходил мой курс по F#, попробуйте дописать до полноценного примера.

Рефакторинг -- это трансформация унаследованного (по определению) кода без изменения его функциональности.

Если посмотреть на такую трансформацию через линзу HoTT, то это будет, по сути, умение видеть (понимание) эквивалентности между различными парадигмами полиморфизма.

1. Параметрический полиморфизм -- это база универсальности.

Функция
map (f: 'a -> 'b) (list: 'a list) : 'b list
работает единообразно для любых типов a и b. Нам не нужно (да и невозможно) "заглядывать" внутрь a.

Это гомотопия (непрерывное преобразование), гомотопическая инвариантность.

Тип forall a b. (a -> b) -> List a -> List b -- это пространство всех возможных реализаций (всех функций с данным типом, и все они гомотопически эквивалентны).

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

Параметрический полиморфизм -- это "контракт", который гарантирует, что полиморфная функция универсальна.

Все эти современные музыки и видосы, созданные AI, нельзя считать ни захватывающим новым жанром, ни инструментом для развития творчества. Это всего лишь мошеннический способ заработать несколько долларов, вбрасывая в мировую культуру кучу мусора.

База от нашего ментата =>

1. Понял, что резюме — это пропуск на первый этап. Буду адаптировать его под конкретные вакансии: вставлять нужные ключевые слова и подсвечивать релевантные навыки.
2. Запомнил важную мысль: с рекрутерами нужно говорить простым языком. Никакого "рефакторинга" и "микрофронтов" — им важно понять меня как человека, а не погружаться в технические дебри.
3. Веду детальную таблицу со всеми откликами, результатами и фидбеком. Это помогает видеть картину целиком и понимать, что работает.
4. Записываю все интервью и скрининги. Без разбора полетов буду наступать на одни и те же грабли.
5. Понял, что подход должен меняться: с HR показываю опыт, на техническом — демонстрирую навыки, с будущим руководителем — фокусируюсь на софт скиллах и совместимости.
6. Буду учиться мыслить категориями бизнеса и понимать, как моя работа влияет на результаты компании. Это поможет говорить с командой на одном языке и правильно расставлять приоритеты.
7. Активно задаю вопросы о проекте, технологиях, команде. Превращаю собеседование в живое общение, а не односторонний опрос.
8. Не игнорирую небольшие компании — у них выше шансы получить приглашение, чем в крупных IT-гигантах типа Яндекса или Сбера.

А чего добился ты? Можешь вот так структурировать свой подход?

В штаб-квартире Национальной службы информационных ресурсов NIRS Южной Кореи произошёл пожар, в результате которого были уничтожены файлы, хранившие данные по 750 000 госслужащих за последние семь лет.

Резервные копии "технически" у них были, но они также оказались уничтожены 🙈 в результате того же пожара 🔥

Вы же знаете базу 3-2-1 ? ваша стратегия резервного копирования должна предусматривать 3 копии: на 2 физически разных типа носителя в разнесённых помещениях + 1 удалённую копию. А я бы вообще хранил две удалённые: одну в чужом облаке, а другую на флешке на даче.

Когда-то я с интересом просмотрел все серии Дилберта, но с непоколебимым ощущением, что это не "наша работа реально", а абсолютный отстой, от которого всегда надо бежать подальше. Вот так всю жизнь уныло работать в окружении дебилов, чтобы стать в итоге подобным начальником?

Сам Дилберт же не дурак, но его убивает по жизни тотальный серый цинизм.

Интересно, а не стыдно некоторым разработчикам быть глупенькими?
Зоробатывать 500k, а даже не уметь инвертировать связный список?

"Даже глупец, решающий арифметические задачи, будет сообразительнее того глупца, который никогда их не решал"
-- Платон

.

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

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

В большинстве учебных пособий рассказывается, чему следует научиться. Но что, если сермяга заключается вовсе не в том, "что" делать?..

База по карьере, серия 19:
Так как же это может работать на самом деле? По большому счёту, я понятия не имею :) И думаю, что большинство людей также этого не знают. Просто всё меняется слишком быстро.
Но это и своего рода ключевой момент. Если вы сможете понять, как получить достаточно точную картину реального карьерного ландшафта, у вас будет огромное преимущество перед всеми остальными, большинство из которых будут использовать общепринятую "мудрость" в качестве буклета с шаблонной инструкцией "делай отклики на hh"...

"Заметил интересную особенность - [...] - тут же пришло понимание и завершил задачу. Скорее всего, буду пользоваться этим приёмом и дальше - структурировал мышление буквально за десять минут!"

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

Вот самый наихудший поступок, который только вы можете совершить при переговорах по офферу, да и вообще в целом.
Самое плохое, что только вы можете сделать — это ...

Почему микросервисы выходят из моды, а монолиты возвращаются?
После многих лет доминирования микросервисной архитектуры такие компании, как Amazon, Shopify и Google, начали возвращаться к монолитам. Оказалось, что микросервисы часто приносят больше сложностей, чем пользы...

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

=

Первые сериалы из существенно переработанных и улучшенных материалов СильныхИдей (по сути три книги) доступны на бусти:
1. БАЗА программной инженерии
2. Software Design с акцентом на Programming in Small
3. SOLID-25
4. Гайд Вайб-проектирование

🚀

=

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

В курс карьеры добавлен 114-й материал "Синдром самозванца -- это круто!".
Многие думают, что синдром самозванца -- это ужасная вещь, которая их сдерживает. Это ворчливый голос, говорящий "тебе здесь не место" или "они скоро поймут, что ты понятия не имеешь, что делаешь", может казаться самым большим врагом.
Но по большому счёту, вот контринтуитивная сермяга: синдром самозванца на самом деле будет одним из ваших величайших достоинств как программиста!

💪🏻

Мы здесь, потому что это трудно.
it's a privilege to do things that are hard.

=

Тайм-менеджер "Соберись, Тряпка!" 👊
Неожиданный эффект: пока всплыв подсознательных сообщений работает по довольно простой схеме (в духе американского патента, который я раньше упоминал:), но неожиданно я заметил, что стал существенно больше писать текста с клавиатуры (так то обычно голосом много ввожу, специально хотел от ручного набора уйти) - бессознательному хочется побольше таких сообщений регулярно получать, в духе "всё хорошо!".

Игра Матриц Хакер (МАХ) 😎
В активном бета-тесте: "Очень нравится матрицхакер, обожаю айдл игры." 🙏

Такое мы забираем: uv

A single tool to replace pip, pip-tools, pipx, poetry, pyenv, twine, virtualenv, and more.
10-100x faster than pip.
Provides comprehensive project management, with a universal lockfile.
Runs scripts, with support for inline dependency metadata.
...

Наличие единственного источника дохода -- это ваша единая точка отказа SPOF.

Но даже самые умные люди начинают шевелиться, лишь когда эта точка отказа активировалась (что в 98% случаев происходит внезапно), и уже поздняк метаться...

Вот завтра например выкатят ЖПТ7, которая реально умеет работать на уровне миддла. Ну и что будет с вашей жизнью? Причём вероятность этого уже далеко не нулевая.

А куда более вероятный вариант -- сокращения, или дурной начальник будет всех сотрудников превращать в бесправных, выдавливая на ГПД.

Будущее айтишки -- это инди-хакерство. Причём уже совсем недалёкое.

Продолжаю работу с ментатами 🤓

Эта часть богата удивительными математическими открытиями.

Во-первых, это гомотопические группы, которые позволяют связать непрерывные объекты и дискретную математику. Раньше я слышал про это, но думал что там что-то архисложное и не хотел идти разбираться с этими разделами без сильной мотивации. Оказалось, что это относительно простой приём, основанный на эквивалентности, позволяющей свести всё разнообразие путей к конечному набору петель.

Во-вторых, усечения показали, что абстракцию можно рассматривать как математическую операцию. Это уже мета-математика какая-то. Дальше - универсумы. Раз есть мета-математика, то почему бы не рассмотреть мета-мета-математику и т.д.? Отказ от попыток запихнуть все абстракции в один уровень позволяет, например, расправиться с парадоксами теории множеств. Это же математическая индукция: чтобы работать на любом уровне, достаточно знать, как перейти с любого уровня на следующий.

Самое вкусное - унивалентность. С точки зрения чистой математики мне она казалась искусственной, не особо ценной. Пример с утиной типизацией всё расставил на свои места. Это как равенство по значению vs. равенство по идентичности. Считаем ли мы равными разные экземпляры класса с одинаковыми значениями полей? А может назначить равенством другой путь? Может он будет соединять разные классы, например, исходный код программы и скомпилированный экзешник? При разработке компилятора было бы неплохо уметь доказывать их равенство.

Мне всегда нравилась математика. В университете нас учили как с её помощью справляться с физическими задачами. Теперь же я её по-настоящему полюбил, когда увидел, как она превращает довольно хаотическое искусство программирования в высокоуровневую науку, которая сейчас более востребована, чем физика.

Программирование я всегда любил, но не видел в нём достаточно пространства для исследований (по сравнению с квантовой механикой, например), а ещё не верил в свои способности к математике. Благодаря Вашим курсам моё отношение к этим вещам сильно изменилось, и это помогло мне принять важное решение.

Благодарю Вас за курсы по программированию! Они помогли мне пройти все технические собеседования и войти в IT сразу на уровень Middle.
Благодарю Вас за статьи по карьере! Они помогли мне предпринять важные шаги и избежать ряда ошибок.

12 правил для желающих работать на себя за большие деньги / часть 2

№3. Скиллы важнее умения продавать

По большей части, люди задаются вопросами из категории «Как мне продать себя подороже». Как повысить чек, какие ставить прайсы, как пройти собеседования, общаться с руководителем и прочие продающие штуки. И редко речь заходит о том, как стать, блять, скилловым специалистом. Можно сделать ровно НОЛЬ усилий для продажи себя и всё вложить в навыки — а быть куда дороже того, кого учил продавать волк с Уолл-Стрит.

Фановая новость: недавно Цукерберг сделал оффер сотруднику OpenAI, предложив зарплату 1 млрд $. Тот ещё и отказался. Интересно, за что ему столько предложили? Неужели он охуенно упаковал своё портфолио и кейсы? Или выстроил сверхэффективный лидген? Придумывал продающие тейки для переговоров? Нет, просто чувак хорошо делает свою работу и знает чуть больше остальных. Это не единственный сумасшедший оффер, таких много в любой сфере.

Айтишники, который делают для меня ботов, навороченные таблички, сквозную аналитику для клиентов (вам тоже можем сделать) — нифига себя не продавали, я узнал о них по рекомендации и готов был заплатить столько, сколько они скажут, лишь бы больше не общаться с популярным айтишным видом чсвшных пидорасов.

Я и авторы, с которыми я работаю, не делаем ничего сверхъестественного. Мы просто делаем работающую рекламу. Когда я обучал авторов, мы ни разу не разговаривали о том, как эффективнее продавать наши услуги клиентам или находить клиентов. Только о том, как делать работу качественно. И, представляете, оказывается, мало кто способен просто делать свою работу и лишний раз не ебать мозги! Очень мало.

Какие скиллы качать? ВСЕ. Если они хоть как-то связаны с вашей работой. Вы автор? Умеете писать? Учитесь. Получается скудно по словам? Читайте словари. Рассказываете скучные истории? Запишитесь на курс по сторителлингу. Хреново продаёте текстом? Почитайте книгу о маркетинге и продажах. Или берите разовые подработки, где нужен рекламщик, и практикуйтесь. Или возьмите консультацию у того, кто вам импонирует. Практически любой спец их даёт, даже если не занимается обучением как бизнесом. И эти пару часов оказываются ценнее любых курсов.

По ходу прокачки всех скиллов подряд, вы найдёте ту самую изюминку, которая выгодно отличит вас от конкурентов. Об этом уже в следующей части.

Мы часто мним о себе нечто, но пришедшее искушение пришедший провал проекта показывает, что мы ничто.
[feat Святитель Тихон Задонский]

"if we wish to count lines of code, we should not regard them as "lines produced" but as "lines spent"
-- Edsger W. Dijkstra, 1988. "On the cruelty of really teaching computing science"

AI же архитектурно (да и по бизнес-модели) устроен так, что способен лишь produced lines. Решать задачи неимоверным количеством структурно неоптимизированного кода, нахапанного с безвестных аккаунтов гитхаба, который запутывается гораздо быстрее человечьего.

И это понятно: живых-то людей мало где учат правильному проектированию и software design, и книг по этим темам считанные десятки (если не единицы), тем более откуда же взять достаточно объёмные и качественные датасеты для AI.

Качество кода всегда зависит от контекста.

Когда вы не знакомы с кодовой базой, качество кода, который вы пишете, будет значительно ниже.

Для каждого изменения кода нам нужен кто-то, кто знаком с ранее существовавшим кодом, иначе вы будете лишь ухудшать состояние проекта, а добавление "свежих" джунов вообще потопит проект очень быстро.

И если вашего "ведущего разработчика забрали на сборы, примерно на полтора месяца", значит, вашему ИТ-бизнесу, или как минимум, проекту, скоро конец :) Но всем пофиг.

(карикатура из "Крокодила" 90-х)

Продолжаю работу с ментатами 🤓

...На встрече с HR в X5 сказали, что не переманивают тех, кто в Альфе работает,
В [...] изначально пришел на позицию Middle/Senior, но под мой запрос сказали, что так платят только техлидам, но техлидской открытой позиции пока нет).

...менеджер сказала, что в другую команду на некоторое время требуется человек(их ведущего разработчика забрали на сборы, примерно на полтора месяца).

...Продолжаю вырабатывать рабочие привычки по тайм менеджменту и соцсетям. Заметил, что перестал, как раньше, «упираться» в дедлайны по задачам. Неожиданно высвободилось дополнительное время для развития или для срочного выполнения форс-мажорных (или просто срочных) дел, что, в свою очередь, благоприятно сказывается на отношении коллег/начальства :)
Был второй день цифрового детокса без соцсетей. Самое трудное было не забыть об этом дне :) Сам день прошел уже легче, чем первый – не приходилось себе постоянно напоминать, что «сегодня нельзя». Еще не привычка, но уже не что-то новое, как в первый раз, просто изредка спокойное – «сегодня там не читаем».

...Начал знакомство с материалами трека ЭП и осознал, что у меня на самом деле катастрофическая ситуация с производительностью из-за постоянных отвлечений (я, конечно это и раньше замечал, но не предпринимал никаких действий, только иногда сожалел).

...Собственно, главная вредная – это прокрастинация. Поэтому первоочередные усилия направлены на нее. Для преодоления и последующей замены сейчас использую сочетание советов делать максимально «скучные перерывы», чтобы хотелось продолжать продуктивную деятельность + при попытке мозга отвлечься пытаюсь сразу занять его какой-то полезной нагрузкой, вырабатывая полезную привычку. Не устаю удивляться, как легко это достижимо в день «детокса» :)

...Не успеваю с реализацией задания в установленный срок, прошу еще сутки на работу
Пожинаю плоды кривой архитектуры

...Сложность у меня, видимо, с построением иерархии классов. Я пытался сделать гибкую систему за счёт привязки неких абстрактных параметров, их автоматической передачи и т.д.
Получил жёсткую систему, где классы-потомки даже свой конструктор не могут определить, а автопередача параметров обернулась потерей контроля над потоками данных.

...После того, как примерно каркас был сформирован, начал пробовать запустить со скрипта и, конечно, пошли проблемы. Он был еще настроен на монолитный проект до того как разделили на пару микросервисов, пришлось все править пробовать, естественно, много раз чистил все образы докера и контейнеры и в дальнейшем появилась другая проблема - внезапно дамп БД был без менеджеров и я не мог понять сначала в чем проблема. Возможно, все это появилось после того, как я переустановил линукс и сделал себе нормально всё (много памяти и 1-а ОС).

...Плохой код тяжело тестировать. Один из разработчиков недавно пожаловался, что "добивать покрытие до 80% -- слишком душно". Конечно, душно, когда методы по 200 строк :)

(А что покрываем тестами -- разве не интерфейсы, а реализацию, которая завтра изменится? :)

...при обработке плана закупок выскакивает ошибка о невозможности десериализовать значение переменной, потому что внутреннее ядро очень любит сувать Null :)

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

.

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

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

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

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

В интернете есть всё и бесплатно! Вот например огромный объём информации по большинству популярных тем из разработки: [...]
По многим темам, по языкам, даже по конкретным технологиям, даются обширные наборы дополнительных ссылок, каждая из которых в свою очередь ведёт на отдельные гайды, справочники, курсы, каждый из которых сам по себе потребует десятков (если не сотен) часов вдумчивого изучения...

Много-много людей самых разных возрастов - и 30 и 40 и 50 - так и не выросли как личность после 20-25 лет. Это люди, которые никогда не осознавали такой факт:
Лучший способ максимально использовать свой возраст 20 лет -- это сделать его для себя максимально дискомфортным.
Видите ли, у вас есть два варианта ...

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

Три основные причины, почему люди не занимаются своим техническим (само)образованием.
1. Чел реально боится осуждения коллег - если узнают, что он где-то учится, скажут "Ты чё, самый умный? Тебе рабочих задачек мало? Щас подбросим ещё, нна!"...

Продолжаю выкладывать для донов материалы СильныхИдей.
55. Важный инсайт про раздутость кода
За раздутость нередко принимают просто объёмный и грязноватый код, когда вы используете сотни и тысячи вариантов схожего кода для всех мыслимых целей. Такой код определённо большой, но не обязательно раздутый...

56. Формализуем понятие надёжности системы
Можно ли формализовать понятие надёжности системы? Тема надёжности вечно актуальна. Попросту говоря, мы хотим создавать системы, которые гарантированно будут правильно функционировать при наличии сбоев, перегрузок и т. п.

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

=

Первые сериалы из существенно переработанных и улучшенных материалов СильныхИдей (по сути три книги) доступны на бусти:
1. БАЗА программной инженерии
2. Software Design с акцентом на Programming in Small
3. SOLID-25
4. Гайд Вайб-проектирование

🚀

=

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

В раздел "Элитный программист" добавлен материал
77) Как применение таймеров поможет вам избежать прокрастинации.

В СильныеИдеи добавлен материал
123) Функциональная архитектура - что это?
Вы прошли курс "Функциональное проектирование" и получили понимание "А что это вообще такое?" из собственной практики. Само по себе это крайне важно, но, как вы знаете, в нашей Лаборатории практика без теории мертва.
Поэтому давайте более глубоко погрузимся в тему функционального проектирования, для чего однако предварительно надо разобраться, а знаете ли вы, что такое функциональное программирование?

В курс карьеры добавлен 113-й материал "Выбираем карьерную Цель".
Вы не ошибётесь, следуя природному компасу.

💪🏻

Мы здесь, потому что это трудно.
it's a privilege to do things that are hard.

=

Тайм-менеджер "Соберись, Тряпка!" 👊
Постепенно развиваю под свои нужды: статистика по помидоркам, всего/в среднем, вчера/сегодня, раскладка помидорок по часам, статистика времени использования разных программ за день и в последнюю помидору, универсальный К продуктивности (редко когда получалось 70% :), распределение времени и помидор по целям и задачам, отладил всплыв "подсознательных" сообщений (пока несложная привязка к ритму работы...)
В принципе, уже этого мне достаточно для 98% моих повседневных целей ) Но по задумкам планам, и 2% не сделано. Там будет (не) одна реальная киллер-фича, о которой пока и заикаться боюсь.

Игра Матриц Хакер (МАХ) 😎
В активном бета-тесте, пофиксил основной баг с перезагрузкой Матрицы (вроде бы:), обновите до версии v0e174

"ЛаМПовое": Dependable C, икоситетрахорический тетракомб...

Вообще, сколько общаюсь с AI, ни один диалог с ними, даже на обычные темы, и близко не похож на естественное человеческое общение, что ЖПТ5, что Опус4.1, да кто угодно.

Как эти нейронки вообще проходят тест Тьюринга? Это каких дебилов надо набирать в "эксперты", чтобы они не могли разобрать, кто есть кто.

Бета-тест "Матриц Хакера", отлаживаю фидбек, и что-то забыл, действительно ли если SelectedIndex задать за границами ListBox, будет исключение?

Спросил AI, называется... Просто погуглить было бы безопаснее и быстрее.

Сперва квен категорически утверждал, что не будет исключения, потом стал выкручиваться, выдумывать абсурдные ситуации ("Если вы пытаетесь установить SelectedIndex во время определенных событий...", "...из другого потока"), и только когда я стал его щемить, раскололся.

Кто тестеры, обновите версию.

p.s. а микрософту очередной 💩 за дебильные апишки. Ну блин, возвращайте код ошибки например, пройдите мой курс по проектированию абстрактных типов данных :)