15 Years of Formal Methods at AWS: Just Good Engineering Practice? | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		15 Years of Formal Methods at AWS: Just Good Engineering Practice? (brooker.co.za)
		2 points by transpute on May 7, 2024 \| hide \| past \| favorite \| 1 comment

transpute on May 7, 2024 [–]

Video: https://youtube.com/watch?v=HxP4wi4DhA0

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact