#formal is an active hashtag on Bluesky. In the last 30 days, 8 people shared 53 posts with it — around 2 a day. Activity is up 73% versus the previous week, peaking on Oct 20 with 10 posts.
Tags most often used together with #formal.
www.anthropic.com
LLMs are making formal software verification feasible at a much larger scale
Claude 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.
www.anthropic.com
LLMs are making formal software verification feasible at a much larger scale
Claude 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.
Posts are pulled live from Bluesky and cached briefly. Posts with content labels are hidden.
