
Daniel π¦
@danielw_kiwi
Husband, father and software developer from the bottom of the world in NZ that likes F# a little too much.
ID: 1681895119232946178
20-07-2023 05:13:55
40,40K Tweet
2,2K Followers
2,2K Following










Loved reading this excellent post by Marc Brooker and Ankush Desai: Systems Correctness Practices at Amazon Web Services on how they use formal methods internally at AWS. One of the best articles I've read this year on formal verification and testing. I liked how this article





