🇺🇦 S L A V A 🔱 U K R A Ï N I 💙💛
XFEDI
ActivityPubRemote profile
༺༻
𓂀 𝒯𝒽𝑒𝓎 𝓂𝑜𝓈𝓉𝓁𝓎 𝒸𝑜𝓂𝑒 𝒶𝓉 𝓃𝒾𝑔𝒽𝓉, 𝓂𝑜𝓈𝓉𝓁𝓎.
𝓦𝓮 𝓪𝓵𝓵 𝓱𝓪𝓿𝓮 𝓭𝓮𝓶𝓸𝓷𝓼. 𝓘 𝓳𝓾𝓼𝓽 𝓬𝓱𝓸𝓼𝓮 𝓽𝓸 𝓯𝓮𝓮𝓭 𝓶𝓲𝓷𝓮.
Posts
⚡🛎️🎯
🔱 SLAVA UKRAÏNI 🇺🇦 💙💛 🇺🇦🌾
A farewell to Arc
arc.netA farewell to ArcArc is sunsetting on December 22, 2026. What happens next and the transition to Dia.
LLMs are making formal software verification feasible at a much larger scale \ Anthropic
www.anthropic.comLLMs are making formal software verification feasible at a much larger scaleClaude formally proved security properties in the compiled code of 123 open-source libraries. Along the way, it found bugs that had eluded detection for years.
