TGTGInsightтелеграм анализLIVE / telegram public index
← Такты, стеки, два колеса

TGINSIGHT SIMILAR POSTS

Намери подобно съдържание

Изходен канал @clockstackwheels · Post #721 · 26.12

Почему я люблю языки с сильной системой типов, проверяемой статическим анализом кода — хорошо написанная программа является своей собственной спецификацией и позволяет выражать через язык программирования законы существования предметной области. Когда-то давно я писал на ActionScript. Там была система типов, но вот десериализация JSON'ов по-умолчанию была в какой-то общий Object, к полям которого нужно было обращаться ["по_строковому_имени"]. В один момент мне потребовалось написать что-то на C#, который я совсем не знал, я стал гуглить, как десериализовать JSON, и с удивлением обнаружил кучу советов заранее объявить класс со всеми нужными полями и десериализовать в него. "Какой ужас!", — подумал я тогда, — "Это же дико неудобно! А если я не знаю полей JSON? А если их много? Отвратительный язык!" Теперь то я прекрасно понимаю, что JSON это контракт, и что правильная десериализация только такая и должна быть, и что в хорошем API в одном поле никогда не бывает данных принципиально разных типов, и так далее. Нет, если вы набиваете вечерами пет-проект или сидите бессонную ночь на хакатоне, нет ничего плохого в том, чтобы взять простой язык с динамическими типами вроде JavaScript или Python, не требующий описывать данные. Но вот в энтерпрайзе, особенно когда над одним проектом работает много людей (а бывает это очень часто) — хорошее использование системы типов убережёт разработчиков от огромного количества ошибок, будет бить их по рукам, когда они пытаются сделать что-то не то, и будет подсказывать, когда они не уверены в чём-то. С помощью статической типизации можно на уровне кода обозначить правила, по которым ведёт себя предметная область вашей программы в реальном мире. Разработчику не только будет сложно их нарушить, но он ещё и станет узнавать какие-то вещи, которые мог не знать раньше. Например, если мы делаем медицинскую CRM, и больница заводит новых пациентов только тогда, когда знает их группу крови, мы можем объявить тип "Пациент" (или, если точнее, "Карта пациента") и запретить создавать экземпляры этого типа, не передав в конструктор группу крови (которая, в свою очередь, тоже является типом, вероятнее всего ValueObject'ом). Если новый программист пришёл в проект, он, во-первых, не сможет записать в БД некорректную карту пациента. Понятно, мы не учитываем случаи, когда новый программист переделывает модели предметной области — это будет хорошо видно на кодревью. А, во-вторых, даже если ему никто не сказал, что пациенты должны быть с группой крови, он узнает это из кода. И уже будет понимать, что в тех процессах реальной жизни, которые он описывает кодом, карта пациента создаётся только при наличии группы крови. А, значит, нужно искать какой-то способ сначала эту группу крови получить, и только потом создавать карту. Программирование моделирует реальный процесс. В настоящей работе даже на языках с типами, конечно, без должного контроля можно написать что угодно. Нужна управленческая воля, компетентность руководства, понимание опасности техдолга, в идеале отдельные должности для архитекторов, опытные лиды и старшие разработчики. Но когда всё это есть, можно отсекать много проблем ещё на старте и проще погружать новичков. #dev

Hashtags

Резултати

Намерени 3 подобни публикации

Търсене: #litigationstrategy

当前筛选 #litigationstrategy清除筛选
English Law Report

@enlawreport · Post #1941 · 26.02.2026 г., 07:41

