Skip to content

“Is it formal methods or based on formal methods? I mean, I…” — The Pragmatic Engineer at 31:50

The Pragmatic Engineer How AWS S3 is built

“Is it formal methods or based on formal methods? I mean, I said computer science. So yeah, that's fun. So it's actually proper formal methods that you're using.”

0:00 1:18:14