2026.11.13 19:35:39 (Mastodon 117610809904196422, Twitter 2121326153084682629) from Daniel J. Bernstein:
Apple announcing another product using Isabelle/HOL for some formal verification: https://security.apple.com/blog/secure-exclaves/ Previous one that I noticed where Apple is using Isabelle/HOL: https://security.apple.com/blog/formal-verification-corecrypto/