Перейти к основному содержанию

Ссылки #414

31 октября 2026 · 2 минуты чтения

links

На этой неделе в подборке: Claude, формально доказавший безопасность 123 open-source библиотек, почтовый сервер Stalwart v1.0, обогнавший Postfix и Dovecot, расследование инцидента безопасности Tailscale SSH и двенадцать лет распределённого SQLite в rqlite.

🤖 ИИ

LLMs are making formal software verification feasible at a much larger scale \ Anthropic Claude формально доказал свойства безопасности в скомпилированном коде 123 библиотек с открытым исходным кодом. В ходе проверки он обнаружил ошибки, которые годами оставались незамеченными.

🖥️ Инфраструктура

Stalwart v1.0: The Fastest Mail Server on the Planet | Stalwart Stalwart v1.0 — первый стабильный выпуск почтового сервера после пяти лет разработки; в нём зафиксирована схема базы данных и переписан поисковый движок. По результатам тестирования с профилированием и нагрузочными испытаниями Stalwart показал более высокую производительность, чем Postfix и Dovecot, в 35 из 38 тестов.

🔐 Безопасность

Tailscale SSH: Investigation and remediation update Обновление посвящено расследованию безопасности Tailscale SSH и ходу работ по устранению проблем. Также в нём говорится, что клиенты могут сделать сейчас, но конкретные меры и результаты в кратком описании не указаны.

🗄️ Базы данных

Twelve years of distributed SQLite – Philip O’Toole rqlite — проект, объявленный в 2014 году: он добавляет журнал Raft перед SQLite и реплицирует каждую запись между узлами кластера. Цель такого подхода — сохранить данные при потере узла, однако в исходном описании представлена идея проекта, а не результаты его дальнейшей работы.

А ещё

За прошедшую неделю собрал 39 ссылок.

Хорошей вам недели!