Лондонский коммерческий суд снова напомнил рынку простую вещь: банкротство истца не защищает от процессуальных рисков. В деле Undritz v D’Amico Tankers суд обязал предоставить обеспечение судебных расходов, несмотря на то что требования предъявлены через немецкого insolvency administrator в интересах компаний-банкротов Фабула внешне типичная для shipping-сектора: около 1 млн долларов по четырём чартер-партиям, защита строится на давности и договорном сет-оффе. Но фокус решения — не в морском праве, а в процессуальной тактике. Ответчик заявил security for costs на стадии до рассмотрения reverse summary judgment. И выиграл. Ключевой момент. Формально истец — физическое лицо, администратор. Но суд смотрит глубже: по английской логике иск о долге предъявлялся бы от имени компаний. Следовательно, именно компании считаются «claimant» для целей CPR 25. Это критично. Попытка позже изменить позицию и уйти от этой конструкции была отвергнута. Аргумент «иск будет задушен» не сработал. Суд чётко разделил: то, что администратор лично не может платить, не равно доказательству того, что сами компании не способны привлечь средства. Доказательств невозможности финансирования не представлено. Значит, stifling не доказан. По сумме суд применил прагматичный подход. Из заявленных примерно £237k были исключены математические ошибки, расходы на возможные, но ещё не поданные защиты, а также затраты на само ходатайство. Далее — стандартный дисконт на потенциальное сокращение при detailed assessment. В итоге обеспечение определено в £90k Это баланс: защита ответчика от безвозвратных расходов без чрезмерного давления на истца. Практические выводы для рынка: 1. Insolvency не создаёт иммунитета от security for costs. 2. Довод о stifling требует финансовой конкретики, а не ссылок на процедуру банкротства. 3. Суд не будет глубоко анализировать merits на стадии обеспечения. 4. Преакционные расходы могут учитываться при расчёте. 5. Процессуальная стратегия в Лондоне — это финансовая стратегия. И ещё один штрих. Суд отдельно указал на почти полное отсутствие расходов на переговоры и напомнил об активной роли ADR после Churchill v Merthyr Tydfil. Коммерческий суд ожидает реальных попыток урегулирования. Лондон остаётся предсказуемым. Но он не прощает процессуальной небрежности. #EnglishLawReport#CommercialCourt#SecurityForCosts#ShippingLaw#Insolvency#LitigationStrategy

English Law Report

@enlawreport · Post #1835 · 20.12.2025 г., 07:36

За декабрь 2025 года я внимательно разобрал 17 решений Commercial Court в High Court of England and Wales. Один месяц, разные судьи, разные типы споров — от summary judgment и jurisdiction до contempt, arbitration challenges и тяжёлых коммерческих процессов. И при всём этом разнообразии обнаружилась одна неприятно точная закономерность: суд сегодня почти не интересуется тем, насколько красив или интеллектуально изящен ваш аргумент. Его интересует другое — когда, как и после чего вы его принесли. Commercial Court больше не ведёт спор по существу, если процессуально вы уже опоздали. Ключевой вопрос суда звучит не «кто прав?» и даже не «что справедливо?», а предельно прагматично: допустимо ли то, что вы делаете, на этой стадии процесса, в этом формате и с учётом всего, что уже произошло. Если ответ отрицательный, дальнейший анализ просто не начинается. Не потому что аргумент слаб, а потому что он юридически не существует. Самый важный сдвиг последних лет — стадия процесса стала важнее содержания аргумента. Можно быть правым по существу и проиграть без шансов только потому, что вы сказали это слишком поздно или не тем способом. Суд всё чаще пишет: даже если вы правы, сейчас это недопустимо. И на этом ставит точку, без эмоций и без сожалений. Процессуальный выбор стал дорогим. Если вы не заявили факт вовремя, не пошли с amendment, сознательно выбрали тактику «посмотрим, как пойдёт», суд не будет вас спасать. Он исходит из того, что вы приняли риск. А риск — это не абстрактное понятие, а ваша личная ответственность как стороны профессионального спора. Очевидность без зафиксированного finding’а для суда равна нулю. Новый эксперт, новый отчёт, новая формулировка не оживляют вопрос, который уже был решён или который вы сами решили не поднимать вовремя. Многие по привычке хватаются за прецеденты, как за спасательный круг. Но практика декабря 2025 года показывает: authority больше не компенсирует плохой тайминг. Даже Supreme Court не поможет, если вы нарушили процессуальную дисциплину. В иерархии суда сегодня выше стоят CPR, процессуальная история дела и ранее вынесенные orders, а не красота правовой конструкции. Что же суд реально защищает? Не стороны и не их эмоции. Он защищает финальность решений, предсказуемость процесса, авторитет собственных приказов и дисциплину игры. Commercial Court всё меньше выглядит как арбитр конфликта и всё больше — как архитектор системы. Он не исправляет стратегии, не даёт вторых попыток и не переписывает процессуальную историю задним числом. Практический вывод предельно прост и довольно неприятен. Сегодня выигрывает не тот, у кого самый умный аргумент, а тот, кто думает стадиями, фиксирует факты сразу, не оставляет важное «на потом» и понимает, что хороший аргумент, сказанный слишком поздно, для суда не существует. Это не жёсткость и не цинизм. Это современное понимание судебной функции. Если вы хотите научиться читать судебные решения не как хронику событий, а как инструкцию по выживанию в Commercial Court, напишите мне в личные сообщения. Я покажу, как под это мышление реально выстраивать стратегию дела, а не просто реагировать на решения постфактум. #CommercialCourt#EnglishLaw#LitigationStrategy#JudicialReasoning#LegalPractice#Arbitration#UKLaw#LegalStrategy

