Как убедиться, что в аппаратном дизайне нет багов? Результаты обычных тестов иногда сигнализируют только о том, что ошибки не нашлись, а не о том, что их нет вовсе. На помощь приходит формальная верификация — метод, который проверяет все состояния системы в поисках ошибки. Для…
Привет, Хабр! Я Максим, ведущий специалист по анализу данных и ML в логистике. Этот пост — про работу с Claude Code: как я выстроил систему, которая не даёт проекту рассыпаться. Подопытный кролик — мой пет-проект awesome-project.com (название изменено): AI-ассистент для структурированных сессий,…
В 2019 году израильский лунный модуль «Берешит» разбился о поверхность Луны. На борту были тысячи тихоходок, залитых в эпоксидную смолу, обезвоженных, в состоянии, которое вежливо называют «криптобиоз», но по простому — мы не уверены, живые ли они вообще. Так вот, они, скорее всего, живые, и, скорее всего, им норм.В этой статье разберем из чего же сделаны эти полмиллиметра бессмертия, и при чем тут инопланетяне. Читать далее
В мае 2023 года женщину привезли в приёмный покой БСМП с подозрением на инсульт. Провели КТ мозга. Рентгенолог посмотрел снимки, но не составил заключение и не передал его неврологу. Невролог, не дождавшись описания, сам интерпретировал снимки — и ошибся. Поставил другой диагноз.…
Долгое время я пытался научиться слепому десятипальцевому методу печати, но всегда это заканчивалось поражением. Учился на Keybr — на нём освоил английский. Частотный метод, когда ты печатаешь настоящие слова из самых частых букв, мне подошёл. Но столкнулся с тем, что заглавные…
Пришёл в команду, открыл тесты — should render, снэпшоты, CSS-классы в ассертах. CI зелёный, покрытие растёт. Всё хорошо? Нет. Тесты падали при любом рефакторинге, но пропускали реальные баги в логике. Ложная уверенность, которая хуже отсутствия тестов. И проблема была не в отдельных файлах — а в самом инструменте, который провоцировал так писать. Что не так с инструментом?
В первой части я рассказал, как ханипот поймал сканер MCP-серверов — новый вектор разведки, нацеленный на AI-инфраструктуру. Сегодня — про другую сторону: что происходит, когда атакующий находит открытый Ollama.Статья документирует реальные сессии злоупотребления открытыми LLM-инстансами: кто подключается, какие промпты шлёт, какие модели запрашивает. Данные собраны с трёх ханипотов (DE, US, RU) за март 2026. Читать далее
Привет, Хабр! На связи Алексей Боровиков, архитектор Astra Cloud. Когда меня спрашивают, чем мы занимаемся, я часто слышу в ответ: «Понятно, облако делаете». Потом, разговор имеет два сценария развития. Либо в сторону «А что такое облако?», либо — «А, еще одно облако». Как понимаете,…
В первых двух частях этой большой статьи мы разобрались: ИИ не заменит руководителя, а человечность можно (и нужно) проверять при найме.Но как угнаться за всеми технологиями и выжить в мире тотального напряжения? У меня нет универсального рецепта. Есть три предложения. Читать далее
TikTok, Reels, Shorts затягивают похлеще Гаргантюа из Интерстеллар. Но почему одних людей затягивает в пучину с головой, а другие практически в них не заходят? Новое исследование предлагает объяснение: тип привязанности на основе тревожности или же модель отношений, основанная на страхе быть покинутым. Вот тот самый фактор, предсказывающий зависимость от коротких видеороликов. Читать далее