Постоянно меняющиеся требования со стороны Центробанка и Росфинмониторинга заставляют финансовые организации уделять пристальное внимание своим клиентам с точки зрения их благонадежности. Каждый день производится ряд проверок, позволяющих оценить риски обслуживания организаций и физических лиц. В связи с этим появилась необходимость не просто автоматизировать данный процесс, но как-то его систематизировать и сделать удобным для сопровождения. Читать далее
О когнитивных способностях человека есть много исследований. Одно из самых известных это исследование за авторством Элизабет Спелке. Оно о том как у человека появляется самое первое, базовое понимание мира и физических законов. Её работа ставит под сомнение традиционные…
Здесь мы разберём ∙ элементы математической логики, связывающие её с языками программирования; ∙ ключевой аспект логического программирования — автоматизация вывода искомого результата (конструктивного доказательства); ∙ базовые принципы языка Пролог; ∙ связь теории типов с математической логикой; ∙ связь механизмов «неявности» в разных языках с логическим программированием. Читать далее
Здравствуйте! Сегодня мы рассмотрим древний ламповый осциллограф французской компании Metrologie Annecy — Métrix 222. Не знаю, какие ассоциации вызовет у вас, внешний вид этого аппарата, а мне почудился «Наутилус» капитана Немо. К тому же, эти образы объединяет общее —…
Набор тестов, который всегда зелёный, содержит непроверяемое допущение: он может ловить ошибки, а может не смотреть вообще — по цвету это неразличимо.Я писал реализацию Raft на TypeScript и построил вокруг неё музей багов: семь экспонатов, каждый выключает ровно одно правило алгоритма
Я делаю сервис, который разворачивает проекты юзеров на их серверах. Разбираю на своём примере три вещи, которые нужны любому, кто просит доступ к секретам пользователя. Что просить, как хранить и что делать, когда сузить права нельзя в принципе.Дальше практика с кодом. Почему в…
Если нет времени читать всё, то вкратце: в октябре 2025 года отрасль OCR‑моделей для распознавания бухгалтерских документов пережила настоящий взрыв качества их работы. Благодаря этому нам удалось увеличить точность и производительность наших моделей в продуктах ИАД и
LLM генерируют код невероятно быстро, но чтобы гарантировать, что они создают именно то, что задумано, им нужны четкие границы. Абстракции и предметно-ориентированные языки (DSL) создают надежную оболочку, которая направляет LLM с самого начала. Пример Tickloom — предметной модели и DSL…
Привет, Хабр! Я разработчик из Минска (работаю официально, в статусе НПД). Занимаюсь автоматизацией на связке Self‑Hosted n8n + Redis. Внедряю автономных ИИ‑агентов для мессенджеров и связываю их с amoCRM. Поделюсь, как говорится, «мясом» из своей практики. В статье я…
Разбираемся, что на самом деле умеют membership inference и training data attribution, почему высокий influence score не означает авторства и почему происхождение данных проще сохранить до обучения, чем восстанавливать после.Со 2 августа в ЕС заработала статья 50 AI Act: генеративные системы обязаны помечать…