English Law Report

@enlawreport · Post #1947 · 27.02.2026 г., 08:05

Проблема «фейковых» ссылок из плоскости курьёзов окончательно перешла в институциональную повестку. Civil Justice Council создал рабочую группу по использованию AI при подготовке судебных документов и прямо допустил возможность корректировки процессуальных правил. Повод понятен. В судах Англии и Уэльса уже всплывали случаи, когда в документах появлялись «галлюцинированные» прецеденты. То есть ссылки на дела, которых просто не существует. И ключевой тезис, который прозвучал из уст Lord Justice Birss, предельно жёсткий: проблема не в технологии, а в юристах, которые не проверяют то, что подают от своего имени. Персональная ответственность никуда не делась. Если документ подписан вами, он ваш. Независимо от того, писал ли его стажёр, AI или вы сами в три часа ночи. Интересно, что судьи уже получили доступ к large language model инструментам на своих рабочих компьютерах. Более того, обновлены гайдлайны для судебной власти: в них прямо объясняются понятия вроде «hallucination» и «AI agent», а также даются советы, как распознать тексты, сгенерированные машиной. Это важный сигнал. Судебная система не собирается отставать, но хочет контролировать процесс. В ходе дискуссии на London International Disputes Week прозвучала ещё одна показательная мысль. AI может быть полезен, например, для суммаризации документов. Но только при одном условии: вы сами прочитали исходный текст. Использовать AI для краткого изложения документа, который вы даже не открывали, Birss назвал безумием. И в этом, по сути, вся философия будущего регулирования. Рабочая группа должна в ближайшее время опубликовать terms of reference. Уже сейчас предполагается, что могут потребоваться «некоторые корректировки» правил, в том числе в части practice direction по свидетельским показаниям. Это логично: если AI вмешивается в формирование фактического нарратива, вопрос уже не только в удобстве, а в достоверности доказательства. Практический вывод для практикующих юристов очевиден. Эра, когда можно было относиться к AI как к безобидному черновику, закончилась. В английском процессе ключевой фильтр остаётся прежним: готов ли ты поставить своё имя под этим текстом и защитить каждую ссылку в нём перед судом. Если нет, проблема не в алгоритме. Системно это начало большого сдвига. Судебная власть берёт на себя лидерство в формировании стандартов обращения с AI. И, скорее всего, нас ждёт не запрет, а тонкая настройка правил с усилением персональной ответственности и процессуальной прозрачности. #EnglishLawReport#CivilProcedure#AIandLaw#FakeCitations#CJC#LitigationStrategy#LegalEthics