Микроядро seL4, Ada/SPARK и 185 модулей: разбор проекта
185 модулей ядра, not‑proved: 0. Сеть и хранилище в Ring 3, TCP работает на железе. Разбор проекта Schild TCB: формальная верификация…
Latest Web news from Tech News
All topics
AI
agents
ai
api
architecture
automation
backend
beginners
career
database
devchallenge
devops
discuss
javascript
linux
llm
machinelearning
mcp
opensource
performance
productivity
programming
python
react
security
showdev
testing
tutorial
typescript
webdev
Может ли локальная 27B-модель расследовать продакшен-инцидент как Claude? Две RTX 5090, около 40 прогонов и одна гонка
Реальный продакшен-инцидент: пул соединений забит, активных запросов дюжина, рестарт помогает. Claude нашёл причину за двадцать минут. Нормальный че…
Директ Коммандер на Linux: Работа над ошибками
Неделю назад я выложил статью про то, как запустил Директ Коммандер на Linux . А через пару дней выяснил, что половину той инструкции можно выкинуть…
Карта чёрная, в консоли ни одной ошибки. Три бага одной подложки
Мы переводили карту парковок с растровой подложки на векторные тайлы и получили чёрный экран. Без единой ошибки в консоли: ни исключения, ни предупр…
Почему баги кроссбраузерности до сих пор никуда не исчезли
Выкатили новую фичу, а потом бэкендер со своим Firefox пишет, что у него что-то не работает? Или пользователь с Safari жалуется на неудобства? Ничег…
А чё, так можно было? Недокументированный C#
В C# есть четыре ключевых слова, которых нет в документации. Компилятор их принимает. Одно из них собирается на любой машине, а выполняется только н…
Я хотел сделать быстрый сжатый диск для macOS. А в итоге научился не верить собственным бенчмаркам
Полгода назад я начал писать сжатую файловую систему для macOS. Идея была довольно простой. В macOS уже существует decmpfs — встроенный механизм про…
ПИК это 15 республик: переводим ЖКХ-гиганта в режим отладки через Си и Linux
Обычно статьи про ЖКХ и управляющие компании начинаются с жалоб на потекшие трубы, холодные батареи или необъяснимые цифры в квитанциях. Но если ты…
HTTP 200 на несуществующий адрес: пять способов, которыми Telegram обманул мои проверки
Задача была на полчаса: пройтись по списку из 216 адресов вида t.me/имя и понять, какие живы и что это — канал, группа или аккаунт. Ушёл день, и поч…
Мне 15. Мой сайт грузился две секунды, потому что каждый CSS-файл писал в базу данных
Сайт не сломан. Он открывается. В логах чисто, ошибок нет — просто ты кликаешь по вкладке и успеваешь заметить, что кликнул. Я померил: страница каб…
Вторая копия Vue: как лишняя строка в lockfile повесила Chromium
Может ли лишняя запись в yarn.lock повесить браузер? Наша прожила в репозитории три месяца, не привлекая внимания, а потом ночью после релиза положи…
«Bro, what…?» #1. Первый контакт с crackme на Linux x86-64
Вы запускаете программу, о которой ничего не знаете. Она вежливо просит строку, а в ответ на ваш ввод насмешливо отвечает: «Bro, what are you trying…
Нагрузочный тест Sockudo: два бага в чужом Rust‑коде, которые кладут сервис на ровном месте
Я делаю NotiBox — Pusher‑совместимый сервис realtime уведомлений. Под капотом я использую Sockudo — WebSocket сервер на Rust. П…
Картинка грузится, а fetch к тому же хосту — нет: как CSP тихо сломала три интеграции
Полгода назад я закрыл замечание аудита «на сайте нет CSP» — прописал Content‑Security‑Policy с белым списком хостов, проверил, что н…
Рентген для нейросетей, или как я перестал понимать собственный ИИ и написал свой APM
Бывало у вас такое: месяцами пилишь архитектуру, фичи летят одна за другой, тесты зелёные. Всё работает. А потом в какой-то момент ловишь себя на мы…
Crashprobe: как я заделал критическую уязвимость в версии 0.4.1
Привет, Хабр! Недавно я опубликовал статью про свою библиотеку - crashprobe , которая перехватывает ошибки в синхронном коде Python и потоках, а зат…
Отладка bash-скриптов: инструменты, о которых мало кто
В предыдущей статье я рассказал, как писал скрипт мониторинга системы с нуля от идеи до рабочего инструмента с меню, цветным выводом и уведомлениями…
Новый Intl.DurationFormat привел к неожиданной ошибке приложения
В этой статье расскажу о свежем баге, который ронял один тип транзакций, пока остальные работали штатно. Если используете @formatjs /intl-durationfo…