Здесь мы разберём ∙ элементы математической логики, связывающие её с языками программирования; ∙ ключевой аспект логического программирования — автоматизация вывода искомого результата (конструктивного доказательства); ∙ базовые принципы языка Пролог; ∙ связь теории типов с математической логикой; ∙ связь механизмов «неявности» в разных языках с логическим программированием. Читать далее
Здравствуйте! Сегодня мы рассмотрим древний ламповый осциллограф французской компании 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: генеративные системы обязаны помечать…
Вы когда нибудь задумывались, что можно узнать о вас и про вас из вашей истории переписки в Telegram?Я подключил к Hermes пользовательскую Telegram-сессию. После этого агент смог искать в моих чатах, читать нужные фрагменты истории, находить контакты, выгружать выбранные переписки в JSONL и,…
Playdate – крошечная консоль с жёлтым корпусом и процессором, который в эпоху гигагерцев кажется игрушечным. Разрешение – 400x240, один бит, без оттенков серого. Видеочипа нет: всё, что видите, считает скромный ARM-процессор. Казалось бы, какое тут 3D?Но Кристина Рамос решила проверить, где