За четыре недели AlphaProof Code математически доказал корректность криптографических гарантий Signal. Новых уязвимостей не нашли, но инструмент нашёл старые баги в предыдущих версиях.
arstechnica.com · #ai #formal-verification #security #signal
В Git 2.55 включили поддержку Rust по умолчанию — теперь это не эксперимент на обочине, а часть релиза. Заодно в выпуске появился `git history fixup`, то есть очередная попытка сделать раскопки в истории коммитов чуть менее похожими на археологию с фонариком.
www.phoronix.com · #security #hacking #investigation #russia #signal #whatsapp