#mathsarefun — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #mathsarefun, aggregated by home.social.
-
📰 Wow, they finally finished those #seL4 security proofs! 🎉 Now your apps can remain blissfully unaware of each other on #AArch64, just like the rest of us were of these proofs existing. 🙄🔒 #GroundbreakingNews #MathsAreFun
https://proofcraft.systems/news-2026/#2026-08-21 #GroundbreakingNews #MathsAreFun #SecurityProofs #AppSecurity #HackerNews #ngated -
📰 Wow, they finally finished those #seL4 security proofs! 🎉 Now your apps can remain blissfully unaware of each other on #AArch64, just like the rest of us were of these proofs existing. 🙄🔒 #GroundbreakingNews #MathsAreFun
https://proofcraft.systems/news-2026/#2026-08-21 #GroundbreakingNews #MathsAreFun #SecurityProofs #AppSecurity #HackerNews #ngated -
📰 Wow, they finally finished those #seL4 security proofs! 🎉 Now your apps can remain blissfully unaware of each other on #AArch64, just like the rest of us were of these proofs existing. 🙄🔒 #GroundbreakingNews #MathsAreFun
https://proofcraft.systems/news-2026/#2026-08-21 #GroundbreakingNews #MathsAreFun #SecurityProofs #AppSecurity #HackerNews #ngated -
📰 Wow, they finally finished those #seL4 security proofs! 🎉 Now your apps can remain blissfully unaware of each other on #AArch64, just like the rest of us were of these proofs existing. 🙄🔒 #GroundbreakingNews #MathsAreFun
https://proofcraft.systems/news-2026/#2026-08-21 #GroundbreakingNews #MathsAreFun #SecurityProofs #AppSecurity #HackerNews #ngated -
📰 Wow, they finally finished those #seL4 security proofs! 🎉 Now your apps can remain blissfully unaware of each other on #AArch64, just like the rest of us were of these proofs existing. 🙄🔒 #GroundbreakingNews #MathsAreFun
https://proofcraft.systems/news-2026/#2026-08-21 #GroundbreakingNews #MathsAreFun #SecurityProofs #AppSecurity #HackerNews #ngated