1
Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS
(podcasts.apple.com)
there doesn't seem to be anything here
this post was submitted on 06 Aug 2025
1 points (100.0% liked)
Lobste.rs
230 readers
21 users here now
RSS Feed of lobste.rs
founded 10 months ago
MODERATORS