Habr📅 18.08.2026 09:46⏱️ 15 мин
Здесь мы разберём элементы математической логики , связывающие её с языками программирования ; ключевой аспект логического программирования — автоматизация вывода искомого результата (конструктивного доказательства); базовые принципы языка Пролог ; связь теории типов с математической логикой ; связь механизмов « неявности » в разных языках с логическим программированием . Оглавление обзора Выбор с…
Читать полностью →Habr📅 18.08.2026 09:43⏱️ 8 мин
Здравствуйте, уважаемые читатели! Начну с небольшой предыстории. Приобретая этот аппарат диковинного дизайна, я, каюсь, подумал вытряхнуть из него всю внутрянку, а корпус использовать, как fallout-like компьютер. Предполагалось вставить в корпус полноценный современный компьютер, ну или терминал на Raspberry Pi, благо место позволяет. Экран за зеленым стеклышком выглядел бы весьма привлекательно. …
Читать полностью →Habr📅 18.08.2026 09:38⏱️ 5 мин
Набор тестов, который всегда зелёный, содержит непроверяемое допущение. Он может ловить ошибки, а может не смотреть вообще — по цвету это неразличимо. Обычно это допущение так и живёт непроверенным: тесты проходят, значит, наверное, всё хорошо. Я писал реализацию Raft на TypeScript — не для продакшена, а чтобы разобраться, — и упёрся в этот вопрос сразу. Консенсус ломается не в хороший день, а в т…
Читать полностью →Selectel📅 18.08.2026 09:35⏱️ 6 мин
GitLab экстренно закрыла две критические уязвимости в GraphQL API Дмитрий Домлоджанов Технический редактор 18 августа 2026 GitLab внепланово пропатчила две уязвимости, позволявшие менять и удалять чужие данные без аккаунта. Разбираем механику атак и что делать администраторам. 17 августа GitLab выпустила критический патч-релиз для версий 19.2.4, 19.1.6, 19.0.8 и 18.11.11, закрывающий две уязвимост…
Читать полностью →Habr📅 18.08.2026 09:34⏱️ 14 мин
Я делаю сервис, который разворачивает проекты юзеров на их серверах. Первая версия просила пароль от root в веб-форме. Это конечно создавало большой барьер доверия, поэтому все юзеры обращались ко мне с претензиями, типо: «зачем тебе root пароль, украсть сервер хочешь да?» По факту люди правы , потому что давая root пароль они давали полный доступ к серверу, и пользователь никак его не может гаран…
Читать полностью →Habr📅 18.08.2026 09:21⏱️ 5 мин
Если нет времени читать всё, то вкратце: в октябре 2025 года отрасль OCR‑моделей для распознавания бухгалтерских документов пережила настоящий взрыв качества их работы. Благодаря этому нам удалось увеличить точность и производительность наших моделей в продуктах ИАД и Сайбокс: Сократили длительность обработки счёта с 3–4 минут до 30 секунд с помощью замены тяжёлой Qwen2.5-VL-72B на оптимизированну…
Читать полностью →Habr📅 18.08.2026 09:16⏱️ 2 мин
Привет, Хабр! Я разработчик из Минска (работаю официально, в статусе НПД). Занимаюсь автоматизацией на связке Self‑Hosted n8n + Redis. Внедряю автономных ИИ‑агентов для мессенджеров и связываю их с amoCRM. Поделюсь, как говорится, «мясом» из своей практики. В статье я максимально постараюсь отразить и технический абсурд плавно переходящий в явное кидалово от инфомошенников. Перед началом сразу обо…
Читать полностью →Habr📅 18.08.2026 08:56⏱️ 1 мин
LLM генерируют код невероятно быстро, но чтобы гарантировать, что они создают именно то, что задумано, им нужны четкие границы. Абстракции и предметно-ориентированные языки (DSL) создают надежную оболочку, которая направляет LLM с самого начала. Пример Tickloom — предметной модели и DSL для иллюстрации поведения распределенных систем — показывает, как мы можем использовать LLM в качестве партнера …
Читать полностью →Habr📅 18.08.2026 08:52⏱️ 10 мин
Привет, Хабр! Меня зовут Лиза, и я занимаюсь продуктовым маркетингом в команде OpenYard. В моей работе довольно много общения с продуктовой и инженерной командами, а некоторые задачи позволяют буквально поучаствовать в формировании облика будущего оборудования. Совсем недавно мы выпустили защитную панель для сервера — об этом можно почитать в моей предыдущей статье. Сегодня речь пойдёт о вещи знач…
Читать полностью →Habr📅 18.08.2026 08:50⏱️ 2 мин
Привет, Хабр! Давайте представим, что вам в ближайшем будущем предстоит собеседование. Что именно вы прошли все автоматические фильтры на HH, и вот оно - заветное приглашение пообщаться на тему вакансии. Собственно, сначала внутри даже как будто что‑то радостно подпрыгивает, не зря старался. А через пару минут – привет, паника. И ты начинаешь успешно себя накручивать. Так-то вроде бы речь всего ли…
Читать полностью →