#proofcraft — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #proofcraft, aggregated by home.social.
-
SeL4 security proofs now complete on AArch64
https://proofcraft.systems/news-2026/#2026-08-21
Comments: https://news.ycombinator.com/item?id=49418255
#HackerNews #SeL4 #AArch64 #security #proofs #ProofCraft #cybersecurity #technews